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 *

149 related articles for article (PubMed ID: 32310952)

  • 21. The effectiveness of internet-based e-learning on clinician behavior and patient outcomes: a systematic review protocol.
    Sinclair P; Kable A; Levett-Jones T
    JBI Database System Rev Implement Rep; 2015 Jan; 13(1):52-64. PubMed ID: 26447007
    [TBL] [Abstract][Full Text] [Related]  

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

  • 23. Formal verification of medical monitoring software using Z language: a representative sample.
    Babamir SM; Borhani M
    J Med Syst; 2012 Aug; 36(4):2633-48. PubMed ID: 21681513
    [TBL] [Abstract][Full Text] [Related]  

  • 24. Abstraction and analysis of clinical guidance trees.
    Turner KJ
    J Biomed Inform; 2009 Apr; 42(2):237-50. PubMed ID: 19032989
    [TBL] [Abstract][Full Text] [Related]  

  • 25. Rural-urban migration, informal sector and development policies: a theoretical analysis.
    Gupta MR
    J Dev Econ; 1993 Jun; 41(1):137-51. PubMed ID: 12344755
    [TBL] [Abstract][Full Text] [Related]  

  • 26. Monitoring hybrid process specifications with conflict management: An automata-theoretic approach.
    Alman A; Maggi FM; Montali M; Patrizi F; Rivkin A
    Artif Intell Med; 2023 May; 139():102512. PubMed ID: 37100514
    [TBL] [Abstract][Full Text] [Related]  

  • 27. De novo reconstruction of gene regulatory networks from time series data, an approach based on formal methods.
    Ceccarelli M; Cerulo L; Santone A
    Methods; 2014 Oct; 69(3):298-305. PubMed ID: 24960286
    [TBL] [Abstract][Full Text] [Related]  

  • 28. Toward the formal verification of a unification system.
    Liu H; Zhao J; Lu R
    IEEE Trans Syst Man Cybern B Cybern; 2009 Aug; 39(4):879-88. PubMed ID: 19380274
    [TBL] [Abstract][Full Text] [Related]  

  • 29. Toward the formal verification of a unification system.
    Liu H; Zhao J; Lu R
    IEEE Trans Syst Man Cybern B Cybern; 2009 Apr; 39(2):399-408. PubMed ID: 19109092
    [TBL] [Abstract][Full Text] [Related]  

  • 30. An ORCID based synchronization framework for a national CRIS ecosystem.
    Mendes Moreira J; Cunha A; Macedo N
    F1000Res; 2015; 4():181. PubMed ID: 26308833
    [TBL] [Abstract][Full Text] [Related]  

  • 31. A formal approach to the analysis of clinical computer-interpretable guideline modeling languages.
    Grando MA; Glasspool D; Fox J
    Artif Intell Med; 2012 Jan; 54(1):1-13. PubMed ID: 21788121
    [TBL] [Abstract][Full Text] [Related]  

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

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

  • 34. Formal Modelling of FHIR Based, Medical Data Exchange Using Algebraic Petri Nets.
    Bathelt F; Kümmel M; Helfer S; Kamann C; Sedlmayr M
    Stud Health Technol Inform; 2020 Jun; 270():597-601. PubMed ID: 32570453
    [TBL] [Abstract][Full Text] [Related]  

  • 35. Verifying a medical protocol with temporal graphs: the case of a nosocomial disease.
    Kamsu-Foguem B; Tchuenté-Foguem G; Foguem C
    J Crit Care; 2014 Aug; 29(4):690.e1-9. PubMed ID: 24636931
    [TBL] [Abstract][Full Text] [Related]  

  • 36. Using formal methods for content validation of medical procedure documents.
    Cota É; Ribeiro L; Bezerra JS; Costa A; da Silva RE; Cota G
    Int J Med Inform; 2017 Aug; 104():10-25. PubMed ID: 28599811
    [TBL] [Abstract][Full Text] [Related]  

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

  • 38. Describing and recognizing patterns of events in smart environments with description logic.
    Scalmato A; Sgorbissa A; Zaccaria R
    IEEE Trans Cybern; 2013 Dec; 43(6):1882-97. PubMed ID: 23757579
    [TBL] [Abstract][Full Text] [Related]  

  • 39. Specification and simulation of behavior of the Continuous Infusion Insulin Pump system.
    Babamir SM; Dehkordi MB
    Biomed Mater Eng; 2014; 24(2):1517-26. PubMed ID: 24642978
    [TBL] [Abstract][Full Text] [Related]  

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

    [Previous]   [Next]    [New Search]
    of 8.