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 *

102 related articles for article (PubMed ID: 32029957)

  • 1. A framework for automated conflict detection and resolution in medical guidelines.
    Bowles J; Caminati MB; Cha S; Mendoza J
    Sci Comput Program; 2019 Aug; 182():42-63. PubMed ID: 32029957
    [TBL] [Abstract][Full Text] [Related]  

  • 2. A Comprehensive Framework for Saturation Theorem Proving.
    Waldmann U; Tourret S; Robillard S; Blanchette J
    J Autom Reason; 2022; 66(4):499-539. PubMed ID: 36353684
    [TBL] [Abstract][Full Text] [Related]  

  • 3. Automated conflict resolution between multiple clinical pathways: a technology report.
    Litchfield I; Turner A; Backman R; Bosco Ferreira Filho J; Lee M
    J Innov Health Inform; 2018 Oct; 25(3):142-148. PubMed ID: 30398456
    [TBL] [Abstract][Full Text] [Related]  

  • 4. A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality.
    Blanchette JC; Fleury M; Lammich P; Weidenbach C
    J Autom Reason; 2018; 61(1):333-365. PubMed ID: 30069073
    [TBL] [Abstract][Full Text] [Related]  

  • 5. The Higher-Order Prover Leo-II.
    Benzmüller C; Sultana N; Paulson LC; Theiß F
    J Autom Reason; 2015; 55(4):389-404. PubMed ID: 30174358
    [TBL] [Abstract][Full Text] [Related]  

  • 6. Automated conflict resolution for patients with multiple morbidity being treated using more than one set of single condition clinical guidance: A case study.
    Litchfield I; Turner AM; Ferreira Filho JB; Lee M; Weber P
    Comput Biol Med; 2022 May; 144():105381. PubMed ID: 35279424
    [TBL] [Abstract][Full Text] [Related]  

  • 7. Learning to Guide a Saturation-Based Theorem Prover.
    Abdelaziz I; Crouse M; Makni B; Austel V; Cornelio C; Ikbal S; Kapanipathi P; Makondo N; Srinivas K; Witbrock M; Fokoue A
    IEEE Trans Pattern Anal Mach Intell; 2023 Jan; 45(1):738-751. PubMed ID: 34982678
    [TBL] [Abstract][Full Text] [Related]  

  • 8. Tackling Polypharmacy: A Multi-Source Decision Support System.
    Redeker G; Bowles J
    Stud Health Technol Inform; 2020 Jun; 270():688-692. PubMed ID: 32570471
    [TBL] [Abstract][Full Text] [Related]  

  • 9. LogiKEy workbench: Deontic logics, logic combinations and expressive ethical and legal reasoning (Isabelle/HOL dataset).
    Benzmüller C; Farjami A; Fuenmayor D; Meder P; Parent X; Steen A; van der Torre L; Zahoransky V
    Data Brief; 2020 Dec; 33():106409. PubMed ID: 33134442
    [TBL] [Abstract][Full Text] [Related]  

  • 10. Formal verification of Matrix based MATLAB models using interactive theorem proving.
    Gauhar A; Rashid A; Hasan O; Bispo J; Cardoso JMP
    PeerJ Comput Sci; 2021; 7():e440. PubMed ID: 33834107
    [TBL] [Abstract][Full Text] [Related]  

  • 11. Automated generation of consistent models using qualitative abstractions and exploration strategies.
    Babikian AA; Semeráth O; Li A; Marussy K; Varró D
    Softw Syst Model; 2022; 21(5):1763-1787. PubMed ID: 36196213
    [TBL] [Abstract][Full Text] [Related]  

  • 12. Automated generation of patient-tailored electronic care pathways by translating computer-interpretable guidelines into hierarchical task networks.
    González-Ferrer A; ten Teije A; Fdez-Olivares J; Milian K
    Artif Intell Med; 2013 Feb; 57(2):91-109. PubMed ID: 23177024
    [TBL] [Abstract][Full Text] [Related]  

  • 13. Unifying Splitting.
    Ebner G; Blanchette J; Tourret S
    J Autom Reason; 2023; 67(2):16. PubMed ID: 37131534
    [TBL] [Abstract][Full Text] [Related]  

  • 14. A Formalization of the Smith Normal Form in Higher-Order Logic.
    Divasón J; Thiemann R
    J Autom Reason; 2022; 66(4):1065-1095. PubMed ID: 36353683
    [TBL] [Abstract][Full Text] [Related]  

  • 15. International Group for Reducing Inappropriate Medication Use & Polypharmacy (IGRIMUP): Position Statement and 10 Recommendations for Action.
    Mangin D; Bahat G; Golomb BA; Mallery LH; Moorhouse P; Onder G; Petrovic M; Garfinkel D
    Drugs Aging; 2018 Jul; 35(7):575-587. PubMed ID: 30006810
    [TBL] [Abstract][Full Text] [Related]  

  • 16. Clinical guidelines and payer policies on fusion for the treatment of chronic low back pain.
    Cheng JS; Lee MJ; Massicotte E; Ashman B; Gruenberg M; Pilcher LE; Skelly AC
    Spine (Phila Pa 1976); 2011 Oct; 36(21 Suppl):S144-63. PubMed ID: 21952186
    [TBL] [Abstract][Full Text] [Related]  

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

  • 18. What do Constraint Programming Users Want to See? Exploring the Role of Visualisation in Profiling of Models and Search.
    Goodwin S; Mears C; Dwyer T; de la Banda MG; Tack G; Wallace M
    IEEE Trans Vis Comput Graph; 2017 Jan; 23(1):281-290. PubMed ID: 27875144
    [TBL] [Abstract][Full Text] [Related]  

  • 19. Efficacy of spinal manipulation and mobilization for low back pain and neck pain: a systematic review and best evidence synthesis.
    Bronfort G; Haas M; Evans RL; Bouter LM
    Spine J; 2004; 4(3):335-56. PubMed ID: 15125860
    [TBL] [Abstract][Full Text] [Related]  

  • 20. Responsible, Safe, and Effective Prescription of Opioids for Chronic Non-Cancer Pain: American Society of Interventional Pain Physicians (ASIPP) Guidelines.
    Manchikanti L; Kaye AM; Knezevic NN; McAnally H; Slavin K; Trescot AM; Blank S; Pampati V; Abdi S; Grider JS; Kaye AD; Manchikanti KN; Cordner H; Gharibo CG; Harned ME; Albers SL; Atluri S; Aydin SM; Bakshi S; Barkin RL; Benyamin RM; Boswell MV; Buenaventura RM; Calodney AK; Cedeno DL; Datta S; Deer TR; Fellows B; Galan V; Grami V; Hansen H; Helm Ii S; Justiz R; Koyyalagunta D; Malla Y; Navani A; Nouri KH; Pasupuleti R; Sehgal N; Silverman SM; Simopoulos TT; Singh V; Solanki DR; Staats PS; Vallejo R; Wargo BW; Watanabe A; Hirsch JA
    Pain Physician; 2017 Feb; 20(2S):S3-S92. PubMed ID: 28226332
    [TBL] [Abstract][Full Text] [Related]  

    [Next]    [New Search]
    of 6.