Formal methods play an important role in the development of software and hardware systems. In recent years, there has been a growing interest to apply these methods in the area of medical guidelines and protocols. This paper summarises these efforts, compares the approaches and discusses the role of formal methods in this area.
Download full-text PDF |
Source |
|---|
Publication Analysis
Top Keywords
Similar Publications
Virtual reality perimetry compared to standard automated perimetry in adults with glaucoma: A systematic review.
PLoS One
January 2025
Division of Ophthalmology, Children's Hospital of Philadelphia, Philadelphia, Pennsylvania, United States of America.
Purpose: The purpose of this systematic review was to consolidate and summarize available data comparing virtual reality perimetry (VRP) with standard automated perimetry (SAP) in adults with glaucoma. Understanding the utility and diagnostic performance of emerging VRP technology may expand access to visual field testing but requires evidence-based validation.
Methods: A systematic literature search was conducted in 3 databases (PubMed Central, Embase, and Cochrane Central Register of Controlled Trials) from the date of inception to 10/09/2024.
Travel medicine training and experience among primary care physicians in Qatar.
PLoS One
January 2025
Department of Public Health and Preventive Medicine, Faculty of Medicine Cairo University, Cairo, Egypt.
Background: Travel medicine (TM) focuses on preventing and managing travel-related issues. Evidence has become more important than expert opinions in the development of TM standards. This study aimed to evaluate the training and experience of TM among Primary Care Physicians (PCPs) in Qatar and their associated factors.
View Article and Find Full Text PDFPrediction of stunting and its socioeconomic determinants among adolescent girls in Ethiopia using machine learning algorithms.
PLoS One
January 2025
Department of Health Informatics, School of Public Health, College of Medicine and Health Science, Woldia University, Woldia, Ethiopia.
Background: Stunting is a vital indicator of chronic undernutrition that reveals a failure to reach linear growth. Investigating growth and nutrition status during adolescence, in addition to infancy and childhood is very crucial. However, the available studies in Ethiopia have been usually focused in early childhood and they used the traditional stastical methods.
View Article and Find Full Text PDFInequality in measuring scholarly success: Variation in the h-index within and between disciplines.
PLoS One
January 2025
University of Oregon, Sociology, Eugene, OR, United States of America.
Scholars and university administrators have a vested interest in building equitable valuation systems of academic work for both practical (e.g., resource distribution) and more lofty purposes (e.
View Article and Find Full Text PDFComprehensive evaluation of the ramification patterns of hepatic vascular anatomy based on three-dimensional visualization technology.
Updates Surg
January 2025
Hepatic Surgery Center, Tongji Hospital, Tongji Medical College, Huazhong University of Science and Technology, Jiefang Avenue, Wuhan, 1095, China.
The liver segmentation method proposed by Couinaud is widely accepted by surgeons because of its convenience and practicality. However, this conventional eight-segment classification does not reflect realistic details of the liver and thus requires further adjustments to promote improvements in surgical strategies. This study aimed to explore the ramification patterns of the hepatic vasculature comprehensively.
View Article and Find Full Text PDFWant AI Summaries of new PubMed Abstracts delivered to your In-box?
Enter search terms and have AI summaries delivered each week - change queries or unsubscribe any time!