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 *

130 related articles for article (PubMed ID: 26525678)

  • 21. AfterMath: the work of proof in the age of human-machine collaboration.
    Dick S
    Isis; 2011 Sep; 102(3):494-505. PubMed ID: 22073773
    [TBL] [Abstract][Full Text] [Related]  

  • 22. On the Expected Values of Sequences of Functions.
    Glueck DH; Muller KE
    Commun Stat Theory Methods; 2001 Jan; 30(2):. PubMed ID: 24353369
    [TBL] [Abstract][Full Text] [Related]  

  • 23. The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar.
    Bancerek G; Byliński C; Grabowski A; Korniłowicz A; Matuszewski R; Naumowicz A; Pąk K
    J Autom Reason; 2018; 61(1):9-32. PubMed ID: 30069070
    [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. The role of theorem proving in systems biology.
    Wolkenhauer O; Shibata D; Mesarović MD
    J Theor Biol; 2012 May; 300():57-61. PubMed ID: 22244914
    [TBL] [Abstract][Full Text] [Related]  

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

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

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

  • 29. Formal modeling and verification of fractional order linear systems.
    Zhao C; Shi L; Guan Y; Li X; Shi Z
    ISA Trans; 2016 May; 62():87-93. PubMed ID: 27126601
    [TBL] [Abstract][Full Text] [Related]  

  • 30. Reshaping the metaphor of proof.
    Vavilov N
    Philos Trans A Math Phys Eng Sci; 2019 Mar; 377(2140):20180279. PubMed ID: 30966978
    [TBL] [Abstract][Full Text] [Related]  

  • 31. Concepts of Artificial Intelligence for Computer-Assisted Drug Discovery.
    Yang X; Wang Y; Byrne R; Schneider G; Yang S
    Chem Rev; 2019 Sep; 119(18):10520-10594. PubMed ID: 31294972
    [TBL] [Abstract][Full Text] [Related]  

  • 32. Characterization and fine mapping of
    Li Y; Zeng X; Zhuang H; Chen H; Zhang T; Zhang J; Zheng H; Tang J; Wang H; Ren S; Ling Y; He G
    Plant Biotechnol (Tokyo); 2019 Sep; 36(3):125-134. PubMed ID: 31768114
    [TBL] [Abstract][Full Text] [Related]  

  • 33. Computing and the cultures of proving.
    MacKenzie D
    Philos Trans A Math Phys Eng Sci; 2005 Oct; 363(1835):2335-47; discussion 2347-50. PubMed ID: 16188609
    [TBL] [Abstract][Full Text] [Related]  

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

  • 35. Average Consensus over Mobile Wireless Sensor Networks: Weight Matrix Guaranteeing Convergence without Reconfiguration of Edge Weights.
    Kenyeres M; Kenyeres J
    Sensors (Basel); 2020 Jun; 20(13):. PubMed ID: 32630083
    [TBL] [Abstract][Full Text] [Related]  

  • 36. ELE restrains empty glumes from developing into lemmas.
    Hong L; Qian Q; Zhu K; Tang D; Huang Z; Gao L; Li M; Gu M; Cheng Z
    J Genet Genomics; 2010 Feb; 37(2):101-15. PubMed ID: 20227044
    [TBL] [Abstract][Full Text] [Related]  

  • 37. Do lemmas speak German? A verb position effect in German structural priming.
    Chang F; Baumann M; Pappert S; Fitz H
    Cogn Sci; 2015 Jul; 39(5):1113-30. PubMed ID: 25307166
    [TBL] [Abstract][Full Text] [Related]  

  • 38. The left hand side of the Fundamental Theorem of Natural Selection.
    Grafen A
    J Theor Biol; 2018 Nov; 456():175-189. PubMed ID: 30036527
    [TBL] [Abstract][Full Text] [Related]  

  • 39. Independence of the transient fluctuation theorem to thermostatting details.
    Williams SR; Searles DJ; Evans DJ
    Phys Rev E Stat Nonlin Soft Matter Phys; 2004 Dec; 70(6 Pt 2):066113. PubMed ID: 15697440
    [TBL] [Abstract][Full Text] [Related]  

  • 40. Artificial intelligence in reproductive medicine.
    Wang R; Pan W; Jin L; Li Y; Geng Y; Gao C; Chen G; Wang H; Ma D; Liao S
    Reproduction; 2019 Oct; 158(4):R139-R154. PubMed ID: 30970326
    [TBL] [Abstract][Full Text] [Related]  

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