arXiv subjects

Francesco Regazzoni

Publications and source records attributed to Francesco Regazzoni.

At least 19 recordsLinked to original sources

arXiv2026

A stability-preserving polytopal discontinuous Galerkin method for the Fisher-Kolmogorov model with applications to neurodegenerative disease modelling

The Fisher--Kolmogorov equation models the spatio-temporal evolution of interacting biological species and is extensively employed in fields such as ecology, population dynamics, and the modelling of neurodegenerative diseases. Under suitable assumptions on the data, the solution $c$ is non-negative, a key feature because $c$ typically denotes a population density or a relative concentration. However, standard discretisation methods often fail to preserve this property, resulting in non-physical oscillations and unstable numerical approximations. In this work, we propose and analyse a numerical method to stabilise the dynamics of the Fisher--Kolmogorov model around the unstable equilibrium $c=0$. The proposed approach combines a discontinuous Galerkin spatial discretisation on general polygonal and polyhedral meshes with the Crank--Nicolson time integration scheme. The main idea is to suitably modify the formulation at the continuous level so that, on the one hand, it is strongly consistent with the original model, and, on the other hand, it ensures stability when moving to the discrete setting. We prove well-posedness of the semi-discrete formulation, derive stability bounds and prove optimal \textit{a priori} error estimates in a suitable energy norm. The theoretical results are demonstrated through a comprehensive set of numerical examples. Moreover, we consider an application arising in computational neuroscience by simulating the propagation of $\alpha$-synuclein, a key pathogenic protein implicated in Parkinson's disease and other neurodegenerative diseases, demonstrating that the proposed scheme is stable, high-order accurate, and robust in a biologically relevant computational setting.

math.NA↗

arXiv2026

Physics-constrained identification of graph-based thermal networks for spacecraft digital twins

Reconstructing a thermal model capable of efficiently simulating the behavior of a spacecraft from sparse and localized temperature measurements remains a challenging task. To address this, we introduce a physically-constrained calibration framework for Lumped Parameter Thermal Models (LPTMs), formulated as a trajectory-based inverse problem for graph dynamical systems. The model reconstructs thermal dynamics directly from temperature measurements and known inputs, without relying on a priori parameter values derived from material properties or geometric assumptions. Physical admissibility is enforced at the parameterization level: positivity of nodal coefficients and symmetry of conductive interactions are imposed by construction. This guarantees stable dynamics and restricts the identification problem to a physically meaningful parameter space, improving conditioning without the need of additional regularization. The identification problem is addressed through trajectory matching, ensuring stable rollout over extended time horizons. The methodology is validated on synthetic datasets generated from high-fidelity finite element simulations under progressively complex forcing conditions. The calibrated LPTMs accurately reproduce long-term temperature evolution and exhibit robustness to measurement noise. The proposed framework provides a systematic approach to the calibration of reduced-order thermal models by combining physical structure with data-driven identification. The numerical results show a favorable balance between accuracy and computational efficiency, making the models suitable for integration in spacecraft thermal Digital Twin applications.

math.NA↗

arXiv2026

The functional impact of myofiber macroscopic organization and disarray in computational models of the murine heart

A major challenge in computational models of cardiac electromechanics is the reconstruction of myocardial fiber architecture, as direct in vivo measurements of fiber orientation are not feasible. Consequently, rule-based methods are commonly adopted as surrogates. This study investigates the respective roles of macroscopic fiber architecture and microscopic fiber disarray in cardiac electromechanical simulations. A high-fidelity biventricular electromechanical model of a murine heart was developed using a high-resolution myocardial fiber field obtained via mesoscopic optical imaging, which serves as a reference ground truth. A spatial smoothing strategy is introduced to decouple macroscopic fiber organization from local disarray, and the resulting responses are also compared with those obtained using a rule-based fiber field. The results show that passive mechanics and electrophysiological activation are only weakly affected by fiber disarray, with global chamber compliance and activation times remaining largely unchanged across different fiber descriptions. In contrast, active mechanics is highly sensitive to fiber architecture. Moderate regularization of the experimentally measured fiber field enhances the ventricular pumping efficiency of the computational model by reducing microscopic disarray while preserving the macroscopic helical organization, whereas excessive smoothing or rule-based fiber reconstructions lead to unphysiologically strong or inefficient contraction. Within this framework, two commonly adopted surrogate strategies to account for fiber disarray are investigated: a reduction of the effective cross-bridge stiffness in the active tension model, and the introduction of controlled misalignment between active tension and the local fiber direction. Overall, the results reveal important limitations of commonly adopted surrogate approaches for modeling fiber disarray.

