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 *

127 related articles for article (PubMed ID: 34972543)

  • 1. 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]  

  • 2. Formal verification of Matrix based MATLAB models using interactive theorem proving.
    Gauhar A; Rashid A; Hasan O; Bispo J; Cardoso JMP
    PeerJ Comput Sci; 2021; 7():e440. PubMed ID: 33834107
    [TBL] [Abstract][Full Text] [Related]  

  • 3. Formal reasoning about synthetic biology using higher-order-logic theorem proving.
    Abed S; Rashid A; Hasan O
    IET Syst Biol; 2020 Oct; 14(5):271-283. PubMed ID: 33095748
    [TBL] [Abstract][Full Text] [Related]  

  • 4. Formal reasoning about systems biology using theorem proving.
    Rashid A; Hasan O; Siddique U; Tahar S
    PLoS One; 2017; 12(7):e0180179. PubMed ID: 28671950
    [TBL] [Abstract][Full Text] [Related]  

  • 5. 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]  

  • 6. 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]  

  • 7. 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]  

  • 8. Learning to Guide a Saturation-Based Theorem Prover.
    Abdelaziz I; Crouse M; Makni B; Austel V; Cornelio C; Ikbal S; Kapanipathi P; Makondo N; Srinivas K; Witbrock M; Fokoue A
    IEEE Trans Pattern Anal Mach Intell; 2023 Jan; 45(1):738-751. PubMed ID: 34982678
    [TBL] [Abstract][Full Text] [Related]  

  • 9. Learning-assisted theorem proving with millions of lemmas.
    Kaliszyk C; Urban J
    J Symb Comput; 2015 Jul; 69():109-128. PubMed ID: 26525678
    [TBL] [Abstract][Full Text] [Related]  

  • 10. 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]  

  • 11. On Definitions of Constants and Types in HOL.
    Arthan R
    J Autom Reason; 2016; 56(3):205-219. PubMed ID: 30174359
    [TBL] [Abstract][Full Text] [Related]  

  • 12. 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]  

  • 13. 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]  

  • 14. Modeling and Simulation of an Energy Integrated Distillation Column in a Bond Graph Approach.
    Mendez-B J; Gonzalez-Avalos G; Gallegos NB; Ayala-Jaimes G; Rubio-Maya C
    Entropy (Basel); 2022 Aug; 24(9):. PubMed ID: 36141077
    [TBL] [Abstract][Full Text] [Related]  

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

  • 16. Fusion of qualitative bond graph and genetic algorithms: a fault diagnosis application.
    Lo CH; Wong YK; Rad AB; Chow KM
    ISA Trans; 2002 Oct; 41(4):445-56. PubMed ID: 12398276
    [TBL] [Abstract][Full Text] [Related]  

  • 17. 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]  

  • 18. Model-checking ecological state-transition graphs.
    Thomas C; Cosme M; Gaucherel C; Pommereau F
    PLoS Comput Biol; 2022 Jun; 18(6):e1009657. PubMed ID: 35666771
    [TBL] [Abstract][Full Text] [Related]  

  • 19. Reasoning about clinical guidelines based on algebraic data types and constraint logic programming.
    Pérez B
    J Biomed Inform; 2019 Apr; 92():103134. PubMed ID: 30831315
    [TBL] [Abstract][Full Text] [Related]  

  • 20. Verifying a medical protocol with temporal graphs: the case of a nosocomial disease.
    Kamsu-Foguem B; Tchuenté-Foguem G; Foguem C
    J Crit Care; 2014 Aug; 29(4):690.e1-9. PubMed ID: 24636931
    [TBL] [Abstract][Full Text] [Related]  

    [Next]    [New Search]
    of 7.