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 *

97 related articles for article (PubMed ID: 16188617)

  • 1. The mathematical significance of proof theory.
    Macintyre A
    Philos Trans A Math Phys Eng Sci; 2005 Oct; 363(1835):2419-35. PubMed ID: 16188617
    [TBL] [Abstract][Full Text] [Related]  

  • 2. The justification of mathematical statements.
    Swinnerton-Dyer P
    Philos Trans A Math Phys Eng Sci; 2005 Oct; 363(1835):2437-45; discussion 2445-7. PubMed ID: 16188618
    [TBL] [Abstract][Full Text] [Related]  

  • 3. Highly complex proofs and implications of such proofs.
    Aschbacher M
    Philos Trans A Math Phys Eng Sci; 2005 Oct; 363(1835):2401-4; discussion 2404-6. PubMed ID: 16188615
    [TBL] [Abstract][Full Text] [Related]  

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

  • 5. The challenge of computer mathematics.
    Barendregt H; Wiedijk F
    Philos Trans A Math Phys Eng Sci; 2005 Oct; 363(1835):2351-73; discussion 2374-5. PubMed ID: 16188610
    [TBL] [Abstract][Full Text] [Related]  

  • 6. Pluralism in mathematics.
    Davies EB
    Philos Trans A Math Phys Eng Sci; 2005 Oct; 363(1835):2449-58; discussion 2458-60. PubMed ID: 16188619
    [TBL] [Abstract][Full Text] [Related]  

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

  • 8. Panelist position statement: logic and models in computer science.
    Martin U
    Philos Trans A Math Phys Eng Sci; 2005 Oct; 363(1835):2397-9. PubMed ID: 16188614
    [No Abstract]   [Full Text] [Related]  

  • 9. Skolem and pessimism about proof in mathematics.
    Cohen PJ
    Philos Trans A Math Phys Eng Sci; 2005 Oct; 363(1835):2407-18. PubMed ID: 16188616
    [TBL] [Abstract][Full Text] [Related]  

  • 10. Panelist position statement: reasoning about the design of programs.
    Jones CB
    Philos Trans A Math Phys Eng Sci; 2005 Oct; 363(1835):2395-6. PubMed ID: 16188613
    [No Abstract]   [Full Text] [Related]  

  • 11. Fast Hartley transforms for spectral analysis of ultrasound Doppler signals.
    Paik CH; Cote GL; DaPonte JS; Fox MD
    IEEE Trans Biomed Eng; 1988 Oct; 35(10):885-8. PubMed ID: 3192240
    [No Abstract]   [Full Text] [Related]  

  • 12. Panellist position statement: some industrial experience with program verification.
    Chapman R
    Philos Trans A Math Phys Eng Sci; 2005 Oct; 363(1835):2393-4. PubMed ID: 16188612
    [No Abstract]   [Full Text] [Related]  

  • 13. Fast computation of a gated dipole field.
    Mengov G; Georgiev K; Pulov S; Trifonov T; Atanassov K
    Neural Netw; 2006 Dec; 19(10):1636-47. PubMed ID: 16899351
    [TBL] [Abstract][Full Text] [Related]  

  • 14. [Numerical computer simulation of the distribution of thoracic potentials in the human].
    Brauer H; Kilias H; Funke T; Wach P; Pizzera R; Eichtinger C
    Biomed Tech (Berl); 1987 Mar; 32(3):34-40. PubMed ID: 3580477
    [No Abstract]   [Full Text] [Related]  

  • 15. [Prospects for using numerical methods in research in traumatology and orthopedics].
    Kalnberz VK; Adamovich IS; Ianson IA; Ianson KhA
    Vestn Akad Med Nauk SSSR; 1988; (8):74-9. PubMed ID: 3213209
    [No Abstract]   [Full Text] [Related]  

  • 16. Membrane computing: brief introduction, recent results and applications.
    Păun G; Pérez-Jiménez MJ
    Biosystems; 2006 Jul; 85(1):11-22. PubMed ID: 16650521
    [TBL] [Abstract][Full Text] [Related]  

  • 17. [Computer monitoring and processing of electrophysiologic signals].
    Dostál J; Peregrin J; Vít F; Kuba M
    Sb Ved Pr Lek Fak Karlovy Univerzity Hradci Kralove Suppl; 1986; 29(1-2):65-83. PubMed ID: 3499661
    [No Abstract]   [Full Text] [Related]  

  • 18. Numerical instabilities in the computation of pseudopotential matrix elements.
    van Wüllen C
    J Comput Chem; 2006 Jan; 27(2):135-41. PubMed ID: 16302223
    [TBL] [Abstract][Full Text] [Related]  

  • 19. Analytical shape computation of macromolecules: I. Molecular area and volume through alpha shape.
    Liang J; Edelsbrunner H; Fu P; Sudhakar PV; Subramaniam S
    Proteins; 1998 Oct; 33(1):1-17. PubMed ID: 9741840
    [TBL] [Abstract][Full Text] [Related]  

  • 20. [Wavelet transform and its application in spectral analysis].
    Qin X; Shen L
    Guang Pu Xue Yu Guang Pu Fen Xi; 2000 Dec; 20(6):892-7. PubMed ID: 12938507
    [TBL] [Abstract][Full Text] [Related]  

    [Next]    [New Search]
    of 5.