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 *

186 related articles for article (PubMed ID: 30831315)

  • 41. The guideline interchange format: a model for representing guidelines.
    Ohno-Machado L; Gennari JH; Murphy SN; Jain NL; Tu SW; Oliver DE; Pattison-Gordon E; Greenes RA; Shortliffe EH; Barnett GO
    J Am Med Inform Assoc; 1998; 5(4):357-72. PubMed ID: 9670133
    [TBL] [Abstract][Full Text] [Related]  

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

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

  • 44. GEM: a proposal for a more comprehensive guideline document model using XML.
    Shiffman RN; Karras BT; Agrawal A; Chen R; Marenco L; Nath S
    J Am Med Inform Assoc; 2000; 7(5):488-98. PubMed ID: 10984468
    [TBL] [Abstract][Full Text] [Related]  

  • 45. A quality and safety framework for point-of-care clinical guidelines.
    Fox J; Bury J
    Proc AMIA Symp; 2000; ():245-9. PubMed ID: 11079882
    [TBL] [Abstract][Full Text] [Related]  

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

  • 47. Mitigation of adverse interactions in pairs of clinical practice guidelines using constraint logic programming.
    Wilk S; Michalowski W; Michalowski M; Farion K; Hing MM; Mohapatra S
    J Biomed Inform; 2013 Apr; 46(2):341-53. PubMed ID: 23376273
    [TBL] [Abstract][Full Text] [Related]  

  • 48. A framework and tools for authoring, editing, documenting, sharing, searching, navigating, and executing computer-based clinical guidelines.
    Greenes RA; Boxwala A; Sloan WN; Ohno-Machado L; Deibel SR
    Proc AMIA Symp; 1999; ():261-5. PubMed ID: 10566361
    [TBL] [Abstract][Full Text] [Related]  

  • 49. First-order logic theory for manipulating clinical practice guidelines applied to comorbid patients: a case study.
    Michalowski M; Wilk S; Tan X; Michalowski W
    AMIA Annu Symp Proc; 2014; 2014():892-8. PubMed ID: 25954396
    [TBL] [Abstract][Full Text] [Related]  

  • 50. Modeling languages for biochemical network simulation: reaction vs equation based approaches.
    Wiechert W; Noack S; Elsheikh A
    Adv Biochem Eng Biotechnol; 2010; 121():109-38. PubMed ID: 20309675
    [TBL] [Abstract][Full Text] [Related]  

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

  • 52. Clinical practice guidelines and comorbid diseases: a MiniZinc representation of guideline models for mitigating adverse interactions.
    Wilk S; Michalowski M; Michalowski W; Farion K; Lin D; Hing MM; Mohapatra S
    Stud Health Technol Inform; 2013; 192():352-6. PubMed ID: 23920575
    [TBL] [Abstract][Full Text] [Related]  

  • 53. A sound and complete fuzzy temporal constraint logic.
    Cárdenas-Viedma MA
    IEEE Trans Syst Man Cybern B Cybern; 2006 Feb; 36(1):223-8. PubMed ID: 16468582
    [TBL] [Abstract][Full Text] [Related]  

  • 54. Constraint Logic Programming approach to protein structure prediction.
    Dal Palù A; Dovier A; Fogolari F
    BMC Bioinformatics; 2004 Nov; 5():186. PubMed ID: 15571634
    [TBL] [Abstract][Full Text] [Related]  

  • 55. Real-Time Reliability Verification for UAV Flight Control System Supporting Airworthiness Certification.
    Xu H; Wang P
    PLoS One; 2016; 11(12):e0167168. PubMed ID: 27918594
    [TBL] [Abstract][Full Text] [Related]  

  • 56. Counterexample-Driven Genetic Programming: Heuristic Program Synthesis from Formal Specifications.
    Błądek I; Krawiec K; Swan J
    Evol Comput; 2018; 26(3):441-469. PubMed ID: 29786460
    [TBL] [Abstract][Full Text] [Related]  

  • 57. A methodology for modular representation of guidelines.
    Scott-Wright AO; Fischer RP; Denekamp Y; Boxwala AA
    Stud Health Technol Inform; 2004; 107(Pt 1):149-53. PubMed ID: 15360793
    [TBL] [Abstract][Full Text] [Related]  

  • 58. Acquisition and analysis of repeating patterns in time-oriented clinical data.
    Chakravarty S; Shahar Y
    Methods Inf Med; 2001; 40(5):410-20. PubMed ID: 11776740
    [TBL] [Abstract][Full Text] [Related]  

  • 59. Acquiring guideline-enabled data driven clinical knowledge model using formally verified refined knowledge acquisition method.
    Hussain M; Afzal M; Malik KM; Ali T; Ali Khan W; Irfan M; Jamshed A; Lee S
    Comput Methods Programs Biomed; 2020 Dec; 197():105701. PubMed ID: 32882592
    [TBL] [Abstract][Full Text] [Related]  

  • 60. Model Checking Autonomous Components within Electric Power Systems Specified by Interpreted Petri Nets.
    Grobelna I; Szcześniak P
    Sensors (Basel); 2022 Sep; 22(18):. PubMed ID: 36146285
    [TBL] [Abstract][Full Text] [Related]  

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