How does reliable computation emerge from networks of noisy neurons? While individual neurons are intrinsically noisy, the collective dynamics of populations of neurons taken as a whole can be almost deterministic, supporting the hypothesis that, in the br ...
Neural computational power is determined by neuroenergetics, but how and which energy substrates are allocated to various forms of memory engram is unclear. To solve this question, we asked whether neuronal fueling by glucose or lactate scales differently ...
Modern manufacturing engineering is based on a ``design-through-analysis'' workflow. According to this paradigm, a prototype is first designed with Computer-aided-design (CAD) software and then finalized by simulating its physical behavior, which usually i ...
The increasing availability of extensive and accurate clinical data is rapidly shaping cardiovascular care by improving the understanding of physiological and pathological mechanisms of the cardiovascular system and opening new frontiers in designing thera ...
This paper deals with the mathematical model that describes the function of the human heart. More specifically, it addresses the equations that express the electromechanical process, that is the mechanical deformation (contraction and relaxation) of the he ...
In this thesis we explore uncertainty quantification of forward and inverse problems involving differential equations. Differential equations are widely employed for modeling natural and social phenomena, with applications in engineering, chemistry, meteor ...
Temporal point-processes are often used for mathematical modeling of sequences of discrete events with asynchronous timestamps. We focus on a class of temporal point-process models called multivariate Wold processes (MWP). These processes are well suited t ...
Many engineering fields rely on frequency-domain dynamical systems for the mathematical modeling of physical (electrical/mechanical/etc.) structures. With the growing need for more accurate and reliable results, the computational burden incurred by frequen ...
To assess the number of life-bearing worlds in astrophysical environments, it is necessary to take the intertwined processes of abiogenesis (birth), extinction (death), and transfer of life (migration) into account. We construct a mathematical model that i ...
The proposition that life can spread from one planetary system to another (interstellar panspermia) has a long history, but this hypothesis is difficult to test through observations. We develop a mathematical model that takes parameters such as the microbi ...
