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 *

120 related articles for article (PubMed ID: 34720291)

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

  • 2. Towards efficient verification of population protocols.
    Blondin M; Esparza J; Jaax S; Meyer PJ
    Form Methods Syst Des; 2021; 57(3):305-342. PubMed ID: 34866798
    [TBL] [Abstract][Full Text] [Related]  

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

  • 4. Erratum: Eyestalk Ablation to Increase Ovarian Maturation in Mud Crabs.
    J Vis Exp; 2023 May; (195):. PubMed ID: 37235796
    [TBL] [Abstract][Full Text] [Related]  

  • 5. A modified reachability tree approach to analysis of unbounded Petri nets.
    Wang FY; Gao Y; Zhou M
    IEEE Trans Syst Man Cybern B Cybern; 2004 Feb; 34(1):303-8. PubMed ID: 15369073
    [TBL] [Abstract][Full Text] [Related]  

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

  • 7. Time-space trade-offs in population protocols for the majority problem.
    Berenbrink P; Elsässer R; Friedetzky T; Kaaser D; Kling P; Radzik T
    Distrib Comput; 2021; 34(2):91-111. PubMed ID: 34720289
    [TBL] [Abstract][Full Text] [Related]  

  • 8. Modes and cuts in metabolic networks: complexity and algorithms.
    Acuña V; Chierichetti F; Lacroix V; Marchetti-Spaccamela A; Sagot MF; Stougie L
    Biosystems; 2009 Jan; 95(1):51-60. PubMed ID: 18722501
    [TBL] [Abstract][Full Text] [Related]  

  • 9. The effectiveness of health literacy interventions on the informed consent process of health care users: a systematic review protocol.
    Perrenoud B; Velonaki VS; Bodenmann P; Ramelet AS
    JBI Database System Rev Implement Rep; 2015 Oct; 13(10):82-94. PubMed ID: 26571285
    [TBL] [Abstract][Full Text] [Related]  

  • 10. Para
    Konnov I; Lazić M; Veith H; Widder J
    Form Methods Syst Des; 2017; 51(2):270-307. PubMed ID: 32009739
    [TBL] [Abstract][Full Text] [Related]  

  • 11. A formal proof and simple explanation of the QuickXplain algorithm.
    Rodler P
    Artif Intell Rev; 2022; 55(8):6185-6206. PubMed ID: 36337611
    [TBL] [Abstract][Full Text] [Related]  

  • 12. Reachability of nonsynchronized choice Petri nets and its applications.
    Chao DY
    IEEE Trans Syst Man Cybern B Cybern; 2005 Dec; 35(6):1203-13. PubMed ID: 16366246
    [TBL] [Abstract][Full Text] [Related]  

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

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

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

  • 16. A note on efficient computation of haplotypes via perfect phylogeny.
    Bafna V; Gusfield D; Hannenhalli S; Yooseph S
    J Comput Biol; 2004; 11(5):858-66. PubMed ID: 15700406
    [TBL] [Abstract][Full Text] [Related]  

  • 17. Language-based Opacity Verification and Enforcement in the Framework of Labeled Petri Nets.
    Habbachi S; Li Z; Wu N; Khalgui M
    Sci Prog; 2022; 105(1):368504221075466. PubMed ID: 35196198
    [TBL] [Abstract][Full Text] [Related]  

  • 18. Analysis of gene copy number changes in tumor phylogenetics.
    Zhou J; Lin Y; Rajan V; Hoskins W; Feng B; Tang J
    Algorithms Mol Biol; 2016; 11():26. PubMed ID: 27688796
    [TBL] [Abstract][Full Text] [Related]  

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

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

    [Next]    [New Search]
    of 6.