Évènements
Rechercher un événement
05
Sep
21
Sep
On the consistency of a BMO-type scheme and convexity preservation for a fractional mean curvature flow
(...)
In this talk we define a class of mean curvature flows, where the curvature is replaced by its non-local conterpart, which will be introduced as [...]
21
Sep
Construction d’un cadre statistique consistant pour l’analyse de surfaces au travers de processus généralisés. Application à la classification de surfaces cérébrales extraites d’IRM
Benjamin Coulaud (I2M, Aix-Marseille Université)
Le thème principal de cette thèse est l’analyse statistique de surfaces. Nous introduisons un formalisme pour étendre dans un cadre aléatoire la représentation des surfaces [...]
21
Sep
Multimarginal optimal transport and structure of optimal plans: examples and counterexamples on SGS conjecture
(...)
We will introduce the multimarginal optimal transport problem in its generality and discuss the structure of optimal plans in the 1d repulsive case, in which [...]
Two type-theoretic approaches to probabilistic termination
Charles Grellois (INRIA Sophia-Antipolis )
A fundamental result in lambda-calculus states that terms that admit a simple type are strongly normalizing: in other words, they always terminate. The simply-typed lambda-calculus [...]
