Airbus  Algorithmes  Algorithmes anytime  Algorithmes de recherche  Algorithmes optimaux  Allocation de fréquences à des liens radio  Arbres de décision  Architecture de calcul  Automates  Avions -- Inspection  Bases de données relationnelles  Bdd  Circulation aérienne -- Contrôle  Compilation  Compilation de connaissances  Conception assistée par ordinateur  Conception technique -- Informatique  Conception technique  Conflits aériens  Contraintes  Contrôle du trafic aérien  Convergence  Csp  Dynamicité  Décision séquentielle  Elimination de variables  Environnement spatial  Explications  Incertitude  Incertitudes  Informatique  Intelligence artificielle  Intelligence artificielle distribuée  Landmarks  Langages de programmation  Language dédié  Maintenance automatisée  Maintien de solution  Markov, Processus de  Model-checking  Modèles graphiques algébriques  Modèles mathématiques  Mécanique  NC  Optimalité  Optimisation combinatoire  Optimisation par colonies de fourmis  Optimisation stochastique  Ordonnancement  Ordonnancement dépendant du temps  Planification -- Informatique  Planification  Planification d'actions  Planification de mouvements  Planification de tâches  Planification stratégique  Prise de décision  Problème de satisfaction de contraintes  Problèmes d'allocation de ressources  Problèmes de satisfaction de contraintes  Problèmes de satisfaction de contraintes, systèmes temps réels intelligents  Programmation Par Contraintes  Programmation des prises de vue d'un satellite d'observation  Programmation dynamique  Programmation linéaire  Programmation linéaire à variables mixtes  Programmation non linéaire  Programmation par contraintes  Propagation  Préférences  Raisonnement  Recherche locale  Recherche opérationnelle  Recherche à voisinage large  Recuit simulé  Relaxation de contraintes  Replanification  Représentation objet  Réseaux neuronaux  Résolution de problème -- Informatique  Satellite de télécommunication  Satellites artificiels dans les télécommunications  Satellites artificiels en télédétection  Satellites d'observation de la Terre  Simplification de problèmes  Solveurs  Structures de données  Systèmes auto-organisés  Systèmes autonomes en énergie  Systèmes d'aide à la décision  Systèmes de télécommunications  Systèmes embarqués  Systèmes experts  Systèmes multi-agents  Systèmes, Analyse de  Temps réel  Terre  Validation  éco-résolution  

Gérard Verfaillie a dirigé les 14 thèses suivantes :

Représentation de la connaissance et formalisation du raisonnement
Soutenue en 1998
Thèse soutenue


Gérard Verfaillie a été président de jury de la thèse suivante :


Gérard Verfaillie a été rapporteur des 2 thèses suivantes :