Recherche
-
Un cadre inter-couches pour la protection contre les interférences dans les réseaux ad-hoc radio cognitive
(Bordeaux, 2015-12-18)Thèses de doctorat -
Sémantique formelle et vérification automatique de scénarios hiérarchiques multimédia avec des choix interactifs
(Bordeaux, 2015-11-27)Thèses de doctorat -
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 -
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 -
Modélisation des architecture multi-cœur par des mesures de performance
(Bordeaux, 2014-03-27)Thèses de doctorat -
Neuroscience de la prise de décision : des actions dirigées vers un but aux habitudes
(Bordeaux, 2016-10-10)Thèses de doctorat