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

Projets ADP / Aïda / Armor / Badins / Cordial / Caps / Cosi / Ep-Atr / Imadoc / Lande / Paragraphe / Pampa / Paris / Siames / Sigma 2 / Solidor / Temics / Vista

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

(Version pdf)

Projet ADP : algorithmes répartis et protocole

• Algorithmique distribuée pour simulations coopératives temps réel
• Étude de la tolérance à différents types de défaillances
• Sûreté de fonctionnement et contraintes temporelles

Projets ADP et Pampa

• Modélisation d'aspects qualité de service en UML application aux composants logiciels

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

• Apprentissage et reconnaissance de scénarios pour le monitoring et les prothèses implantables en cardiologie
• Inférence de transducteurs rationnels pour la prédiction de structures
• Apprentissage de lexiques sémantiques pour l'extension de requêtes au sein d'un système de recherche d'information
• Système de reconnaissance automatique de concepts fondé sur la classification hiérarchique. Application en agriculture

Projet Aïda et Paragraphe

• Apprentissage des grammaires catégorielles

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

• Modèles économiques de l'Internet
• Le multicast et les très grands réseaux à haut débit
• Allocation optimale des VP dans les réseaux
• Etude d'optimisation des communications multicast

Projet Badins : bases de données et interrogation souple

• Propriétés flexibles dans les bases de données
• Langages de requête pour données imprécises

Projet Caps : compilation, architectures parallèles, systèmes

• Parallélisme d'instructions : mixer statique et dynamique
• Schémas de compilation sous contraintes
• Etude de l'impact du "mur mémoire"

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
• Modélisation de l'interaction entre un moteur de dialogue et un analyseur linguistique
• Négociation d'expressions référentielles
• Coopération dans le dialogue homme-machine

Projets Cordial et Aïda

• Inférence approchée de grammaires régulières

Projets Cordial et Badins

• Transformation de questions écrites en requêtes SQLf

Projet Cosi : conception de systèmes sur silicium

• Architecture virtuelle dynamiquement reconfigurable pour le code mobile
• Technologie objet et calcul reconfigurable

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

• Synthèse de contrôleur sur des systèmes à événements discrets hiérarchiques
• Logiques pour le contrôle d'automatismes discrets
• Analyse sémantique des systèmes de transitions pré-ordre
• Axiomatisation des systèmes de transitions hiérarchiques
• Hiérarchisation des systèmes de transitions pré-ordre
• Description d'architectures de logiciels en Signal
• Accélérations du temps en Signal
• Description et évaluation d'architectures de communication à l'aide de Signal

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

• Introduction de la connaissance a priori en reconnaissance de formules mathématiques
• Modélisation par arbre de décision flou et système d'inférence floue pour la reconnaissance de symboles graphiques manuscrits
• Introduction de connaissances lexicales et syntaxiques dans un système de reconnaissance d'écriture manuscrite
• Modélisation de système automatique numérique de perception et d'interprétation
• Interface stylo de correction interactive de documents électroniques

Projets Imadoc et Aïda

• Modèle logique spatio-temporel & hypertexte de brouillons d'écrivains

Projet Lande : langages déclaratifs

• Conception d'un système de détection d'intrusions opérationnel de haut niveau

Projets Pampa et Paragraphe

• Langages de scénarios et synthèse de contrôleurs

Projet Pampa et Ep-Atr

• Synthèse de contrôleurs et génération de tests
• Méthodes de réalisation répartie de spécifications partielles de systèmes réactifs dans le langage BDL

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

• Génération de tests avec des modèles de vrai parallélisme
• Test d'inter-opérabilité et de QoS de protocoles IP nouvelle génération
• Méthodes symboliques pour la génération de tests de systèmes réactifs comportant des données
• Assemblage testable et validation de composants

Projet Paris : programmation des systèmes parallèles et distribués pour la simulation numérique à grande échelle

• Gestion globale des processeurs dans une grappe de calculateurs
• Conception d'un serveur de données sur une grappe de calculateurs
• Répertoire de données pour la simulation numérique distribuée
• Modèle de composant logiciel pour la simulation numérique distribuée
• Courtier d'objet CORBA haute-performance

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

• Animation par ordinateur en synthèse d'images incluant fonctions robotiques et interactions
• Problème inverse d'illumination appliqué aux tunnels
• Modèles d'interactions coopératives en univers 3D

Projet Sigma2 : signaux, modèles et algorithmes

• Détection et estimation robuste

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

• Etude d’une architecture pour les systèmes d’information spontanés (3 sujets de thèse)
• Obtention de temps de réponse au pire-cas de systèmes d'exploitation temps-réel COTS

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

• Prise en compte des liens sémantiques entre objets vidéo dans un contexte d'édition et de post-production vidéo
• Tatouage robuste d'images et de séquences vidéo
• Analyse vidéo par maillages actifs 2D en présence de discontinuités
• Codage et décodage conjoint source-canal pour transmission d'images dur des liens sans fil

Projets Vista et Temics

• Indexation multimédia

Projet Vista : vision spatio-temporelle et active

• Méthodes d'analyses d'images échographiques tri-dimensionnelles
• Utilisation des moments en vision robotique et réalité augmentée
• Reconstruction 3D d'objets complexes par vision active