Sort by
Refine Your Search
-
increasingly prevalent in our daily lives, we need guarantees of correctness in sensitive areas. The CertAI project aims to advance in this direction by leveraging certified model counting to certify machine
-
modeling, statistical shape models, and AI-assisted model reduction, the project aims to link form and function across typical and atypical anatomies —both modern and fossil— to design personalized
-
has quantified the evolution of natural avalanche activity under climate change in an exemplary alpine valley, the Haute-Maurienne (Doussot et al., 2026). Combining a statistical learning model trained
-
model and the Elmer/Ice ice flow model. The research project will proceed in the following three successive stages: Stage 1: Theoretical Implementation and Synthetic Validation The first stage will
-
: ----------------------------- Against the backdrop of reducing energy losses and pursuing eco-efficiency, the "Lumiere" project—within which this thesis is situated—aims to better understand and model the mechanisms
-
, and provides dynamical measurements of SMBH masses through model fitting. Combined with linear size measurements obtained through reverberation mapping (RM), angular measurements from spectro
-
experiments at synchrotron beamlines will be done on a last diffusion stage. Additionally, a model introduced previously for carburizing will be further developed in this study. In this model, carbon
-
trends over Europe and the Île-de-France region. • The intercomparison of tropospheric ozone satellite products from IASI and IASI+GOME2 developed at LISA. • The comparison with model simulations
-
distributed optimization and consensus. The successful candidate will develop the algorithmic foundations of this framework—making the motion-generation stack modular and heterogeneous (combining model
-
modeling framework that combines physical glacier modeling with physics-informed machine learning using differentiable programming (Universal Differential Equations). Using the ODINN.il glacier model