Abstraction  Acquisition Constructive de Connaissances  Action invisible  Algèbre de processus  Aménagement du territoire  Appariement  Apprentissage Automatique  Artificial Intelligence  Artificial Neural Networks  Bisimulation  Bisimulation probabiliste  Calcul quantique  Capteurs  Cascase-Corrélation  Clauses de horn  Cliques maximales  Code  Communicating process  Compilation  Comportement rendez vous  Composition  Connaissances  Connexionnisme  Constructive Knowledge Acquisition  Dating behavior  Description  Dialogue homme-machine  Distributed system  Divergence  Déduction  Exceptions  FP2 language  Flots de données  Fp2  Functional language  Geste instrumental  Gestion de l'environnement  Généricité  Géométrie  Hybrid Neuro-Symbolic Systems  Héritage  Imprécision  Incertitude  Incremental ANN  Infographie  Informatique musicale  Informatique quantique  Inférence parallèle  Insertion et Extraction de Règles  Inss  Intelligence Artificielle  Intelligence artificielle  Intelligence artificielle répartie  Interleaving  Intégration  Lambda calcul algébrique  Langage FP2  Langage fonctionnel  Langage fonctionnel et parallèle  Langage fp2  Langages de programmation  Langages de programmation fonctionnelle  Logiciels -- Évaluation  Logique mathématique  Logique modale  Logique temporelle  Logiques modales  Logiques temporelles  Lois algébrique de transformation  Machine Learning  Machine paralléle  Machines parallèles  Modèle avec partage de variable  Modèle physique  Modélisation  Modélisation géométrique  Mouvements fins d'assemblage  Multi-capteurs  Multi-résolution  Multiprocesseurs  Mémoire distribuée  Méthode de connexion  Opera  Parallelism  Parallelisme  Parallélisme  Parallélisme  Perception  Pics de Laplacien  Placement de programmes  Planification de mouvements  Processus communicant  Programmation  Programmation automatique  Programmation automatique des robots  Programmation logique  Programmation parallèle  Programmation parallèle  Programmation transformationnelle  Programming language  Prolog  Prolog  Protocoles  Raisonnement géométrique  Reconnaissance des formes  Relations topologiques  Rendez-vous  Robotique  Rule Compilation and Extraction  Régulation adaptive  Réseau Connexionniste Incrémental  Réseaux de Neurones Artificiels  Réseaux de pétri  Réseaux neuronaux  Schéma  Segmentation  Semantique  Simulation, Méthodes de  Son  Spécification  Spécification algébrique  Sta  Synchronisation  Synchronisme  Synchronization  Synthèse de programmes  Système Hybride Neuro-Symbolique  Système de preuve  Système de transformation  Système de transition  Système réparti  Systèmes experts  Systèmes réactifs  Systèmes temps réel  Sémantique  Sémantique close  Sémantique du parallélisme  Sémantique non close  Temps réel  Theorie des types  Thèses et écrits académiques  Théorie de la démonstration  Transformation de programmes  Transition  Vision par ordinateur  Vérification  Vérification formelle  équité  

Philippe Jorrand a dirigé les 28 thèses suivantes :

Informatique. Systèmes et communication
Soutenue en 2006
Thèse soutenue

Informatique. Systèmes et communications
Soutenue en 2004
Thèse soutenue

Sciences et techniques. Chimie
Soutenue en 2001
Thèse soutenue

Informatique
Soutenue en 1998
Thèse soutenue

Informatique
Soutenue en 1998
Thèse soutenue

Inform.
Soutenue en 1993
Thèse soutenue

Informatique
Soutenue en 1993
Thèse soutenue
Mathématiques appliquées
Soutenue en 1993
Thèse soutenue
Informatique
Soutenue en 1992
Thèse soutenue


Philippe Jorrand a été président de jury de la thèse suivante :

Informatique
Soutenue le 23-09-2011
Thèse soutenue

Philippe Jorrand a été rapporteur de la thèse suivante :


Philippe Jorrand a été membre de jury des 8 thèses suivantes :

Informatique
Soutenue en 1991
Thèse soutenue
Informatique
Soutenue en 1989
Thèse soutenue