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 *

127 related articles for article (PubMed ID: 7727701)

  • 21. Dynamics of the Bell Prover, II.
    Ruegg FW; Ruegg FC
    J Res Natl Inst Stand Technol; 1990; 95(1):15-31. PubMed ID: 28179755
    [TBL] [Abstract][Full Text] [Related]  

  • 22. A Simple Proof of Siegel's Theorem.
    Goldfeld DM
    Proc Natl Acad Sci U S A; 1974 Apr; 71(4):1055. PubMed ID: 16592152
    [TBL] [Abstract][Full Text] [Related]  

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

  • 24. Granularity analysis for mathematical proofs.
    Schiller MR
    Top Cogn Sci; 2013 Apr; 5(2):251-69. PubMed ID: 23460420
    [TBL] [Abstract][Full Text] [Related]  

  • 25. Markov Property of the Conformal Field Theory Vacuum and the a Theorem.
    Casini H; Testé E; Torroba G
    Phys Rev Lett; 2017 Jun; 118(26):261602. PubMed ID: 28707911
    [TBL] [Abstract][Full Text] [Related]  

  • 26. Proof phenomenon as a function of the phenomenology of proving.
    Hipólito I
    Prog Biophys Mol Biol; 2015 Dec; 119(3):360-7. PubMed ID: 26160643
    [TBL] [Abstract][Full Text] [Related]  

  • 27. Experimental relativistic zero-knowledge proofs.
    Alikhani P; Brunner N; Crépeau C; Designolle S; Houlmann R; Shi W; Yang N; Zbinden H
    Nature; 2021 Nov; 599(7883):47-50. PubMed ID: 34732869
    [TBL] [Abstract][Full Text] [Related]  

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

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

  • 30. Redundancy in distributed proofs.
    Feuilloley L; Fraigniaud P; Hirvonen J; Paz A; Perry M
    Distrib Comput; 2021; 34(2):113-132. PubMed ID: 34720290
    [TBL] [Abstract][Full Text] [Related]  

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

  • 32. Visual thinking and simplicity of proof.
    Cain AJ
    Philos Trans A Math Phys Eng Sci; 2019 Mar; 377(2140):20180032. PubMed ID: 30966969
    [TBL] [Abstract][Full Text] [Related]  

  • 33. Ergodic theorem, ergodic theory, and statistical mechanics.
    Moore CC
    Proc Natl Acad Sci U S A; 2015 Feb; 112(7):1907-11. PubMed ID: 25691697
    [TBL] [Abstract][Full Text] [Related]  

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

  • 35. Abductive reasoning with recurrent neural networks.
    Abdelbar AM; Andrews EA; Wunsch DC
    Neural Netw; 2003; 16(5-6):665-73. PubMed ID: 12850021
    [TBL] [Abstract][Full Text] [Related]  

  • 36. Variable-coefficient parabolic theory as a high-dimensional limit of elliptic theory.
    Davey B; Smit Vega Garcia M
    Calc Var Partial Differ Equ; 2024; 63(2):40. PubMed ID: 38288457
    [TBL] [Abstract][Full Text] [Related]  

  • 37. The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem.
    Straßburger L
    Philos Trans A Math Phys Eng Sci; 2019 Mar; 377(2140):20180038. PubMed ID: 30966973
    [TBL] [Abstract][Full Text] [Related]  

  • 38. Heuristic analogy in Ars Conjectandi: From Archimedes' De Circuli Dimensione to Bernoulli's theorem.
    Campos DG
    Stud Hist Philos Sci; 2018 Feb; 67():44-53. PubMed ID: 29458946
    [TBL] [Abstract][Full Text] [Related]  

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

  • 40. Control analysis of time-dependent metabolic systems.
    Acerenza L; Sauro HM; Kacser H
    J Theor Biol; 1989 Apr; 137(4):423-44. PubMed ID: 2626059
    [TBL] [Abstract][Full Text] [Related]  

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