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 *

102 related articles for article (PubMed ID: 28871051)

  • 1. Formal verification: will the seedling ever flower?
    White N; Matthews S; Chapman R
    Philos Trans A Math Phys Eng Sci; 2017 Oct; 375(2104):. PubMed ID: 28871051
    [TBL] [Abstract][Full Text] [Related]  

  • 2. Position paper: the science of deep specification.
    Appel AW; Beringer L; Chlipala A; Pierce BC; Shao Z; Weirich S; Zdancewic S
    Philos Trans A Math Phys Eng Sci; 2017 Oct; 375(2104):. PubMed ID: 28871056
    [TBL] [Abstract][Full Text] [Related]  

  • 3. Industrial hardware and software verification with ACL2.
    Hunt WA; Kaufmann M; Moore JS; Slobodova A
    Philos Trans A Math Phys Eng Sci; 2017 Oct; 375(2104):. PubMed ID: 28871049
    [TBL] [Abstract][Full Text] [Related]  

  • 4. Provably trustworthy systems.
    Klein G; Andronick J; Keller G; Matichuk D; Murray T; O'Connor L
    Philos Trans A Math Phys Eng Sci; 2017 Oct; 375(2104):. PubMed ID: 28871053
    [TBL] [Abstract][Full Text] [Related]  

  • 5. The HACMS program: using formal methods to eliminate exploitable bugs.
    Fisher K; Launchbury J; Richards R
    Philos Trans A Math Phys Eng Sci; 2017 Oct; 375(2104):. PubMed ID: 28871050
    [TBL] [Abstract][Full Text] [Related]  

  • 6. Proceedings of the Second Workshop on Theory meets Industry (Erwin-Schrödinger-Institute (ESI), Vienna, Austria, 12-14 June 2007).
    Hafner J
    J Phys Condens Matter; 2008 Feb; 20(6):060301. PubMed ID: 21693862
    [TBL] [Abstract][Full Text] [Related]  

  • 7. Compositional relaxed concurrency.
    Batty M
    Philos Trans A Math Phys Eng Sci; 2017 Oct; 375(2104):. PubMed ID: 28871054
    [TBL] [Abstract][Full Text] [Related]  

  • 8. Program synthesis: challenges and opportunities.
    David C; Kroening D
    Philos Trans A Math Phys Eng Sci; 2017 Oct; 375(2104):. PubMed ID: 28871052
    [TBL] [Abstract][Full Text] [Related]  

  • 9. Formal Verification of Real-Time Autonomous Robots: An Interdisciplinary Approach.
    Foughali M; Zuepke A
    Front Robot AI; 2022; 9():791757. PubMed ID: 35494538
    [TBL] [Abstract][Full Text] [Related]  

  • 10. Is my model good enough? Best practices for verification and validation of musculoskeletal models and simulations of movement.
    Hicks JL; Uchida TK; Seth A; Rajagopal A; Delp SL
    J Biomech Eng; 2015 Feb; 137(2):020905. PubMed ID: 25474098
    [TBL] [Abstract][Full Text] [Related]  

  • 11. Equipment and analytical companies meeting continuous challenges. May 20-21, 2014 Continuous Manufacturing Symposium.
    Page T; Dubina H; Fillipi G; Guidat R; Patnaik S; Poechlauer P; Shering P; Guinn M; Mcdonnell P; Johnston C
    J Pharm Sci; 2015 Mar; 104(3):821-31. PubMed ID: 25448273
    [TBL] [Abstract][Full Text] [Related]  

  • 12. Food product tracing technology capabilities and interoperability.
    Bhatt T; Zhang JJ
    J Food Sci; 2013 Dec; 78 Suppl 2():B28-33. PubMed ID: 24261586
    [TBL] [Abstract][Full Text] [Related]  

  • 13. Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal.
    Farrell M; Mavrakis N; Ferrando A; Dixon C; Gao Y
    Front Robot AI; 2021; 8():639282. PubMed ID: 35155585
    [TBL] [Abstract][Full Text] [Related]  

  • 14. The six critical attributes of the next generation of quality management software systems.
    Clark K
    Bioanalysis; 2011 Jul; 3(13):1521-30. PubMed ID: 21728775
    [TBL] [Abstract][Full Text] [Related]  

  • 15. Using formal methods for content validation of medical procedure documents.
    Cota É; Ribeiro L; Bezerra JS; Costa A; da Silva RE; Cota G
    Int J Med Inform; 2017 Aug; 104():10-25. PubMed ID: 28599811
    [TBL] [Abstract][Full Text] [Related]  

  • 16. How to Achieve Transparency in Public-Private Partnerships Engaged in Hunger and Malnutrition Reduction.
    Eggersdorfer M; Bird JK
    World Rev Nutr Diet; 2016; 115():224-32. PubMed ID: 27198563
    [TBL] [Abstract][Full Text] [Related]  

  • 17. Equipment and Analytical Companies Meeting Continuous Challenges May 20-21 2014 Continuous Manufacturing Symposium.
    Page T; Dubina H; Fillipi G; Guidat R; Patnaik S; Poechlauer P; Shering P; Guinn M; Mcdonnell P; Johnston C
    J Pharm Sci; 2015 Mar; 104(3):821-831. PubMed ID: 28756844
    [TBL] [Abstract][Full Text] [Related]  

  • 18. Rules to be adopted for publishing a scientific paper.
    Picardi N
    Ann Ital Chir; 2016; 87():1-3. PubMed ID: 28474609
    [TBL] [Abstract][Full Text] [Related]  

  • 19. Verification of computational models of cardiac electro-physiology.
    Pathmanathan P; Gray RA
    Int J Numer Method Biomed Eng; 2014 May; 30(5):525-44. PubMed ID: 24259465
    [TBL] [Abstract][Full Text] [Related]  

  • 20. Linking communities to formal health care providers through village health teams in rural Uganda: lessons from linking social capital.
    Musinguzi LK; Turinawe EB; Rwemisisi JT; de Vries DH; Mafigiri DK; Muhangi D; de Groot M; Katamba A; Pool R
    Hum Resour Health; 2017 Jan; 15(1):4. PubMed ID: 28077148
    [TBL] [Abstract][Full Text] [Related]  

    [Next]    [New Search]
    of 6.