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 *

119 related articles for article (PubMed ID: 36146285)

  • 61. Formal verification confirms the role of p53 protein in cell fate decision mechanism.
    Mahmoud EA; Herajy M; Ziedan IE; Shehata HI
    Theory Biosci; 2023 Feb; 142(1):29-45. PubMed ID: 36510032
    [TBL] [Abstract][Full Text] [Related]  

  • 62. Hardware implementation of fuzzy Petri net as a controller.
    Gniewek L; Kluska J
    IEEE Trans Syst Man Cybern B Cybern; 2004 Jun; 34(3):1315-24. PubMed ID: 15484905
    [TBL] [Abstract][Full Text] [Related]  

  • 63. Formal specification and design techniques for wireless sensor and actuator networks.
    Martínez D; González A; Blanes F; Aquino R; Simo J; Crespo A
    Sensors (Basel); 2011; 11(1):1059-77. PubMed ID: 22344203
    [TBL] [Abstract][Full Text] [Related]  

  • 64. Structural modeling and analysis of signaling pathways based on Petri nets.
    Li C; Suzuki S; Ge QW; Nakata M; Matsuno H; Miyano S
    J Bioinform Comput Biol; 2006 Oct; 4(5):1119-40. PubMed ID: 17099944
    [TBL] [Abstract][Full Text] [Related]  

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

  • 66. Data for the modelling of the future power system with a high share of variable renewable energy.
    Guerra K; Haro P; Gutiérrez RE; Gómez-Barea A
    Data Brief; 2022 Jun; 42():108095. PubMed ID: 35402665
    [TBL] [Abstract][Full Text] [Related]  

  • 67. Modeling of the U1 snRNP assembly pathway in alternative splicing in human cells using Petri nets.
    Kielbassa J; Bortfeldt R; Schuster S; Koch I
    Comput Biol Chem; 2009 Feb; 33(1):46-61. PubMed ID: 18775676
    [TBL] [Abstract][Full Text] [Related]  

  • 68. A Novel Method to Verify Multilevel Computational Models of Biological Systems Using Multiscale Spatio-Temporal Meta Model Checking.
    Pârvu O; Gilbert D
    PLoS One; 2016; 11(5):e0154847. PubMed ID: 27187178
    [TBL] [Abstract][Full Text] [Related]  

  • 69. Towards abstraction of computational modelling of mammalian cell cycle: Model reduction pipeline incorporating multi-level hybrid petri nets.
    Abroudi A; Samarasinghe S; Kulasiri D
    J Theor Biol; 2020 Jul; 496():110212. PubMed ID: 32142804
    [TBL] [Abstract][Full Text] [Related]  

  • 70. Modeling and Verification of Asynchronous Systems Using Timed Integrated Model of Distributed Systems.
    Daszczuk WB
    Sensors (Basel); 2022 Feb; 22(3):. PubMed ID: 35161901
    [TBL] [Abstract][Full Text] [Related]  

  • 71. A Petri net synthesis theory for modeling flexible manufacturing systems.
    Jeng MD
    IEEE Trans Syst Man Cybern B Cybern; 1997; 27(2):169-83. PubMed ID: 18255855
    [TBL] [Abstract][Full Text] [Related]  

  • 72. The equivalency between logic Petri workflow nets and workflow nets.
    Wang J; Yu S; Du Y
    ScientificWorldJournal; 2015; 2015():121492. PubMed ID: 25821845
    [TBL] [Abstract][Full Text] [Related]  

  • 73. Modeling and performance analysis using extended fuzzy-timing Petri nets for networked virtual environments.
    Zhou Y; Murata T; Defanti TA
    IEEE Trans Syst Man Cybern B Cybern; 2000; 30(5):737-56. PubMed ID: 18252406
    [TBL] [Abstract][Full Text] [Related]  

  • 74. Multiobjective Sizing of an Autonomous Hybrid Microgrid Using a Multimodal Delayed PSO Algorithm: A Case Study of a Fishing Village.
    Mouachi R; Jallal MA; Gharnati F; Raoufi M
    Comput Intell Neurosci; 2020; 2020():8894094. PubMed ID: 32831822
    [TBL] [Abstract][Full Text] [Related]  

  • 75. Intelligent decision making in disassembly process based on fuzzy reasoning petri nets.
    Gao M; Zhou M; Tang Y
    IEEE Trans Syst Man Cybern B Cybern; 2004 Oct; 34(5):2029-34. PubMed ID: 15503498
    [TBL] [Abstract][Full Text] [Related]  

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

  • 77. Analyzing phylogenetic trees with timed and probabilistic model checking: the lactose persistence case study.
    Requeno JI; Colom JM
    J Integr Bioinform; 2014 Oct; 11(3):248. PubMed ID: 25339082
    [TBL] [Abstract][Full Text] [Related]  

  • 78. Dynamic Production System Identification for Smart Manufacturing Systems.
    Denno P; Dickerson C; Harding JA
    J Manuf Syst; 2018; 48():. PubMed ID: 31555022
    [TBL] [Abstract][Full Text] [Related]  

  • 79. Petri-net-based 2D design of DNA walker circuits.
    Gilbert D; Heiner M; Rohr C
    Nat Comput; 2018; 17(1):161-182. PubMed ID: 29576759
    [TBL] [Abstract][Full Text] [Related]  

  • 80. Coloured fuzzy Petri nets for modelling and analysing membrane systems.
    Assaf G; Heiner M; Liu F
    Biosystems; 2022 Feb; 212():104592. PubMed ID: 34995696
    [TBL] [Abstract][Full Text] [Related]  

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