En apprentissage automatique et en problèmes inverses, il est parfois nécessaire de générer ou de déformer un nuage de points de sorte à approcher une mesure de probabilité modèle. Une manière naturelle d'y parvenir est de chercher à minimiser la
In this talk, I will review some results about long time behaviour of linear kinetic equations for which the microscopic equilibrium (that is, the kernel of the reorientation operator) is typically a density with polynomial decay. There will be no
Résumé : Soit G un groupe réductif sur un corps local non-archimédien. Les algèbres de Hecke de G sont des algèbres de fonctions sur G, qui permettent l'étude des représentations de G. Deux algèbres sont particulièrement importantes : l'algèbre de
La contrôlabilité de l’équation de la chaleur sous contraintes est l’objet de plusieurs travaux récents (contraintes bilatérales, de positivité, etc). J’introduirai une approche permettant d’explorer ces questions. Celle-ci repose sur le théorème de Fenchel-Rockafellar et fait donc la part belle
Algorithms modeling a possibly `deep’ structure in data have gained considerable popularity in recent years. Indeed, data sitting on a high-dimensional space can often be described by a hidden structure of much smaller « effective dimension ». A popular class of methods
Cet exposé sera une introduction à certaines questions autour de la géométrie des espaces de modules de courbes de genre zéro, en lien avec d’une part l’arithmétiques des valeurs zêta multiples, et d’autre part la théorie des opérades, qui sont
Résumé : On commencera par rappeler brièvement la longue histoire de la modélisation des vagues (remontant à Lagrange !). Nous essaierons ensuite de faire un survol critique de la modélisation des vagues scélérates (freak waves) dont la définition même n'est
Résumé : En physique des particules de nombreux calculs sont centrés autour des intégrales de Feynman, généralement exprimées à l'aide de fonctions polylogarithmiques telles que le logarithme ou le dilogarithme. Bien que les expressions résultantes se simplifient généralement avec une
Les solutions des systèmes hyperboliques contiennent des discontinuités. Ces solutions faibles vérifient non seulement les EDP de départ, mais aussi une inégalité d'entropie qui agit comme un critère de sélection déterminant si une discontinuité est physique ou non. Il est
Résumé : Je vais parler dans cet exposé de formalisation des mathématiques, le processus "d'expliquer" des théorèmes à un ordinateur. J'expliquerais comment fonctionnent les assistants de preuve et pourquoi ils peuvent être utiles pour les mathématiciens. Je raconterai aussi l'histoire
