Équipes actuelles : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Anciennes équipes : | ACASA AnimatLab MALIRE MLIA Phare REGAL SALSA SPI SPIRAL Whisper |
Anciens thèmes : | ANP APA ASIM CALFOR OASIS RP SPI SRC SYSDEF |
- LAUTER Christoph : “Au-delà de l'arithmétique flottante IEEE754”, soutenance 22/05/2019
- FORTIN Pierre : “Contributions algorithmiques au calcul scientifique sur architectures haute performance”, soutenance 05/07/2018
- TIERNY Julien : “Contributions à l'Analyse Topologique de Données pour la Visualisation Scientifique”, soutenance 29/04/2016
- GRAILLAT Stef : “Contribution à l'amélioration de la précision et à la validation des algorithmes numériques”, soutenance 02/12/2013
- DUBUISSON Séverine : “Le filtrage particulaire pour le suivi dans les séquences complexes : des solutions pour la gestion des grands espaces d'état et d'observation”, soutenance 09/11/2012
- BÉREZIAT Dominique : “Contributions aux méthodes variationnelles pour le calcul du flot optique: prise en compte des informations spatiales et temporelles”, soutenance 24/11/2010
- DIDIER Laurent-Stéphane : “Contribution aux systèmes modulaires de représentation des nombres et à l’automatisation de la validation numérique”, soutenance 27/11/2009
- JEZEQUEL Fabienne : “Contrôle dynamique de méthodes d'approximation”, soutenance 10/02/2005
- LAMOTTE Jean-Luc : “Vers une chaine de validation des logiciels numériques à l'aide de méthodes probabilistes”, soutenance 30/11/2004