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
Résumé. Dans un premier temps, nous présenterons une revue de littérature des résultats d'estimation de ce processus selon différents schémas d'observations. Nous nous intéresserons ensuite à l'estimation jointe des paramètres de tendance, d'échelle et d'activité des sauts, lorsque l'on dispose
Résumé : La dualité de Schur-Weyl affine quantique donne une équivalence de catégories entre certaines représentations des algèbres affines quantiques de type A et celles des algèbres de Hecke affines, et donc des représentations p-adiques de GLn. A travers cette
In this talk, after recalling some general results on elliptic curves and isogenies, I will present, the various key exchange techniques based on isogenies between, namely Couveignes-Rostovtsev-Stolbunov, SIKE and CSIDH. Then, I give a description of the main ideas that
