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 *

90 related articles for article (PubMed ID: 27483924)

  • 1. Universal Verification Methodology Based Register Test Automation Flow.
    Woo JH; Cho YK; Park SK
    J Nanosci Nanotechnol; 2016 May; 16(5):5316-9. PubMed ID: 27483924
    [TBL] [Abstract][Full Text] [Related]  

  • 2. Grammatical Evolution of Complex Digital Circuits in SystemVerilog.
    Tetteh M; Dias DM; Ryan C
    SN Comput Sci; 2022; 3(3):188. PubMed ID: 35308804
    [TBL] [Abstract][Full Text] [Related]  

  • 3. Formally verifying human-automation interaction as part of a system model: limitations and tradeoffs.
    Bolton ML; Bass EJ
    Innov Syst Softw Eng; 2010 Mar; 6(3):219-231. PubMed ID: 21572930
    [TBL] [Abstract][Full Text] [Related]  

  • 4. A Model-Driven Platform for Dynamic Partially Reconfigurable Architectures: A Case Study of a Watermarking System.
    Dalbouchi R; Trabelsi C; Elhajji M; Zitouni A
    Micromachines (Basel); 2023 Feb; 14(2):. PubMed ID: 36838181
    [TBL] [Abstract][Full Text] [Related]  

  • 5. Reinforcement Learning Made Affordable for Hardware Verification Engineers.
    Dinu A; Ogrutan PL
    Micromachines (Basel); 2022 Nov; 13(11):. PubMed ID: 36363907
    [TBL] [Abstract][Full Text] [Related]  

  • 6. Cost-Efficient Approaches for Fulfillment of Functional Coverage during Verification of Digital Designs.
    Dinu A; Danciu GM; Ogrutan PL
    Micromachines (Basel); 2022 Apr; 13(5):. PubMed ID: 35630158
    [TBL] [Abstract][Full Text] [Related]  

  • 7. Avoiding and identifying errors in health technology assessment models: qualitative study and methodological review.
    Chilcott J; Tappenden P; Rawdin A; Johnson M; Kaltenthaler E; Paisley S; Papaioannou D; Shippam A
    Health Technol Assess; 2010 May; 14(25):iii-iv, ix-xii, 1-107. PubMed ID: 20501062
    [TBL] [Abstract][Full Text] [Related]  

  • 8. Universal Verification Platform and Star Simulator for Fast Star Tracker Design.
    Schulz VH; Marcelino GM; Seman LO; Santos Barros J; Kim S; Cho M; Villarrubia González G; Leithardt VRQ; Bezerra EA
    Sensors (Basel); 2021 Jan; 21(3):. PubMed ID: 33572822
    [TBL] [Abstract][Full Text] [Related]  

  • 9. Low-complexity hardware design methodology for reliable and automated removal of ocular and muscular artifact from EEG.
    Acharyya A; Jadhav PN; Bono V; Maharatna K; Naik GR
    Comput Methods Programs Biomed; 2018 May; 158():123-133. PubMed ID: 29544778
    [TBL] [Abstract][Full Text] [Related]  

  • 10. Generating Phenotypical Erroneous Human Behavior to Evaluate Human-automation Interaction Using Model Checking.
    Bolton ML; Bass EJ; Siminiceanu RI
    Int J Hum Comput Stud; 2012 Nov; 70(11):888-906. PubMed ID: 23105914
    [TBL] [Abstract][Full Text] [Related]  

  • 11. Automatic validation of computational models using pseudo-3D spatio-temporal model checking.
    Pârvu O; Gilbert D
    BMC Syst Biol; 2014 Dec; 8():124. PubMed ID: 25440773
    [TBL] [Abstract][Full Text] [Related]  

  • 12. Designing and evaluating autoverification rules for thyroid function profiles and sex hormone tests.
    Li J; Cheng B; Ouyang H; Xiao T; Hu J; Cai Y
    Ann Clin Biochem; 2018 Mar; 55(2):254-263. PubMed ID: 28490181
    [TBL] [Abstract][Full Text] [Related]  

  • 13. Adopting model checking techniques for clinical guidelines verification.
    Bottrighi A; Giordano L; Molino G; Montani S; Terenziani P; Torchio M
    Artif Intell Med; 2010 Jan; 48(1):1-19. PubMed ID: 19864118
    [TBL] [Abstract][Full Text] [Related]  

  • 14. A Novel Method to Verify Multilevel Computational Models of Biological Systems Using Multiscale Spatio-Temporal Meta Model Checking.
    Pârvu O; Gilbert D
    PLoS One; 2016; 11(5):e0154847. PubMed ID: 27187178
    [TBL] [Abstract][Full Text] [Related]  

  • 15. Integrating task analysis into system design: Surveying designers' needs.
    Johnson H; Johnson P
    Ergonomics; 1989 Nov; 32(11):1451-1467. PubMed ID: 28080926
    [TBL] [Abstract][Full Text] [Related]  

  • 16. Escherichia coli cells expressing a mutant glyV (glycine tRNA) gene have a UVM-constitutive phenotype: implications for mechanisms underlying the mutA or mutC mutator effect.
    Murphy HS; Humayun MZ
    J Bacteriol; 1997 Dec; 179(23):7507-14. PubMed ID: 9393717
    [TBL] [Abstract][Full Text] [Related]  

  • 17. Implementing Lumberjacks and Black Swans Into Model-Based Tools to Support Human-Automation Interaction.
    Sebok A; Wickens CD
    Hum Factors; 2017 Mar; 59(2):189-203. PubMed ID: 27591210
    [TBL] [Abstract][Full Text] [Related]  

  • 18. Using Task Analytic Models and Phenotypes of Erroneous Human Behavior to Discover System Failures Using Model Checking.
    Bolton ML; Bass EJ
    Proc Hum Factors Ergon Soc Annu Meet; 2010 Sep; 54(13):992-996. PubMed ID: 25382961
    [TBL] [Abstract][Full Text] [Related]  

  • 19. Verification Benchmarks to Assess the Implementation of Computational Fluid Dynamics Based Hemolysis Prediction Models.
    Hariharan P; D'Souza G; Horner M; Malinauskas RA; Myers MR
    J Biomech Eng; 2015 Sep; 137(9):. PubMed ID: 26065371
    [TBL] [Abstract][Full Text] [Related]  

  • 20.
    ; ; . PubMed ID:
    [No Abstract]   [Full Text] [Related]  

    [Next]    [New Search]
    of 5.