English
Related papers

Related papers: Model Checking Implantable Cardioverter Defibrilla…

200 papers

Despite of the pain and limited accuracy of blood tests for early recognition of cardiovascular disease, they dominate risk screening and triage. On the other hand, heart rate variability is non-invasive and cheap, but not considered…

Neural and Evolutionary Computing · Computer Science 2016-12-30 Tamas Madl

Coronary microvascular dysfunction (CMD), characterized by impaired regulation of blood flow in the coronary microcirculation, plays a key role in the pathogenesis of ischemic heart disease and is increasingly recognized as a contributor to…

Computational Engineering, Finance, and Science · Computer Science 2025-12-25 Haizhou Yang , Jiyang Zhang , Brahmajee K. Nallamothu , Krishna Garikipati , C. Alberto Figueroa

Mathematical models of the human heart are increasingly playing a vital role in understanding the working mechanisms of the heart, both under healthy functioning and during disease. The aim is to aid medical practitioners diagnose and treat…

Numerical Analysis · Mathematics 2023-11-13 Sridhar Chellappa , Barış Cansız , Lihong Feng , Peter Benner , Michael Kaliske

Computer-based simulations of non-invasive cardiac electrical outputs, such as electrocardiograms and body surface potential maps, usually entail severe computational costs due to the need of capturing fine-scale processes and to the…

Numerical Analysis · Mathematics 2023-08-09 Elena Zappon , Andrea Manzoni , Alfio Quarteroni

This study presents a novel methodology for stratifying post-myocardial infarction patients at risk of ventricular arrhythmias using patient-specific 3D cardiac models derived from late gadolinium enhancement cardiovascular magnetic…

Computational Engineering, Finance, and Science · Computer Science 2024-09-11 Dolors Serra , Pau Romero , Paula Franco , Ignacio Bernat , Miguel Lozano , Ignacio Garcia-Fernandez , David Soto , Antonio Berruezo , Oscar Camara , Rafael Sebastian

Safety of medical devices and of their interoperation is an unresolved issue causing severe and sometimes deadly accidents for patients with shocking frequency. Formal methods, particularly in support of highly reusable and provably safe…

Logic in Computer Science · Computer Science 2010-09-23 Mu Sun , José Meseguer

Cardiovascular disease (CVD) remains the foremost cause of mortality worldwide, underscoring the urgent need for intelligent and data-driven diagnostic tools. Traditional predictive models often struggle to generalize across heterogeneous…

Artificial Intelligence · Computer Science 2026-01-27 Rajan Das Gupta , Xiaobin Wu , Xun Liu , Jiaqi He

Computer modeling of the cardiovascular system has potential to revolutionize personalized medical care. This is especially promising for congenital heart defects, such as ventricular septal defect (VSD), a hole between the two ventricles…

Tissues and Organs · Quantitative Biology 2026-02-05 Mitchel J. Colebank , Alfonso Limon , Anthony Chang , Brandon Wong , Wyman Lai , Hamilton Baker

Cardiovascular diseases (CVDs) are a group of heart and blood vessel disorders that is one of the most serious dangers to human health, and the number of such patients is still growing. Early and accurate detection plays a key role in…

Computer Vision and Pattern Recognition · Computer Science 2026-02-17 Khiem H. Le , Hieu H. Pham , Thao BT. Nguyen , Tu A. Nguyen , Tien N. Thanh , Cuong D. Do

Deformation modeling of cardiac muscle is an important issue in the field of cardiac analysis. Many approaches have been developed to better estimate the cardiac muscle deformation, and to obtain a practical model to be used in diagnostic…

Computational Engineering, Finance, and Science · Computer Science 2015-12-01 Ahmadreza Baghaie , Hamid Abrishami Moghaddam

The cardiologist's main tool for measuring systolic heart failure is left ventricular ejection fraction (LVEF). Trained cardiologist's report both a visual and machine-guided measurement of LVEF, but only use this machine-guided measurement…

Cardiopulmonary resuscitation (CPR) is an emergency procedure performed on patients during cardiac and respiratory arrest. This procedure externally activates the cardiac and respiratory systems via the delivery of chest compression and…

Numerical Analysis · Mathematics 2022-06-01 Jafar Moradicheghamahi , Gerard Fortuny , Josep M. López , Joan Herrero , Dolors Puigjaner

Cardiovascular disease affects millions of people worldwide and its social and economic cost clearly motivates scientific research. Computer simulation can lead to a better understanding of cardiac physiology, and for pathology presents…

Biological Physics · Physics 2023-02-27 Toby Simpson

We aim to assess the effectiveness of feedback controlled resonant drift pacing as a method for low energy defibrillation. Antitachycardia pacing is the only low energy defibrillation approach to have gained clinical significance, but it is…

Tissues and Organs · Quantitative Biology 2009-11-13 S. W. Morgan , G. Plank , I. V. Biktasheva , V. N. Biktashev

Color Doppler by transthoracic echocardiography creates 2-D fan-shaped maps of blood velocities in the cardiac cavities. It is a one-component velocimetric technique since it only returns the velocity components parallel to the ultrasound…

In this work, we develop patient-specific cardiocirculatory models with the aim of building Digital Twins for hypertension. In particular, in our pathophysiology-based framework, we consider both 0D cardiocirculatory models and a 3D-0D…

Numerical Analysis · Mathematics 2025-11-27 Simone Celora , Andrea Tonini , Francesco Regazzoni , Luca Dede' , Gianfranco Parati , Alfio Quarteroni

Hybrid modeling, the combination of first principle and machine learning models, is an emerging research field that gathers more and more attention. Even if hybrid models produce formidable results for academic examples, there are still…

Machine Learning · Computer Science 2021-12-15 Tobias Thummerer , Johannes Tintenherr , Lars Mikelsons

Objective: Atrial fibrillation (AF) is the most common cardiac arrhythmia experienced by intensive care unit (ICU) patients and can cause adverse health effects. In this study, we publish a labelled ICU dataset and benchmarks for AF…

Cardiovascular diseases (CVDs) are the number one cause of death worldwide. While there is growing evidence that the atrial fibrillation (AF) has strong associations with various CVDs, this heart arrhythmia is usually diagnosed using…

Systems and Control · Electrical Eng. & Systems 2022-07-13 Wei-Ying Yi , Peng-Fei Liu , Sheung-Lai Lo , Ya-Fen Chan , Yu Zhou , Yee Leung , Kam-Sang Woo , Alex Pui-Wai Lee , Jia-Min Chen , Kwong-Sak Leung

Structural heart disease (SHD) is a prevalent condition with many undiagnosed cases, and early detection is often limited by the high cost and accessibility constraints of echocardiography (ECHO). Recent studies show that artificial…

Applications · Statistics 2026-03-04 Ya Zhou , Zhaohong Sun , Tianxiang Hao , Xiangjie Li
‹ Prev 1 3 4 5 6 7 10 Next ›