researcher / Philippe Jorrand

Philippe Jorrand

at_id:

orcid_id:

Disciplines:

Applied mathematics
Cognitive sciences
Common sciences and techniques
Computer sciences
Edit Merge See Links

Directed Thesis:

Apprentissage par renforcement utilisant des réseaux de neurones avec des applications au contrôle moteur
Connaissances de haut niveau dans les systèmes hybrides neuro-symboliques
Sur les types de données dans les langages de programmation logico-fonctionnels : Réécriture et surréduction des graphes admissibles
Combinaison d'experts locaux à travers la décomposition de densité
Réseaux neuronaux et modularité
Inss : un système hybride neuro-symbolique pour l'apprentissage automatique constructif
Modèles multi-agents pour l'aide à la décision et la négociation en aménagement du territoire
Modèles neuronaux pour la classification incrémentale de formes visuelles
Sur l'approximation et les systèmes dynamiques dans les réseaux neuronaux : applications en intelligence artificielle
Réseaux de Pétri pour la sémantique et l'implémentation de processus parallèles
Des bisimulations pour la sémantique des systèmes réactifs
Sémantique des systèmes réactifs : raffinement, bisimulations et sémantique opérationnelle structurée dans les systèmes de transitions asynchrones
Contributions à la sémantique du parallélisme : bisimulations pour le raffinement et le vrai parallélisme
Protocoles pour le rendez-vous et l'équité
Une algèbre de processus : pour un calcul basé sur la déduction
Sémantique du parallélisme et logique temporelle : application au langage FP2
Inférence parallèle et processus communicants pour les clauses de Horn : extension au premier ordre par la méthode de connexion
Vérification-correction de programme pour la prise en compte des incertitudes en programmation automatique des robots
La logique dans la programmation : synthèse logique de programmes et langages de programmation logique
Perception multisensorielle de la structure géométrique d'une scène
Fonctions et généricité dans un langage de programmation parallèle
Codage, représentation et traitement du geste instrumental : application à la synthèse de sons musicaux par simulation de mécanismes instrumentaux
Comparaison des comportements des processus communicants : application au langage FP2