Jove
Visualize
Contact Us
JoVE
x logofacebook logolinkedin logoyoutube logo
ABOUT JoVE
OverviewLeadershipBlogJoVE Help Center
AUTHORS
Publishing ProcessEditorial BoardScope & PoliciesPeer ReviewFAQSubmit
LIBRARIANS
TestimonialsSubscriptionsAccessResourcesLibrary Advisory BoardFAQ
RESEARCH
JoVE JournalMethods CollectionsJoVE Encyclopedia of ExperimentsArchive
EDUCATION
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab ManualFaculty Resource CenterFaculty Site
Terms & Conditions of Use
Privacy Policy
Policies

Related Concept Videos

Health Information Technology and Healthcare Information System01:30

Health Information Technology and Healthcare Information System

3.6K
Health Information Technology (HIT)
Health Information Technology, commonly called HIT, integrates advanced information systems and technology in healthcare settings. Its primary functions include:
3.6K
Data Validation01:03

Data Validation

7.2K
Data validation is an essential part of a comprehensive assessment. Validation is confirming or verifying and opening the door to gathering more assessment data as it clarifies vague or unclear data. The process of checking and verifying the collected information is called data validation. The primary purpose of data validation is to ensure data is as free from error, bias, and misinterpretation as possible.
Nursing assessment guides are generally based on holistic models rather than medical...
7.2K
Integrated Healthcare System01:20

Integrated Healthcare System

2.5K
An integrated healthcare system (IHS) is a set of organizations that provides for or arranges to provide coordinated and continuous service to a defined population. The IHS takes responsibility for that particular population's health status and outcome, both clinically and fiscally. An integrated healthcare system is a well-organized, well-coordinated, and collaborative network. The integrated delivery system is a network that connects different healthcare providers to deliver organized,...
2.5K
Nursing Clinical Information System01:27

Nursing Clinical Information System

1.4K
Nursing Clinical Information System (NCIS)
A Nursing Clinical Information System (NCIS) is a specialized type of healthcare information system tailored to meet the unique needs of nursing practice. It incorporates the principles of nursing informatics to streamline information management and improve the quality of care delivery.
Critical attributes of NCIS include:
1.4K
Models of Health Promotion and Illness Prevention II01:18

Models of Health Promotion and Illness Prevention II

2.2K
The person's health status fluctuates continually, varying from being in good health to becoming ill and returning to being healthy. To understand the concept of illness prevention, there are two models. First, the health-illness continuum model is a graphic representation of an individual's wellness. It states that a person is considered healthy in the absence of physical disease and the presence of good emotional health.
The agent-host-environment model states that disease results...
2.2K
Models of Health Promotion and Illness Prevention I01:25

Models of Health Promotion and Illness Prevention I

3.0K
A model is a theoretical way to understand a concept or an idea. Models can overcome barriers to health regardless of diverse economic and cultural backgrounds. In addition, models make the task easier by providing different ways to approach complex issues. There are two major health promotion models: the health belief model and the health promotion model.
The health belief model (HBM) attempts to predict health-related behavior in specific belief patterns. According to the HBM, a person's...
3.0K

You might also read

Related Articles

Articles linked to this work by shared authors, journal, and citation graph.

Sort by
Same author

Fine-Tuning, Retrieval-Augmented Generation, and Hybrid Large Language Models for Postoperative Decision Support: Comparative Analysis.

Journal of medical Internet research·2026
Same author

ACCELERATE-BASSO: early experiences and emerging best practices for ontology development in behavioral and social science research.

Journal of biomedical semantics·2026
Same author

Transformer-DAPT: AI-based dynamic assessment of ischemic and bleeding risks in patients on DAPT following PCI.

NPJ digital medicine·2026
Same author

Structured reasoning failures compromise LLM interpretation of clinical oncology notes.

NPJ digital medicine·2026
Same author

