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: 35494878)

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

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

  • 63. Continuous variables logic
    Lilienthal S; Klein M; Orbach R; Willner I; Remacle F; Levine RD
    Chem Sci; 2017 Mar; 8(3):2161-2168. PubMed ID: 28507669
    [TBL] [Abstract][Full Text] [Related]  

  • 64. Predictive landscapes hidden beneath biological cellular automata.
    Koopmans L; Youk H
    J Biol Phys; 2021 Dec; 47(4):355-369. PubMed ID: 34739687
    [TBL] [Abstract][Full Text] [Related]  

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

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

  • 67. Petri Net and Probabilistic Model Checking Based Approach for the Modelling, Simulation and Verification of Internet Worm Propagation.
    Razzaq M; Ahmad J
    PLoS One; 2015; 10(12):e0145690. PubMed ID: 26713449
    [TBL] [Abstract][Full Text] [Related]  

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

  • 69. DNA strand displacement system running logic programs.
    Rodríguez-Patón A; Sainz de Murieta I; Sosík P
    Biosystems; 2014 Jan; 115():5-12. PubMed ID: 24211259
    [TBL] [Abstract][Full Text] [Related]  

  • 70. Hierarchical planning with state abstractions for temporal task specifications.
    Oh Y; Patel R; Nguyen T; Huang B; Berg M; Pavlick E; Tellex S
    Auton Robots; 2022; 46(6):667-683. PubMed ID: 35692555
    [TBL] [Abstract][Full Text] [Related]  

  • 71. An Odd Parity Checker Prototype Using DNAzyme Finite State Machine.
    Eshra A; El-Sayed A
    IEEE/ACM Trans Comput Biol Bioinform; 2014; 11(2):316-24. PubMed ID: 26355779
    [TBL] [Abstract][Full Text] [Related]  

  • 72. Automation of Presentation Record Production Based on Rich-Media Technology Using SNT Petri Nets Theory.
    Martiník I
    ScientificWorldJournal; 2015; 2015():303705. PubMed ID: 26258164
    [TBL] [Abstract][Full Text] [Related]  

  • 73. Two theoretical and practical aspects of knitting technique: invariants and a new class of Petri net.
    Chao DY; Wang DT
    IEEE Trans Syst Man Cybern B Cybern; 1997; 27(6):962-77. PubMed ID: 18263104
    [TBL] [Abstract][Full Text] [Related]  

  • 74. Modeling biological systems with uncertain kinetic data using fuzzy continuous Petri nets.
    Liu F; Chen S; Heiner M; Song H
    BMC Syst Biol; 2018 Apr; 12(Suppl 4):42. PubMed ID: 29745860
    [TBL] [Abstract][Full Text] [Related]  

  • 75. Modeling compliance specifications in linear temporal logic, event processing language and property specification patterns: a controlled experiment on understandability.
    Czepa C; Amiri A; Ntentos E; Zdun U
    Softw Syst Model; 2019; 18(6):3331-3371. PubMed ID: 31975976
    [TBL] [Abstract][Full Text] [Related]  

  • 76. A simple linearization of the self-shrinking generator by means of cellular automata.
    Fúster-Sabater A; Pazo-Robles ME; Caballero-Gil P
    Neural Netw; 2010 Apr; 23(3):461-4. PubMed ID: 20060262
    [TBL] [Abstract][Full Text] [Related]  

  • 77. Supervisory control of fuzzy discrete event systems: a formal approach.
    Qiu D
    IEEE Trans Syst Man Cybern B Cybern; 2005 Feb; 35(1):72-88. PubMed ID: 15719935
    [TBL] [Abstract][Full Text] [Related]  

  • 78. Observability of Automata Networks: Fixed and Switching Cases.
    Li R; Hong Y; Wang X
    IEEE Trans Neural Netw Learn Syst; 2018 Apr; 29(4):1388-1394. PubMed ID: 28362589
    [TBL] [Abstract][Full Text] [Related]  

  • 79. Modeling biological pathway dynamics with timed automata.
    Schivo S; Scholma J; Wanders B; Urquidi Camacho RA; van der Vet PE; Karperien M; Langerak R; van de Pol J; Post JN
    IEEE J Biomed Health Inform; 2014 May; 18(3):832-9. PubMed ID: 24808226
    [TBL] [Abstract][Full Text] [Related]  

  • 80. Scaling up fact-checking using the wisdom of crowds.
    Allen J; Arechar AA; Pennycook G; Rand DG
    Sci Adv; 2021 Sep; 7(36):eabf4393. PubMed ID: 34516925
    [TBL] [Abstract][Full Text] [Related]  

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