Rapport d'activité INRIA 2000

Navigation encyclopédique : Liste des termes
reconstruction / réseau de Petri / robotique / robotique embarquée

réseau de Petri

• Projet : MACSI - Évaluation de performances des systèmes à événements discrets
• Projet : MACSI - Modélisation des systèmes industriels
• Projet : MACSI - Synthèse de la commande des systèmes industriels
• Projet : MACSI - Évaluation des performances
• Projet : MACSI - Modélisation et synthèse des systèmes industriels
• Projet : PAMPA - Diagnostic de pannes dans les réseaux de télécommunications (RNRT Magda)
• Projet : PARAGRAPHE - Synthèse des réseaux de Petri et théorie des régions
• Projet : PARAGRAPHE - Graphes de marquages, théorie des régions, synthèse
• Projet : PARAGRAPHE - Réseaux de Petri, logique linéaire
• Projet : SIAMES - Modélisation et simulation comportementale
• projet : SIGMA2 - Modèles partiellement stochastiques pour la surveillance des systèmes distribués
• projet : SIGMA2 - Présentation et objectifs généraux
• projet : SIGMA2 - Surveillance des systèmes distribués
• Avant-projet : TREC - Systèmes à événements-propriétés logiques
• Avant-projet : TRIO - Formalismes et techniques de vérification

réseau de stations

• Projet : RESEDAS - Calculs distribués et échange des données entre processeurs

réseau de télécommunication

• Projet : AIDA - Surveillance de systèmes physiques
• projet : SIGMA2 - Télécommunications : diagnostic de pannes en gestion de réseaux, turbo-codes, décodage conjoint source-canal
• projet : SIGMA2 - Présentation et objectifs généraux

réseau distribuable

• Projet : PARAGRAPHE - Synthèse des réseaux de Petri et théorie des régions

réseau en série

• Avant-projet : TREC - Réseaux de dimension infinie

réseau linéique

• Projet : ARIANA - Etude d'un algorithme MCMC pour la simulation d'un processus ponctuel de Markov, application à des réseaux linéiques
• Projet : ARIANA - Extraction de routes par analyse multi-échelle

réseau neuromimétique

• Avant-projet : CORTEX - Le connexionnisme

réseau programmable

• Projet : RESEDAS - Évolution des protocoles et des réseaux

réseaux

• Projet : ARMOR - Fondements scientifiques

réseaux à haut débit

• Projet : ARMOR - Fondements scientifiques
• Projet : REMAP - Environnements d'exécution haute performance
• Projet : REMAP - Présentation et objectifs généraux

réseaux actifs

• Projet : COMPOSE - PLAN-P
• Projet : COMPOSE - Langages dédiés et leur application aux systèmes d'exploitation
• Projet : RESEDAS - Évolution des protocoles et des réseaux
• Projet : RESEDAS - Présentation et objectifs généraux

réseaux ad-hoc

• Projet : MASCOTTE - Conception de réseaux de communications sans-fil

Réseaux ATM

• Projet : MASCOTTE - Dimensionnement de réseaux haut débit

réseaux cellulaires

• Projet : MASCOTTE - Conception de réseaux de communications sans-fil

réseaux de démonstration

• Projet : PARAGRAPHE - Logique linéaire

réseaux de terrain

• Avant-projet : TRIO - Mécanismes exécutifs et protocoles

réseaux embarqués

• Projet : MASCOTTE - Réseaux embarqués tolérants aux pannes

réseaux maillés

• Projet : ARMOR - Fondements scientifiques

réseaux mobiles sans fil

• Projet : HIPERCOM - Analyse et évaluation de protocoles d'accès au canal et de protocoles de routage dans les réseaux locaux sans fil

réseaux optiques

• Projet : MASCOTTE - Contrat RNRT - PORTO

réseaux sans-fil

• Projet : MASCOTTE - Conception de réseaux de communications sans-fil

Réseaux wdm

• Projet : MASCOTTE - Contrat RNRT - PORTO

résistance aux défaillances

• Projet : ADP - Panorama
• Projet : ADP - EDEN :un service de communication de groupe
• Projet : ADP - Les problèmes d'accord dans les systèmes répartis

