Jorrand, Philippe, 19..-...., informaticien
Jorrand, Philippe.
Jorrand, Ph.
Jorrand, Ph. (Philippe)
Philippe Jorrand
VIAF ID: 30199241 ( Personal )
Permalink: http://viaf.org/viaf/30199241
Preferred Forms
- 100 1 _ ‡a Jorrand, Ph
-
-
-
- 100 1 0 ‡a Jorrand, Ph. ‡q (Philippe)
-
-
-
-
- 100 1 _ ‡a Jorrand, Philippe
-
- 100 1 _ ‡a Jorrand, Philippe, ‡d 19..-...., ‡c informaticien
-
- 100 0 _ ‡a Philippe Jorrand
4xx's: Alternate Name Forms (7)
Works
Title | Sources |
---|---|
Abstraction, partage de structure et retour arrière non aveugle dans la méthode de réduction matricielle en démonstration automatique de théorèmes | |
Une algèbre de processus : pour un calcul basé sur la déduction | |
Analysis, representation and treatment of the instrumental gesture. | |
Apprentissage par renforcement utilisant des réseaux de neurones avec des applications au contrôle moteur | |
Artificial intelligence II : methodology, systems, applications : proceedings of the Second International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA '86) Varna, Bulgaria, 16-19 September, 1986 | |
Codage, représentation et traitement du geste instrumental : application à la synthèse de sons musicaux par simulation de mécanismes instrumentaux | |
Communication et connaissance : supports et médiations à l'âge de l'information | |
Comparison of communicating process behaviours: application to the language FP2. | |
Connaissances de haut niveau dans les systèmes hybrides neuro-symboliques | |
Contribution à l'étude des techniques de communication graphique avec un ordinateur : éléments de base des logiciels graphiques interactifs | |
Une contribution à l'étude du parallélisme OU en Prolog sur des machines sans mémoire commune | |
Contribution au développement des langages extensibles | |
Contribution to the design of and or-parallel prolog on a distributed memory multiprocessor. | |
Contributions à la sémantique du parallélisme : bisimulations pour le raffinement et le vrai parallélisme | |
Development of a mathematical notation for quantum computation. | |
Développement d'une notation algorithmique pour le calcul quantique | |
E.A.O. et enseignement de la programmation : une maquette de didacticiel | |
FAIR'91 | |
Functions and genericity in a parallel programming language. | |
Fundamentals of artificial intelligence : an advanced course | |
Informatique quantique, algorithmes et complexité | |
Inss : a hybrid neuro-symbolic system for constructive machine learning. | |
INSS : un système hybride neuro-symbolique pour l'apprentissage automatique constructif | |
Int. Wkshp. FAIR '91 (1991 : Smol., Czech.). Fund. of art. int. res., c1991: | |
LAIOS : un réseau multiprocesseur orienté vers des applications d'intelligence artificielle | |
Un langage de description et de programmation de systèmes de conduite de procédés industriels | |
Learning in a neural collective intelligence : Internet packet routing application. | |
Mise en correspondance d'indices images en résolutions multiples | |
Modèles multi-agents pour l'aide à la décision et la négociation en aménagement du territoire | |
On approximation and dynamical systems theories in neurol networks. Applications in Artificial Intelligence. | |
On vectorial typing. | |
Outils transportables d'aide à la réalisation d'un compilateur de langage de commande réseau | |
Parallel inference and communicating processes for the Horn clauses | |
Perception multisensorielle de la structure géométrique d'une scène | |
A process algebra for a deduction based computation. | |
Processus communicants : un langage formel et ses modèles : problèmes d'analyse | |
Programmation fonctionnelle en Sheme [sic] : de la conception à la mise en oeuvre | |
Programmation parallèle et programmation fonctionnelle : propositions pour un langage | |
Protocoles pour le rendez-vous et l'équité | |
Protocols for rendez-vous and fairness | |
Quantum computing, algorithms and complexity. | |
Quelques problèmes de restructuration dans un environnement paginé | |
Reinforcement learning using neural networks with applications to motor control. | |
Réseaux de Pétri pour la sémantique et l'implémentation de processus parallèles | |
Réseaux neuronaux et modularité | |
Réunion GROPLAN (GROupe Programmation et LANgages de l'AFCET). Panorama des langages d'aujourd'hui. Cargèse (Corse), 14-22 mai 1979 | |
Selected papers of the 5th Soviet-French Symposium on Theoretical Computer Science, Methods and Tools for Compilation, and Program Development (Informatika '91), Grenoble, France, October 1991 | |
Sémantique des systèmes réactifs : raffinement, bisimulations et sémantique opérationnelle structurée dans les systèmes de transitions asynchrones | |
Sémantique du parallélisme et logique temporelle : application au langage FP2 | |
Sémantique relationnelle des programmes non-déterministes et des processus communicants | |
Spécifications et manipulations des programmes : cas d'un ensemble de formes bilinéaires | |
Sur les types de données dans les langages de programmation logico-fonctionnels : Réécriture et surréduction des graphes admissibles | |
Synthèse de programmes : connaissances et déduction dans les domaines d'application | |
Le Système CESAR : description, spécification et analyse des applications réparties | |
Un système formel de transformation de programmes pour leur exécution sur machines parallèles | |
Systèmes multi-agents hybrides : une approche pour la conception de systèmes complexes | |
Types et objets dans un système multi-langage | |
Using geometric reasoning for planning in the context of assembly robotics : the PAMELA System | |
Utilisation des réseaux de neurones artificiels pour la commande d'un véhicule autonome | |
Utilisation du raisonnement géométrique pour la planification en robotique d'assemblage : le système PAMELA | |
Validation sémantique dans les théories structurées : application à un langage de programmation générique | |
Vérification-correction de programme pour la prise en compte des incertitudes en programmation automatique des robots | |
Vérification de propriétés de programmes flots de données synchrones |