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 *

121 related articles for article (PubMed ID: 30174359)

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

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

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

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

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

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

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

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

  • 10. A Verified Implementation of Algebraic Numbers in Isabelle/HOL.
    Joosten SJC; Thiemann R; Yamada A
    J Autom Reason; 2020; 64(3):363-389. PubMed ID: 32226180
    [TBL] [Abstract][Full Text] [Related]  

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

  • 12. The Cantor-Bernstein theorem: how many proofs?
    Sieg W
    Philos Trans A Math Phys Eng Sci; 2019 Mar; 377(2140):20180031. PubMed ID: 30966968
    [TBL] [Abstract][Full Text] [Related]  

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

  • 14. Verified iptables Firewall Analysis and Verification.
    Diekmann C; Hupel L; Michaelis J; Haslbeck M; Carle G
    J Autom Reason; 2018; 61(1):191-242. PubMed ID: 30069072
    [TBL] [Abstract][Full Text] [Related]  

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

  • 16. Bio-Inspired Genetic Algorithms with Formalized Crossover Operators for Robotic Applications.
    Zhang J; Kang M; Li X; Liu GY
    Front Neurorobot; 2017; 11():56. PubMed ID: 29114217
    [TBL] [Abstract][Full Text] [Related]  

  • 17. Value of sharing cow reference population between countries on reliability of genomic prediction for milk yield traits.
    Haile-Mariam M; MacLeod IM; Bolormaa S; Schrooten C; O'Connor E; de Jong G; Daetwyler HD; Pryce JE
    J Dairy Sci; 2020 Feb; 103(2):1711-1728. PubMed ID: 31864746
    [TBL] [Abstract][Full Text] [Related]  

  • 18. Hammer for Coq: Automation for Dependent Type Theory.
    Czajka Ł; Kaliszyk C
    J Autom Reason; 2018; 61(1):423-453. PubMed ID: 30069074
    [TBL] [Abstract][Full Text] [Related]  

  • 19. Labelled Interpolation Systems for Hyper-Resolution, Clausal, and Local Proofs.
    Schlaipfer M; Weissenbacher G
    J Autom Reason; 2016; 57(1):3-36. PubMed ID: 30174360
    [TBL] [Abstract][Full Text] [Related]  

  • 20. Functional and structural features of the holin HOL protein of the Lactobacillus plantarum phage phi gle: analysis in Escherichia coli system.
    Oki M; Kakikawa M; Nakamura S; Yamamura ET; Watanabe K; Sasamoto M; Taketo A; Kodaira K
    Gene; 1997 Sep; 197(1-2):137-45. PubMed ID: 9332359
    [TBL] [Abstract][Full Text] [Related]  

    [Next]    [New Search]
    of 7.