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 *

140 related articles for article (PubMed ID: 30174360)

  • 1. Labelled Interpolation Systems for Hyper-Resolution, Clausal, and Local Proofs.
    Schlaipfer M; Weissenbacher G
    J Autom Reason; 2016; 57(1):3-36. PubMed ID: 30174360
    [TBL] [Abstract][Full Text] [Related]  

  • 2. Strong Extension-Free Proof Systems.
    Heule MJH; Kiesl B; Biere A
    J Autom Reason; 2020; 64(3):533-554. PubMed ID: 32226181
    [TBL] [Abstract][Full Text] [Related]  

  • 3. The Cantor-Bernstein theorem: how many proofs?
    Sieg W
    Philos Trans A Math Phys Eng Sci; 2019 Mar; 377(2140):20180031. PubMed ID: 30966968
    [TBL] [Abstract][Full Text] [Related]  

  • 4. Proof Complexity of Modal Resolution.
    Sigley S; Beyersdorff O
    J Autom Reason; 2022; 66(1):1-41. PubMed ID: 35068630
    [TBL] [Abstract][Full Text] [Related]  

  • 5. Clause states based configuration checking in local search for satisfiability.
    Luo C; Cai S; Su K; Wu W
    IEEE Trans Cybern; 2015 May; 45(5):1014-27. PubMed ID: 25134096
    [TBL] [Abstract][Full Text] [Related]  

  • 6. Computational logic: its origins and applications.
    Paulson LC
    Proc Math Phys Eng Sci; 2018 Feb; 474(2210):20170872. PubMed ID: 29507522
    [TBL] [Abstract][Full Text] [Related]  

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

  • 8. Bounded Model Checking for Metric Temporal Logic Properties of Timed Automata with Digital Clocks.
    Zbrzezny AM; Zbrzezny A
    Sensors (Basel); 2022 Dec; 22(23):. PubMed ID: 36502252
    [TBL] [Abstract][Full Text] [Related]  

  • 9. Extraction of Expansion Trees.
    Leitsch A; Lolic A
    J Autom Reason; 2019; 62(3):393-430. PubMed ID: 30862992
    [TBL] [Abstract][Full Text] [Related]  

  • 10. A goal-driven neural propositional interpreter.
    Lima PM
    Int J Neural Syst; 2001 Jun; 11(3):311-22. PubMed ID: 11574968
    [TBL] [Abstract][Full Text] [Related]  

  • 11. Logical Reasoning (Inferencing) on MicroRNA Data.
    Wang J
    Methods Mol Biol; 2017; 1617():197-209. PubMed ID: 28540687
    [TBL] [Abstract][Full Text] [Related]  

  • 12. Granularity analysis for mathematical proofs.
    Schiller MR
    Top Cogn Sci; 2013 Apr; 5(2):251-69. PubMed ID: 23460420
    [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. Symmetric Neural Networks and Propositional Logic Satisfiability.
    Pinkas G
    Neural Comput; 1991; 3(2):282-291. PubMed ID: 31167301
    [TBL] [Abstract][Full Text] [Related]  

  • 15. Probabilistic Asymptotic Decider for Topological Ambiguity Resolution in Level-Set Extraction for Uncertain 2D Data.
    Athawale T; Johnson CR
    IEEE Trans Vis Comput Graph; 2018 Aug; ():. PubMed ID: 30130200
    [TBL] [Abstract][Full Text] [Related]  

  • 16. Multiresolution mean shift clustering algorithm for shape interpolation.
    Chu HK; Lee TY
    IEEE Trans Vis Comput Graph; 2009; 15(5):853-66. PubMed ID: 19590110
    [TBL] [Abstract][Full Text] [Related]  

  • 17. Intra- and inter-examiner reliability of goniometer and inclinometer use in Craig's test.
    Choi BR; Kang SY
    J Phys Ther Sci; 2015 Apr; 27(4):1141-4. PubMed ID: 25995575
    [TBL] [Abstract][Full Text] [Related]  

  • 18. Analytical and experimental FWHM of a gamma camera: theoretical and practical issues.
    Cecchin D; Poggiali D; Riccardi L; Turco P; Bui F; De Marchi S
    PeerJ; 2015; 3():e722. PubMed ID: 25674361
    [TBL] [Abstract][Full Text] [Related]  

  • 19. Long-Distance Q-Resolution with Dependency Schemes.
    Peitl T; Slivovsky F; Szeider S
    J Autom Reason; 2019; 63(1):127-155. PubMed ID: 31105366
    [TBL] [Abstract][Full Text] [Related]  

  • 20. Boundary effect free and adaptive discrete signal sinc-interpolation algorithms for signal and image resampling.
    Yaroslavsky L
    Appl Opt; 2003 Jul; 42(20):4166-75. PubMed ID: 12856729
    [TBL] [Abstract][Full Text] [Related]  

    [Next]    [New Search]
    of 7.