Recherche
-
Définissabilité et synthèse de transductions
(Bordeaux, 2018-10-12)Thèses de doctorat -
Généralisation de modèles métaboliques par connaissances
(Bordeaux, 2014-12-18)Thèses de doctorat -
Optimisations des solveurs linéaires creux hybrides basés sur une approche par complément de Schur et décomposition de domaine
(Bordeaux, 2015-10-19)Thèses de doctorat -
Modélisation des architecture multi-cœur par des mesures de performance
(Bordeaux, 2014-03-27)Thèses de doctorat -
Vérification d’anomalies dans les services réseau NFV externalisés vers le cloud
(Bordeaux, 2022-03-18)Thèses de doctorat -
Apprentissage profond auto-supervisé de métriques : application à la prédiction d'assemblage de fragments de papyrus
(Bordeaux, 2022-03-28)Thèses de doctorat -
Modélisation du réseau neuronal responsable de l'apprentissage du chant chez l'oiseau chanteur
(Bordeaux, 2021-03-25)Thèses de doctorat -
Réduction d'ordre partiel pour les systèmes temporisés
(Bordeaux, 2021-06-16)Thèses de doctorat -
Modélisation de performance et simulation d'applications OpenMP
(Bordeaux, 2021-09-21)Thèses de doctorat -
Calcul de plus courts chemins multicritères et problèmes géométriques connexes
(Bordeaux, 2021-07-05)Thèses de doctorat