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 *

94 related articles for article (PubMed ID: 30930511)

  • 1. Verifying OpenJDK's Sort Method for Generic Collections.
    de Gouw S; de Boer FS; Bubel R; Hähnle R; Rot J; Steinhöfel D
    J Autom Reason; 2019; 62(1):93-126. PubMed ID: 30930511
    [TBL] [Abstract][Full Text] [Related]  

  • 2. Witnessing the elimination of magic wands.
    Blom S; Huisman M
    Int J Softw Tools Technol Transf; 2015; 17(6):757-781. PubMed ID: 27194940
    [TBL] [Abstract][Full Text] [Related]  

  • 3. TECH-VER: A Verification Checklist to Reduce Errors in Models and Improve Their Credibility.
    Büyükkaramikli NC; Rutten-van Mölken MPMH; Severens JL; Al M
    Pharmacoeconomics; 2019 Nov; 37(11):1391-1408. PubMed ID: 31705406
    [TBL] [Abstract][Full Text] [Related]  

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

  • 5. The Cantor-Bernstein theorem: how many proofs?
    Sieg W
    Philos Trans A Math Phys Eng Sci; 2019 Mar; 377(2140):20180031. PubMed ID: 30966968
    [TBL] [Abstract][Full Text] [Related]  

  • 6. [Analysis, identification and correction of some errors of model refseqs appeared in NCBI Human Gene Database by in silico cloning and experimental verification of novel human genes].
    Zhang DL; Ji L; Li YD
    Yi Chuan Xue Bao; 2004 May; 31(5):431-43. PubMed ID: 15478601
    [TBL] [Abstract][Full Text] [Related]  

  • 7. Reasoning about clinical guidelines based on algebraic data types and constraint logic programming.
    Pérez B
    J Biomed Inform; 2019 Apr; 92():103134. PubMed ID: 30831315
    [TBL] [Abstract][Full Text] [Related]  

  • 8. HyperPUT: generating synthetic faulty programs to challenge bug-finding tools.
    Felici R; Pozzi L; Furia CA
    Empir Softw Eng; 2024; 29(2):38. PubMed ID: 38235121
    [TBL] [Abstract][Full Text] [Related]  

  • 9. Formal verification of Matrix based MATLAB models using interactive theorem proving.
    Gauhar A; Rashid A; Hasan O; Bispo J; Cardoso JMP
    PeerJ Comput Sci; 2021; 7():e440. PubMed ID: 33834107
    [TBL] [Abstract][Full Text] [Related]  

  • 10. A Method for the Formal Verification of Human-interactive Systems.
    Bolton ML; Bass EJ
    Proc Hum Factors Ergon Soc Annu Meet; 2009 Nov; 52(12):764-768. PubMed ID: 21572977
    [TBL] [Abstract][Full Text] [Related]  

  • 11. Formal Verification of Heuristic Autonomous Intersection Management Using Statistical Model Checking.
    Chouhan AP; Banda G
    Sensors (Basel); 2020 Aug; 20(16):. PubMed ID: 32806594
    [TBL] [Abstract][Full Text] [Related]  

  • 12. An Efficient Nondominated Sorting Algorithm for Large Number of Fronts.
    Roy PC; Deb K; Islam MM
    IEEE Trans Cybern; 2019 Mar; 49(3):859-869. PubMed ID: 29994360
    [TBL] [Abstract][Full Text] [Related]  

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

  • 14. On Definitions of Constants and Types in HOL.
    Arthan R
    J Autom Reason; 2016; 56(3):205-219. PubMed ID: 30174359
    [TBL] [Abstract][Full Text] [Related]  

  • 15. Verifying performance characteristics of quantitative analytical systems: calibration verification, linearity, and analytical measurement range.
    Killeen AA; Long T; Souers R; Styer P; Ventura CB; Klee GG
    Arch Pathol Lab Med; 2014 Sep; 138(9):1173-81. PubMed ID: 25171699
    [TBL] [Abstract][Full Text] [Related]  

  • 16. Formal Verification for Task Description Languages. A Petri Net Approach.
    López J; Santana-Alonso A; Díaz-Cacho Medina M
    Sensors (Basel); 2019 Nov; 19(22):. PubMed ID: 31739526
    [TBL] [Abstract][Full Text] [Related]  

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

  • 18. BioLayout(Java): versatile network visualisation of structural and functional relationships.
    Goldovsky L; Cases I; Enright AJ; Ouzounis CA
    Appl Bioinformatics; 2005; 4(1):71-4. PubMed ID: 16000016
    [TBL] [Abstract][Full Text] [Related]  

  • 19. The role of the insula in intuitive expert bug detection in computer code: an fMRI study.
    Castelhano J; Duarte IC; Ferreira C; Duraes J; Madeira H; Castelo-Branco M
    Brain Imaging Behav; 2019 Jun; 13(3):623-637. PubMed ID: 29744802
    [TBL] [Abstract][Full Text] [Related]  

  • 20. NLM-CHEMSORT: an algorithm and computer program for sorting chemical names.
    Burnside J; Craig PN; Guthrie GT
    J Chem Inf Comput Sci; 1984 Feb; 24(1):39-41. PubMed ID: 6546933
    [TBL] [Abstract][Full Text] [Related]  

    [Next]    [New Search]
    of 5.