Recherche
-
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 -
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 -
Contrôle d'accès cryptographique appliqué pour le stockage cloud méfiant
(Bordeaux, 2019-11-13)Thèses de doctorat -
Équilibrage dynamique de charge sur supercalculateur exaflopique appliqué à la dynamique moléculaire
(Bordeaux, 2019-10-09)Thèses de doctorat -
Etude de la stratégie de réécriture de termes k-bornée
(Bordeaux, 2014-10-01)Thèses de doctorat -
Gestion de ressources des transductions régulières sur les mots
(Bordeaux, 2017-12-05)Thèses de doctorat