Fils d'Ariane

University : Main content

Titre de page

Soutenance de thèse de Emile PIERRET

Share on |

Contenu de la page principale

Tableau Formule_prof

Date -
Heure 14h30 - 17h00
Adresse

Amphithéâtre S - Bâtiment EGS - UFR Sciences et Techniques
3 rue de Chartres- Campus Université
Francia

Contact
Lien https://www.univ-orleans.fr/fr/univ/recherche/agenda-actualites

Cette thèse étudie la résolution stochastique des problèmes inverses en imagerie, à travers l’échantillonnage conditionnel gaussien et les modèles de diffusion. Elle s'intéresse principalement à la super-résolution, qui consiste à améliorer la résolution d’une image à partir d’une version basse résolution, ainsi qu’au déflouage, qui vise à restaurer la netteté d’une image floue. Contrairement aux approches déterministes classiques, nous adoptons une perspective probabiliste dont le but est de modéliser et d’échantillonner l’ensemble des images plausibles compatibles avec une observation dégradée de l'image. L'objectif est d'étudier ce paradigme dans un cadre mathématique rigoureux et bien fondé. Pour cela, nous étudions les distributions gaussiennes d'images, qui incluent les micro-textures gaussiennes associées au modèle Asymptotic Discrete Spot Noise (ADSN). Nous formulons le problème dans un cadre bayésien, en mettant en avant les enjeux liés à l’échantillonnage conditionnel dans le contexte gaussien. Nous discutons ensuite des modèles génératifs récents, et en particulier des modèles de diffusion probabilistes (DDPM), qui consistent à inverser un processus de bruitage progressif à l’aide d’un modèle appris. Plus précisément, dans un premier temps, nous étudions, par un raisonnement de krigeage, l’échantillonnage exact de problèmes inverses pour les micro-textures gaussiennes, avec un accent particulier sur la super-résolution. Cela nous a permis de construire un échantillonneur efficace et exact dans ce cadre restreint. Ensuite, nous étudions les modèles de diffusion appliqués aux distributions gaussiennes dans un cadre génératif, afin d’évaluer leur capacité à fournir une distribution a priori sur les images. En exploitant la reformulation des modèles de diffusion comme équations différentielles stochastiques (SDE), nous dérivons les équations en jeu dans le cas linéaire et gaussien, et en étudions les propriétés. Cela nous permet d’établir des résultats explicites sur les erreurs d’échantillonnage, notamment en termes de distances de Wasserstein, et de mieux comprendre la nature des approximations induites par les modèles utilisés. Enfin, nous étudions les algorithmes de résolution des problèmes inverses liés aux modèles de diffusion, dans le cadre du déflouage de micro-textures gaussiennes. Cela nous permet de mettre en évidence des comportements non souhaités d’un échantillonneur censé approximer la probabilité a posteriori théorique.