math.NA↗

arXiv2026

Hyperelastic constitutive model discovery with differentiable finite elements and structure-preserving neural networks

The discovery of constitutive laws from experimentally accessible measurements is a central problem in nonlinear computational mechanics. Many data-driven constitutive identification approaches rely either on paired strain-stress data or on full-field displacement measurements, both of which are difficult to obtain in realistic three-dimensional settings. We present a differentiable finite element framework for the discovery of hyperelastic material laws from partial observations, including boundary-only displacement measurements and global reaction forces. The method embeds the nonlinear finite element equilibrium problem directly into the learning loop, so that candidate strain-energy densities are assessed through the deformation fields and reactions they induce. This formulation enforces mechanical equilibrium as a constraint and allows the loss function to be evaluated only at observed locations. To ensure physical admissibility and promote numerical solvability throughout training, the constitutive response is represented by Hyperelastic Neural Networks, a structure-preserving neural class that enforces residual energy and stress-free conditions, frame indifference, isotropic material symmetry, polyconvexity, coercivity, and controlled volumetric growth by construction. The resulting PDE-constrained learning problem is solved using a quasi-Newton strategy combined with continuation and solver-aware backtracking. Numerical experiments in two- and three-dimensional finite elasticity demonstrate accurate recovery of hyperelastic isotropic responses from boundary-only data, robustness to measurement noise, and generalization across geometries, loading conditions, and boundary conditions.

math.NA↗

arXiv2026

Learning geometry-dependent lead-field operators for forward ECG modeling

