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 *

96 related articles for article (PubMed ID: 34982678)

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

  • 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. Formalization of bond graph using higher-order-logic theorem proving.
    Qasim U; Rashid A; Hasan O
    ISA Trans; 2022 Sep; 128(Pt B):453-469. PubMed ID: 34972543
    [TBL] [Abstract][Full Text] [Related]  

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

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

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

  • 7. Proof simplification and automated theorem proving.
    Kinyon M
    Philos Trans A Math Phys Eng Sci; 2019 Mar; 377(2140):20180034. PubMed ID: 30966970
    [TBL] [Abstract][Full Text] [Related]  

  • 8. The representation of medical reasoning models in resolution-based theorem provers.
    Lucas P
    Artif Intell Med; 1993 Oct; 5(5):395-414. PubMed ID: 8004141
    [TBL] [Abstract][Full Text] [Related]  

  • 9. Learning-assisted theorem proving with millions of lemmas.
    Kaliszyk C; Urban J
    J Symb Comput; 2015 Jul; 69():109-128. PubMed ID: 26525678
    [TBL] [Abstract][Full Text] [Related]  

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

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

  • 12. Hammer for Coq: Automation for Dependent Type Theory.
    Czajka Ł; Kaliszyk C
    J Autom Reason; 2018; 61(1):423-453. PubMed ID: 30069074
    [TBL] [Abstract][Full Text] [Related]  

  • 13. Solving olympiad geometry without human demonstrations.
    Trinh TH; Wu Y; Le QV; He H; Luong T
    Nature; 2024 Jan; 625(7995):476-482. PubMed ID: 38233616
    [TBL] [Abstract][Full Text] [Related]  

  • 14. In Situ Pipe Prover Volume Measurement Method.
    Hu J; Zhou W; Chen A; Cai J; Yu J; Cui Z; Li D
    Sensors (Basel); 2024 Jul; 24(15):. PubMed ID: 39123919
    [TBL] [Abstract][Full Text] [Related]  

  • 15. Novel deep neural network based pattern field classification architectures.
    Huang K; Zhang S; Zhang R; Hussain A
    Neural Netw; 2020 Jul; 127():82-95. PubMed ID: 32344155
    [TBL] [Abstract][Full Text] [Related]  

  • 16. Adaptive Progressive Continual Learning.
    Xu J; Ma J; Gao X; Zhu Z
    IEEE Trans Pattern Anal Mach Intell; 2022 Oct; 44(10):6715-6728. PubMed ID: 34232867
    [TBL] [Abstract][Full Text] [Related]  

  • 17. Learning Improvement Heuristics for Solving Routing Problems.
    Wu Y; Song W; Cao Z; Zhang J; Lim A
    IEEE Trans Neural Netw Learn Syst; 2022 Sep; 33(9):5057-5069. PubMed ID: 33793405
    [TBL] [Abstract][Full Text] [Related]  

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

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

  • 20. An incremental learning approach to automatically recognize pulmonary diseases from the multi-vendor chest radiographs.
    Sirshar M; Hassan T; Akram MU; Khan SA
    Comput Biol Med; 2021 Jul; 134():104435. PubMed ID: 34010791
    [TBL] [Abstract][Full Text] [Related]  

    [Next]    [New Search]
    of 5.