Soutenances de thèses de doctorat

Insertion de précision mixte pour le passage à l'échelle de la résolution de systèmes d'équations différentielles ordinaires en grande dimension pour la biologie computationnelle

par M. Arsène Marzorati

Europe/Paris
Amphithéâtre Emilie du Châtelet de la bibliothèque Marie Curie de l'INSA de Lyon

Amphithéâtre Emilie du Châtelet de la bibliothèque Marie Curie de l'INSA de Lyon

Description

Le jury sera composé de:
- M. Samuel Bernard, Université Lyon 1, CNRS, Inria, Directeur de thèse,
- M. Jonathan Rouzaud-Cornabas, INSA Lyon, Inria, Co-encadrant de thèse
- Mme Mioara Joldes, Université de Toulouse, CNRS, Rapporteure
- M. Martin Schreiber, Université Grenoble-Alpes, Inria, Rapporteur,
- Mme Christine Solnon, INSA Lyon, Examinatrice,
- M. Théo Mary, Sorbonne Université, CNRS, Examinateur,
- M. Alfredo Buttari, Université de Toulouse, CNRS, Examinateur.

Voici le résumé :

Les travaux menés portent sur l'intérêt d'utiliser la précision-mixte, c'est-à-dire de mélanger les formats numériques disponibles sur une machine, dans les solveurs numériques pour la résolution de problèmes tels que les équations différentielles ordinaires. Cette technique pourrait permettre le passage à l'échelle de ces méthodes de résolutions sur des systèmes de grande dimension qui présentent un intérêt d'étude, comme dans le cas de modèles centrés agents. La précision-mixte permet, par l'utilisation de format plus petits tels que la simple précision (codage sur 32 bits) d'accélérer les calculs et de réduire la charge mémoire. Tandis que la présence de grands formats comme la double précision (codage sur 64 bits) permet de contrôler l'erreur numérique plus finement. Nous avons étudiés l'implémentation de schémas explicites adaptatifs en précision-mixte sous ces deux angles : erreur et performance sur trois cas d'études : des oscillateurs linéairement couplés, le modèle de Kuramoto et un modèle d'horloge circadienne.

La soutenance sera aussi disponible en visio-conférence (https://inria.webex.com/inria/j.php?MTID=m936c1ebd7ae99e9288152bc4f18e3bd7).