Related papers: Model Checking Implantable Cardioverter Defibrilla…
Intracardiac flow patterns are shaped by the coupled motion of the cardiac chambers and heart valves and provide important information about cardiac function. However, clinical flow imaging remains limited by exam times, noise, resolution,…
The present focus of heart flow studies is largely based on flow within the left ventricle and how this flow changes when subject to disease. However, despite recent advancements, a simple tractable model of even healthy left ventricular…
Turbulent mixers have been widely used in industrial settings for chemical production and increasingly for therapeutic nanoparticle formulation by antisolvent precipitation. The quality of the product is closely related to the fluid and…
Coronary heart disease (CHD) remains a top reason of mortality worldwide. This study introduces a novel approach by integrating patient-specific Multi-slice CT scans into CAD models and employing a one-dimensional numerical framework to…
The clinical application of patient-specific modelling of the heart can provide valuable insights in supplementing and advancing methods of diagnosis as well as helping to devise the best possible therapeutic approach for each individual…
In this demo paper, we design and prototype RhythmEdge, a low-cost, deep-learning-based contact-less system for regular HR monitoring applications. RhythmEdge benefits over existing approaches by facilitating contact-less nature,…
CFD-DEM is used to simulate solid-fluid systems. DEM models the motion of discrete particles while CFD models the fluid phase. Coupling both necessitates the calculation of the void fraction and the solid-fluid forces resulting in a…
System integration testing is the process of testing a system by the stepwise integration of sub-components. Usually these sub-components are already verified to guarantee their correct functional behavior. By integration of these verified…
In this paper we present an electronic system to perform a non-invasive measurement of the blood pressure based on the oscillometric method, which does not suffer from the limitations of the well-known auscultatory one. Moreover the…
Wearable technologies are envisaged to provide critical support to future healthcare systems. Hearables - devices worn in the ear - are of particular interest due to their ability to provide health monitoring in an efficient, reliable and…
Peripheral Arterial Disease (PAD) is a common form of arterial occlusive disease that is challenging to evaluate at the point-of-care. Hand-held dopplers are the most ubiquitous device used to evaluate circulation and allows providers to…
Left ventricular assist devices (LVADs) are mechanical pumps, which can be used to support heart failure (HF) patients as bridge to transplant and destination therapy. To automatically adjust the LVAD speed, a physiological control system…
This paper proposes a computationally efficient framework, based on interval analysis, for rigorous verification of nonlinear continuous-time dynamical systems with neural network controllers. Given a neural network, we use an existing…
Atrial fibrillation (AF) is the most prevalent cardiac arrhythmia worldwide, with 2% of the population affected. It is associated with an increased risk of strokes, heart failure and other heart-related complications. Monitoring at-risk…
We consider the integrate-and-fire model of the cardiac pacemaker with delayed pulsatile coupling. Sufficient conditions of synchronization are obtained for identical and non-identical oscillators.
While the pathophysiology underlying the COVID-19 infection remains incompletely understood, there is growing evidence to indicate that it is closely correlated to hypercoagulation among severely ill patients. Doctors may choose for use…
Background. Different mechanisms have been proposed to relate atrial fibrillation (AF) and coronary flow impairment, even in absence of relevant coronary artery disease (CAD). However, the underlying hemodynamics remains unclear. Aim of the…
Control strategy for suppression of spiral-wave in a 2-D model of an excitable media is developed with application to the cardiac system. The controller which incorporates a finite number of actuators (electrodes) assures the establishment…
Cardiovascular diseases (CVD) cause over 17 million deaths annually worldwide, highlighting the urgent need for privacy-preserving predictive systems. We introduce FedCVD++, an enhanced federated learning (FL) framework that integrates both…
We introduce a model-checking tool intended specially for the analysis of quantum information protocols. The tool incorporates an efficient representation of a certain class of quantum circuits, namely those expressible in the so-called…