CE SITE EST OBSOLETE. LE DOMAINE DTI/R&D N'EXISTE PLUS DEPUIS LE 27 DECEMBRE 2011

THIS SITE IS OBSOLETE. DTI/R&D NO LONGER EXISTS SINCE DECEMBER 27TH, 2011

---

Liste des thèses, DEA, et Mastères

CE SITE EST OBSOLETE. LE DOMAINE DTI/R&D N'EXISTE PLUS DEPUIS LE 27 DECEMBRE 2011

THIS SITE IS OBSOLETE. DTI/R&D NO LONGER EXISTS SINCE DECEMBER 27TH, 2011

---

• Optimisation des séquences de pistes et du trafic au sol sur les grands aéroports Raphaël Deau Thèse doctorat informatique de l'INPT (2010/11/02)
• Prédiction de trajectoires d'avions à l'aide de la régression floue Mohammad GHASEMI HAMED Master Recherche Informatique et Télécommunications de l'Université de Toulouse, parcours Intelligence Artificielle (2010/09/03)
• Stratégie de recherche adaptative en programmation par contrainte Simon Marchal Master Recherche Informatique et Télécommunications de l'Université de Toulouse, parcours Intelligence Artificielle (2010/09/03)
• Allocation de niveaux de vol pour la déconfliction de trajectoires 4D Caroline Becker Master Recherche Informatique et Télécommunications de l'Université de Toulouse, parcours Intelligence Artificielle (2010/09/03)
• Programmation évolutionnaire appliquée à la prévision de trajectoire Richard Alligier Master Recherche Informatique et Télécommunications de l'Université de Toulouse, parcours Intelligence Artificielle (2010/09/03)
• Élaboration d'une nouvelle métaheuristique pour le partitionnement de graphe : la méthode de fusion-fission. Application au découpage de l'espace aérien Charles-Edmond Bichot Thèse doctorat informatique de l'INPT (2007/11/09)
• Allocation automatique de créneaux de décollage par décomposition arborescente de modèles CSP Olivier Gourmel Master Recherche - Sûreté du Logiciel et Calcul à haute Performance (SLCP) (2007/09/06)
• Méthodes appliquées à l'analyse des indicateurs de la complexité du trafic aérien HE Yi Rapport de Master MSIAG (ENSG-ENPC-ENST) (2007/03/08)
• Suppression des symétries en programmation par contraintes Cyril Allignol Master Recherche - Sûreté du Logiciel et Calcul à haute Performance (SLCP) (2006/09/07)
• Résolution de conflits par algorithmes stochastiques parallèles Xavier Olive Master Recherche - Sûreté du Logiciel et Calcul à haute Performance (SLCP) (2006/09/07)
• Résolution de conflits par régulation en vitesse et ordonnancement Pierre-Selim Huard Master Recherche - Sûreté du Logiciel et Calcul à haute Performance (SLCP) (2006/09/07)
• Optimisation de graphes sous contraintes géométriques: création d'un réseau de routes aériennes pour un contrôle sector-less Thomas Riviere Thèse doctorat informatique de l'INPT (2006/05/24)
• Mise en place d'une methodologie d'enregistrement et d'analyse des mouvements oculaires dans le controle aerien Judicael Bedouet DEA SLCP (2005/09/09)
• Utilisations de méta-heuristiques pour la résolution en vitesse de conflits aériens Olivier Revelin Master Recherche - Sûreté du Logiciel et Calcul à haute Performance (SLCP) (2005/09/08)
• Certification du code embarqué d'un micro-drone Nicolas Albert Master Recherche - Sûreté du Logiciel et Calcul à haute Performance (SLCP) (2005/09/08)
• Programmation par contraintes sur les domaines continus, mise en oeuvre et application à la gestion du trafic aérien Thibaut Feydy Master Recherche - Sûreté du Logiciel et Calcul à haute Performance (SLCP) (2005/09/08)
• Optimisation du trafic au sol sur les grands aéroports Jean-Baptiste Gotteland Thèse doctorat informatique de l'INPT (2004/11/2)
• Algorithmes Génétiques et autres méthodes d'optimisation appliqués à la gestion de trafic aérien Nicolas Durand Thèse d'habilitation (2004/11/2)
• Optimisation des flux de trafic aérien David Gianazza Thèse doctorat informatique de l'INPT (2004/11/02)
• Optimisation du découpage de l'espace aérien par diverses métaheuristiques Charles-Edmond Bichot DEA Systèmes informatique du LAAS (2004/07/01)
• Simulation arithmétique Europe/USA et optimisation de la structure des zones de qualification Benoit Rulleau DEA Informatique EDSYS/LAAS (2003/09/18)
• Optimisations du solveur de conflit du simulateur de trafic CATS Nicolas Archambault DEA Intelligence Artificielle, Reconnaissance des formes et Applications (2003/09/01)
• Application de la programmation par contraintes à des problèmes de gestion du trafic aérien Nicolas Barnier Thèse doctorat informatique de l'INP Toulouse (2002/12/06)
• Détection et résolution de conflits aériens~: modélisations et analyse Géraud Granger Thèse doctorat informatique de l'Ecole Polytechnique (2002/12/01)
• Compilation d'un langage de modélisation vers une librairie de contraintes Soufiane Slama rapport de DEA IFP (2002/09/13)
• Stratégies pour un Othello de haut niveau Chiheb Kossentini Rapport de DEA (2002/9/1)
• Etudes de nouvelles métriques de complexité de la circulation aérienne Franck Chatton DEA IFP ENSEEIHT (2001/08/21)
• Robustesse des solutions du problème d'allocation de créneaux Thomas Riviere rapport de DEA IFP (2001/06/25)
• Application de l'évolution artificielle aux problèmes de congestion du trafic aérien Sofiane Oussedik Thèse doctorat informatique de l'ecole polytechnique (2000/10/01)
• Etude du paramétrage d'un algorithme d'optimisation hybride Yassine Lassoued rapport de DEA Programmation et Systèmes (2000/09/14)
• Optimisation de routes alternatives et évaluation des retards Guillaume Roger Rapport de DEA PS /INP (2000/09/01)
• Optimisation de la circulation des aéronefs au sol sur la plate-forme de Roissy Brankica Pesic Rapport de DRU de l'INPT (2000/7/1)
• Modélisation du nombre de conflits potentiels à partir d'un simulateur de trafic Damien Maupou Rapport de DESS "Mathématiques Appliquées" de l'UPS (2000/7/1)
• Prévision de trajectoires d'avions par réseaux de neurones Yann Le Fablec Thèse doctorat informatique de l'INPT (1999/10/18)
• Résolution de conflits via la programmation semi-définie Pierre Dodin Rapport de DEA "mathématiques appliquées" de Paris VI (1999/09/30)
• Méthode d'optimisation pour l'évitement aérien: systèmes centralisés, systèmes embarqués Frédéric Médioni Thèse doctorat informatique de l'Ecole Polytechnique (1998/10/8)
• Résolution de conflits embarquée dans les espaces de faible densité Géraud Granger Rapport de DEA IFP (1998/09/29)
• Optimisation de la matrice d'entrelacement des Turbo-Codes convolutifs pa r algorithmes génétiques Boris Bartolomé Dea de mathématiques appliquées (1998/06/01)
• Etude quantitative des chaînes de Markov par perturbation de leur noyau Pascal Lezaud Thèse doctorat mathématiques appliquées de l'Université Paul Sabatier de Toulouse (1998/03/26)
• Techniques d'evitement réactif et simulation du trafic aérien Jean-François Bosc Thèse doctorat informatique de l'INPT (1997/10/24)
• Optimisation par hybridation d'un algorithme génétique avec la programmation par contraintes Nicolas Barnier rapport de DEA IFP (1997/09/25)
• Prévision stochastique de trajectoires : procédures paramétriques et non-paramétriques Christophe Bontemps Rapport de DEA IFP (1997/05/25)
• Stratégies pour un Othello de haut niveau Eric Fiorio Rapport de DEA IFP. Also available in HTML format (1996/9/1)
• Pré filtre tactique pour la résolution de conflits en route. David Gianazza Rapport de DEA IFP (1996/07/01)
• Optimisation de trajectoires pour la résolution de conflits Nicolas Durand Thèse doctorat informatique INPT. Also available in HTML format (1996/05/28)
• Techniques d optimisation stochastique appliquées aux problèmes du controle aérien Jean-Marc Alliot Thèse d'habilitation INPT. Also available in HTML format (1996/05/28)
• Optimisation de la chaine de tri bagages par algorithmes génétiques Thierry Aubazac Rapport DEA IFP. (1995/07/01)
• Utilisation des Algorithmes Génétiques pour la Résolution de conflits aériens Olivier Chansou Rapport DEA IFP. (1995/07/01)
• Optimisation de la sectorisation de l'espace aérien par algorithmes génétiques Daniel Delahaye Doctorat Informatique ENSAE. (1995/07/01)
• Optimisation par algorithmes génétiques parallèles et multi-objectifs Yann Lefablec Rapport DEA IFP. (1995/07/01)
• Résolution de Conflits Aériens par Réseaux de Neurones Gervais Gaudière Rapport DEA IFP. (1995/07/01)
• Optimisation de la résolution de conflits par algorithmes stochastiques et programmation linéaire Frédéric Médioni (1994/07/01)
• Construction de trajectoires d'évitement optimales par algorithmes génétiques Nicolas Alech (1994/07/01)
• Nouvelles méthodes pour la résolution de problèmes SAT et CSP Denis Huet (1993/07/01)
• Une machine parallèle pour l'implantation d'extensions de PROLOG Jean-Marc Alliot (1992/07/11)
• Compilation de lambda-Prolog Pascal Brisset Doctorat de l'université de Rennes 1 (1992/03/27)

---

Last Update: Friday, 04-Apr-2008 13:12:36 CEST