Fine-Tuning, Retrieval-Augmented Generation, and Hybrid Large Language Models for Postoperative Decision Support: A Comparative Analysis.

Journal of medical Internet research·2026
Same author

Federated target trial emulation for time-to-event outcomes via POLARIS: Pooled-equivalent One-shot Likelihood Aggregation for Real-world Inference in Survival.

Research square·2026

Related Experiment Video

Updated: Mar 24, 2026

Methodology for Establishing a Community-Wide Life Laboratory for Capturing Unobtrusive and Continuous Remote Activity and Health Data
11:21

Methodology for Establishing a Community-Wide Life Laboratory for Capturing Unobtrusive and Continuous Remote Activity and Health Data

Published on: July 27, 2018

8.9K

Model Checking for Verification of Interactive Health IT Systems.

Keith A Butler1, Eric Mercer2, Ali Bahrami3

  • 1University of Washington, Seattle, WA.

AMIA ... Annual Symposium Proceedings. AMIA Symposium
|March 10, 2016
PubMed
Summary

Formalizing health information technology (HIT) workflows with new modeling techniques enhances safety and reliability. This approach uses model checking to predict and mitigate risks in interactive HIT systems.

More Related Videos

Virtual Agent for Real-Time Motivational Interviewing by Integrating Adaptive Nonverbal Behavior and Language Models
07:14

Virtual Agent for Real-Time Motivational Interviewing by Integrating Adaptive Nonverbal Behavior and Language Models

Published on: December 23, 2025

617
Hydra, a Computer-Based Platform for Aiding Clinicians in Cardiovascular Analysis and Diagnosis
07:51

Hydra, a Computer-Based Platform for Aiding Clinicians in Cardiovascular Analysis and Diagnosis

Published on: September 26, 2018

8.2K

Related Experiment Videos

Last Updated: Mar 24, 2026

Methodology for Establishing a Community-Wide Life Laboratory for Capturing Unobtrusive and Continuous Remote Activity and Health Data
11:21

Methodology for Establishing a Community-Wide Life Laboratory for Capturing Unobtrusive and Continuous Remote Activity and Health Data

Published on: July 27, 2018

8.9K
Virtual Agent for Real-Time Motivational Interviewing by Integrating Adaptive Nonverbal Behavior and Language Models
07:14

Virtual Agent for Real-Time Motivational Interviewing by Integrating Adaptive Nonverbal Behavior and Language Models

Published on: December 23, 2025

617
Hydra, a Computer-Based Platform for Aiding Clinicians in Cardiovascular Analysis and Diagnosis
07:51

Hydra, a Computer-Based Platform for Aiding Clinicians in Cardiovascular Analysis and Diagnosis

Published on: September 26, 2018

8.2K

Area of Science:

  • Health Informatics
  • Software Engineering
  • Clinical Workflow Analysis

Background:

  • Health information technology (HIT) proliferation outpaces rigorous design and verification methods.
  • Healthcare's complexity, amplified by HIT, leads to unpredictable system behavior and significant risks.
  • Current methods lack robust ways to ensure the safety and reliability of interactive HIT systems.

Purpose of the Study:

  • To mitigate risks associated with complex health information technology systems.
  • To formalize the relationship between HIT and conceptual clinical work.
  • To enable the application of model checking technology to interactive HIT systems.

Main Methods:

  • Developed new techniques for modeling clinical workflows and their conceptual products.
  • Applied established model checking technology to interactive health IT systems.
  • Automated parts of the model checking process for efficiency.

Main Results:

  • Demonstrated the effectiveness of model checking for interactive HIT systems.
  • Successfully applied the method to a patient contact system.
  • Showcased that significant portions of the verification process can be automated.

Conclusions:

  • The proposed method enhances the safety and reliability of health information technology.
  • Model checking is a viable and automatable approach for verifying interactive HIT systems.
  • Formalizing HIT workflows is crucial for managing complexity and risk in modern healthcare.