Buscar
-
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 -
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 -
Nouveaux biomarqueurs multi-échelles et multi-modaux pour le diagnostic précoce de la maladie d’Alzheimer
(Bordeaux, 2019-01-25)Thèses de doctorat -
Coefficients de fiabilité et approche hierarchique pour la detection et le dénombrement de petits objets dans une vidéo
(Bordeaux, 2018-12-21)Thèses de doctorat