Recherche
-
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 -
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 -
Features-based MRI brain classification with domain knowledge : application to Alzheimer's disease diagnosis
(Bordeaux, 2015-01-14)Thèses de doctorat -
Analyse des graphes de reactions biochimiques avec une application au réseau metabolique de la cellule de plante
(Bordeaux, 2015-02-03)Thèses de doctorat -
Homomorphisms of (j,k)-mixed graphs
(Bordeaux, 2015-08-19)Thèses de doctorat -
La dynamique moléculaire pour les machines exascale
(Bordeaux, 2015-10-09)Thèses de doctorat -
Ordonnancement et optimisations mémoire pour un solveur creux par méthodes directes sur des machines hétérogènes
(Bordeaux, 2015-02-18)Thèses de doctorat -
Sur la conception de solveurs linéaires hybrides pour les architectures parallèles modernes
(Bordeaux, 2015-12-14)Thèses de doctorat -
Conservation d'énergie pour les applications collaboratives dans les réseaux de capteurs sans fil
(Bordeaux, 2015-11-29)Thèses de doctorat -
Simulation de la dynamique des dislocations à très grande échelle
(Bordeaux, 2015-11-23)Thèses de doctorat