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 *

130 related articles for article (PubMed ID: 27069511)

  • 1. Quantitative reactive modeling and verification.
    Henzinger TA
    Comput Sci (Berl); 2013; 28(4):331-344. PubMed ID: 27069511
    [TBL] [Abstract][Full Text] [Related]  

  • 2. A service-oriented architecture for integrating the modeling and formal verification of genetic regulatory networks.
    Monteiro PT; Dumas E; Besson B; Mateescu R; Page M; Freitas AT; de Jong H
    BMC Bioinformatics; 2009 Dec; 10():450. PubMed ID: 20042075
    [TBL] [Abstract][Full Text] [Related]  

  • 3. Verifiable biology.
    Konur S; Gheorghe M; Krasnogor N
    J R Soc Interface; 2023 May; 20(202):20230019. PubMed ID: 37160165
    [TBL] [Abstract][Full Text] [Related]  

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

  • 5. Comparison of EPA's QMS to SEI's CMMI.
    Mills P; Braun L; Marohl D
    Qual Assur; 2001; 9(3-4):165-71. PubMed ID: 12553079
    [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. Six Sigma: not for the faint of heart.
    Benedetto AR
    Radiol Manage; 2003; 25(2):40-53. PubMed ID: 12800564
    [TBL] [Abstract][Full Text] [Related]  

  • 8. [Standard technical specifications for methacholine chloride (Methacholine) bronchial challenge test (2023)].
    ; ;
    Zhonghua Jie He He Hu Xi Za Zhi; 2024 Feb; 47(2):101-119. PubMed ID: 38309959
    [TBL] [Abstract][Full Text] [Related]  

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

  • 10. Continuous time Boolean modeling for biological signaling: application of Gillespie algorithm.
    Stoll G; Viara E; Barillot E; Calzone L
    BMC Syst Biol; 2012 Aug; 6():116. PubMed ID: 22932419
    [TBL] [Abstract][Full Text] [Related]  

  • 11. Computational Modeling, Formal Analysis, and Tools for Systems Biology.
    Bartocci E; Lió P
    PLoS Comput Biol; 2016 Jan; 12(1):e1004591. PubMed ID: 26795950
    [TBL] [Abstract][Full Text] [Related]  

  • 12. Public sector reforms and their impact on the level of corruption: A systematic review.
    Mugellini G; Della Bella S; Colagrossi M; Isenring GL; Killias M
    Campbell Syst Rev; 2021 Jun; 17(2):e1173. PubMed ID: 37131927
    [TBL] [Abstract][Full Text] [Related]  

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

  • 14. Compression-based classification of biological sequences and structures via the Universal Similarity Metric: experimental assessment.
    Ferragina P; Giancarlo R; Greco V; Manzini G; Valiente G
    BMC Bioinformatics; 2007 Jul; 8():252. PubMed ID: 17629909
    [TBL] [Abstract][Full Text] [Related]  

  • 15. Qualitative networks: a symbolic approach to analyze biological signaling networks.
    Schaub MA; Henzinger TA; Fisher J
    BMC Syst Biol; 2007 Jan; 1():4. PubMed ID: 17408511
    [TBL] [Abstract][Full Text] [Related]  

  • 16. Evaluating Data Abstraction Assistant, a novel software application for data abstraction during systematic reviews: protocol for a randomized controlled trial.
    Saldanha IJ; Schmid CH; Lau J; Dickersin K; Berlin JA; Jap J; Smith BT; Carini S; Chan W; De Bruijn B; Wallace BC; Hutfless SM; Sim I; Murad MH; Walsh SA; Whamond EJ; Li T
    Syst Rev; 2016 Nov; 5(1):196. PubMed ID: 27876082
    [TBL] [Abstract][Full Text] [Related]  

  • 17. Temporal logics for phylogenetic analysis via model checking.
    Requeno JI; Casado Gde M; Blanco R; Colom JM
    IEEE/ACM Trans Comput Biol Bioinform; 2013; 10(4):1058-70. PubMed ID: 24334397
    [TBL] [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 7.