Modern forward electrocardiogram (ECG) computational models rely on an accurate representation of the torso domain. The lead-field method enables fast ECG simulations while preserving full geometric fidelity. Achieving high anatomical accuracy in torso representation is, however, challenging in clinical practice, as imaging protocols are typically focused on the heart and often do not include the entire torso. In addition, the computational cost of the lead-field method scales linearly with the number of electrodes, limiting its applicability in high-density recording settings. To date, no existing approach simultaneously achieves high anatomical fidelity, low data requirements and computational efficiency. In this work, we propose a shape-informed surrogate model of the lead-field operator that serves as a drop-in replacement for the full-order model in forward ECG simulations. The proposed framework consists of two components: a geometry-encoding module that maps anatomical shapes into a low-dimensional latent space, and a geometry-conditioned neural surrogate that predicts lead-field gradients from spatial coordinates, electrode positions and latent codes. The proposed method achieves high accuracy in approximating lead fields both within the torso (mean angular error 5{\deg}) and inside the heart, resulting in highly accurate ECG simulations (relative mean squared error <2.5%. The surrogate consistently outperforms the widely used pseudo lead-field approximation while preserving negligible inference cost. Owing to its compact latent representation, the method does not require a fully detailed torso segmentation and can therefore be deployed in data-limited settings while preserving high-fidelity ECG simulations.

cs.LG↗

arXiv2026

Elimination-compensation pruning for fully-connected neural networks

The unmatched ability of Deep Neural Networks in capturing complex patterns in large and noisy datasets is often associated with their large hypothesis space, and consequently to the vast amount of parameters that characterize model architectures. Pruning techniques affirmed themselves as valid tools to extract sparse representations of neural networks parameters, carefully balancing between compression and preservation of information. However, a fundamental assumption behind pruning is that expendable weights should have small impact on the error of the network, while highly important weights should tend to have a larger influence on the inference. We argue that this idea could be generalized; what if a weight is not simply removed but also compensated with a perturbation of the adjacent bias, which does not contribute to the network sparsity? Our work introduces a novel pruning method in which the importance measure of each weight is computed considering the output behavior after an optimal perturbation of its adjacent bias, efficiently computable by automatic differentiation. These perturbations can be then applied directly after the removal of each weight, independently of each other. After deriving analytical expressions for the aforementioned quantities, numerical experiments are conducted to benchmark this technique against some of the most popular pruning strategies, demonstrating an intrinsic efficiency of the proposed approach in very diverse machine learning scenarios. Finally, our findings are discussed and the theoretical implications of our results are presented.

cs.LG↗

arXiv2026

Shape-informed cardiac mechanics surrogates in data-scarce regimes via geometric encoding and generative augmentation

High-fidelity computational models of cardiac mechanics provide mechanistic insight into the heart function but are computationally prohibitive for routine clinical use. Surrogate models can accelerate simulations, but generalization across diverse anatomies is challenging, particularly in data-scarce settings. We propose a two-step framework that decouples geometric representation from learning the physics response, to enable shape-informed surrogate modeling under data-scarce conditions. First, a shape model learns a compact latent representation of left ventricular geometries. The learned latent space effectively encodes anatomies and enables synthetic geometries generation for data augmentation. Second, a neural field-based surrogate model, conditioned on this geometric encoding, is trained to predict ventricular displacement under external loading. The proposed architecture performs positional encoding by using universal ventricular coordinates, which improves generalization across diverse anatomies. Geometric variability is encoded using two alternative strategies, which are systematically compared: a PCA-based approach suitable for working with point cloud representations of geometries, and a DeepSDF-based implicit neural representation learned directly from point clouds. Overall, our results, obtained on idealized and patient-specific datasets, show that the proposed approaches allow for accurate predictions and generalization to unseen geometries, and robustness to noisy or sparsely sampled inputs.

cs.LG↗

arXiv2026

Emerging Threats and Countermeasures in Neuromorphic Systems: A Survey

Neuromorphic computing mimics brain-inspired mechanisms through spiking neurons and energy-efficient processing, offering a pathway to efficient in-memory computing (IMC). However, these advancements raise critical security and privacy concerns. As the adoption of bio-inspired architectures and memristive devices increases, so does the urgency to assess the vulnerability of these emerging technologies to hardware and software attacks. Emerging architectures introduce new attack surfaces, particularly due to asynchronous, event-driven processing and stochastic device behavior. The integration of memristors into neuromorphic hardware and software implementations in spiking neural networks offers diverse possibilities for advanced computing architectures, including their role in security-aware applications. This survey systematically analyzes the security landscape of neuromorphic systems, covering attack methodologies, side-channel vulnerabilities, and countermeasures. We focus on both hardware and software concerns relevant to spiking neural networks (SNNs) and hardware primitives, such as Physical Unclonable Functions (PUFs) and True Random Number Generators (TRNGs) for cryptographic and secure computation applications. We approach this analysis from diverse perspectives, from attack methodologies to countermeasure strategies that integrate efficiency and protection in brain-inspired hardware. This review not only maps the current landscape of security threats but provides a foundation for developing secure and trustworthy neuromorphic architectures.

cs.CR↗

arXiv2025

Cardiocirculatory Computational Models for the Study of Hypertension

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 electromechanical model. The 0D model, which consists of an RLC circuit, is studied in two variants, with and without capillaries. The 3D-0D model consists of a three-dimensional electromechanical model of the left ventricle, coupled with a 0D model for the external blood circulation: this representation enables the assessment of additional quantities related to ventricular deformation and stress, and offers a more detailed representation compared to a fully 0D model. Sensitivity analysis is performed on the 0D model, with both a mono- and a multi-parametric approach, in order to identify the parameters that most influence the model outputs and guide the calibration process. We studied three different scenarios, corresponding to systemic, pulmonary and renovascular hypertension, each in three nuances of severity. To maintain a fair comparison among the models, a parameter calibration strategy is developed; the outputs of the 0D model with capillaries are utilized to enhance the 3D-0D model. The results demonstrate that the 3D-0D model yields an accurate representation of cardiocirculatory dynamics in the presence of hypertension; this model represents a powerful step toward digital twins for real-time hypertension control, providing refined and clinically meaningful insights beyond those achievable with 0D models alone.

math.NA↗

arXiv2025

Improvements on uncertainty quantification with variational autoencoders

Inverse problems aim to determine model parameters of a mathematical problem from given observational data. Neural networks can provide an efficient tool to solve these problems. In the context of Bayesian inverse problems, Uncertainty Quantification Variational AutoEncoders (UQ-VAE), a class of neural networks, approximate the posterior distribution mean and covariance of model parameters. This allows for both the estimation of the parameters and their uncertainty in relation to the observational data. In this work, we propose a novel loss function for training UQ-VAEs, which includes, among other modifications, the removal of a sample mean term from an already existing one. This modification improves the accuracy of UQ-VAEs, as the original theoretical result relies on the convergence of the sample mean to the expected value (a condition that, in high dimensional parameter spaces, requires a prohibitively large number of samples due to the curse of dimensionality). Avoiding the computation of the sample mean significantly reduces the training time in high dimensional parameter spaces compared to previous literature results. Under this new formulation, we establish a new theoretical result for the approximation of the posterior mean and covariance for general mathematical problems. We validate the effectiveness of UQ-VAEs through three benchmark numerical tests: a Poisson inverse problem, a non affine inverse problem and a 0D cardiocirculatory model, under the two clinical scenarios of systemic hypertension and ventricular septal defect. For the latter case, we perform forward uncertainty quantification.

math.NA↗

arXiv2025

Deformable registration and generative modelling of aortic anatomies by auto-decoders and neural ODEs

This work introduces AD-SVFD, a deep learning model for the deformable registration of vascular shapes to a pre-defined reference and for the generation of synthetic anatomies. AD-SVFD operates by representing each geometry as a weighted point cloud and models ambient space deformations as solutions at unit time of ODEs, whose time-independent right-hand sides are expressed through artificial neural networks. The model parameters are optimized by minimizing the Chamfer Distance between the deformed and reference point clouds, while backward integration of the ODE defines the inverse transformation. A distinctive feature of AD-SVFD is its auto-decoder structure, that enables generalization across shape cohorts and favors efficient weight sharing. In particular, each anatomy is associated with a low-dimensional code that acts as a self-conditioning field and that is jointly optimized with the network parameters during training. At inference, only the latent codes are fine-tuned, substantially reducing computational overheads. Furthermore, the use of implicit shape representations enables generative applications: new anatomies can be synthesized by suitably sampling from the latent space and applying the corresponding inverse transformations to the reference geometry. Numerical experiments, conducted on healthy aortic anatomies, showcase the high-quality results of AD-SVFD, which yields extremely accurate approximations at competitive computational costs.

cs.CV↗

arXiv2025

Emergence of Structure in Ensembles of Random Neural Networks

Randomness is ubiquitous in many applications across data science and machine learning. Remarkably, systems composed of random components often display emergent global behaviors that appear deterministic, manifesting a transition from microscopic disorder to macroscopic organization. In this work, we introduce a theoretical model for studying the emergence of collective behaviors in ensembles of random classifiers. We argue that, if the ensemble is weighted through the Gibbs measure defined by adopting the classification loss as an energy, then there exists a finite temperature parameter for the distribution such that the classification is optimal, with respect to the loss (or the energy). Interestingly, for the case in which samples are generated by a Gaussian distribution and labels are constructed by employing a teacher perceptron, we analytically prove and numerically confirm that such optimal temperature does not depend neither on the teacher classifier (which is, by construction of the learning problem, unknown), nor on the number of random classifiers, highlighting the universal nature of the observed behavior. Experiments on the MNIST dataset underline the relevance of this phenomenon in high-quality, noiseless, datasets. Finally, a physical analogy allows us to shed light on the self-organizing nature of the studied phenomenon.

cs.LG↗

arXiv2025

Physics-informed neural network estimation of active material properties in time-dependent cardiac biomechanical models

Active stress models in cardiac biomechanics account for the mechanical deformation caused by muscle activity, thus providing a link between the electrophysiological and mechanical properties of the tissue. The accurate assessment of active stress parameters is fundamental for a precise understanding of myocardial function but remains difficult to achieve in a clinical setting, especially when only displacement and strain data from medical imaging modalities are available. This work investigates, through an in-silico study, the application of physics-informed neural networks (PINNs) for inferring active contractility parameters in time-dependent cardiac biomechanical models from these types of imaging data. In particular, by parametrising the sought state and parameter field with two neural networks, respectively, and formulating an energy minimisation problem to search for the optimal network parameters, we are able to reconstruct in various settings active stress fields in the presence of noise and with a high spatial resolution. To this end, we also advance the vanilla PINN learning algorithm with the use of adaptive weighting schemes, ad-hoc regularisation strategies, Fourier features, and suitable network architectures. In addition, we thoroughly analyse the influence of the loss weights in the reconstruction of active stress parameters. Finally, we apply the method to the characterisation of tissue inhomogeneities and detection of fibrotic scars in myocardial tissue. This approach opens a new pathway to significantly improve the diagnosis, treatment planning, and management of heart conditions associated with cardiac fibrosis.

cs.LG↗

arXiv2025

Influence of cellular mechano-calcium feedback in numerical models of cardiac electromechanics

Multiphysics and multiscale mathematical models enable the non-invasive study of cardiac function. These models often rely on simplifying assumptions that neglect certain biophysical processes to balance fidelity and computational cost. In this work, we propose an eikonal-based framework that incorporates mechano-calcium feedback -- the effect of mechanical deformation on calcium-troponin buffering -- while introducing only negligible computational overhead. To assess the impact of mechano-calcium feedback at the organ level, we develop a bidirectionally coupled cellular electromechanical model and integrate it into two cardiac multiscale frameworks: a monodomain-driven model that accounts for geometric feedback on electrophysiology and the proposed eikonal-based approach, which instead neglects geometric feedback. By ensuring consistent cellular model calibration across all scenarios, we isolate the role of mechano-calcium feedback and systematically compare its effects against models without it. Our results indicate that, under baseline conditions, mechano-calcium feedback has minimal influence on overall cardiac function. However, its effects become more pronounced in altered force generation scenarios, such as inotropic modulation. Furthermore, we demonstrate that the eikonal-based framework, despite omitting other types of mechano-electric feedback, effectively captures the role of mechano-calcium feedback at significantly lower computational costs than the monodomain-driven model, reinforcing its utility in computational cardiology.

math.NA↗

arXiv2025

Combining physics-based and data-driven models: advancing the frontiers of research with Scientific Machine Learning

Scientific Machine Learning (SciML) is a recently emerged research field which combines physics-based and data-driven models for the numerical approximation of differential problems. Physics-based models rely on the physical understanding of the problem, subsequent mathematical formulation, and numerical approximation. Data-driven models instead aim to extract relations between input and output data without arguing any causality principle underlining the available data distribution. In recent years, data-driven models have been rapidly developed and popularized. Such a diffusion has been triggered by a huge availability of data, increasingly cheap computing power, and the development of powerful ML algorithms. SciML leverages the physical awareness of physics-based models and the efficiency of data-driven algorithms. With SciML, we can inject physics and mathematical knowledge into ML algorithms. Yet, we can rely on data-driven algorithms' capability to discover complex and nonlinear patterns from data and improve the descriptive capacity of physics-based models. After recalling the mathematical foundations of digital modelling and ML algorithms and presenting the most popular ML architectures, we discuss the great potential of a broad variety of SciML strategies in solving complex problems governed by PDEs. Finally, we illustrate the successful application of SciML to the simulation of the human cardiac function, a field of significant socioeconomic importance that poses numerous challenges on both the mathematical and computational fronts. Despite the robustness and accuracy of physics-based models, certain aspects, such as unveiling constitutive laws for cardiac cells and myocardial material properties, as well as devising efficient reduced order models to dominate the extraordinary computational complexity, have been successfully tackled by leveraging data-driven models.

math.NA↗

arXiv2024

Elucidating the cellular determinants of the end-systolic pressure-volume relationship of the heart via computational modelling

The left ventricular end-systolic pressure-volume relationship (ESPVr) is a key indicator of cardiac contractility. Despite its established importance, several studies suggested that the mechanical mode of contraction, such as isovolumetric or ejecting contractions, may affect the ESPVr, challenging the traditional notion of a single, consistent relationship. Furthermore, it remains unclear whether the observed effects of ejection on force generation are inherent to the ventricular chamber itself or are a fundamental property of the myocardial tissue, with the underlying mechanisms remaining poorly understood. We investigated these aspects by using a multiscale in silico model that allowed us to elucidate the links between subcellular mechanisms and organ-level function. Simulations of ejecting and isovolumetric beats with different preload and afterload resistance were performed by modulating calcium and cross-bridge kinetics. The results suggest that the ESPVr is not a fixed curve but depends on the mechanical history of the contraction, with potentially both positive and negative effects of ejection. Isolated tissue simulations suggest that these phenomena are intrinsic to the myocardial tissue, rather than properties of the ventricular chamber. Our results suggest that the ESPVr results from the balance of positive and negative effects of ejection, respectively related to a memory effect of the increased apparent calcium sensitivity at high sarcomere length, and to the inverse relationship between force and velocity. Numerical simulations allowed us to reconcile conflicting results in the literature and suggest translational implications for clinical conditions such as hypertrophic cardiomyopathy, where altered calcium dynamics and cross-bridge kinetics may impact the ESPVr.

physics.med-ph↗

arXiv2024

A model learning framework for inferring the dynamics of transmission rate depending on exogenous variables for epidemic forecasts

In this work, we aim to formalize a novel scientific machine learning framework to reconstruct the hidden dynamics of the transmission rate, whose inaccurate extrapolation can significantly impair the quality of the epidemic forecasts, by incorporating the influence of exogenous variables (such as environmental conditions and strain-specific characteristics). We propose an hybrid model that blends a data-driven layer with a physics-based one. The data-driven layer is based on a neural ordinary differential equation that learns the dynamics of the transmission rate, conditioned on the meteorological data and wave-specific latent parameters. The physics-based layer, instead, consists of a standard SEIR compartmental model, wherein the transmission rate represents an input. The learning strategy follows an end-to-end approach: the loss function quantifies the mismatch between the actual numbers of infections and its numerical prediction obtained from the SEIR model incorporating as an input the transmission rate predicted by the neural ordinary differential equation. We validate this original approach using both a synthetic test case and a realistic test case based on meteorological data (temperature and humidity) and influenza data from Italy between 2010 and 2020. In both scenarios, we achieve low generalization error on the test set and observe strong alignment between the reconstructed model and established findings on the influence of meteorological factors on epidemic spread. Finally, we implement a data assimilation strategy to adapt the neural equation to the specific characteristics of an epidemic wave under investigation, and we conduct sensitivity tests on the network hyperparameters.

q-bio.QM↗

arXiv2024

Shape-informed surrogate models based on signed distance function domain encoding

We propose a non-intrusive method to build surrogate models that approximate the solution of parameterized partial differential equations (PDEs), capable of taking into account the dependence of the solution on the shape of the computational domain. Our approach is based on the combination of two neural networks (NNs). The first NN, conditioned on a latent code, provides an implicit representation of geometry variability through signed distance functions. This automated shape encoding technique generates compact, low-dimensional representations of geometries within a latent space, without requiring the explicit construction of an encoder. The second NN reconstructs the output physical fields independently for each spatial point, thus avoiding the computational burden typically associated with high-dimensional discretizations like computational meshes. Furthermore, we show that accuracy in geometrical characterization can be further enhanced by employing Fourier feature mapping as input feature of the NN. The meshless nature of the proposed method, combined with the dimensionality reduction achieved through automatic feature extraction in latent space, makes it highly flexible and computationally efficient. This strategy eliminates the need for manual intervention in extracting geometric parameters, and can even be applied in cases where geometries undergo changes in their topology. Numerical tests in the field of fluid dynamics and solid mechanics demonstrate the effectiveness of the proposed method in accurately predict the solution of PDEs in domains of arbitrary shape. Remarkably, the results show that it achieves accuracy comparable to the best-case scenarios where an explicit parametrization of the computational domain is available.

math.NA↗