formation par la recherche / formation doctorale / enseignement, stages / sujets de thèses

Liste des sujets de thèses proposés à l'Irisa

(Version pdf)

Projets ADP / Aïda / Aladin / Armor / Caps / Cordial / Cosi / Ep-Atr / Imadoc / Pampa / Siames / Sigma 2 / Solidor / Temics / Triskell / Vista

Projet ADP : algorithmes répartis et protocole

• Etude et intégration des concepts de groupe dans une plate-forme de réalité virtuelle coopérative
• Etude du comportement temporel d’une plate-forme de communication de groupe
• Tolérance aux défaillances dans des systèmes asynchrones
• Points de reprise et techniques de replay pour les tests répartis

Projet Aïda : modélisation et apprentissage pour l'interprétation de données et l'aide à la décision

• Acquisition automatique sur corpus de lexiques basés sur la sémantique différentielle

Projet Aladin : algorithmes adaptes au calcul intensif

• Simulation numérique en chimie moléculaire
• Reconstruction de l’excitation électrique cardiaque

Projet Armor : architectures et modèles de réseaux

• La gestion efficace de réseaux optiques
• Sécurité et mobilité sur Internet
• Allocation optimale des VP dans les réseaux
• Gestion de groupe pour communication multipoint
• Test du multicast dans le contexte de la mobilité IPv6
• Application de la théorie des jeux à la tarification de l’Internet
• Etude de la tarification de l’Internet sans réservation de ressources
• Mesure du comportement humain face à la tarification de l’Internet

Projet Caps : compilation, architecture des processeurs superscalaires et spécialisés

• ISA support and Out-of-Order execution
• Multiple cycle ahead pipelined branch predictors vs. branch predictor hierarchies
• Optimizing register file structure for wide issue dynamic order execution superscalar processors
• Scheduling mechanisms for wide-issue dynamic order execution superscalar processors
• Génération logicielle d'aléa non prévisible à très haut débit
• Hiding thousand cycles memory latency through L2 prefetching

Projet Cordial : dialogue oral homme-machine

• Méthodologie d’évaluation de systèmes oraux de dialogue
• Modélisations pour le traitement robuste des références multimodales

Projet Cosi : conception de systèmes sur silicium

• Architecture reconfigurable pour la génomique

Projet EP-ATR : environnement de programmation pour application temps réel

• Réalisation de spécifications incomplètes et hétérogènes dans le langage BDL
• Synthèse de contrôleur sur des systèmes à événements discrets hiérarchiques
• Interprétation abstraite des systèmes de transitions synchrones
• Hiérarchisation et déploiement des systèmes de transitions synchrones

Projet Imadoc : interprétation et reconnaissance d'images et de documents

• Unification de la modélisation de l’écriture manuscrite pour la reconnaisance en-ligne et hors-ligne
• Système de perception et d’interprétation d’images

Projet Pampa : modèles et outils pour la programmation des architectures parallèles réparties

• Réalisation de spécifications incomplètes et hétérogènes dans le langage BDL
• QoT (Quality of Test) : couverture, sélection, et instrumentation de tests
• Points de reprise et techniques de replay pour les tests répartis
• Test du multicast dans le contexte de la mobilité IPv6

Projet Siames : synthèse d'image, animation, modélisation et simulation

• Etude et intégration des concepts de groupe dans une plate-forme de réalité virtuelle coopérative
• Rendu temps réel de scènes 3D exploitant le parallélisme et les cartes graphiques 3D
• Modèles d’interactions coopératives en univers 3D
• Animation par ordinateur en synthèse d’images incluant fonctions robotiques et interactions

Projet Sigma2 : signaux, modèles et algorithmes

• Réjection de nuisance et tests d’hypothèses multiples pour le diagnostic de pannes
• Détection et estimation robuste
• Transmission vidéo robuste vers des mobiles : approche par transformations redondantes et descriptions multiples

Projet Solidor : systèmes distribués, tolérance aux fautes, programmation objet

• Coopération entre composants réactifs auto-adaptables en environnement mobile

Projet Temics : traitement, modélisation et communication d'images numériques

• Recherche d'images par le contenu :problèmes de gestion de cache et d'accès aux disques
• Rechercher bien plutôt que vite au sein de bases d’images
• Représentation de scènes à l’aide d’une modélisation hybride 2D/3D des objets vidéo
• Transmission vidéo robuste vers des mobiles : approche par transformations redondantes et descriptions multiples
• Tatouage de séquence vidéo et tatouage de seconde génération
• Codage vidéo par maillages et ondelettes 3D
• Construction de modèles 3D maillés pour la navigation virtuelle à distance

Projet Triskell : construction fiable et efficace d'applications par assemblage de composants logiciels

• Génération de tests avec des modèles de vrai parallélisme de UML
• Manipulation de lignes de produits en UML
• Lignes de produits en UML : conception testable, validation, maintenance
• Elaboration de transformations de restructuration en UML
• Génération de tests avec des modèles de vrai parallélisme de UML

Projet Vista : vision spatio-temporelle et active

• Création de résumé vidéo par une approche statistique
• Couplage perception-action par indexation d’images et asservissement visuel
• Suivi de structures caractéristiques dans des images de fluides
• Exploration et reconstruction d’objets complexes par vision active
• Asservissement visuel virtuel pour la réalité augmentée