William FLEURAT soutiendra sa thèse de doctorat en mathématiques, réalisée sous la direction de Grégory MIERMONT le 19 mai 2025 à 14h.Résumé de la thèseCette thèse porte sur trois thèmes de géométrie aléatoire relativement indépendants, qui se (...)

Vanessa Piccolo soutiendra sa thèse de doctorat en mathématiques, réalisée sous la direction d'Alice Guionnet et de Gérad Ben Arous, le 21 février 2025 à 14h.Résumé de la thèseCette thèse explore certains problèmes liés aux grandes matrices (...)

Hugues Van Assel soutiendra sa thèse de doctorat en mathématiques, réalisée sous la direction d'Aurélien Garivier, le 12 février 2025 à 15h.Résumé de la thèseCette thèse propose de nouvelles perspectives théoriques et des méthodologies pratiques pour (...)

L’origami ADN est une technique particulièrement robuste permettant de concevoir des structures en ADN, souvent de l’ordre de la centaine de nanomètres. Introduite en 2006 par Paul Rothemund, cette technique repose sur le repliement contrôlé d’un (...)

Le secteur des Technologies de l’Information et de la Communication (TIC) est en pleine croissance en raison de l'augmentation du nombre d’utilisateurs d’Internet et de la démocratisation des services numériques, entraînant une empreinte carbone non (...)

Le Cloud Computing est en plein essor pour répondre à une demande croissante de puissance de calcul dans l'industrie, tout en conservant des coûts modérés. Les technologies émergentes, comme la réalité virtuelle ou augmentée, ou les jumeaux (...)

High-level synthesis makes heavy use of compile-time memory allocation to generate communication channels. However, state-of-theart allocation algorithms drastically lack of scalability and cannot be used directly. In this thesis, we investigate how (...)

La taille des problèmes de restauration d'images ne fait qu'augmenter. Cette croissance pose un problème majeur de passage à l'échelle pour les algorithmes d'optimisation, qui peinent à fournir des solutions satisfaisantes en un temps raisonnable (...)

La phyllotaxie désigne l'arrangement des feuilles autour des tiges des plantes. Par extension, ce terme est aussi employé dans le cas d'autres organes aériens, tels que les fleurs ou les branches latérales. Ces arrangements sont remarquables par leur (...)

La sécurité des protocoles cryptographiques repose sur la difficulté présumée de problèmes algorithmiques. A ce jour, les meilleurs problèmes pouvant servir de fondation à une cryptographie résistante aux ordinateurs quantiques sont issus des réseaux (...)

Monadic interpreters have gained increasing attention as a powerful tool for modeling and reasoning about first order languages. A monadic approach allows the definition of programming language semantics that is modular, compositional and executable. (...)

Dans un contexte de prise en compte des enjeux environnementaux, la réduction des impacts environnementaux du numérique s’est imposé comme une question de recherche en informatique. Cependant, une telle démarche nécessite rapidement une connaissance (...)

EnglishIn practice, neural networks show remarkable performance and are resource-intensive.While theoretical tools have been developed to provide statistical guarantees or to control the needed amount of computational resources, these tools are often (...)

Dans cette thèse, nous étudions l’équation de transport à coefficients peu réguliers ainsi que les trajectoires du champ de vecteurs associé. On construit d’abord par intégration convexe des champs de vecteurs à divergence nulle de régularité Sobolev (...)

Initially present only in functional languages such as OCaml and Haskell, Algebraic Data Types have now become pervasive in mainstream languages, providing nice data abstractions and an elegant way to express functions through pattern matching. (...)

La vie microscopique des sols est responsable de large flux macroscopique de matière à l’échelle planétaire. Mais la complexité des écosystèmes et des organismes qui les constituent rend difficile le passage d’une échelle à l’autre. La thèse (...)

La mesure de Mahler des polynômes en plusieurs variables, introduite par Mahler en 1962, a des liens avec les valeurs spéciales des fonctions L, dont la fonction zêta de Riemann. Le but principal de cette thèse est l'étude de ces relations à l'aide d (...)

Un fluide viscoplastique se comporte comme un solide rigide lorsque la norme du tenseur des contraintes est faible, puis comme un fluide visqueux lorsqu’elle dépasse un certain seuil. Les modèles mathématiques correspondants sont non-différentiables (...)

La thèse porte sur la logique linéaire, particulièrement à travers l'étude de l'égalité des preuves et de l'équivalence des formules. Cette logique est un raffinement de la logique classique : aussi expressive mais avec des propriétés plus riches. (...)

L’avènement du Cloud computing a révolutionné le paysage de la technologie moderne, offrant aux organisations une flexibilité, une capacité de passage à l’échelle et une accessibilité sans précédent dans l’exploitation des ressources informatiques à (...)

L'algèbre universelle et la logique équationnelle sont des outils bien établis pour raisonner sur les programmes et les équivalences de programmes. Les algèbres quantitatives et la logique équationnelle quantitative ont été introduites en 2016 comme (...)

Cette thèse vise à développer des techniques pour extraire le comportement à grand N d’intégrales multiples N-uples à grand N. Ces intégrales multiples apparaissent comme des représentations intégrales de fonctions spéciales. Avoir des outils (...)

La cryptologie a rencontré la théorie des nombres en 1976, lorsque Diffie et Hellman réalisèrent ce qui fut longtemps considéré comme impossible : un protocole permettant à deux personnes d'échanger un secret sur un canal public, sans jamais s'être (...)

Le domaine du DNA computing (calcul par ADN) consiste à utiliser l'ADN comme un matériau dynamique. En interagissant ensemble, les brins d’ADN peuvent implémenter de petits algorithmes et effectivement calculer. Par exemple, l’état de l’art permet l (...)