23 results on '"Regazzoni, Francesco"'
Search Results
2. A fast cardiac electromechanics model coupling the Eikonal and the nonlinear mechanics equations.
- Author
-
Stella, Simone, Regazzoni, Francesco, Vergara, Christian, Dedé, Luca, and Quarteroni, Alfio
- Subjects
- *
NONLINEAR mechanics , *NONLINEAR equations , *TISSUE mechanics , *CONTRACTILITY (Biology) , *BLOOD circulation , *CIRCULATION models , *ELECTROPHYSIOLOGY - Abstract
We present a new model of human cardiac electromechanics for the left ventricle where electrophysiology is described by a Reaction–Eikonal model and which enables an off-line resolution of the reaction model, thus entailing a big saving of computational time. Subcellular dynamics is coupled with a model of tissue mechanics, which is in turn coupled with a Windkessel model for blood circulation. Our numerical results show that the proposed model is able to provide a physiological response to changes in certain variables (end-diastolic volume, total peripheral resistance, contractility). We also show that our model is able to reproduce with high accuracy and with a considerably lower computational time the results that we would obtain if the monodomain model should be used in place of the Eikonal model. [ABSTRACT FROM AUTHOR]
- Published
- 2022
- Full Text
- View/download PDF
3. Combining data assimilation and machine learning to build data‐driven models for unknown long time dynamics—Applications in cardiovascular modeling.
- Author
-
Regazzoni, Francesco, Chapelle, Dominique, and Moireau, Philippe
- Subjects
- *
MACHINE learning , *ALGORITHMS , *TIME series analysis , *PARAMETRIC equations , *DIFFERENTIAL equations - Abstract
We propose a method to discover differential equations describing the long‐term dynamics of phenomena featuring a multiscale behavior in time, starting from measurements taken at the fast‐scale. Our methodology is based on a synergetic combination of data assimilation (DA), used to estimate the parameters associated with the known fast‐scale dynamics, and machine learning (ML), used to infer the laws underlying the slow‐scale dynamics. Specifically, by exploiting the scale separation between the fast and the slow dynamics, we propose a decoupling of time scales that allows to drastically lower the computational burden. Then, we propose a ML algorithm that learns a parametric mathematical model from a collection of time series coming from the phenomenon to be modeled. Moreover, we study the interpretability of the data‐driven models obtained within the black‐box learning framework proposed in this paper. In particular, we show that every model can be rewritten in infinitely many different equivalent ways, thus making intrinsically ill‐posed the problem of learning a parametric differential equation starting from time series. Hence, we propose a strategy that allows to select a unique representative model in each equivalence class, thus enhancing the interpretability of the results. We demonstrate the effectiveness and noise‐robustness of the proposed methods through several test cases, in which we reconstruct several differential models starting from time series generated through the models themselves. Finally, we show the results obtained for a test case in the cardiovascular modeling context, which sheds light on a promising field of application of the proposed methods. [ABSTRACT FROM AUTHOR]
- Published
- 2021
- Full Text
- View/download PDF
4. A mathematical model to assess the effects of COVID-19 on the cardiocirculatory system.
- Author
-
Tonini, Andrea, Vergara, Christian, Regazzoni, Francesco, Dede', Luca, Scrofani, Roberto, Cogliati, Chiara, and Quarteroni, Alfio
- Subjects
- *
MATHEMATICAL models , *SYSTOLIC blood pressure , *COVID-19 , *PULMONARY circulation , *CARDIOVASCULAR system , *HEART , *CAPILLARIES - Abstract
Impaired cardiac function has been described as a frequent complication of COVID-19-related pneumonia. To investigate possible underlying mechanisms, we represented the cardiovascular system by means of a lumped-parameter 0D mathematical model. The model was calibrated using clinical data, recorded in 58 patients hospitalized for COVID-19-related pneumonia, to make it patient-specific and to compute model outputs of clinical interest related to the cardiocirculatory system. We assessed, for each patient with a successful calibration, the statistical reliability of model outputs estimating the uncertainty intervals. Then, we performed a statistical analysis to compare healthy ranges and mean values (over patients) of reliable model outputs to determine which were significantly altered in COVID-19-related pneumonia. Our results showed significant increases in right ventricular systolic pressure, diastolic and mean pulmonary arterial pressure, and capillary wedge pressure. Instead, physical quantities related to the systemic circulation were not significantly altered. Remarkably, statistical analyses made on raw clinical data, without the support of a mathematical model, were unable to detect the effects of COVID-19-related pneumonia in pulmonary circulation, thus suggesting that the use of a calibrated 0D mathematical model to describe the cardiocirculatory system is an effective tool to investigate the impairments of the cardiocirculatory system associated with COVID-19. [ABSTRACT FROM AUTHOR]
- Published
- 2024
- Full Text
- View/download PDF
5. Preserving the positivity of the deformation gradient determinant in intergrid interpolation by combining RBFs and SVD: Application to cardiac electromechanics.
- Author
-
Bucelli, Michele, Regazzoni, Francesco, Dede', Luca, and Quarteroni, Alfio
- Subjects
- *
SINGULAR value decomposition , *INTERPOLATION , *QUATERNIONS , *RADIAL basis functions , *OPTIMISM , *ROBUST optimization - Abstract
The accurate, robust and efficient transfer of the deformation gradient tensor between meshes of different resolution is crucial in cardiac electromechanics simulations. This paper presents a novel method that combines rescaled localized Radial Basis Function (RBF) interpolation with Singular Value Decomposition (SVD) to preserve the positivity of the determinant of the deformation gradient tensor. The method involves decomposing the evaluations of the tensor at the quadrature nodes of the source mesh into rotation matrices and diagonal matrices of singular values; computing the RBF interpolation of the quaternion representation of rotation matrices and the singular value logarithms; reassembling the deformation gradient tensors at quadrature nodes of the destination mesh, to be used in the assembly of the electrophysiology model equations. The proposed method overcomes limitations of existing interpolation methods, including nested intergrid interpolation and RBF interpolation of the displacement field, that may lead to the loss of physical meaningfulness of the mathematical formulation and then to solver failures at the algebraic level, due to negative determinant values. Furthermore, the proposed method enables the transfer of solution variables between finite element spaces of different degrees and shapes and without stringent conformity requirements between different meshes, thus enhancing the flexibility and accuracy of electromechanical simulations. We show numerical results confirming that the proposed method enables the transfer of the deformation gradient tensor, allowing to successfully run simulations in cases where existing methods fail. This work provides an efficient and robust method for the intergrid transfer of the deformation gradient tensor, thus enabling independent tailoring of mesh discretizations to the particular characteristics of the individual physical components concurring to the of the multiphysics model. [ABSTRACT FROM AUTHOR]
- Published
- 2023
- Full Text
- View/download PDF
6. Biophysically detailed mathematical models of multiscale cardiac active mechanics.
- Author
-
Regazzoni, Francesco, Dedè, Luca, and Quarteroni, Alfio
- Subjects
- *
MULTISCALE modeling , *MONTE Carlo method , *MATHEMATICAL models , *TISSUE mechanics , *BODY temperature , *MYOCARDIUM , *CONTRACTILE proteins - Abstract
We propose four novel mathematical models, describing the microscopic mechanisms of force generation in the cardiac muscle tissue, which are suitable for multiscale numerical simulations of cardiac electromechanics. Such models are based on a biophysically accurate representation of the regulatory and contractile proteins in the sarcomeres. Our models, unlike most of the sarcomere dynamics models that are available in the literature and that feature a comparable richness of detail, do not require the time-consuming Monte Carlo method for their numerical approximation. Conversely, the models that we propose only require the solution of a system of PDEs and/or ODEs (the most reduced of the four only involving 20 ODEs), thus entailing a significant computational efficiency. By focusing on the two models that feature the best trade-off between detail of description and identifiability of parameters, we propose a pipeline to calibrate such parameters starting from experimental measurements available in literature. Thanks to this pipeline, we calibrate these models for room-temperature rat and for body-temperature human cells. We show, by means of numerical simulations, that the proposed models correctly predict the main features of force generation, including the steady-state force-calcium and force-length relationships, the length-dependent prolongation of twitches and increase of peak force, the force-velocity relationship. Moreover, they correctly reproduce the Frank-Starling effect, when employed in multiscale 3D numerical simulation of cardiac electromechanics. Author summary: Computer-based numerical simulations of the heart are increasingly assuming a recognized role in the context of computational medicine and cardiology. They are based on mathematical models describing the different physical phenomena occurring during an heartbeat. Among these models, a pivotal role is played by those describing how cardiomyocytes—the cardiac muscle cells—produce active force, driven by changes in calcium concentration. However, due to the intrinsic complexity of these subcellular mechanisms, the computational cost associated with the solution of cardiac active force models is often prohibitive. For this reason, phenomenological models are typically used in place of biophysically detailed ones in organ-scale simulations. In this paper, we propose some new biophysically detailed mathematical models of cardiac force generation. Our models are rigorously derived on the basis of physically motivated assumptions that allow to drastically reduce the computational cost associated to their resolution, making them suitable for organ-scale numerical simulations, without renouncing to their biophysical detail. [ABSTRACT FROM AUTHOR]
- Published
- 2020
- Full Text
- View/download PDF
7. Active contraction of cardiac cells: a reduced model for sarcomere dynamics with cooperative interactions.
- Author
-
Regazzoni, Francesco, Dedè, Luca, and Quarteroni, Alfio
- Subjects
- *
HEART cells , *CARDIAC contraction , *SARCOMERES , *CYTOPLASMIC filaments , *MARKOV processes - Abstract
We propose a reduced ODE model for the mechanical activation of cardiac myofilaments, which is based on explicit spatial representation of nearest-neighbour interactions. Our model is derived from the cooperative Markov Chain model of Washio et al. (Cell Mol Bioeng 5(1):113-126, 2012), under the assumption of conditional independence of specific sets of events. This physically motivated assumption allows to drastically reduce the number of degrees of freedom, thus resulting in a significantly large computational saving. Indeed, the original Markov Chain model involves a huge number of degrees of freedom (order of 1021) and is solved by means of the Monte Carlo method, which notoriously reaches statistical convergence in a slow fashion. With our reduced model, instead, numerical simulations can be carried out by solving a system of ODEs, reducing the computational time by more than 10, 000 times. Moreover, the reduced model is accurate with respect to the original Markov Chain model. We show that the reduced model is capable of reproducing physiological steady-state force-calcium and force-length relationships with the observed asymmetry in apparent cooperativity near the calcium level producing half activation. Finally, we also report good qualitative and quantitative agreement with experimental measurements under dynamic conditions. [ABSTRACT FROM AUTHOR]
- Published
- 2018
- Full Text
- View/download PDF
8. Fast and robust parameter estimation with uncertainty quantification for the cardiac function.
- Author
-
Salvador, Matteo, Regazzoni, Francesco, Dede', Luca, and Quarteroni, Alfio
- Subjects
- *
PARAMETER estimation , *HEART , *AUTOMATIC differentiation , *CENTRAL processing units , *ERRORS-in-variables models , *DIGITAL twins - Abstract
• We perform parameter estimation under uncertainty for the whole cardiovascular system. • We consider an accurate Artificial Neural Network solver for the cardiac function. • We achieve very fast numerical simulations with minimal hardware requirements. • We identify many model parameters by using a small amount of non-invasive data. • High values of signal-to-noise ratio can be considered in the quantities of interest. Parameter estimation and uncertainty quantification are crucial in computational cardiology, as they enable the construction of digital twins that faithfully replicate the behavior of physical patients. Many model parameters regarding cardiac electromechanics and cardiovascular hemodynamics need to be robustly fitted by starting from a few, possibly non-invasive, noisy observations. Moreover, short execution times and a small amount of computational resources are required for the effective clinical translation. In the framework of Bayesian statistics, we combine Maximum a Posteriori estimation and Hamiltonian Monte Carlo to find an approximation of model parameters and their posterior distributions. Fast simulations and minimal memory requirements are achieved by using an accurate and geometry-specific Artificial Neural Network surrogate model for the cardiac function, matrix–free methods, automatic differentiation and automatic vectorization. Furthermore, we account for the surrogate modeling error and measurement error. We perform three different in silico test cases, ranging from the ventricular function to the entire cardiocirculatory system, involving whole-heart mechanics, arterial and venous hemodynamics. By employing a single central processing unit on a standard laptop, we attain highly accurate estimations for all model parameters in short computational times. Furthermore, we obtain posterior distributions that contain the true values inside the 90 % credibility regions. Many model parameters regarding the entire cardiovascular system can be fastly and robustly identified with minimal hardware requirements. This can be achieved when a small amount of non-invasive data is available and when high levels of signal-to-noise ratio are present in the quantities of interest. With these features, our approach meets the requirements for clinical exploitation, while being compliant with Green Computing practices. [ABSTRACT FROM AUTHOR]
- Published
- 2023
- Full Text
- View/download PDF
9. lifex-ep: a robust and efficient software for cardiac electrophysiology simulations.
- Author
-
Africa, Pasquale Claudio, Piersanti, Roberto, Regazzoni, Francesco, Bucelli, Michele, Salvador, Matteo, Fedele, Marco, Pagani, Stefano, Dede', Luca, and Quarteroni, Alfio
- Subjects
- *
ELECTROPHYSIOLOGY , *FINITE element method , *MYOCARDIUM , *MULTISCALE modeling , *NUMERICAL functions , *SIMULATION software , *CAPABILITY maturity model - Abstract
Background: Simulating the cardiac function requires the numerical solution of multi-physics and multi-scale mathematical models. This underscores the need for streamlined, accurate, and high-performance computational tools. Despite the dedicated endeavors of various research teams, comprehensive and user-friendly software programs for cardiac simulations, capable of accurately replicating both normal and pathological conditions, are still in the process of achieving full maturity within the scientific community. Results: This work introduces life x -ep, a publicly available software for numerical simulations of the electrophysiology activity of the cardiac muscle, under both normal and pathological conditions. life x -ep employs the monodomain equation to model the heart's electrical activity. It incorporates both phenomenological and second-generation ionic models. These models are discretized using the Finite Element method on tetrahedral or hexahedral meshes. Additionally, life x -ep integrates the generation of myocardial fibers based on Laplace–Dirichlet Rule-Based Methods, previously released in Africa et al., 2023, within life x -fiber. As an alternative, users can also choose to import myofibers from a file. This paper provides a concise overview of the mathematical models and numerical methods underlying life x -ep, along with comprehensive implementation details and instructions for users. life x -ep features exceptional parallel speedup, scaling efficiently when using up to thousands of cores, and its implementation has been verified against an established benchmark problem for computational electrophysiology. We showcase the key features of life x -ep through various idealized and realistic simulations conducted in both normal and pathological scenarios. Furthermore, the software offers a user-friendly and flexible interface, simplifying the setup of simulations using self-documenting parameter files. Conclusions: life x -ep provides easy access to cardiac electrophysiology simulations for a wide user community. It offers a computational tool that integrates models and accurate methods for simulating cardiac electrophysiology within a high-performance framework, while maintaining a user-friendly interface. life x -ep represents a valuable tool for conducting in silico patient-specific simulations. [ABSTRACT FROM AUTHOR]
- Published
- 2023
- Full Text
- View/download PDF
10. lifex-ep: a robust and efficient software for cardiac electrophysiology simulations.
- Author
-
Africa, Pasquale Claudio, Piersanti, Roberto, Regazzoni, Francesco, Bucelli, Michele, Salvador, Matteo, Fedele, Marco, Pagani, Stefano, Dede’, Luca, and Quarteroni, Alfio
- Abstract
Background: Simulating the cardiac function requires the numerical solution of multi-physics and multi-scale mathematical models. This underscores the need for streamlined, accurate, and high-performance computational tools. Despite the dedicated endeavors of various research teams, comprehensive and user-friendly software programs for cardiac simulations, capable of accurately replicating both normal and pathological conditions, are still in the process of achieving full maturity within the scientific community. Results: This work introduces life x -ep, a publicly available software for numerical simulations of the electrophysiology activity of the cardiac muscle, under both normal and pathological conditions. life x -ep employs the monodomain equation to model the heart’s electrical activity. It incorporates both phenomenological and second-generation ionic models. These models are discretized using the Finite Element method on tetrahedral or hexahedral meshes. Additionally, life x -ep integrates the generation of myocardial fibers based on Laplace–Dirichlet Rule-Based Methods, previously released in Africa et al., 2023, within life x -fiber. As an alternative, users can also choose to import myofibers from a file. This paper provides a concise overview of the mathematical models and numerical methods underlying life x -ep, along with comprehensive implementation details and instructions for users. life x -ep features exceptional parallel speedup, scaling efficiently when using up to thousands of cores, and its implementation has been verified against an established benchmark problem for computational electrophysiology. We showcase the key features of life x -ep through various idealized and realistic simulations conducted in both normal and pathological scenarios. Furthermore, the software offers a user-friendly and flexible interface, simplifying the setup of simulations using self-documenting parameter files. Conclusions: life x -ep provides easy access to cardiac electrophysiology simulations for a wide user community. It offers a computational tool that integrates models and accurate methods for simulating cardiac electrophysiology within a high-performance framework, while maintaining a user-friendly interface. life x -ep represents a valuable tool for conducting in silico patient-specific simulations. [ABSTRACT FROM AUTHOR]
- Published
- 2023
- Full Text
- View/download PDF
11. A detailed mathematical model of the human atrial cardiomyocyte: integration of electrophysiology and cardiomechanics.
- Author
-
Mazhar, Fazeelat, Bartolucci, Chiara, Regazzoni, Francesco, Paci, Michelangelo, Dedè, Luca, Quarteroni, Alfio, Corsi, Cristiana, and Severi, Stefano
- Abstract
Key points Mechano‐electric regulations (MER) play an important role in the maintenance of cardiac performance. Mechano‐calcium and mechano‐electric feedback (MCF and MEF) pathways adjust the cardiomyocyte contractile force according to mechanical perturbations and affects electro‐mechanical coupling. MER integrates all these regulations in one unit resulting in a complex phenomenon. Computational modelling is a useful tool to accelerate the mechanistic understanding of complex experimental phenomena. We have developed a novel model that integrates the MER loop for human atrial cardiomyocytes with proper consideration of feedforward and feedback pathways. The model couples a modified version of the action potential (AP) Koivumäki model with the contraction model by Quarteroni group. The model simulates iso‐sarcometric and isometric twitches and the feedback effects on AP and Ca2+‐handling. The model showed a biphasic response of Ca2+ transient (CaT) peak to increasing pacing rates and highlights the possible mechanisms involved. The model has shown a shift of the threshold for AP and CaT alternans from 4.6 to 4 Hz under post‐operative atrial fibrillation, induced by depressed SERCA activity. The alternans incidence was dependent on a chain of mechanisms including RyRs availability time, MCF coupling, CaMKII phosphorylation, and the stretch levels. As a result, the model predicted a 10% slowdown of conduction velocity for a 20% stretch, suggesting a role of stretch in creation of substrate formation for atrial fibrillation. Overall, we conclude that the developed model provides a physiological CaT followed by a physiological twitch. This model can open pathways for the future studies of human atrial electromechanics. With the availability of human atrial cellular data, interest in atrial‐specific model integration has been enhanced. We have developed a detailed mathematical model of human atrial cardiomyocytes including the mechano‐electric regulatory loop. The model has gone through calibration and evaluation phases against a wide collection of available human
in‐vitro data. The usefulness of the model for analysing clinical problems has been preliminaryly tested by simulating the increased incidence of Ca2+ transient and action potential alternans at high rates in post‐operative atrial fibrillation condition. The model determines the possible role of mechano‐electric feedback in alternans incidence, which can increase vulnerability to atrial arrhythmias by varying stretch levels. We found that our physiologically accurate description of Ca2+ handling can reproduce many experimental phenomena and can help to gain insights into the underlying pathophysiological mechanisms. [ABSTRACT FROM AUTHOR]- Published
- 2023
- Full Text
- View/download PDF
12. Universal Solution Manifold Networks (USM-Nets): Non-Intrusive Mesh-Free Surrogate Models for Problems in Variable Domains.
- Author
-
Regazzoni, Francesco, Pagani, Stefano, and Quarteroni, Alfio
- Subjects
- *
COMPUTATIONAL fluid dynamics , *ARTIFICIAL neural networks , *DISCRETIZATION methods , *REYNOLDS number , *BOOSTING algorithms , *IMAGE segmentation - Abstract
We introduce universal solution manifold network (USM-Net), a novel surrogate model, based on artificial neural networks (ANNs), which applies to differential problems whose solution depends on physical and geometrical parameters. We employ a mesh-less architecture, thus overcoming the limitations associated with image segmentation and mesh generation required by traditional discretization methods. Our method encodes geometrical variability through scalar landmarks, such as coordinates of points of interest. In biomedical applications, these landmarks can be inexpensively processed from clinical images. We present proof-of-concept results obtained with a data-driven loss function based on simulation data. Nonetheless, our framework is non-intrusive and modular, as we can modify the loss by considering additional constraints, thus leveraging available physical knowledge. Our approach also accommodates a universal coordinate system, which supports the USM-Net in learning the correspondence between points belonging to different geometries, boosting prediction accuracy on unobserved geometries. Finally, we present two numerical test cases in computational fluid dynamics involving variable Reynolds numbers as well as computational domains of variable shape. The results show that our method allows for inexpensive but accurate approximations of velocity and pressure, avoiding computationally expensive image segmentation, mesh generation, or re-training for every new instance of physical parameters and shape of the domain. [ABSTRACT FROM AUTHOR]
- Published
- 2022
- Full Text
- View/download PDF
13. Automatic Application of Power Analysis Countermeasures.
- Author
-
Bayrak, Ali Galip, Regazzoni, Francesco, Novo, David, Brisk, Philip, Standaert, Francois-Xavier, and Ienne, Paolo
- Subjects
- *
AUTOMATION , *ELECTRONIC countermeasures , *STATISTICAL power analysis , *CRYPTOGRAPHY , *CYBERTERRORISM , *INFORMATION theory - Abstract
We introduce a compiler that automatically inserts software countermeasures to protect cryptographic algorithms against power-based side-channel attacks. The compiler first estimates which instruction instances leak the most information through side-channels. This information is obtained either by dynamic analysis, evaluating an information theoretic metric over the power traces acquired during the execution of the input program, or by static analysis. As information leakage implies a loss of security, the compiler then identifies (groups of) instruction instances to protect with a software countermeasure such as random precharging or Boolean masking. As software protection incurs significant overhead in terms of cryptosystem runtime and memory usage, the compiler protects the minimum number of instruction instances to achieve a desired level of security. The compiler is evaluated on two block ciphers, AES and Clefia; our experiments demonstrate that the compiler can automatically identify and protect the most important instruction instances. To date, these software countermeasures have been inserted manually by security experts, who are not necessarily the main cryptosystem developers. Our compiler offers significant productivity gains for cryptosystem developers who wish to protect their implementations from side-channel attacks. [ABSTRACT FROM AUTHOR]
- Published
- 2015
- Full Text
- View/download PDF
14. 3D–0D closed-loop model for the simulation of cardiac biventricular electromechanics.
- Author
-
Piersanti, Roberto, Regazzoni, Francesco, Salvador, Matteo, Corno, Antonio F., Dede', Luca, Vergara, Christian, and Quarteroni, Alfio
- Subjects
- *
CARDIAC contraction , *ENERGY conservation , *HEART , *SIMULATION methods & models , *CARDIOVASCULAR system , *HEMODYNAMICS - Abstract
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 system that determines pressures and volumes loads in the heart chambers; (ii) reconstructing the muscular fiber architecture that drives the electrophysiology signal and the myocardium contraction. In this work, we present a 3D biventricular electromechanical model coupled with a 0D closed-loop model of the whole cardiovascular system that addresses the two former crucial factors. With this aim, we introduce a boundary condition for the mechanical problem that accounts for the neglected part of the domain located on top of the biventricular basal plane and that is consistent with the principles of momentum and energy conservation. We also discuss in detail the coupling conditions behind the 3D and the 0D models. We perform electromechanical simulations in physiological conditions using the 3D–0D model and we show that our results match the experimental data of relevant mechanical biomarkers available in the literature. Furthermore, we investigate different arrangements in cross-fibers active contraction. We prove that an active tension along the sheet direction counteracts the myofiber contraction, while the one along the sheet-normal direction enhances the cardiac work. Finally, several myofiber architectures are analyzed. We show that a different fiber field in the septal area and in the transmural wall affects the pumping functionality of the left ventricle. • 3D electromechanical biventricular model coupled with a 0D hemodynamic closed-loop model. • A novel effective mechanical boundary condition for the biventricular basal plane. • Numerical results on a realistic biventricular model matching the experimental data. • Study of different configurations in cross-fibers active contraction. • Evaluation of the impact of different myofibers architectures on biventricular electromechanics. [ABSTRACT FROM AUTHOR]
- Published
- 2022
- Full Text
- View/download PDF
15. Modeling the cardiac electromechanical function: A mathematical journey.
- Author
-
Quarteroni, Alfio, Dedè, Luca, and Regazzoni, Francesco
- Subjects
- *
MATHEMATICAL functions , *COMPUTATIONAL complexity , *HEART , *MATHEMATICAL models , *FACE - Abstract
In this paper we introduce the electromechanical mathematical model of the human heart. After deriving it from physical first principles, we discuss its mathematical properties and the way numerical methods can be set up to obtain numerical approximations of the (otherwise unachievable) mathematical solutions. The major challenges that we need to face—e.g., possible lack of initial and boundary data, the trade off between increasing the accuracy of the numerical model and its computational complexity—are addressed. Numerical tests here presented have a twofold aim: to show that numerical solutions match the expected theoretical rate of convergence, and that our model can provide a preliminary valuable tool to face problems of clinical relevance. [ABSTRACT FROM AUTHOR]
- Published
- 2022
- Full Text
- View/download PDF
16. The Side-channel Metrics Cheat Sheet.
- Author
-
PAPAGIANNOPOULOS, KOSTAS, GLAMOČANIN, OGNJEN, AZOUAOUI, MELISSA, ROS, DORIAN, REGAZZONI, FRANCESCO, and STOJILOVIĆ, MIRJANA
- Subjects
- *
ADVANCED Encryption Standard , *COMMUNITIES - Abstract
Side-channel attacks exploit a physical observable originating from a cryptographic device in order to extract its secrets. Many practically relevant advances in the field of side-channel analysis relate to security evaluations of cryptographic functions and devices. Accordingly, many metrics have been adopted or defined to express and quantify side-channel security. These metrics can relate to one another, but also conflict in terms of effectiveness, assumptions, and security goals. In this work, we review the most commonly used metrics in the field of side-channel analysis. We provide a self-contained presentation of each metric, along with a discussion of its limitations. We practically demonstrate the metrics on examples of relevant implementations of the Advanced Encryption Standard (AES), and make the software implementation of the presented metrics available to the community as open source. This work, being beyond a survey of the current status of metrics, will allow researchers and practitioners to produce a well-informed security evaluation through a better understanding of its supporting and summarizing metrics. [ABSTRACT FROM AUTHOR]
- Published
- 2023
- Full Text
- View/download PDF
17. A comprehensive mathematical model for cardiac perfusion.
- Author
-
Zingaro, Alberto, Vergara, Christian, Dede', Luca, Regazzoni, Francesco, and Quarteroni, Alfio
- Subjects
- *
MATHEMATICAL models , *FLUID dynamics , *BLOOD flow , *AORTIC valve , *ELECTROPHYSIOLOGY - Abstract
The aim of this paper is to introduce a new mathematical model that simulates myocardial blood perfusion that accounts for multiscale and multiphysics features. Our model incorporates cardiac electrophysiology, active and passive mechanics, hemodynamics, valve modeling, and a multicompartment Darcy model of perfusion. We consider a fully coupled electromechanical model of the left heart that provides input for a fully coupled Navier–Stokes–Darcy model for myocardial perfusion. The fluid dynamics problem is modeled in a left heart geometry that includes large epicardial coronaries, while the multicompartment Darcy model is set in a biventricular myocardium. Using a realistic and detailed cardiac geometry, our simulations demonstrate the biophysical fidelity of our model in describing cardiac perfusion. Specifically, we successfully validate the model reliability by comparing in-silico coronary flow rates and average myocardial blood flow with clinically established values ranges reported in relevant literature. Additionally, we investigate the impact of a regurgitant aortic valve on myocardial perfusion, and our results indicate a reduction in myocardial perfusion due to blood flow taken away by the left ventricle during diastole. To the best of our knowledge, our work represents the first instance where electromechanics, hemodynamics, and perfusion are integrated into a single computational framework. [ABSTRACT FROM AUTHOR]
- Published
- 2023
- Full Text
- View/download PDF
18. A comprehensive mathematical model for cardiac perfusion.
- Author
-
Zingaro, Alberto, Vergara, Christian, Dede', Luca, Regazzoni, Francesco, and Quarteroni, Alfio
- Subjects
- *
MATHEMATICAL models , *FLUID dynamics , *BLOOD flow , *AORTIC valve , *ELECTROPHYSIOLOGY - Abstract
The aim of this paper is to introduce a new mathematical model that simulates myocardial blood perfusion that accounts for multiscale and multiphysics features. Our model incorporates cardiac electrophysiology, active and passive mechanics, hemodynamics, valve modeling, and a multicompartment Darcy model of perfusion. We consider a fully coupled electromechanical model of the left heart that provides input for a fully coupled Navier–Stokes–Darcy Model for myocardial perfusion. The fluid dynamics problem is modeled in a left heart geometry that includes large epicardial coronaries, while the multicompartment Darcy model is set in a biventricular myocardium. Using a realistic and detailed cardiac geometry, our simulations demonstrate the biophysical fidelity of our model in describing cardiac perfusion. Specifically, we successfully validate the model reliability by comparing in-silico coronary flow rates and average myocardial blood flow with clinically established values ranges reported in relevant literature. Additionally, we investigate the impact of a regurgitant aortic valve on myocardial perfusion, and our results indicate a reduction in myocardial perfusion due to blood flow taken away by the left ventricle during diastole. To the best of our knowledge, our work represents the first instance where electromechanics, hemodynamics, and perfusion are integrated into a single computational framework. [ABSTRACT FROM AUTHOR]
- Published
- 2023
- Full Text
- View/download PDF
19. A comprehensive and biophysically detailed computational model of the whole human heart electromechanics.
- Author
-
Fedele, Marco, Piersanti, Roberto, Regazzoni, Francesco, Salvador, Matteo, Africa, Pasquale Claudio, Bucelli, Michele, Zingaro, Alberto, Dede', Luca, and Quarteroni, Alfio
- Subjects
- *
HEART , *PSYCHOLOGICAL feedback , *MECHANICAL hearts , *CARDIOVASCULAR system , *DIGITAL twins , *MAGNETIC resonance , *STRETCH reflex , *MECHANICAL models - Abstract
While ventricular electromechanics is extensively studied in both physiological and pathological conditions, four-chamber heart models have only been addressed recently; most of these works however neglect atrial contraction. Indeed, as atria are characterized by a complex anatomy and a physiology that is strongly influenced by the ventricular function, developing computational models able to capture the physiological atrial function and atrioventricular interaction is very challenging. In this paper, we propose a biophysically detailed electromechanical model of the whole human heart that considers both atrial and ventricular contraction. Our model includes: (i) an anatomically accurate whole-heart geometry; (ii) a comprehensive myocardial fiber architecture; (iii) a biophysically detailed microscale model for the active force generation; (iv) a 0D closed-loop model of the circulatory system, fully-coupled with the mechanical model of the heart; (v) the fundamental interactions among the different core models , such as the mechano-electric feedback or the fibers-stretch and fibers-stretch-rate feedbacks; (vi) specific constitutive laws and model parameters for each cardiac region. Concerning the numerical discretization, we propose an efficient segregated-intergrid-staggered scheme that includes a computationally efficient strategy to handle the non-conductive regions. We also propose extending recent stabilization techniques – regarding the circulation and the fibers-stretch-rate feedback – to the whole heart, demonstrating their cruciality for obtaining a stable formulation in a four-chamber scenario. We are able to reproduce the healthy cardiac function for all the heart chambers, in terms of pressure–volume loops, time evolution of pressures, volumes and fluxes, and three-dimensional cardiac deformation, with volumetric indexes within reference ranges for cardiovascular magnetic resonance. We also show the importance of considering atrial contraction, fibers-stretch-rate feedback and the proposed stabilization techniques, by comparing the results obtained with and without these features in the model. In particular, we show that the fibers-stretch-rate feedback, often neglected due to the numerical challenges that it entails, plays a fundamental role in the regulation of the blood flux ejected by ventricles. The proposed model represents the state-of-the-art electromechanical model of the iHEART ERC project – an Integrated Heart Model for the Simulation of the Cardiac Function – and is a fundamental step toward the building of physics-based digital twins of the human heart. • We propose a novel whole-heart electromechanical model including atrial contraction. • Physiological atrial eight-shaped pressure–volume loops. • Numerical results within reference ranges for cardiovascular magnetic resonance. • Fibers-stretch-rate feedback essential to avoid unphysiologically large fluxes. • Crucial interplay among accurate mathematical models and stable numerical methods. [ABSTRACT FROM AUTHOR]
- Published
- 2023
- Full Text
- View/download PDF
20. An electromechanics-driven fluid dynamics model for the simulation of the whole human heart.
- Author
-
Zingaro, Alberto, Bucelli, Michele, Piersanti, Roberto, Regazzoni, Francesco, Dede', Luca, and Quarteroni, Alfio
- Subjects
- *
FLUID dynamics , *BUNDLE-branch block , *MULTISCALE modeling , *HEART , *SHEARING force , *SIMULATION methods & models - Abstract
We introduce a multiphysics and geometric multiscale computational model, suitable to describe the hemodynamics of the whole human heart, driven by a four-chamber electromechanical model. We first present a study on the calibration of the biophysically detailed RDQ20 active contraction model (Regazzoni et al., 2020) that is able to reproduce the physiological range of hemodynamic biomarkers. Then, we demonstrate that the ability of the force generation model to reproduce certain microscale mechanisms, such as the dependence of force on fiber shortening velocity, is crucial to capture the overall physiological mechanical and fluid dynamics macroscale behavior. This motivates the need for using multiscale models with high biophysical fidelity, even when the outputs of interest are relative to the macroscale. We show that the use of a high-fidelity electromechanical model, combined with a detailed calibration process, allows us to achieve a remarkable biophysical fidelity in terms of both mechanical and hemodynamic quantities. Indeed, our electromechanical-driven CFD simulations – carried out on an anatomically accurate geometry of the whole heart – provide results that match the cardiac physiology both qualitatively (in terms of flow patterns) and quantitatively (when comparing in silico results with biomarkers acquired in vivo). Moreover, we consider the pathological case of left bundle branch block, and we investigate the consequences that an electrical abnormality has on cardiac hemodynamics thanks to our multiphysics integrated model. The computational model that we propose can faithfully predict a delay and an increasing wall shear stress in the left ventricle in the pathological condition. The interaction of different physical processes in an integrated framework allows us to faithfully describe and model this pathology, by capturing and reproducing the intrinsic multiphysics nature of the human heart. • We propose a whole heart hemodynamics model driven by electromechanics. • The 3D CFD model is fully-coupled to external closed-loop circulation. • We calibrate the active force model to get biomarkers in the physiological ranges. • Our model faithfully captures physiological flow patterns and biomarkers. • Our model reliably describes the hemodynamic effects of an electrical disfunction. [ABSTRACT FROM AUTHOR]
- Published
- 2024
- Full Text
- View/download PDF
21. Post-Quantum Lattice-Based Cryptography Implementations: A Survey.
- Author
-
NEJATOLLAHI, HAMID, DUTT, NIKIL, RAY, SANDIP, REGAZZONI, FRANCESCO, BANERJEE, INDRANIL, and CAMMAROTA, ROSARIO
- Subjects
- *
QUANTUM cryptography , *PUBLIC key cryptography , *CRYPTOGRAPHY , *OPTICAL lattices , *COMPUTER security , *QUANTUM computing , *DIGITAL signatures - Abstract
The advent of quantum computing threatens to break many classical cryptographic schemes, leading to innovations in public key cryptography that focus on post-quantum cryptography primitives and protocols resistant to quantum computing threats. Lattice-based cryptography is a promising post-quantum cryptography family, both in terms of foundational properties as well as in its application to both traditional and emerging security problems such as encryption, digital signature, key exchange, and homomorphic encryption. While such techniques provide guarantees, in theory, their realization on contemporary computing platforms requires careful design choices and tradeoffs to manage both the diversity of computing platforms (e.g., high-performance to resource constrained), as well as the agility for deployment in the face of emerging and changing standards. In this work, we survey trends in lattice-based cryptographic schemes, some recent fundamental proposals for the use of lattices in computer security, challenges for their implementation in software and hardware, and emerging needs for their adoption. The survey means to be informative about the math to allow the reader to focus on the mechanics of the computation ultimately needed for mapping schemes on existing hardware or synthesizing part or all of a scheme on special-purpose har dware. [ABSTRACT FROM AUTHOR]
- Published
- 2019
- Full Text
- View/download PDF
22. TaintHLS: High-Level Synthesis for Dynamic Information Flow Tracking.
- Author
-
Pilato, Christian, Wu, Kaijie, Garg, Siddharth, Karri, Ramesh, and Regazzoni, Francesco
- Subjects
- *
COMPUTER architecture , *RANDOM access memory , *CENTRAL processing units , *COMPUTER input-output equipment , *NETWORKS on a chip ,SECURITY measures - Abstract
Dynamic information flow tracking (DIFT) is a technique to track potential security vulnerabilities in software and hardware systems at run time. Untrusted data are marked with tags (tainted), which are propagated through the system and their potential for unsafe use is analyzed to prevent them. DIFT is not supported in heterogeneous systems especially hardware accelerators. Currently, DIFT is manually generated and integrated into the accelerators. This process is error-prone, potentially hurting the process of identifying security violations in heterogeneous systems. We present TaintHLS, to automatically generate a micro-architecture to support baseline operations and a shadow microarchitecture for intrinsic DIFT support in hardware accelerators while providing variable granularity of taint tags. TaintHLS offers a companion high-level synthesis (HLS) methodology to automatically generate such DIFT-enabled accelerators from a high-level specification. We extended a state-of-the-art HLS tool to generate DIFT-enhanced accelerators and demonstrated the approach on numerous benchmarks. The DIFT-enabled accelerators have negligible performance and no more than 30% hardware overhead. [ABSTRACT FROM AUTHOR]
- Published
- 2019
- Full Text
- View/download PDF
23. On Practical Discrete Gaussian Samplers for Lattice-Based Cryptography.
- Author
-
Howe, James, Khalid, Ayesha, Rafferty, Ciara, Regazzoni, Francesco, and O'Neill, Maire
- Subjects
- *
QUANTUM cryptography , *FIELD programmable gate arrays , *GAUSSIAN processes , *CRYPTOSYSTEMS , *CUMULATIVE distribution function , *DISCRETE systems - Abstract
Lattice-based cryptography is one of the most promising branches of quantum resilient cryptography, offering versatility and efficiency. Discrete Gaussian samplers are a core building block in most, if not all, lattice-based cryptosystems, and optimised samplers are desirable both for high-speed and low-area applications. Due to the inherent structure of existing discrete Gaussian sampling methods, lattice-based cryptosystems are vulnerable to side-channel attacks, such as timing analysis. In this paper, the first comprehensive evaluation of discrete Gaussian samplers in hardware is presented, targeting FPGA devices. Novel optimised discrete Gaussian sampler hardware architectures are proposed for the main sampling techniques. An independent-time design of each of the samplers is presented, offering security against side-channel timing attacks, including the first proposed constant-time Bernoulli, Knuth-Yao, and discrete Ziggurat sampler hardware designs. For a balanced performance, the Cumulative Distribution Table (CDT) sampler is recommended, with the proposed hardware CDT design achieving a throughput of 59.4 million samples per second for encryption, utilising just 43 slices on a Virtex 6 FPGA and 16.3 million samples per second for signatures with 179 slices on a Spartan 6 device. [ABSTRACT FROM AUTHOR]
- Published
- 2018
- Full Text
- View/download PDF
Catalog
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.