Archive des soutenances de thèses et habilitations

Jorge Arturo GUTIÉRREZ CELAYA
Fusion d’Informations en Identification Automatique des Langues
25 juillet 2005 - 14 h - IRIT, Salle des thèses

Anis Jedidi
Modélisation générique de documents multimédia par des métadonnées - Mécanismes d'annotation et d'interrogation
06 juillet 2005 - 10 h 30 - IRIT, Auditorium

Karen Sauvagnat
Modèle flexible pour la Recherche d’Information dans des corpus de documents semi-structurés
30 juin 2005 - 10 h 30 - IRIT, Amphithéâtre Concorde, Bâtiment U4

Davy Capera
Systèmes multi-agents adaptatifs pour la résolution de problèmes: Application à la conception de mécanismes
23 juin 2005 - 10 h 30 - IRIT, Auditorium

Amélie Schyn
Une approche fondée sur les modèles pour l’ingénierie des systèmes interactifs multimodaux
21 juin 2005 - 10 h - IRIT, Auditorium

Xavier Lacaze
La conception rationalisée pour les systèmes interactifs
20 juin 2005 - 15 h - IRIT, Auditorium

José Guadalupe Rodríguez García
Architecture pour le support d'applications temps réel distribuées avec CORBA
01 juin 2005 - 10 h - IRIT, Auditorium

Alin Blaga
Bases de Gröbner et systèmes linéaires à variables binaires
09 mai 2005 - 08 h - IRIT, Salle 216 à l'ENSEEIHT

Patrick Héas
Apprentissage Bayésien de Structures Spatio-Temporelles :
08 avril 2005 - 10 h 30 - IRIT, Salle des thèses de l'ENSAE

HDR de Philippe Vidal
Vers un réseau fédérateur : architectures et normes pour la distribution d’objets pédagogiques
30 mars 2005 - 15 h - IRIT, Auditorium

Frédéric Grasset
Gestion d'environnements de sécurité dans les réseaux IP
21 décembre 2004 - 15 h 30 - IRIT, Salle des thèses

Julien Pinquier
Indexation sonore : recherche de composantes primaires pour une structuration audiovisuelle
20 décembre 2004 - 14 h - IRIT, Auditorium

Régis Privat
Adaptation dynamique des stratégies de dialogue aux usagers : application aux personnes âgées
17 décembre 2004 - 14 h - IRIT, Auditorium

Yannick Loiseau
Recherche flexible d'information par filtrage flou qualitatif
16 décembre 2004 - 10 h 30 - IRIT, Auditorium

Hamid Tebri
Formalisation et spécification d'un système de filtrage incrémental d'information
15 décembre 2004 - 10 h 30 - IRIT, Auditorium

Dorin Preda
Intégration d’une contrainte logique dans les problèmes de contrôle optimal et résolution par la programmation mixte
14 décembre 2004 - 10 h 30 - IRIT, ENSEEIHT, Salle 001

Boris Lenseigne
Intégration de connaissances linguistiques dans un système de vision. Application à l'étude de la langue des Signes
13 décembre 2004 - 10 h 30 - IRIT, Auditorium

Matthijs Douze
Estimation d'homographies inter-images - Cas des mosaïques et du suivi en temps réel - Applications en réalité augmentée
10 décembre 2004 - 10 h 30 - IRIT, ENSEEIHT, Salle des thèses

Gauthier Picard
Méthodologie de développement de systèmes multi-agents adaptatifs et conception de logiciels à fonctionnalité émergente
10 décembre 2004 - 10 h - IRIT, Auditorium

Joseph Zalaket
Planification dans des structures complexes
09 décembre 2004 - 15 h 30 - IRIT, Salle des thèses

HDR de Michelle SIBILLA
Gestion de systèmes complexes : un cadre complet conduit par des modèles objets PI/PS
09 décembre 2004 - 11 h - IRIT, salle de Visioconférence du bâtiment Robert DELTHEIL (U4), Toulouse III

