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 *

122 related articles for article (PubMed ID: 37193313)

  • 1. Synthesising Programs with Non-trivial Constants.
    Abate A; Barbosa H; Barrett C; David C; Kesseli P; Kroening D; Polgreen E; Reynolds A; Tinelli C
    J Autom Reason; 2023; 67(2):19. PubMed ID: 37193313
    [TBL] [Abstract][Full Text] [Related]  

  • 2. Formal synthesis of non-fragile state-feedback digital controllers considering performance requirements for step response.
    Cavalcante T; Bessa I; Lima Filho EB; Cordeiro LC
    Sci Rep; 2022 Sep; 12(1):15429. PubMed ID: 36104388
    [TBL] [Abstract][Full Text] [Related]  

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

  • 4. Program synthesis: challenges and opportunities.
    David C; Kroening D
    Philos Trans A Math Phys Eng Sci; 2017 Oct; 375(2104):. PubMed ID: 28871052
    [TBL] [Abstract][Full Text] [Related]  

  • 5. Automated Formal Reasoning to Uncover Molecular Programs of Self-Renewal.
    Dunn SJ
    Methods Mol Biol; 2019; 1975():79-105. PubMed ID: 31062306
    [TBL] [Abstract][Full Text] [Related]  

  • 6. Automated formal synthesis of provably safe digital controllers for continuous plants.
    Abate A; Bessa I; Cordeiro L; David C; Kesseli P; Kroening D; Polgreen E
    Acta Inform; 2020; 57(1):223-244. PubMed ID: 32189718
    [TBL] [Abstract][Full Text] [Related]  

  • 7. Folic acid supplementation and malaria susceptibility and severity among people taking antifolate antimalarial drugs in endemic areas.
    Crider K; Williams J; Qi YP; Gutman J; Yeung L; Mai C; Finkelstain J; Mehta S; Pons-Duran C; Menéndez C; Moraleda C; Rogers L; Daniels K; Green P
    Cochrane Database Syst Rev; 2022 Feb; 2(2022):. PubMed ID: 36321557
    [TBL] [Abstract][Full Text] [Related]  

  • 8. Exploring conceptual and theoretical frameworks for nurse practitioner education: a scoping review protocol.
    Wilson R; Godfrey CM; Sears K; Medves J; Ross-White A; Lambert N
    JBI Database System Rev Implement Rep; 2015 Oct; 13(10):146-55. PubMed ID: 26571290
    [TBL] [Abstract][Full Text] [Related]  

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

  • 10. PowerPlay: Training an Increasingly General Problem Solver by Continually Searching for the Simplest Still Unsolvable Problem.
    Schmidhuber J
    Front Psychol; 2013; 4():313. PubMed ID: 23761771
    [TBL] [Abstract][Full Text] [Related]  

  • 11. Counterexample Search in Diagram-Based Geometric Reasoning.
    Hamami Y; Mumma J; Amalric M
    Cogn Sci; 2021 Apr; 45(4):e12959. PubMed ID: 33873252
    [TBL] [Abstract][Full Text] [Related]  

  • 12. Reasoning with rough description logics: An approximate concepts approach.
    Jiang Y; Wang J; Tang S; Xiao B
    Inf Sci (N Y); 2009 Feb; 179(5):600-612. PubMed ID: 32226108
    [TBL] [Abstract][Full Text] [Related]  

  • 13. "Hyperstat": an educational and working tool in epidemiology.
    Nicolosi A
    Medinfo; 1995; 8 Pt 2():1697. PubMed ID: 8591554
    [TBL] [Abstract][Full Text] [Related]  

  • 14. WGT: Tools and algorithms for recognizing, visualizing, and generating Wheeler graphs.
    Chao KH; Chen PW; Seshia SA; Langmead B
    iScience; 2023 Aug; 26(8):107402. PubMed ID: 37575187
    [TBL] [Abstract][Full Text] [Related]  

  • 15. Initial Solution Generation and Diversified Variable Picking in Local Search for (Weighted) Partial MaxSAT.
    Zhang Z; Zhou J; Wang X; Yang H; Fan Y
    Entropy (Basel); 2022 Dec; 24(12):. PubMed ID: 36554251
    [TBL] [Abstract][Full Text] [Related]  

  • 16. Automated Synthesis and Analysis of Switching Gene Regulatory Networks.
    Shavit Y; Yordanov B; Dunn SJ; Wintersteiger CM; Otani T; Hamadi Y; Livesey FJ; Kugler H
    Biosystems; 2016 Aug; 146():26-34. PubMed ID: 27178783
    [TBL] [Abstract][Full Text] [Related]  

  • 17.
    ; ; . PubMed ID:
    [No 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.