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 *

113 related articles for article (PubMed ID: 16188613)

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

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

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

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

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

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

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

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

  • 9. SCEW: a Microsoft Excel add-in for easy creation of survival curves.
    Khan HA
    Comput Methods Programs Biomed; 2006 Jul; 83(1):12-7. PubMed ID: 16777258
    [TBL] [Abstract][Full Text] [Related]  

  • 10. A subroutine for rounding of numbers. Program in BASIC and for programmable calculators.
    Brodthagen UA
    Comput Biol Med; 1987; 17(1):45-51. PubMed ID: 3816164
    [TBL] [Abstract][Full Text] [Related]  

  • 11. Computing reconstruction kernels for circular 3-D cone beam tomography.
    Louis AK; Weber T; Theis D
    IEEE Trans Med Imaging; 2008; 27(7):880-6. PubMed ID: 18599393
    [TBL] [Abstract][Full Text] [Related]  

  • 12. Automating software development with domain-specific modelling.
    Luoma J
    Med Device Technol; 2004 Nov; 15(9):46-7. PubMed ID: 16231789
    [TBL] [Abstract][Full Text] [Related]  

  • 13. [Methods and examples of epidemiological analysis by using a calculator with programs].
    He SP
    Zhonghua Liu Xing Bing Xue Za Zhi; 1987 Apr; 8(2):117-22. PubMed ID: 3621326
    [No Abstract]   [Full Text] [Related]  

  • 14. How to develop reliable sofware.
    Jennings D
    Med Device Technol; 2005 Apr; 16(3):22-5. PubMed ID: 15871420
    [TBL] [Abstract][Full Text] [Related]  

  • 15. [The application of mathematical morphology in ECG signal processing].
    Chen YL; Duan HL
    Zhongguo Yi Liao Qi Xie Za Zhi; 2006 Nov; 30(6):434-6. PubMed ID: 17300013
    [TBL] [Abstract][Full Text] [Related]  

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

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

  • 18. Implementation of a computer database testing and analysis program.
    Rouse DP
    Comput Inform Nurs; 2007; 25(5):273-80; quiz 281-2. PubMed ID: 17827990
    [TBL] [Abstract][Full Text] [Related]  

  • 19. Distributed computing methodology for training neural networks in an image-guided diagnostic application.
    Plagianakos VP; Magoulas GD; Vrahatis MN
    Comput Methods Programs Biomed; 2006 Mar; 81(3):228-35. PubMed ID: 16476503
    [TBL] [Abstract][Full Text] [Related]  

  • 20. [Computer-assisted acquisition and analysis of high-resolution spectrum].
    Lin JL; Huang GM; Zu LL; Liu HP; Guo YQ; Liu XY; Duan CX; Liu YY
    Guang Pu Xue Yu Guang Pu Fen Xi; 2001 Dec; 21(6):876-80. PubMed ID: 12958921
    [TBL] [Abstract][Full Text] [Related]  

    [Next]    [New Search]
    of 6.