Download full-text PDF |
Source |
---|
Sci Rep
January 2025
The College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, 210016, Jiangsu, China.
The traditional synthesis problem aims to automatically construct a reactive system (if it exists) satisfying a given Linear Temporal Logic (LTL) specifications, and is often referred to as a qualitative problem. There is also a class of synthesis problems aiming at quantitative properties, such as mean-payoff values, and this type of problem is called a quantitative problem. For the two types of synthesis problems, the research on the former has been relatively mature, and the latter also has received huge amounts of attention.
View Article and Find Full Text PDFAnn Transl Med
December 2024
Division of Advanced Gastrointestinal and Bariatric Surgery, Mayo Clinic, Jacksonville, FL, USA.
Background: Addressing language barriers through accurate interpretation is crucial for providing quality care and establishing trust. While the ability of artificial intelligence (AI) to translate medical documentation has been studied, its role for patient-provider communication is less explored. This review evaluates AI's effectiveness in clinical translation by assessing accuracy, usability, satisfaction, and feedback on its use.
View Article and Find Full Text PDFZhong Nan Da Xue Xue Bao Yi Xue Ban
August 2024
Center of Clinical Pharmacology, Third Xiangya Hospital, Central South University, Changsha 410013.
Objectives: Software for pharmacological modeling and statistical analysis is essential for drug development and individualized treatment modeling. This study aims to develop a pharmacokinetic analysis cloud platform that leverages cloud-based benefits, offering a user-friendly interface with a smoother learning curve.
Methods: The platform was built using Rails as the framework, developed in Julia language, and employs PostgreSQL 14 database, Redis cache, and Sidekiq for asynchronous task management.
Telemed J E Health
January 2025
Faculty of Medicine and Health Sciences, Université de Sherbrooke, Sherbrooke, Quebec, Canada.
The use of e-health interventions to promote physical activity (PA) among older adults has significantly increased in recent years. This review aims to comprehensively summarize the various e-health modalities and strategies used to encourage PA in aging adults. A systematic search of Medline, Embase, CINAHL, AMED, and PubMed databases was conducted to identify studies on e-health interventions targeting PA promotion in individuals aged 50 and older, published between 2012 and 2023.
View Article and Find Full Text PDFSci Adv
January 2025
Department of Structural Biochemistry, Max Planck Institute of Molecular Physiology, Otto-Hahn-Str. 11, 44227 Dortmund, Germany.
Enter search terms and have AI summaries delivered each week - change queries or unsubscribe any time!