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 *

109 related articles for article (PubMed ID: 35494878)

  • 41. Symbolic reachable set computation of piecewise affine hybrid automata and its application to biological modelling: Delta-Notch protein signalling.
    Ghosh R; Tomlin C
    Syst Biol (Stevenage); 2004 Jun; 1(1):170-83. PubMed ID: 17052127
    [TBL] [Abstract][Full Text] [Related]  

  • 42. VANESA: An open-source hybrid functional Petri net modeling and simulation environment in systems biology.
    Brinkrolf C; Ochel L; Hofestädt R
    Biosystems; 2021 Dec; 210():104531. PubMed ID: 34492317
    [TBL] [Abstract][Full Text] [Related]  

  • 43. MIRACH: efficient model checker for quantitative biological pathway models.
    Koh CH; Nagasaki M; Saito A; Li C; Wong L; Miyano S
    Bioinformatics; 2011 Mar; 27(5):734-5. PubMed ID: 21208986
    [TBL] [Abstract][Full Text] [Related]  

  • 44. Evolution of optimal behaviour in networks of Boolean automata.
    Beaumont MA
    J Theor Biol; 1993 Dec; 165(4):455-76. PubMed ID: 8114506
    [TBL] [Abstract][Full Text] [Related]  

  • 45. Evaluation of properties over phylogenetic trees using stochastic logics.
    Requeno JI; Colom JM
    BMC Bioinformatics; 2016 Jun; 17(1):235. PubMed ID: 27301397
    [TBL] [Abstract][Full Text] [Related]  

  • 46. Compositional schedulability analysis of real-time actor-based systems.
    Jaghoori MM; de Boer F; Longuet D; Chothia T; Sirjani M
    Acta Inform; 2017; 54(4):343-378. PubMed ID: 28529345
    [TBL] [Abstract][Full Text] [Related]  

  • 47. Young Adults' Perspectives on the Use of Symptom Checkers for Self-Triage and Self-Diagnosis: Qualitative Study.
    Aboueid S; Meyer S; Wallace JR; Mahajan S; Chaurasia A
    JMIR Public Health Surveill; 2021 Jan; 7(1):e22637. PubMed ID: 33404515
    [TBL] [Abstract][Full Text] [Related]  

  • 48. Online symptom checker diagnostic and triage accuracy for HIV and hepatitis C.
    Berry AC; Cash BD; Wang B; Mulekar MS; Van Haneghan AB; Yuquimpo K; Swaney A; Marshall MC; Green WK
    Epidemiol Infect; 2019 Jan; 147():e104. PubMed ID: 30869052
    [TBL] [Abstract][Full Text] [Related]  

  • 49. Robust finite automata in stochastic chemical reaction networks.
    Arredondo D; Lakin MR
    R Soc Open Sci; 2021 Dec; 8(12):211310. PubMed ID: 34950493
    [TBL] [Abstract][Full Text] [Related]  

  • 50. A novel procedure for statistical inference and verification of gene regulatory subnetwork.
    Gong H; Klinger J; Damazyn K; Li X; Huang S
    BMC Bioinformatics; 2015; 16 Suppl 7(Suppl 7):S7. PubMed ID: 25952938
    [TBL] [Abstract][Full Text] [Related]  

  • 51. Modular analysis of gene networks by linear temporal logic.
    Ito S; Ichinose T; Shimakawa M; Izumi N; Hagihara S; Yonezaki N
    J Integr Bioinform; 2013 Mar; 10(2):216. PubMed ID: 23525897
    [TBL] [Abstract][Full Text] [Related]  

  • 52. Adopting model checking techniques for clinical guidelines verification.
    Bottrighi A; Giordano L; Molino G; Montani S; Terenziani P; Torchio M
    Artif Intell Med; 2010 Jan; 48(1):1-19. PubMed ID: 19864118
    [TBL] [Abstract][Full Text] [Related]  

  • 53. Linear Temporal Logic (LTL) Based Monitoring of Smart Manufacturing Systems.
    Heddy G; Huzaifa U; Beling P; Haimes Y; Marvel J; Weiss B; LaViers A
    Proc Annu Conf Progn Health Manag Soc; 2015; 6():039. PubMed ID: 28730154
    [TBL] [Abstract][Full Text] [Related]  

  • 54. Automatic validation of computational models using pseudo-3D spatio-temporal model checking.
    Pârvu O; Gilbert D
    BMC Syst Biol; 2014 Dec; 8():124. PubMed ID: 25440773
    [TBL] [Abstract][Full Text] [Related]  

  • 55. Petri Net controller synthesis based on decomposed manufacturing models.
    Dideban A; Zeraatkar H
    ISA Trans; 2018 Jun; 77():90-99. PubMed ID: 29724587
    [TBL] [Abstract][Full Text] [Related]  

  • 56. Modeling and control of operator functional state in a unified framework of fuzzy inference petri nets.
    Zhang JH; Xia JJ; Garibaldi JM; Groumpos PP; Wang RB
    Comput Methods Programs Biomed; 2017 Jun; 144():147-163. PubMed ID: 28494999
    [TBL] [Abstract][Full Text] [Related]  

  • 57. A service-oriented architecture for integrating the modeling and formal verification of genetic regulatory networks.
    Monteiro PT; Dumas E; Besson B; Mateescu R; Page M; Freitas AT; de Jong H
    BMC Bioinformatics; 2009 Dec; 10():450. PubMed ID: 20042075
    [TBL] [Abstract][Full Text] [Related]  

  • 58. A verification strategy for web services composition using enhanced stacked automata model.
    Nagamouttou D; Egambaram I; Krishnan M; Narasingam P
    Springerplus; 2015; 4():98. PubMed ID: 25810951
    [TBL] [Abstract][Full Text] [Related]  

  • 59. Does Your Result Checker Really Check?
    Guo L; Mukhopadhyay S; Cukic B
    Int Conf Dependable Syst Netw Workshops; 2004; 2004():399-404. PubMed ID: 26005697
    [TBL] [Abstract][Full Text] [Related]  

  • 60. Exact acceleration of complex real-time model checking based on overlapping cycle.
    Wang G; Zhuang L; Song Y; He M; Ma D; Ma L
    PeerJ Comput Sci; 2020; 6():e272. PubMed ID: 33816923
    [TBL] [Abstract][Full Text] [Related]  

    [Previous]   [Next]    [New Search]
    of 6.