Recherche
-
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 -
Dessin de graphe distribué par modèle de force : application au Big Data
(Bordeaux, 2018-06-28)Thèses de doctorat -
Méthodologies outillées de développement de services dédiés à l'assistance domiciliaire
(Bordeaux, 2020-07-09)Thèses de doctorat -
Reconnaissance du patrimoine Mexicaine sous forme numérique par des réseaux d'apprentissage profond
(Bordeaux, 2020-07-09)Thèses de doctorat -
Tenseurs aléatoires et modèle de Sachdev-Ye-Kitaev
(Bordeaux, 2020-09-10)Thèses de doctorat -
Les clones au-delà du code source : étude des pratiques de documentation d'API et d'infrastructure as code
(Bordeaux, 2020-01-27)Thèses de doctorat