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 *

113 related articles for article (PubMed ID: 31975976)

  • 1. Modeling compliance specifications in linear temporal logic, event processing language and property specification patterns: a controlled experiment on understandability.
    Czepa C; Amiri A; Ntentos E; Zdun U
    Softw Syst Model; 2019; 18(6):3331-3371. PubMed ID: 31975976
    [TBL] [Abstract][Full Text] [Related]  

  • 2. Formalizing the use case model: A model-based approach.
    Zaman QU; Nadeem A; Sindhu MA
    PLoS One; 2020; 15(4):e0231534. PubMed ID: 32310952
    [TBL] [Abstract][Full Text] [Related]  

  • 3. Symbolic model checking quantum circuits in Maude.
    Minh Do C; Ogata K
    PeerJ Comput Sci; 2024; 10():e2098. PubMed ID: 38983212
    [TBL] [Abstract][Full Text] [Related]  

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

  • 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. Runtime verification in uncertain environment based on probabilistic model learning.
    Zhou G; Yang C; Lu P; Chen X
    Math Biosci Eng; 2022 Sep; 19(12):13607-13627. PubMed ID: 36654060
    [TBL] [Abstract][Full Text] [Related]  

  • 7. Authoring and verification of clinical guidelines: a model driven approach.
    Pérez B; Porres I
    J Biomed Inform; 2010 Aug; 43(4):520-36. PubMed ID: 20206714
    [TBL] [Abstract][Full Text] [Related]  

  • 8. Hierarchical planning with state abstractions for temporal task specifications.
    Oh Y; Patel R; Nguyen T; Huang B; Berg M; Pavlick E; Tellex S
    Auton Robots; 2022; 46(6):667-683. PubMed ID: 35692555
    [TBL] [Abstract][Full Text] [Related]  

  • 9. Visually defining and querying consistent multi-granular clinical temporal abstractions.
    Combi C; Oliboni B
    Artif Intell Med; 2012 Feb; 54(2):75-101. PubMed ID: 22177662
    [TBL] [Abstract][Full Text] [Related]  

  • 10. A learning-based synthesis approach of reward asynchronous probabilistic games against the linear temporal logic winning condition.
    Zhao W; Liu Z
    PeerJ Comput Sci; 2022; 8():e1094. PubMed ID: 36091983
    [TBL] [Abstract][Full Text] [Related]  

  • 11. Reasoning about clinical guidelines based on algebraic data types and constraint logic programming.
    Pérez B
    J Biomed Inform; 2019 Apr; 92():103134. PubMed ID: 30831315
    [TBL] [Abstract][Full Text] [Related]  

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

  • 13. Effects of emphasis terminology in warning instructions on compliance intent and understandability.
    Kim S; Wogalter MS
    J Safety Res; 2015 Dec; 55():41-51. PubMed ID: 26683546
    [TBL] [Abstract][Full Text] [Related]  

  • 14. Synthesizing adaptive test strategies from temporal logic specifications.
    Bloem R; Fey G; Greif F; Könighofer R; Pill I; Riener H; Röck F
    Form Methods Syst Des; 2019; 55(2):103-135. PubMed ID: 31866704
    [TBL] [Abstract][Full Text] [Related]  

  • 15. Compliance checking of cancer-screening Careflows: an approach based on Computational Logic.
    Chesani F; Lamma E; Mello P; Montali M; Storari S; Baldazzi P; Manfredi M
    Stud Health Technol Inform; 2008; 139():183-92. PubMed ID: 18806327
    [TBL] [Abstract][Full Text] [Related]  

  • 16. "Antelope": a hybrid-logic model checker for branching-time Boolean GRN analysis.
    Arellano G; Argil J; Azpeitia E; Benítez M; Carrillo M; Góngora P; Rosenblueth DA; Alvarez-Buylla ER
    BMC Bioinformatics; 2011 Dec; 12():490. PubMed ID: 22192526
    [TBL] [Abstract][Full Text] [Related]  

  • 17. Declarative language design for interactive visualization.
    Heer J; Bostock M
    IEEE Trans Vis Comput Graph; 2010; 16(6):1149-56. PubMed ID: 20975153
    [TBL] [Abstract][Full Text] [Related]  

  • 18. Quantitative monitoring of STL with edit distance.
    Jakšić S; Bartocci E; Grosu R; Nguyen T; Ničković D
    Form Methods Syst Des; 2018; 53(1):83-112. PubMed ID: 30956399
    [TBL] [Abstract][Full Text] [Related]  

  • 19. From LTL to rLTL monitoring: improved monitorability through robust semantics.
    Mascle C; Neider D; Schwenger M; Tabuada P; Weinert A; Zimmermann M
    Form Methods Syst Des; 2021; 59(1-3):170-204. PubMed ID: 36590854
    [TBL] [Abstract][Full Text] [Related]  

  • 20. Monitoring hyperproperties.
    Finkbeiner B; Hahn C; Stenger M; Tentrup L
    Form Methods Syst Des; 2019; 54(3):336-363. PubMed ID: 31806925
    [TBL] [Abstract][Full Text] [Related]  

    [Next]    [New Search]
    of 6.