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 *

143 related articles for article (PubMed ID: 28671950)

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

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

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

  • 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. Zsyntax: a formal language for molecular biology with projected applications in text mining and biological prediction.
    Boniolo G; D'Agostino M; Di Fiore PP
    PLoS One; 2010 Mar; 5(3):e9511. PubMed ID: 20209084
    [TBL] [Abstract][Full Text] [Related]  

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

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

  • 9. Multi-scale modeling of cell survival and death mediated by the p53 network: a systems pharmacology framework.
    Wang Y; Guo Z; Chen X; Zhang W; Lu A; Wang Y
    Mol Biosyst; 2015 Nov; 11(11):3011-21. PubMed ID: 26299837
    [TBL] [Abstract][Full Text] [Related]  

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

  • 11. A grounded theory of abstraction in artificial intelligence.
    Zucker JD
    Philos Trans R Soc Lond B Biol Sci; 2003 Jul; 358(1435):1293-309. PubMed ID: 12903672
    [TBL] [Abstract][Full Text] [Related]  

  • 12. A Comprehensive Framework for Saturation Theorem Proving.
    Waldmann U; Tourret S; Robillard S; Blanchette J
    J Autom Reason; 2022; 66(4):499-539. PubMed ID: 36353684
    [TBL] [Abstract][Full Text] [Related]  

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

  • 14. Adaptation and learning of molecular networks as a description of cancer development at the systems-level: potential use in anti-cancer therapies.
    Gyurkó DM; Veres DV; Módos D; Lenti K; Korcsmáros T; Csermely P
    Semin Cancer Biol; 2013 Aug; 23(4):262-9. PubMed ID: 23796463
    [TBL] [Abstract][Full Text] [Related]  

  • 15. Selective targeting of cancer stem cells: a new concept in cancer therapeutics.
    Korkaya H; Wicha MS
    BioDrugs; 2007; 21(5):299-310. PubMed ID: 17896836
    [TBL] [Abstract][Full Text] [Related]  

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

  • 17. Progress in molecular biology and translational science. Preface.
    Ruddon RW
    Prog Mol Biol Transl Sci; 2010; 95():xi. PubMed ID: 21075325
    [No Abstract]   [Full Text] [Related]  

  • 18. [Systems biology of cancer].
    Barillot E; Calzone L; Zinovyev A
    Med Sci (Paris); 2009; 25(6-7):601-7. PubMed ID: 19602357
    [TBL] [Abstract][Full Text] [Related]  

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

  • 20. Novel recurrent neural network for modelling biological networks: oscillatory p53 interaction dynamics.
    Ling H; Samarasinghe S; Kulasiri D
    Biosystems; 2013 Dec; 114(3):191-205. PubMed ID: 24012741
    [TBL] [Abstract][Full Text] [Related]  

    [Next]    [New Search]
    of 8.