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