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 *

129 related articles for article (PubMed ID: 31739526)

  • 1. Formal Verification for Task Description Languages. A Petri Net Approach.
    López J; Santana-Alonso A; Díaz-Cacho Medina M
    Sensors (Basel); 2019 Nov; 19(22):. PubMed ID: 31739526
    [TBL] [Abstract][Full Text] [Related]  

  • 2. Model Checking Autonomous Components within Electric Power Systems Specified by Interpreted Petri Nets.
    Grobelna I; Szcześniak P
    Sensors (Basel); 2022 Sep; 22(18):. PubMed ID: 36146285
    [TBL] [Abstract][Full Text] [Related]  

  • 3. Formal Verification of Real-Time Autonomous Robots: An Interdisciplinary Approach.
    Foughali M; Zuepke A
    Front Robot AI; 2022; 9():791757. PubMed ID: 35494538
    [TBL] [Abstract][Full Text] [Related]  

  • 4. Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal.
    Farrell M; Mavrakis N; Ferrando A; Dixon C; Gao Y
    Front Robot AI; 2021; 8():639282. PubMed ID: 35155585
    [TBL] [Abstract][Full Text] [Related]  

  • 5. Comparing digraph and Petri net approaches to deadlock avoidance in FMS.
    Fanti MP; Maione B; Turchiano B
    IEEE Trans Syst Man Cybern B Cybern; 2000; 30(5):783-98. PubMed ID: 18252409
    [TBL] [Abstract][Full Text] [Related]  

  • 6. A formal approach to the analysis of clinical computer-interpretable guideline modeling languages.
    Grando MA; Glasspool D; Fox J
    Artif Intell Med; 2012 Jan; 54(1):1-13. PubMed ID: 21788121
    [TBL] [Abstract][Full Text] [Related]  

  • 7. Most permissive liveness-enforcing Petri net supervisors for discrete event systems via linear monitors.
    Cong X; Wang A; Chen Y; Wu N; Qu T; Khalgui M; Li Z
    ISA Trans; 2019 Sep; 92():145-154. PubMed ID: 30850206
    [TBL] [Abstract][Full Text] [Related]  

  • 8. Formalization, implementation, and modeling of institutional controllers for distributed robotic systems.
    Pereira JN; Silva P; Lima PU; Martinoli A
    Artif Life; 2014; 20(1):127-41. PubMed ID: 23373975
    [TBL] [Abstract][Full Text] [Related]  

  • 9. Simulation Experiment Description Markup Language (SED-ML) Level 1 Version 3 (L1V3).
    Bergmann FT; Cooper J; König M; Moraru I; Nickerson D; Le Novère N; Olivier BG; Sahle S; Smith L; Waltemath D
    J Integr Bioinform; 2018 Mar; 15(1):. PubMed ID: 29550789
    [TBL] [Abstract][Full Text] [Related]  

  • 10. Runtime Verification of Pacemaker Functionality Using Hierarchical Fuzzy Colored Petri-nets.
    Majma N; Babamir SM; Monadjemi A
    J Med Syst; 2017 Feb; 41(2):27. PubMed ID: 28005249
    [TBL] [Abstract][Full Text] [Related]  

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

  • 12. Extended Hierarchical Fuzzy Interpreted Petri Net.
    Markiewicz M; Gniewek L; Warchoł D
    Sensors (Basel); 2021 Dec; 21(24):. PubMed ID: 34960526
    [TBL] [Abstract][Full Text] [Related]  

  • 13. Holistic View on the Structure of Immune Response: Petri Net Model.
    Scharf S; Ackermann J; Bender L; Wurzel P; Schäfer H; Hansmann ML; Koch I
    Biomedicines; 2023 Feb; 11(2):. PubMed ID: 36830988
    [TBL] [Abstract][Full Text] [Related]  

  • 14. Determinism in Cyber-Physical Systems Specified by Interpreted Petri Nets.
    Wisniewski R; Grobelna I; Karatkevich A
    Sensors (Basel); 2020 Sep; 20(19):. PubMed ID: 32998420
    [TBL] [Abstract][Full Text] [Related]  

  • 15. Formal modeling of robot behavior with learning.
    Kirwan R; Miller A; Porr B; Di Prodi P
    Neural Comput; 2013 Nov; 25(11):2976-3019. PubMed ID: 23777520
    [TBL] [Abstract][Full Text] [Related]  

  • 16. Discrete event representation of qualitative models using Petri nets.
    Fanni A; Giua A
    IEEE Trans Syst Man Cybern B Cybern; 1998; 28(6):770-80. PubMed ID: 18255996
    [TBL] [Abstract][Full Text] [Related]  

  • 17. An advanced environment for hybrid modeling of biological systems based on modelica.
    Pross S; Bachmann B
    J Integr Bioinform; 2011 Jan; 8(1):. PubMed ID: 21248370
    [TBL] [Abstract][Full Text] [Related]  

  • 18. Cell illustrator 4.0: a computational platform for systems biology.
    Nagasaki M; Saito A; Jeong E; Li C; Kojima K; Ikeda E; Miyano S
    Stud Health Technol Inform; 2011; 162():160-81. PubMed ID: 21685571
    [TBL] [Abstract][Full Text] [Related]  

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

  • 20.
    ; ; . PubMed ID:
    [No Abstract]   [Full Text] [Related]  

    [Next]    [New Search]
    of 7.