résolution

• Projet : PROTHEO - Contraintes
• Projet : PROTHEO - Démonstration automatique
• Projet : SAGA - Bibliothèque ALP
• Projet : SAGA - Lien symbolique-numérique

résolution d'EDP

• Projet : GAMMA - Panorama

résolution de contraintes

• Projet : PROTHEO - Contraintes

résolution de problèmes

• Action : ROMANS - Contexte et objectifs du projet

résolveurs

• Projet : OPERA - Formatage de documents multimédia structurés

ressources renouvelables

• Projet : COMORE - Fondements scientifiques
• Projet : COMORE - Dynamique et contrôle de la pêche et de l'aquaculture

restauration et amélioration d'images

• Projet : ROBOTVIS - Équations aux dérivées partielles et vision précoce

résultant

• Projet : SAGA - Bibliothèque ALP
• Projet : SAGA - Multires, un module autour des résultants en MAPLE

résultant creux

• Projet : SAGA - Géométrie combinatoire et résolution de systèmes polynomiaux

retard

• Projet : MATHFI - Contrôle optimal de systèmes avec retard
• Projet : SOSSO - Modélisation et commande des systèmes à retards ou à hystérésis

retour d'effort

• Projet : EPIDAURE - Bibliothèque libsimplex
• Projet : EPIDAURE - Bibliothèque yav++
• Projet : EPIDAURE - Simulation
• Projet : SIAMES - Interactions haptique et immersion

retour d'état continu

• Projet : ICARE - Stabilisation de robots mobiles et de systèmes non-linéaires

retour haptique

• Avant-Projet : I3D - Présentation et objectifs généraux
• Avant-Projet : I3D - Poignée haptique et plan de travail virtuel

retour pseudo-haptique

• Avant-Projet : I3D - Retour pseudo-haptique
• Avant-Projet : I3D - Tige flexible virtuelle

réutilisation

• Action : AID - Recherche collaborative d'informations sur le Web
• Action : AID - Broadway*Tools - Pour la génération de systèmes de recommandations adaptatifs
• Action : AID - CBR*Tools - Plateforme objet en raisonnement à partir de cas
• Action : AID - Logiciels
• Projet : EIFFEL - Présentation et objectifs généraux

réutilisation d'expériences passées

• Action : AID - Raisonnement à partir de cas

réutilisation de programmes

• Projet : ORION - Pilotage de programmes

réutilisation des usages

• Action : AID - Analyse des usages sur internet/intranet

RGT

• Projet : RESEDAS - Supervision et contrôle
• Projet : RESEDAS - Présentation et objectifs généraux

Risc

• Projet : CAPS - Architecture de processeurs
• Projet : CAPS - Architecture de processeurs (cf. 2.1)

risque financier

• Projet : OMEGA - Mathématiques financières

risque modèle

• Projet : MATHFI - Mathématiques financières
• Projet : MATHFI - Risque modèle pour les produits dérivés

RJMCMC

• Projet : ARIANA - Etude d'un algorithme MCMC pour la simulation d'un processus ponctuel de Markov, application à des réseaux linéiques

robot à pattes

• Projet : ICARE - Robots et commande

robot marcheur

• Projet : BIP - Domaines d'applications

robot mobile

• Projet : BIP - Les robots bipèdes
• Projet : ICARE - Robots et commande
• Projet : ICARE - Stabilisation de robots mobiles et de systèmes non-linéaires
• Projet : MIAOU - Transformations et équivalence des systèmes non-linéaires
• Projet : MIAOU - Stabilisation

robotique

• Projet : BIP - Domaines d'applications
• Projet : BIP - Les robots bipèdes
• Projet : BIP - Logiciels
• Avant-projet : CORTEX - Panorama
• Projet : ICARE - Simparc
• Projet : MIAOU - Stabilisation
• Projet : SAGA - Panorama
• Projet : SAGA - Fondements scientifiques
• Projet : SAGA - Robots parallèles
• Projet : VISTA - Commande référencée vision

  ---

  Navigation encyclopédique : Liste des termes
  reconstruction / réseau de Petri / robotique / robotique embarquée