The question of using the available measurements to retrieve mathematical models characteristics (parameters, boundary conditions, initial conditions) is a key aspect of the modeling objective in biology or medicine. In a stochastic/statistical framework this question is seen as an estimation problems. From a deterministic point of view, we classical talk about inverse problems as we recover classical model inputs from outputs. When considering evolution problems,this question falls in the realm of data assimilation that can be seen from a deterministic of statistical point of view. Our objective in this course is to introduce the mathematical principles and numerical aspects behind data assimilation strategies with an emphasis on the deterministic formalism allowing to understand why data assimilation is a specific inverse problem. Our presentation will include considerations on finite dimensional problems but also on infinite dimensional problems such as the ones arising from PDE models. And we will illustrate the course with numerous examples coming from cardiovascular applications and biology.[-]

​Multiwave aspects of thermoacoustic imaging and range verification during particle therapy will be discussed.
Thermoacoustic images are generated from acoustic pulses induced by heating due to lossy electromagnetic wave propagation. Quantitative thermoacoustic imaging is feasible when the electric field pattern can be accurately modeled throughout the imaging field of view and delivered quickly enough to ensure stress confinement.
Therapeutic ions slow from relativistic speeds to a dead stop within nanoseconds, generating extraordinarily high temperature and pressure spikes within a thermal core of nanometer diameter along their tracks.
Possibilities for utilizing these phenomena to verify the ion beam location within the patient will be considered.[-]

The characteristic Cauchy problem for linear wave equations consists of imposing initial values for the solution on a characteristic hypersurface instead of initial values for the function and its normal derivative on a spacelike Cauchy hypersurface. After a general introduction to the relevant notions we show that this problem is well posed on globally hyperbolic Lorentzian manifolds under suitable assumptions. This is joint work with Roger Tagne Wafo and it generalizes classical results by Hörmander.[-]

This is a survey talk about the Boundary Control method. The method originates from the work by Belishev in 1987. He developed the method to solve the inverse boundary value problem for the acoustic wave equation with an isotropic sound speed. The method has proven to be very versatile and it has been applied to various inverse problems for hyperbolic partial differential equations. We review recent results based on the method and explain how a geometric version of method works in the case of the wave equation for the Laplace-Beltrami operator on a compact Riemannian manifold with boundary.[-]

The question of using the available measurements to retrieve mathematical models characteristics (parameters, boundary conditions, initial conditions) is a key aspect of the modeling objective in biology or medicine. In a stochastic/statistical framework this question is seen as an estimation problems. From a deterministic point of view, we classical talk about inverse problems as we recover classical model inputs from outputs. When considering evolution problems,this question falls in the realm of data assimilation that can be seen from a deterministic of statistical point of view. Our objective in this course is to introduce the mathematical principles and numerical aspects behind data assimilation strategies with an emphasis on the deterministic formalism allowing to understand why data assimilation is a specific inverse problem. Our presentation will include considerations on finite dimensional problems but also on infinite dimensional problems such as the ones arising from PDE models. And we will illustrate the course with numerous examples coming from cardiovascular applications and biology.[-]

We prove a local version of the index theorem for Dirac-type operators on globally hyperbolic Lorentzian manifolds with Cauchy boundary. In case the Cauchy hypersurface is compact, we do not assume self-adjointness of the Dirac operator on the spacetime or of the associated elliptic Dirac operator on the boundary.In this case, integration of our local index theorem results in a generalization of previously known index theorems for globally hyperbolic spacetimes that allows for twisting bundles associated with non-compact gauge groups. This is joint work with Alexander Strohmaier.[-]