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 *

133 related articles for article (PubMed ID: 30174360)

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

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

  • 23. Identification of proofs via syzygies.
    Malheiro A; Reis JF
    Philos Trans A Math Phys Eng Sci; 2019 Mar; 377(2140):20180275. PubMed ID: 30966976
    [TBL] [Abstract][Full Text] [Related]  

  • 24. Numerical quadrature over smooth, closed surfaces.
    Reeger JA; Fornberg B; Watts ML
    Proc Math Phys Eng Sci; 2016 Oct; 472(2194):20160401. PubMed ID: 27843402
    [TBL] [Abstract][Full Text] [Related]  

  • 25. Contrast-guided image interpolation.
    Wei Z; Ma KK
    IEEE Trans Image Process; 2013 Nov; 22(11):4271-85. PubMed ID: 23846469
    [TBL] [Abstract][Full Text] [Related]  

  • 26. On the role of exponential splines in image interpolation.
    Kirshner H; Porat M
    IEEE Trans Image Process; 2009 Oct; 18(10):2198-208. PubMed ID: 19520639
    [TBL] [Abstract][Full Text] [Related]  

  • 27. Conjunction analysis and propositional logic in fMRI data analysis using Bayesian statistics.
    Rudert T; Lohmann G
    J Magn Reson Imaging; 2008 Dec; 28(6):1533-9. PubMed ID: 19025961
    [TBL] [Abstract][Full Text] [Related]  

  • 28. New edge-directed interpolation.
    Li X; Orchard MT
    IEEE Trans Image Process; 2001; 10(10):1521-7. PubMed ID: 18255495
    [TBL] [Abstract][Full Text] [Related]  

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

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

  • 31. Artifact reduction for set theoretic super resolution image reconstruction with edge adaptive constraints and higher-order interpolants.
    Patti AJ; Altunbasak Y
    IEEE Trans Image Process; 2001; 10(1):179-86. PubMed ID: 18249610
    [TBL] [Abstract][Full Text] [Related]  

  • 32. Adiabatic Theorem for Quantum Spin Systems.
    Bachmann S; De Roeck W; Fraas M
    Phys Rev Lett; 2017 Aug; 119(6):060201. PubMed ID: 28949622
    [TBL] [Abstract][Full Text] [Related]  

  • 33. A history of James Craig's hall for the Royal College of Physicians of Edinburgh.
    Lewis AR
    J R Coll Physicians Edinb; 2008 Jun; 38(2):172-8. PubMed ID: 18831117
    [TBL] [Abstract][Full Text] [Related]  

  • 34. Some Properties of Interpolations Using Mathematical Morphology.
    Challa A; Danda S; Sagar BSD; Najman L
    IEEE Trans Image Process; 2018 Jan; ():. PubMed ID: 29994169
    [TBL] [Abstract][Full Text] [Related]  

  • 35. A local interpolation scheme using no derivatives in potential sampling: application to O(1D) + H2 system.
    Ishida T; Schatz GC
    J Comput Chem; 2003 Jul; 24(9):1077-86. PubMed ID: 12759907
    [TBL] [Abstract][Full Text] [Related]  

  • 36. The demise of the identity hypothesis and the insufficiency and nonnecessity of contour relatability in predicting object interpolation: comment on Kellman, Garrigan, and Shipley (2005).
    Anderson BL
    Psychol Rev; 2007 Apr; 114(2):470-87. PubMed ID: 17500637
    [TBL] [Abstract][Full Text] [Related]  

  • 37. Clinical tests to determine femoral version category in people with chronic hip joint pain and asymptomatic controls.
    Uding A; Bloom NJ; Commean PK; Hillen TJ; Patterson JD; Clohisy JC; Harris-Hayes M
    Musculoskelet Sci Pract; 2019 Feb; 39():115-122. PubMed ID: 30553987
    [TBL] [Abstract][Full Text] [Related]  

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

  • 39. Optimal interpolation schemes for particle tracking in turbulence.
    van Hinsberg MA; Boonkkamp JH; Toschi F; Clercx HJ
    Phys Rev E Stat Nonlin Soft Matter Phys; 2013 Apr; 87(4):043307. PubMed ID: 23679548
    [TBL] [Abstract][Full Text] [Related]  

  • 40. What is a proof?
    Bundy A; Jamnik M; Fugard A
    Philos Trans A Math Phys Eng Sci; 2005 Oct; 363(1835):2377-88; discussion 2388-91. PubMed ID: 16188611
    [TBL] [Abstract][Full Text] [Related]  

    [Previous]   [Next]    [New Search]
    of 7.