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 *

22 related articles for article (PubMed ID: 18252405)

  • 1. Scheduling for batch processes based on clustering approximated timed reachability graphs.
    Zhou J; Lefebvre D; Li Z
    ISA Trans; 2024 Jul; ():. PubMed ID: 38997828
    [TBL] [Abstract][Full Text] [Related]  

  • 2. The complexity of verifying population protocols.
    Esparza J; Jaax S; Raskin M; Weil-Kennedy C
    Distrib Comput; 2021; 34(2):133-177. PubMed ID: 34720291
    [TBL] [Abstract][Full Text] [Related]  

  • 3. Dynamic Simulation and Modeling of a Novel NeuRaiSya for Railway Monitoring System Using Petri Nets.
    Deplomo BNI; Villaverde JF; Paglinawan AC
    Sensors (Basel); 2024 Jun; 24(13):. PubMed ID: 39000874
    [TBL] [Abstract][Full Text] [Related]  

  • 4. Guided search for hybrid systems based on coarse-grained space abstractions.
    Bogomolov S; Donzé A; Frehse G; Grosu R; Johnson TT; Ladan H; Podelski A; Wehrle M
    Int J Softw Tools Technol Transf; 2016; 18():449-467. PubMed ID: 27445640
    [TBL] [Abstract][Full Text] [Related]  

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

  • 6. Guaranteed Reachability for Systems with Unknown Dynamics.
    Ornik M
    Proc IEEE Conf Decis Control; 2021 Jan; 2020():. PubMed ID: 33612963
    [TBL] [Abstract][Full Text] [Related]  

  • 7. Hyperbolic Dirac Nets for medical decision support. Theory, methods, and comparison with Bayes Nets.
    Robson B
    Comput Biol Med; 2014 Aug; 51():183-97. PubMed ID: 24954566
    [TBL] [Abstract][Full Text] [Related]  

  • 8. Compositional time Petri nets and reduction rules.
    Wang J; Deng Y; Zhou M
    IEEE Trans Syst Man Cybern B Cybern; 2000; 30(4):562-72. PubMed ID: 18252387
    [TBL] [Abstract][Full Text] [Related]  

  • 9. Enhanced high-level Petri nets with multiple colors for knowledge verification/validation of rule-based expert systems.
    Wu CH; Lee SJ
    IEEE Trans Syst Man Cybern B Cybern; 1997; 27(5):760-73. PubMed ID: 18263087
    [TBL] [Abstract][Full Text] [Related]  

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

  • 11. Behavioral Petri nets: a model for diagnostic knowledge representation and reasoning.
    Portinale L
    IEEE Trans Syst Man Cybern B Cybern; 1997; 27(2):184-95. PubMed ID: 18255856
    [TBL] [Abstract][Full Text] [Related]  

  • 12. Deadlock checking for one-place unbounded Petri nets based on modified reachability trees.
    Ding Z; Jiang C; Zhou M
    IEEE Trans Syst Man Cybern B Cybern; 2008 Jun; 38(3):881-3. PubMed ID: 18558549
    [TBL] [Abstract][Full Text] [Related]  

  • 13. Reachability analysis of real-time systems using time Petri nets.
    Wang J; Deng Y; Xu G
    IEEE Trans Syst Man Cybern B Cybern; 2000; 30(5):725-36. PubMed ID: 18252405
    [TBL] [Abstract][Full Text] [Related]  

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

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

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

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

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

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

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

    [Next]    [New Search]
    of 2.