Recherche
-
Réparation et optimisation de maillages 3D pour l'impression 3D
(Bordeaux, 2019-12-19)Thèses de doctorat -
Combinatoire du polynôme de Tutte et des cartes planaires
(Bordeaux, 2014-10-03)Thèses de doctorat -
Coloration, jeux et marquages dans les graphes
(Bordeaux, 2014-03-19)Thèses de doctorat -
Une approche combinatoire du problème de séparation pour les langages réguliers
(Bordeaux, 2014-12-04)Thèses de doctorat -
Gestion des bibliothèques tierces dans un contexte de maintenance logicielle
(Bordeaux, 2014-09-26)Thèses de doctorat -
Analyses et preuves formelles d'algorithmes distribués probabilistes
(Bordeaux, 2014-06-16)Thèses de doctorat -
Encodage Efficace des Systèmes Critiques pour la Vérificaton Formelle par Model Checking à base de Solveurs SAT
(Bordeaux, 2018-09-20)Thèses de doctorat -
Apprentissage automatique de caractéristiques audio : application à la génération de listes de lecture thématiques
(Bordeaux, 2018-06-19)Thèses de doctorat -
Décompositions de graphes voisins-distinguantes
(Bordeaux, 2018-09-14)Thèses de doctorat