Results 81 to 90 of about 110,223 (206)

Fresh insights into the light‐induced pineal gland circadian rhythm transmission mechanism derived from mRNA and miRNA profiling

open access: yesAnimal Research and One Health, EarlyView.
Mechanisms of light in regulating the chick pineal clock. Abstract The circadian clock significantly impacts animal health and productivity, with light playing a crucial role in regulating circadian rhythms. However, the mechanisms behind light‐induced circadian transmission remain unclear, particularly in light‐sensitive avian species.
Yunlei Li   +10 more
wiley   +1 more source

End to End Verification and Validation with SPIN [PDF]

open access: yesarXiv, 2013
Over the last several years the tools used for model checking have become more efficient and usable. This has enabled users to apply model checking to industrial-scale problems, however the task of validating the implementation of the model is usually much harder.
arxiv  

Show, Don't Tell: Learning Reward Machines from Demonstrations for Reinforcement Learning-Based Cardiac Pacemaker Synthesis [PDF]

open access: yesarXiv
An (artificial cardiac) pacemaker is an implantable electronic device that sends electrical impulses to the heart to regulate the heartbeat. As the number of pacemaker users continues to rise, so does the demand for features with additional sensors, adaptability, and improved battery performance.
arxiv  

Distributed Real-Time Emulation of Formally-Defined Patterns for Safe Medical Device Control

open access: yes, 2010
Safety of medical devices and of their interoperation is an unresolved issue causing severe and sometimes deadly accidents for patients with shocking frequency.
José Meseguer   +2 more
core   +2 more sources

Clinical implications of left atrial changes after optimization of medical therapy in patients with heart failure

open access: yesEuropean Journal of Heart Failure, Volume 24, Issue 11, Page 2131-2139, November 2022., 2022
Among patients with new‐onset or worsening heart failure (HF) undergoing optimization of HF medical therapy, dose up‐titration of angiotensin‐converting enzyme inhibitor/angiotensin receptor blocker (ACEi/ARB) therapy was associated with lower likelihood of left atrial adverse remodelling (LAAR).
Riccardo M. Inciardi   +16 more
wiley   +1 more source

BLITZ‐HF: a nationwide initiative to evaluate and improve adherence to acute and chronic heart failure guidelines

open access: yesEuropean Journal of Heart Failure, Volume 24, Issue 11, Page 2078-2089, November 2022., 2022
Aims To assess adherence to guideline recommendations among a large network of Italian cardiology sites in the management of acute and chronic heart failure (HF) and to evaluate if an ad‐hoc educational intervention can improve their performance on several pharmacological and non‐pharmacological indicators.
Michele Massimo Gulizia   +197 more
wiley   +1 more source

Use of guideline‐recommended medical therapy in patients with heart failure and chronic kidney disease: from physician's prescriptions to patient's dispensations, medication adherence and persistence

open access: yesEuropean Journal of Heart Failure, Volume 24, Issue 11, Page 2185-2195, November 2022., 2022
Patients with heart failure and chronic kidney disease are less likely to receive and persist on guideline‐recommended medical therapies. Aim Half of heart failure (HF) patients have chronic kidney disease (CKD) complicating their pharmacological management.
Roemer J. Janse   +9 more
wiley   +1 more source

Concealed Malfunction of The Temporary Pacemaker [PDF]

open access: yes, 2006
The 12-lead ECG shows sequential atrial and ventricular pacing (Figure 1A). A tracing, obtained simultaneously during pacemaker interrogation, disclosed pacemaker functioning as VDD mode (Figure 1B).
Alasti, Mohammad   +3 more
core   +2 more sources

Home - About - Disclaimer - Privacy