Philippe Jorrand
Philippe Jorrand a dirigé les 28 thèses suivantes :
Développement d'une notation algorithmique pour le calcul quantique
par Marie Lalire sous la direction de Philippe Jorrand - Grenoble INPG
Informatique. Systèmes et communications
Soutenue en 2006
Informatique quantique, algorithmes et complexité
par Mehdi Mhalla sous la direction de Philippe Jorrand - Grenoble INPG
Informatique. Systèmes et communications
Soutenue en 2004
Apprentissage par renforcement utilisant des réseaux de neurones avec des applications au contrôle moteur
par Rémi Coulom sous la direction de Philippe Jorrand - Grenoble INPG
Sciences cognitives
Soutenue en 2002
Apprentissage dans une intelligence collective neuronale : application au routage de paquets sur Internet
par Luis Enrique Rocha Mier sous la direction de Philippe Jorrand - Grenoble INPG
Automatique. Productique
Soutenue en 2002
Systèmes multi-agents hybrides : une approche pour la conception de systèmes complexes
par Kelly Christine Correa e Silva Fernandes sous la direction de Michel Occello et de Philippe Jorrand . - Grenoble INPG
informatique
Soutenue en 2001
Connaissances de haut niveau dans les systèmes hybrides neuro-symboliques
par Gerardo Reyes Salgado sous la direction de Philippe Jorrand et de Bernard Amy . - Grenoble INPG
Sciences cognitives
Soutenue en 2001
Sur les types de données dans les langages de programmation logico-fonctionnels : Réécriture et surréduction des graphes admissibles
par Jean-Christophe Janodet sous la direction de Philippe Jorrand - Grenoble INPG
Sciences et techniques communes
Soutenue en 2000
Combinaison d'experts locaux à travers la décomposition de densité
par Ahmed Rida sous la direction de Philippe Jorrand - Grenoble 1
Informatique
Soutenue en 1999
Utilisation des réseaux de neurones artificiels pour la commande d'un véhicule autonome
par Eric Gautier sous la direction de Philippe Jorrand - Grenoble INPG
Informatique. Systèmes et communications
Soutenue en 1999
Inss : un système hybride neuro-symbolique pour l'apprentissage automatique constructif
par Fernando Santos Osório sous la direction de Philippe Jorrand - Grenoble INPG
Informatique
Soutenue en 1998
Réseaux neuronaux et modularité
par Sophie Rouzier sous la direction de Philippe Jorrand - Grenoble INPG
Informatique
Soutenue en 1998
Modèles multi-agents pour l'aide à la décision et la négociation en aménagement du territoire
par Nils Ferrand sous la direction de Philippe Jorrand - Grenoble 1
Informatique
Soutenue en 1997
Sur l'approximation et les systèmes dynamiques dans les réseaux neuronaux : applications en intelligence artificielle
par Abderrahim Labbi sous la direction de Philippe Jorrand - Grenoble INPG
Mathématiques appliquées
Soutenue en 1993
Sémantique des systèmes réactifs : raffinement, bisimulations et sémantique opérationnelle structurée dans les systèmes de transitions asynchrones
par Juan Vicente Echagüe Zappettini sous la direction de Philippe Jorrand - Grenoble INPG
Informatique
Soutenue en 1993
Réseaux de Pétri pour la sémantique et l'implémentation de processus parallèles
par Cyril Autant sous la direction de Philippe Jorrand - Grenoble INPG
Mathématiques appliquées
Soutenue en 1993
Des bisimulations pour la sémantique des systèmes réactifs
par Sophie Pinchinat sous la direction de Philippe Jorrand - Grenoble INPG
Informatique
Soutenue en 1993
Modèles neuronaux pour la classification incrémentale de formes visuelles
par Arnulfo Palacio Azcarraga sous la direction de Philippe Jorrand - Grenoble INPG
Informatique
Soutenue en 1993
Une algèbre de processus : pour un calcul basé sur la déduction
par Zineb Habbas sous la direction de Philippe Jorrand - Grenoble INPG
Informatique
Soutenue en 1992
Protocoles pour le rendez-vous et l'équité
par Xavier Pandolfi sous la direction de Philippe Jorrand - Grenoble INPG
Informatique
Soutenue en 1992
Contributions à la sémantique du parallélisme : bisimulations pour le raffinement et le vrai parallélisme
par Ferroudja Cherief sous la direction de Philippe Jorrand - Grenoble INPG
Informatique
Soutenue en 1992
Sémantique du parallélisme et logique temporelle : application au langage FP2
par Philippe Schnoebelen sous la direction de Philippe Jorrand - Grenoble INPG
Informatique
Soutenue en 1990
Inférence parallèle et processus communicants pour les clauses de Horn : extension au premier ordre par la méthode de connexion
par Maria Blanca Ibáñez sous la direction de Philippe Jorrand - Grenoble INPG
Informatique
Soutenue en 1990
Perception multisensorielle de la structure géométrique d'une scène
par Fano Ramparany sous la direction de Philippe Jorrand , James L Crowley et de Augustin Lux . - Grenoble INPG
Informatique
Soutenue en 1989
Vérification-correction de programme pour la prise en compte des incertitudes en programmation automatique des robots
par Pierre Puget sous la direction de Philippe Jorrand et de Jean Fonlupt . - Grenoble INPG
Informatique
Soutenue en 1989
La logique dans la programmation : synthèse logique de programmes et langages de programmation logique
par Franz Bertram Fronhöfer sous la direction de Philippe Jorrand - Grenoble INPG
Informatique
Soutenue en 1989
Fonctions et généricité dans un langage de programmation parallèle
par Jean-Michel Hufflen sous la direction de Philippe Jorrand - Grenoble INPG
Informatique
Soutenue en 1989
Codage, représentation et traitement du geste instrumental : application à la synthèse de sons musicaux par simulation de mécanismes instrumentaux
par Sylvie Gibet sous la direction de Philippe Jorrand - Grenoble INPG
Informatique
Soutenue en 1987
Comparaison des comportements des processus communicants : application au langage FP2
par Sylvie Rogé sous la direction de Philippe Jorrand - Grenoble INPG
Informatique
Soutenue en 1986
Philippe Jorrand a été président de jury de la thèse suivante :
Du typage vectoriel
par Alejandro Diaz Caro sous la direction de Pablo Arrighi - Grenoble
Informatique
Soutenue le 23-09-2011
Philippe Jorrand a été rapporteur de la thèse suivante :
Un système formel de transformation de programmes pour leur exécution sur machines parallèles
par Xiaobo Yu sous la direction de Traian Muntean - Grenoble INPG
Informatique
Soutenue en 1992
Philippe Jorrand a été membre de jury des 8 thèses suivantes :
Une contribution à l'étude du parallélisme OU en Prolog sur des machines sans mémoire commune
par Claudio Fernando Resin Geyer sous la direction de Jacques Briat - Grenoble 1
Informatique
Soutenue en 1991
Analyse, représentation et traitement du geste instrumental : application aux instruments à clavier
par Christophe Ramstein sous la direction de Claude Cadoz - Grenoble INPG
Informatique
Soutenue en 1991
Vérification de propriétés de programmes flots de données synchrones
par Anne-Cécile Glory sous la direction de Farid Ouabdesselam - Grenoble 1
Informatique
Soutenue en 1989
Synthèse de programmes : connaissances et déduction dans les domaines d'application
par Ramón Brena sous la direction de Paul Jacquet - Grenoble INPG
Informatique
Soutenue en 1989
Validation sémantique dans les théories structurées : application à un langage de programmation générique
par Pascal Drabik sous la direction de Didier Bert - Grenoble INPG
Informatique
Soutenue en 1989
Mise en correspondance d'indices images en résolutions multiples
par Didier Aubert sous la direction de James L Crowley - Grenoble INPG
Informatique
Soutenue en 1989
Laios : un réseau multiprocesseur orienté vers des applications d'intelligence artificielle
par Jean Duprat sous la direction de Bernard Courtois - Grenoble INPG
Microélectronique
Soutenue en 1988
Utilisation du raisonnement géométrique pour la planification en robotique d'assemblage : le système PAMELA
par Pascal Theveneau sous la direction de Christian Laugier - Grenoble INPG
Informatique
Soutenue en 1988
