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 *

134 related articles for article (PubMed ID: 30956545)

  • 1. Model checking: recent improvements and applications.
    Bošnački D; Wijs A
    Int J Softw Tools Technol Transf; 2018; 20(5):493-497. PubMed ID: 30956545
    [TBL] [Abstract][Full Text] [Related]  

  • 2. Automatic selection of verification tools for efficient analysis of biochemical models.
    Bakir ME; Konur S; Gheorghe M; Krasnogor N; Stannett M
    Bioinformatics; 2018 Sep; 34(18):3187-3195. PubMed ID: 29688313
    [TBL] [Abstract][Full Text] [Related]  

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

  • 4. Adopting model checking techniques for clinical guidelines verification.
    Bottrighi A; Giordano L; Molino G; Montani S; Terenziani P; Torchio M
    Artif Intell Med; 2010 Jan; 48(1):1-19. PubMed ID: 19864118
    [TBL] [Abstract][Full Text] [Related]  

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

  • 6. TECH-VER: A Verification Checklist to Reduce Errors in Models and Improve Their Credibility.
    Büyükkaramikli NC; Rutten-van Mölken MPMH; Severens JL; Al M
    Pharmacoeconomics; 2019 Nov; 37(11):1391-1408. PubMed ID: 31705406
    [TBL] [Abstract][Full Text] [Related]  

  • 7. Identification and analysis of error types in high-throughput genotyping.
    Ewen KR; Bahlo M; Treloar SA; Levinson DF; Mowry B; Barlow JW; Foote SJ
    Am J Hum Genet; 2000 Sep; 67(3):727-36. PubMed ID: 10924406
    [TBL] [Abstract][Full Text] [Related]  

  • 8. Formal Verification of Heuristic Autonomous Intersection Management Using Statistical Model Checking.
    Chouhan AP; Banda G
    Sensors (Basel); 2020 Aug; 20(16):. PubMed ID: 32806594
    [TBL] [Abstract][Full Text] [Related]  

  • 9. Evaluation of properties over phylogenetic trees using stochastic logics.
    Requeno JI; Colom JM
    BMC Bioinformatics; 2016 Jun; 17(1):235. PubMed ID: 27301397
    [TBL] [Abstract][Full Text] [Related]  

  • 10. Exploratory study to identify the process used by pharmacy staff to verify the accuracy of dispensed medicines.
    Anto B; James KL; Barlow D; Brinklow N; Oborne CA; Whittlesea C
    Int J Pharm Pract; 2013 Aug; 21(4):233-42. PubMed ID: 23419159
    [TBL] [Abstract][Full Text] [Related]  

  • 11. Proceedings of the Second Workshop on Theory meets Industry (Erwin-Schrödinger-Institute (ESI), Vienna, Austria, 12-14 June 2007).
    Hafner J
    J Phys Condens Matter; 2008 Feb; 20(6):060301. PubMed ID: 21693862
    [TBL] [Abstract][Full Text] [Related]  

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

  • 13. Specification and verification of pharmacokinetic models.
    Kwon Y; Kim E
    Adv Exp Med Biol; 2010; 680():465-72. PubMed ID: 20865531
    [TBL] [Abstract][Full Text] [Related]  

  • 14. Rules to be adopted for publishing a scientific paper.
    Picardi N
    Ann Ital Chir; 2016; 87():1-3. PubMed ID: 28474609
    [TBL] [Abstract][Full Text] [Related]  

  • 15. A formal analysis method for composition protocol based on model checking.
    Xiao M; Zhao H; Yang K; Ouyang R; Song W
    Sci Rep; 2022 May; 12(1):8493. PubMed ID: 35595820
    [TBL] [Abstract][Full Text] [Related]  

  • 16. Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2020.
    Biere A; Parker D
    Int J Softw Tools Technol Transf; 2022; 24(5):663-665. PubMed ID: 36186273
    [TBL] [Abstract][Full Text] [Related]  

  • 17. Double checking medicines: defence against error or contributory factor?
    Armitage G
    J Eval Clin Pract; 2008 Aug; 14(4):513-9. PubMed ID: 19133335
    [TBL] [Abstract][Full Text] [Related]  

  • 18. How has the impact of 'care pathway technologies' on service integration in stroke care been measured and what is the strength of the evidence to support their effectiveness in this respect?
    Allen D; Rixson L
    Int J Evid Based Healthc; 2008 Mar; 6(1):78-110. PubMed ID: 21631815
    [TBL] [Abstract][Full Text] [Related]  

  • 19. Identification of Genotype Errors.
    O'Connell J; Yao Y
    Methods Mol Biol; 2017; 1666():11-23. PubMed ID: 28980239
    [TBL] [Abstract][Full Text] [Related]  

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

    [Next]    [New Search]
    of 7.