Related papers: Model Checking Implantable Cardioverter Defibrilla…
In this paper, a non-invasive inductive link model for an Implantable Biomedical Microsystems (IBMs) such as, a pacemaker to monitor Arrhythmic Patients (APs) in Body Area Networks (BANs) is proposed. The model acts as a driving source to…
Image-based computational fluid dynamics (CFD) has emerged as a powerful tool to study cardiovascular flows while 2D echocardiography (echo) is the most widely used non-invasive imaging modality for diagnosis of heart disease. Here, echo is…
Two crucial factors for accurate numerical simulations of cardiac electromechanics, which are also essential to reproduce the synchronous activity of the heart, are: i) accounting for the interaction between the heart and the circulatory…
Lumped method (Electrical analogy) is a quick and easy way to model human cardiovascular system. In this paper Lumped method is used for simulating a complete model. It describes a 36-vessel model and cardiac system of human body with…
Percutaneous catheter pumps are intraventricular temporary mechanical circulatory support (MCS) devices that are positioned across the aortic valve into the left ventricle (LV) and provide continuous antegrade blood flow from the LV into…
Real-time vital sign monitoring is gaining immense significance not only in the medical field but also in personal health management. Facing the needs of different application scenarios of the smart and healthy city in the future, the…
Modern model checking techniques concentrate on global properties of verified systems, because the methods base on global state space. Local features like partial deadlock or process termination are not easy to express and check. In the…
The study of pathological cardiac conditions such as arrhythmias, a major cause of mortality in heart failure, is becoming increasingly informed by computational simulation, numerically modelling the governing equations. This can provide…
Objective: to develop quantitative methods for the clinical interpretation of the ballistocardiogram (BCG). Methods: a closed-loop mathematical model of the cardiovascular system is proposed to theoretically simulate the mechanisms…
Interest in the application of engineering methods to problems in congenital heart disease has gained increased popularity over the past decade. The use of computational simulation to examine common clinical problems including single…
This work is dedicated to the simulation of full cycles of the electrical activity of the heart and the corresponding body surface potential. The model is based on a realistic torso and heart anatomy, including ventricles and atria. One of…
We propose an integrated electromechanical model of the human heart, with focus on the left ventricle, wherein biophysically detailed models describe the different physical phenomena concurring to the cardiac function. We model the…
Deep Venous Thrombosis (DVT) is a common vascular disease with blood clots inside deep veins, which may block blood flow or even cause a life-threatening pulmonary embolism. A typical exam for DVT using ultrasound (US) imaging is by…
Practitioners monitoring deployed probabilistic models face a fundamental trap: any fixed-sample test applied repeatedly over an unbounded stream will eventually raise a false alarm, even when the model remains perfectly stable. Existing…
The choice of appropriate boundary conditions is a crucial step in the development of cardiovascular models for blood flow simulations. The three-element Windkessel model is usually employed as a lumped boundary condition, providing a…
While most heart arrhythmias are not immediately harmful, they can lead to severe complications. In particular, atrial fibrillation, the most common arrhythmia, is characterized by fast and irregular heart beats and increases the risk of…
A method is proposed to analyze the heartbeat waveform that can yield a reliable characterization of the structure after only a few pulses. The measure suggested is entropy index that is related to the one found effective in describing…
Accurate and efficient modeling of cardiac blood flow is crucial for advancing data-driven tools in cardiovascular research and clinical applications. Recently, the accuracy and availability of computational fluid dynamics (CFD)…
Shockable rhythms, namely ventricular fibrillation and ventricular tachycardia, are the main cause of sudden cardiac arrests, which can be detected quickly by the automated external defibrillator (AED) devices. In this paper, a simple but…
Cardiovascular disease (CVD) is a leading cause of death globally, necessitating precise forecasting models for monitoring vital signs like heart rate, blood pressure, and ECG. Traditional models, such as ARIMA and Prophet, are limited by…