HDR de Marie-Pierre Gleizes
Vers la résolution de problèmes par émergence
09 décembre 2004 - 10 h 45 - IRIT, Auditorium

Samar Tawbi
Une Approche générique pour le développement des applications Web
07 décembre 2004 - 14 h - IRIT, Auditorium

Nouhad Amaneddine
Un modèle de spécification de haut niveau pour la transformation de données structurées
06 décembre 2004 - 14 h - IRIT, Auditorium

Fabrice Maurel
Transmodalité et multimodalité écrit/oral : modélisation, traitement automatique et évaluation de stratégies de présentation des structures « visuo-architecturales » des textes
06 décembre 2004 - 11 h - IRIT, Auditorium

Farah Benamara
WEBCOOP: un système de question réponse coopératif sur le Web
23 novembre 2004 - 10 h 15 - IRIT, Auditorium

Faiza Ghozzi
Conception et manipulation des bases de données dimensionnelles à contraintes
18 novembre 2004 - 10 h 30 - IRIT, Auditorium

HDR de Mathias Paulin
Le Rendu en Synthèse d'Images : du Réalisme au Temps Réel
09 novembre 2004 - 10 h 45 - IRIT, Auditorium

HDR de Jean-Christophe Buisson
Catégorisation flexible, recherche heuristique et apprentissage
22 octobre 2004 - 10 h 30 - IRIT, ENSEEIHT, salle A002

Thomas HABERKORN
Transfert orbital a poussee faible avec minimisation de la consommation: resolution par homotopie differentielle
18 octobre 2004 - 10 h - IRIT, Salle des thèses (C-002 ; ENSEEIHT)

David Chemouil
Types inductifs, isomorphismes et récriture extensionnelle
21 septembre 2004 - 10 h 30 - IRIT, Auditorium

Yannick Larvor
Notions de méréogéométrie : description qualitative de propriétés géométriques, du mouvement et de la forme d'objets tridimensionnels.
15 septembre 2004 - 14 h 30 - IRIT, Auditorium

Carmelina Santoro
Conception centrée-modèles des systèmes interactifs innovants -
27 août 2004 - 10 h - IRIT, Université Toulouse 1 - salle Maurice Hauriou




Contacts : Martine Labruyère (EDIT) (Tél. 05 61 55 68 85 - Fax 05 61 52 14 58)
Véronique Debats (IRIT) (Tél. 05 61 55 65 10 - Fax 05 61 55 74 59)

Philippe Reynes
Etude de mécanismes de réutilisation d'instructions
21 juillet 2004 - 10 h - IRIT, Salle des thèses

Kaïs Khrouf
Entrepôts de documents : De l'alimentation à l'exploitation
12 juillet 2004 - 10 h 30 - IRIT, Auditorium

Jean-Pierre Georgé
Résolution de problèmes par émergence - Etude d'un Environnement de Programmation Emergente
06 juillet 2004 - 10 h 30 - IRIT, Auditorium

Rami EL BAIDA
Les composants logiciels réutilisables : Méthode de vérification
02 juillet 2004 - 10 h 30 - IRIT, Auditorium

Thomas POLACSEK
Une logique pour la planification en environnement partiellement observable
22 juin 2004 - 10 h 30 - IRIT, Auditorium

André BARROS DE SALES
Gestion de bout en bout de la qualité des services distribués : surveillance et sélection par une approche Modelware
18 juin 2004 - 10 h 30 - IRIT, Auditorium

David Fauthoux
Des grains aux aspects, proposition pour un modèle de programmation orientée-aspect
13 mai 2004 - 10 h 30 - IRIT, Auditorium

Marco Winckler
StateWebCharts : une notation formelle pour la modélisation de la navigation des applications Web
02 avril 2004 - 10 h 45 - IRIT, UT1-Arsenal-Salle AR122

David Petit
Reconstruction du 3D par interférométrie radar haute résolution
12 janvier 2004 - 14 h - IRIT, Auditorium

