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 *

109 related articles for article (PubMed ID: 37131534)

  • 1. Unifying Splitting.
    Ebner G; Blanchette J; Tourret S
    J Autom Reason; 2023; 67(2):16. PubMed ID: 37131534
    [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. 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]  

  • 4. G2SAT: Learning to Generate SAT Formulas.
    You J; Wu H; Barrett C; Ramanujan R; Leskovec J
    Adv Neural Inf Process Syst; 2019 Dec; 32():10552-10563. PubMed ID: 32265581
    [TBL] [Abstract][Full Text] [Related]  

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

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

  • 7. A Fully Automatic Theorem Prover with Human-Style Output.
    Ganesalingam M; Gowers WT
    J Autom Reason; 2017; 58(2):253-291. PubMed ID: 30174363
    [TBL] [Abstract][Full Text] [Related]  

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

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

  • 10. Too much information: Why CDCL solvers need to forget learned clauses.
    Krüger T; Lorenz JH; Wörz F
    PLoS One; 2022; 17(8):e0272967. PubMed ID: 36018865
    [TBL] [Abstract][Full Text] [Related]  

  • 11. A precondition prover for analogy.
    Bledsoe WW
    Biosystems; 1995; 34(1-3):225-47. PubMed ID: 7727701
    [TBL] [Abstract][Full Text] [Related]  

  • 12. A simplifier for propositional formulas with many binary clauses.
    Brafman RI
    IEEE Trans Syst Man Cybern B Cybern; 2004 Feb; 34(1):52-9. PubMed ID: 15369050
    [TBL] [Abstract][Full Text] [Related]  

  • 13. A Structural Entropy Measurement Principle of Propositional Formulas in Conjunctive Normal Form.
    Zhang Z; Xu D; Zhou J
    Entropy (Basel); 2021 Mar; 23(3):. PubMed ID: 33806451
    [TBL] [Abstract][Full Text] [Related]  

  • 14. Automated theorem proving.
    Plaisted DA
    Wiley Interdiscip Rev Cogn Sci; 2014 Mar; 5(2):115-28. PubMed ID: 26304304
    [TBL] [Abstract][Full Text] [Related]  

  • 15. The Mechanisms Responsible for Improved Information Transfer in Avatar-Based Patient Monitoring: Multicenter Comparative Eye-Tracking Study.
    Tscholl DW; Rössler J; Handschin L; Seifert B; Spahn DR; Nöthiger CB
    J Med Internet Res; 2020 Mar; 22(3):e15070. PubMed ID: 32175913
    [TBL] [Abstract][Full Text] [Related]  

  • 16. An evaluation based theorem prover.
    Degano P; Sirovich F
    IEEE Trans Pattern Anal Mach Intell; 1985 Jan; 7(1):70-9. PubMed ID: 21869241
    [TBL] [Abstract][Full Text] [Related]  

  • 17. Applying aspiration in local search for satisfiability.
    Peng C; Xu Z; Mei M
    PLoS One; 2020; 15(4):e0231702. PubMed ID: 32324765
    [TBL] [Abstract][Full Text] [Related]  

  • 18. SMT: a reliability based interactive DTI tractography algorithm.
    Yoldemir B; Acar B; Firat Z; Kiliçkesmez Ö
    IEEE Trans Med Imaging; 2012 Oct; 31(10):1929-40. PubMed ID: 22851254
    [TBL] [Abstract][Full Text] [Related]  

  • 19. User Perceptions of Different Vital Signs Monitor Modalities During High-Fidelity Simulation: Semiquantitative Analysis.
    Akbas S; Said S; Roche TR; Nöthiger CB; Spahn DR; Tscholl DW; Bergauer L
    JMIR Hum Factors; 2022 Mar; 9(1):e34677. PubMed ID: 35119375
    [TBL] [Abstract][Full Text] [Related]  

  • 20. Emergence of the interplay between hierarchy and contact splitting in biological adhesion highlighted through a hierarchical shear lag model.
    Brely L; Bosia F; Pugno NM
    Soft Matter; 2018 Jul; 14(26):5509-5518. PubMed ID: 29923589
    [TBL] [Abstract][Full Text] [Related]  

    [Next]    [New Search]
    of 6.