A model of cardiac tissue as a conductive system with interacting pacemakers and refractory time [PDF]
A model of the heart tissue as a conductive system with two interacting pacemakers and a refractory time, is proposed. In the parametric space of the model the phase locking areas are investigated in detail. Obtained results allow us to predict the behaviour of excitable systems with two pacemakers depending on the type and intensity of their ...
arxiv
Analysis of Heterogeneous Cardiac Pacemaker Tissue Models and Traveling Wave Dynamics [PDF]
The sinoatrial-node (SAN) is a complex heterogeneous tissue that generates a stable rhythm in healthy hearts, yet a general mechanistic explanation for when and how this tissue remains stable is lacking. Although computational and theoretical analyses could elucidate these phenomena, such methods have rarely been used in realistic (large-dimensional ...
arxiv
Fast Diffusion-Based Counterfactuals for Shortcut Removal and Generation [PDF]
Shortcut learning is when a model -- e.g. a cardiac disease classifier -- exploits correlations between the target label and a spurious shortcut feature, e.g. a pacemaker, to predict the target label based on the shortcut rather than real discriminative features. This is common in medical imaging, where treatment and clinical annotations correlate with
arxiv
Genetically engineered cardiac pacemaker: stem cells transfected with HCN2 gene and myocytes - a model [PDF]
Artificial biological pacemakers were developed and tested in canine ventricles. Next steps will require obtaining oscillations sensitive to external regulations, and robust with respect to long term drifts of expression levels of pacemaker currents and gap junctions. We introduce mathematical models intended to be used in parallel with the experiments.
arxiv
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
Synchronization of Pulse-Coupled Oscillators and Clocks under Minimal Connectivity Assumptions [PDF]
Populations of flashing fireflies, claps of applauding audience, cells of cardiac and circadian pacemakers reach synchrony via event-triggered interactions, referred to as pulse couplings. Synchronization via pulse coupling is widely used in wireless sensor networks, providing clock synchronization with parsimonious packet exchanges.
arxiv +1 more source
Oscillators that sync and swarm [PDF]
Synchronization occurs in many natural and technological systems, from cardiac pacemaker cells to coupled lasers. In the synchronized state, the individual cells or lasers coordinate the timing of their oscillations, but they do not move through space. A complementary form of self-organization occurs among swarming insects, flocking birds, or schooling
arxiv +1 more source
A generalized model of active media with a set of interacting pacemakers: Application to the heart beat analysis [PDF]
We propose a quite general model of active media by consideration of the interaction between pacemakers via their phase response curves. This model describes a network of pulse oscillators coupled by their response to the internal depolarization of mutual stimulations.
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
Aspects of the psychological status of patients treated with cardiac pacemakers [PDF]
A. H. Crisp, Edward Stonehill
openalex +1 more source