Recherche
-
Exploiter la structure des modèles pour la vérification par la méthode CEGAR
(Bordeaux 1, 2012-11-27)Thèses de doctorat -
Extraction des utilisations typiques à partir de données hétérogènes en vue d'optimiser la maintenance d'une flotte de véhicules
(Bordeaux 1, 2012-07-06)Thèses de doctorat -
Un robot curieux pour l’apprentissage actif par babillage d’objectifs : choisir de manière stratégique quoi, comment, quand et de qui apprendre
(Bordeaux 1, 2013-11-27)Thèses de doctorat -
Optimisation des protocoles de routage dans les réseaux multi-sauts sans fil à contraintes.
(Bordeaux 1, 2012-10-10)Thèses de doctorat -
Développement et test d'applications d'informatique ubiquitaire : une méthodologie outillée
(Bordeaux 1, 2012)Thèses de doctorat -
Abstractions pour les automates temporisés
(Bordeaux 1, 2012)Thèses de doctorat -
Méthode de décomposition de domaine pour les équations du transport simplifié en neutronique
(Bordeaux 1, 2010-02-09)Thèses de doctorat -
Techniques d'adaptation robustes pour la simulation des ondes de surface : Application à l'étude du tsunami Tohoku 2011
(Bordeaux, 2017-09-18)Thèses de doctorat -
Méthodes de décomposition de domaine algébriques pour solveurs hybrides (direct/itératif)
(Bordeaux, 2018-11-28)Thèses de doctorat -
Etude et mise en place d’une plateforme d’adaptation multiservice embarquée pour la gestion de flux multimédia à différents niveaux logiciels et matériels
(Bordeaux 1, 2012-12-19)Thèses de doctorat