These tools will no longer be maintained as of December 31, 2024. Archived website can be found here. PubMed4Hh GitHub repository can be found here. Contact NLM Customer Service if you have questions.


BIOMARKERS

Molecular Biopsy of Human Tumors

- a resource for Precision Medicine *

117 related articles for article (PubMed ID: 31016212)

  • 1. Universal (meta-)logical reasoning: The Wise Men Puzzle (Isabelle/HOL dataset).
    Benzmüller C
    Data Brief; 2019 Jun; 24():103823. PubMed ID: 31016212
    [TBL] [Abstract][Full Text] [Related]  

  • 2. LogiKEy workbench: Deontic logics, logic combinations and expressive ethical and legal reasoning (Isabelle/HOL dataset).
    Benzmüller C; Farjami A; Fuenmayor D; Meder P; Parent X; Steen A; van der Torre L; Zahoransky V
    Data Brief; 2020 Dec; 33():106409. PubMed ID: 33134442
    [TBL] [Abstract][Full Text] [Related]  

  • 3. The Higher-Order Prover Leo-II.
    Benzmüller C; Sultana N; Paulson LC; Theiß F
    J Autom Reason; 2015; 55(4):389-404. PubMed ID: 30174358
    [TBL] [Abstract][Full Text] [Related]  

  • 4. Computational logic: its origins and applications.
    Paulson LC
    Proc Math Phys Eng Sci; 2018 Feb; 474(2210):20170872. PubMed ID: 29507522
    [TBL] [Abstract][Full Text] [Related]  

  • 5. A Formalization of the Smith Normal Form in Higher-Order Logic.
    Divasón J; Thiemann R
    J Autom Reason; 2022; 66(4):1065-1095. PubMed ID: 36353683
    [TBL] [Abstract][Full Text] [Related]  

  • 6. Certified Quantum Computation in Isabelle/HOL.
    Bordg A; Lachnitt H; He Y
    J Autom Reason; 2021; 65(5):691-709. PubMed ID: 34720282
    [TBL] [Abstract][Full Text] [Related]  

  • 7. The representation of medical reasoning models in resolution-based theorem provers.
    Lucas P
    Artif Intell Med; 1993 Oct; 5(5):395-414. PubMed ID: 8004141
    [TBL] [Abstract][Full Text] [Related]  

  • 8. Formal modeling and verification of fractional order linear systems.
    Zhao C; Shi L; Guan Y; Li X; Shi Z
    ISA Trans; 2016 May; 62():87-93. PubMed ID: 27126601
    [TBL] [Abstract][Full Text] [Related]  

  • 9. Formalization of bond graph using higher-order-logic theorem proving.
    Qasim U; Rashid A; Hasan O
    ISA Trans; 2022 Sep; 128(Pt B):453-469. PubMed ID: 34972543
    [TBL] [Abstract][Full Text] [Related]  

  • 10. Logical Reasoning (Inferencing) on MicroRNA Data.
    Wang J
    Methods Mol Biol; 2017; 1617():197-209. PubMed ID: 28540687
    [TBL] [Abstract][Full Text] [Related]  

  • 11. A connectionist computational model for epistemic and temporal reasoning.
    d'Avila Garcez AS; Lamb LC
    Neural Comput; 2006 Jul; 18(7):1711-38. PubMed ID: 16764519
    [TBL] [Abstract][Full Text] [Related]  

  • 12. Automated theorem proving.
    Plaisted DA
    Wiley Interdiscip Rev Cogn Sci; 2014 Mar; 5(2):115-28. PubMed ID: 26304304
    [TBL] [Abstract][Full Text] [Related]  

  • 13. Evidence that logical reasoning depends on conscious processing.
    DeWall CN; Baumeister RF; Masicampo EJ
    Conscious Cogn; 2008 Sep; 17(3):628-45. PubMed ID: 18226923
    [TBL] [Abstract][Full Text] [Related]  

  • 14. Evaluating Winding Numbers and Counting Complex Roots Through Cauchy Indices in Isabelle/HOL.
    Li W; Paulson LC
    J Autom Reason; 2020; 64(2):331-360. PubMed ID: 32063661
    [TBL] [Abstract][Full Text] [Related]  

  • 15. [Evaluation of arguments in research reports].
    Botes A
    Curationis; 1999 Jun; 22(2):10-9. PubMed ID: 11040614
    [TBL] [Abstract][Full Text] [Related]  

  • 16. Logical processing, affect, and delusional thought in schizophrenia.
    Mujica-Parodi LR; Malaspina D; Sackeim HA
    Harv Rev Psychiatry; 2000; 8(2):73-83. PubMed ID: 10902096
    [TBL] [Abstract][Full Text] [Related]  

  • 17. Understanding of logical necessity: developmental antecedents and cognitive consequences.
    Morris AK; Sloutsky VM
    Child Dev; 1998 Jun; 69(3):721-41. PubMed ID: 9680681
    [TBL] [Abstract][Full Text] [Related]  

  • 18. The capacity to generate alternative ideas is more important than inhibition for logical reasoning in preschool-age children.
    de Chantal PL; Markovits H
    Mem Cognit; 2017 Feb; 45(2):208-220. PubMed ID: 27726096
    [TBL] [Abstract][Full Text] [Related]  

  • 19. A Verified Implementation of the Berlekamp-Zassenhaus Factorization Algorithm.
    Divasón J; Joosten SJC; Thiemann R; Yamada A
    J Autom Reason; 2020; 64(4):699-735. PubMed ID: 32269396
    [TBL] [Abstract][Full Text] [Related]  

  • 20. Biomolecular theorem proving on a chip: a novel microfluidic solution to a classical logic problem.
    Lee SH; van Noort D; Yang KA; Lee IH; Zhang BT; Park TH
    Lab Chip; 2012 Apr; 12(10):1841-8. PubMed ID: 22441410
    [TBL] [Abstract][Full Text] [Related]  

    [Next]    [New Search]
    of 6.