Results 81 to 90 of about 110,223 (206)
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]
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]
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
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
Temperature Effects on Pacemaker Generation, Membrane Potential, and Critical Firing Threshold in Aplysia Neurons [PDF]
David O. Carpenter
openalex +1 more source
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
Electrical Properties of the Pacemaker Neurons in the Heart Ganglion of a Stomatopod, Squilla oratoria [PDF]
Akira Watanabe+3 more
openalex +1 more source
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
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]
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