Réda Bekkouche
Contribution à la conception sûre de systèmes complexes, critiques et distribués
19 décembre 2003 - 14 h - IRIT, Salle des thèses

Belkacem Cherfaoui
Partitionnement de systèmes temps-réel-strict pour une implantation sur FPGAs
19 décembre 2003 - 14 h - IRIT, Salle des thèses

Olivier HEGUY
Architecture comportementale pour l'émergence d'activités coopératives en environnement virtuel
19 décembre 2003 - 11 h - IRIT, Salle des thèses

HDR de Chihab Hanachi
La coordination dans les systèmes d'information orientés agents
17 décembre 2003 - 10 h 30 - IRIT, Auditorium

Olivier LE ROUX
Modélisation déclarative d'environnements virtuels : contribution à l'étude des techniques de génération par contraintes
11 décembre 2003 - 10 h - IRIT, Auditorium

Liana Virginia RAZMERITA
Le Modèle Utilisateur et la Modélisation Utilisateur dans les Systèmes de Gestion des Connaissances
03 décembre 2003 - 11 h - IRIT, Auditorium

Bernard Dousset
Habilitation à Diriger les Recherches
07 novembre 2003 - 11 h - IRIT, Auditorium

Luc Claustres
Modélisation de la fonction de distribution de la réflectance bidirectionnelle par ondelettes pour le rendu physiquement réaliste.
10 octobre 2003 - 10 h - IRIT, Auditorium

Olivier de Mouzon
Une approche du diagnostic basée sur la logique floue - Application aux bancs d'essais de moteurs automobiles
30 septembre 2003 - 14 h - IRIT, Auditorium

Laetitia Bray
Une plateforme réflexive ouverte pour la gestion d'applications concurrentes réparties à base d'acteurs
29 septembre 2003 - 11 h - IRIT, Salle des thèses

Thierry Haquin
Séquences de branchements : prédiction de branchements et optimisation du chargement des instructions
26 septembre 2003 - 17 h - IRIT, Salle des thèses

Jérôme Lang
Habilitation à Diriger les Recherches
15 septembre 2003 - 10 h 30 - IRIT, Auditorium

Said KAROUACH
Visualisations interactives pour la découverte de connaissances : concepts, méthodes et outils
17 juillet 2003 - 10 h 30 - IRIT, Salle des thèses

Fabien Lavignotte
Calcul de l'éclairement par estimation de densité et par une approche image
17 juillet 2003 - 10 h 30 - IRIT, Auditorium

Anis Benammar
Profils en recherche d'information : Définition, exploitation et adaptation
18 avril 2003 - 09 h 30 - IRIT, Auditorium

Véronique Gaildrat (HDR)
Modélisation déclarative d'environnements virtuels : Création de scènes et de formes complexes par l'énoncé de propriétés et l'emploi d'interactions gestuelles
28 janvier 2003 - 10 h 30 - IRIT, auditorium

Aura Nancy RODRIGUEZ
ASSET: UNE ARCHITECTURE GENERALE POUR LA TELEROBOTIQUE
06 janvier 2003 - 10 h 30 - IRIT, Auditorium

Matthias Colin
Analyse statique de la communication dans un langage d'acteur fonctionnel
20 décembre 2002 - 10 h - IRIT, ENSEEIHT - Salle des thèses

Olivier Gasquet (Habilitation à diriger des recherches)
Logiques multi-modales : Applications, mécanisation et implémentation
19 décembre 2002 - 11 h - IRIT, Salle des thèses

Max Chevalier
INTERFACE ADAPTATIVE POUR L'AIDE A LA RECHERCHE D'INFORMATION SUR LE WEB
16 décembre 2002 - 10 h 30 - IRIT, Auditorium

Allel HADJ ALI
Raisonnement Qualitatif sur les Ordres de Grandeur Relatifs : Formalisation et Traitement en Logique Floue
13 décembre 2002 - 10 h 30 - IRIT, Salle des thèses

