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 *

115 related articles for article (PubMed ID: 21572930)

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

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

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

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

  • 5. Formal verification of human-automation interaction.
    Degani A; Heymann M
    Hum Factors; 2002; 44(1):28-43. PubMed ID: 12118871
    [TBL] [Abstract][Full Text] [Related]  

  • 6. The future of Cochrane Neonatal.
    Soll RF; Ovelman C; McGuire W
    Early Hum Dev; 2020 Nov; 150():105191. PubMed ID: 33036834
    [TBL] [Abstract][Full Text] [Related]  

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

  • 8. Modeling strategic behavior in human-automation interaction: why an "aid" can (and should) go unused.
    Kirlik A
    Hum Factors; 1993 Jun; 35(2):221-42. PubMed ID: 8349287
    [TBL] [Abstract][Full Text] [Related]  

  • 9. Authoring and verification of clinical guidelines: a model driven approach.
    Pérez B; Porres I
    J Biomed Inform; 2010 Aug; 43(4):520-36. PubMed ID: 20206714
    [TBL] [Abstract][Full Text] [Related]  

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

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

  • 12. Designing for flexible interaction between humans and automation: delegation interfaces for supervisory control.
    Miller CA; Parasuraman R
    Hum Factors; 2007 Feb; 49(1):57-75. PubMed ID: 17315844
    [TBL] [Abstract][Full Text] [Related]  

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

  • 14. Formal verification of medical monitoring software using Z language: a representative sample.
    Babamir SM; Borhani M
    J Med Syst; 2012 Aug; 36(4):2633-48. PubMed ID: 21681513
    [TBL] [Abstract][Full Text] [Related]  

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

  • 16. Automation bias and verification complexity: a systematic review.
    Lyell D; Coiera E
    J Am Med Inform Assoc; 2017 Mar; 24(2):423-431. PubMed ID: 27516495
    [TBL] [Abstract][Full Text] [Related]  

  • 17. The Future of Health Care: Protocol for Measuring the Potential of Task Automation Grounded in the National Health Service Primary Care System.
    Willis M; Duckworth P; Coulter A; Meyer ET; Osborne M
    JMIR Res Protoc; 2019 Apr; 8(4):e11232. PubMed ID: 30964437
    [TBL] [Abstract][Full Text] [Related]  

  • 18. The effectiveness of internet-based e-learning on clinician behavior and patient outcomes: a systematic review protocol.
    Sinclair P; Kable A; Levett-Jones T
    JBI Database System Rev Implement Rep; 2015 Jan; 13(1):52-64. PubMed ID: 26447007
    [TBL] [Abstract][Full Text] [Related]  

  • 19. A service-oriented architecture for integrating the modeling and formal verification of genetic regulatory networks.
    Monteiro PT; Dumas E; Besson B; Mateescu R; Page M; Freitas AT; de Jong H
    BMC Bioinformatics; 2009 Dec; 10():450. PubMed ID: 20042075
    [TBL] [Abstract][Full Text] [Related]  

  • 20. Which clinical decisions benefit from automation? A task complexity approach.
    Sintchenko V; Coiera EW
    Int J Med Inform; 2003 Jul; 70(2-3):309-16. PubMed ID: 12909183
    [TBL] [Abstract][Full Text] [Related]  

    [Next]    [New Search]
    of 6.