Sylvie Doutre
Autour de la sémantique préférée des systèmes d'argumentation
12 décembre 2002 - 10 h 30 - IRIT, Salle des thèses

Nawel Nassr
Croisement de langues en recherche d'information : traduction et désambiguisation de requêtes
09 décembre 2002 - 15 h - IRIT, Auditorium

Ikram AMOUS
Méthodologies de conception d'applications hypermédia. Extension pour la réingénierie des sites Web
09 décembre 2002 - 10 h 30 - IRIT, Auditorium

Benoît Morisset
Vers un robot au comportement robuste. Apprendre à combiner des modalités sensori-motrices complémentaires
28 novembre 2002 - 15 h - IRIT, LAAS - salle Europe

Jérôme Farinas
Une modélisation automatique du rythme pour l'identification des langues
15 novembre 2002 - 13 h 45 - IRIT, Auditorium

Alexandre Nouvel
Description de concepts par un langage visuel pour un système d'aide à la conception d'applications de traitement d'images
30 septembre 2002 - 14 h - IRIT, Salle des thèses

Christophe Guittenit
Placement d'objets multimédias sur un groupe hétérogène de dispositifs de stockage
27 septembre 2002 - 10 h - IRIT, Auditorium

Yann Dupuy
Simulation de l'éclairage en environnement dynamique
26 septembre 2002 - 14 h 30 - IRIT, Auditorium

Caroline Bousquet-Vernhettes
Compréhension robuste de la parole spontanée dans le dialogue oral homme-machine. Décodage conceptuel stochastique
26 septembre 2002 - 10 h 30 - IRIT, Auditorium

TMAR Mohamed
Modèle auto-adaptatif de filtrage d'information : apprentissage incrémental du profil et de la fonction de décision
11 juillet 2002 - 10 h - IRIT, Salle des thèses

Suzuki Hirotaka
Exploitation de connaissances structurelles en classification d'image : une approche par partition floue et optimisation combinatoire
10 juillet 2002 - 10 h - IRIT, Salle des thèses

BOUZID Djamila
Gestion du trafic temps réel dans le réseau ATM.
10 juin 2002 - 13 h 30 - IRIT, Salle des thèses

Yann Steff
SMA et gestion coopérative de réseaux et systèmes : un cadre méthodologique pour une macro-organisation autonome
29 avril 2002 - 10 h - IRIT, Salle des thèses

Souhila KACI
Connaissances et préférences - Représentation et fusion en logique possibiliste.
18 avril 2002 - 10 h - IRIT, Salle des thèses

Régis BONNEFON
Extraction d'éléments cartographiques à partir d'images de télédétection : possibilité d'application à la mise à jour de systèmes d'information géographique
05 février 2002 - 14 h - IRIT, Auditorium

Jean-François BERDJUGIN
Un environnement de développement formel de systèmes distribués temps réel.
21 janvier 2002 - 10 h 30 - IRIT, Salle des thèses

GASCON Ferran
Modélisation physique d'images de télédétection optique.
20 décembre 2001 - 10 h - IRIT, CESBIO

Emmanuel GUERE
Extraire la structure des domaines pour planifier en présence d'incertitudes.
18 décembre 2001 - 10 h 30 - IRIT, LAAS

Nathalie CHETCUTI
Déduction automatique en calcul de durées basée sur la méthode des tableaux.
12 décembre 2001 - 10 h 30 - IRIT, auditorium

Benjamin MORA
Nouveaux algorithmes interactifs pour la visualisation de données volumiques
07 décembre 2001 - 10 h 30 - IRIT, auditorium

Vincent BONNAFOUS
LIVE : une plate forme d'animation intégrant contrôle et mélange de mouvements
19 octobre 2001 - 10 h 30 - IRIT, Auditorium

Habilitation de Jean-Paul Bodeveix
MÉTHODES FORMELLES ET SÛRETÉ DE DÉVELOPPEMENT
18 octobre 2001 - 10 h 30 - IRIT, Salle des thèses