Rapport d'activité INRIA 2000

Navigation encyclopédique : Liste des termes
suivi multi-caméras / système d'information intégré / système parabolique non linéaire / système physiologique

système d'information intégré

• Action : ORPAILLEUR - Systèmes intelligents de traitement de l'information

système d'information spontané

• Projet : SOLIDOR - Domaines d'applications

système de communication sans fil

• Projet : SOLIDOR - Systèmes d'information pour ordinateurs de poche en environnement mobile

système de dépollution

• Projet : SOSSO - Automatique, Informatique et Automobile

Système de fichiers distribués

• Projet : REMAP - Applications pour le multimédia

système de fonction itérée

• Projet : FRACTALES - Présentation et objectifs généraux

système de gestion de fichiers parallèles

• Projet : PARIS - Gobelins : un système d'exploitation distribué pour des grappes de PC
• Projet : PARIS - Programmation des grappes de calculateurs homogènes
• Projet : PARIS - Programmation des grappes de calculateurs homogènes

système de l'élastodynamique

• Projet : ONDES - Méthodes d'ordre élevé pour les équations des ondes

système de Lure

• Projet : SOSSO - Stabilité et comportement qualitatif des systèmes non linéaires

système de Maxwell

• projet : CAIMAN - Équations intégrales et méthode multipôle rapide en électromagnétisme
• projet : CAIMAN - Électromagnétisme

système de particules

• Projet : OMEGA - Interprétation probabiliste d'équations aux dérivées partielles

système de production

• Projet : MACSI - Évaluation des performances
• Projet : MACSI - Organisation et gestion de production

système de recommandations

• Action : AID - Panorama
• Action : AID - Broadway-1 - Aide personnalisée à la navigation sur le Web
• Action : AID - Logiciels

système de représentation de connaissances par objets

• Action : ORPAILLEUR - Extraction de connaissances et aide à l'interrogation de bases de données chimiques

système de traitement de démonstrations

• Projet : LOGICAL - Développement du système Coq
• Projet : LOGICAL - Développement en Coq

système de transition synchrone

• Projet : EPATR - BDL, un formalisme synchrone déclaratif pour UML

système de transitions à entrées sorties (IOLTS)

• Projet : PAMPA - Génération automatique de tests

système de transitions étiqueté

• Projet : PAMPA - Fondements mathématiques des systèmes réactifs et répartis

système différentiel

• Projet : ALADIN - Équations différentielles ordinaires ou algébriques

système distribué

• Action : AID - Broadway*Tools - Pour la génération de systèmes de recommandations adaptatifs
• Projet : PAMPA - Diagnostic de pannes dans les réseaux de télécommunications (RNRT Magda)
• Projet : PAMPA - Méta-Framework pour Objets Répartis
• Projet : PARIS - Programmation des grappes de calculateurs homogènes
• Projet : RESEDAS - Calculs distribués et échange des données entre processeurs
• 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
• Projet : VASY - Action FormalFame (Dyade)
• Projet : VASY - Contrat Reutel-2000 (Alcatel)
• Projet : VASY - Contrat RNTL Parfums
• Projet : VASY - La boîte à outils CADP
• Projet : VASY - Le compilateur TRAIAN
• Projet : VASY - Technologie des modèles - vérification
• Projet : VASY - Technologie des langages - compilation
• Projet : VASY - Etudes de cas et applications pratiques

système dynamique

• Projet : COMORE - Fondements scientifiques
• Projet : COMORE - Mathématiques de la modélisation
• Projet : MEVAL - Fondements scientifiques
• Avant-projet : TREC - Analyse de protocoles de contrôle de flux dans les réseaux

système dynamique polynomial

• Projet : EPATR - Vérification et synthèse
• Projet : EPATR - Sigali
• Projet : EPATR - Thèmes de recherche
• Projet : EPATR - Vérification et validation
• Projet : EPATR - Synthèse automatique de contrôleurs

système embarqué

• Projet : BIP - Domaines d'applications
• Projet : BIP - Contrôle/commande de systèmes robotiques complexes
• Projet : CAPS - Environnements de développement pour architectures hautes performances
• Projet : COMPOSE - Domaines d'applications
• Projet : COMPOSE - Présentation et objectifs généraux
• Projet : EIFFEL - Domaines d'applications
• Projet : HIPERCOM - AEE
• Projet : SOLIDOR - Domaines d'applications
• Projet : SOLIDOR - Systèmes d'information pour ordinateurs de poche en environnement mobile
• Action : TICK - Systèmes embarqués en avionique/automobile

système enfoui

• Projet : EPATR - Projet IST SafeAir, convention n°100C01490031307005 (01/2000-06/2002)
• Projet : EPATR - Présentation et objectifs généraux
• Projet : EPATR - Contexte des études

système hamiltonien

• Projet : ALADIN - Équations différentielles ordinaires ou algébriques
• Projet : OMEGA - Méthodes numériques probabilistes pour les EDP

système holonôme

• Projet : ICARE - Robots et commande

système homogène

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

système hybride

• Projet : BIP - Contrôle/commande de systèmes robotiques complexes
• Projet : CONGE - Panorama
• Projet : CONGE - Stabilisation des systèmes par feedback
• Projet : EPATR - Problèmes ouverts et perspectives
• projet : NUMATH - Contrôle et Stabilisation
• Projet : SIAMES - Modèles dynamiques de mouvement

système industriel

• Projet : MACSI - Modélisation des systèmes industriels
• Projet : MACSI - Modélisation et synthèse des systèmes industriels

système linéaire fractionnaire

• Projet : SOSSO - Présentation et objectifs généraux
• Projet : SOSSO - Modélisation et commande des systèmes à retards ou à hystérésis

système logique

• Projet : EPATR - Vérification et validation

système mécanique non holonôme

• Projet : MIAOU - Structure et commande des systèmes non-linéaires

système multi-agents

• Projet : ACACIA - Introduction
• Projet : ACACIA - Actions européennes
• Projet : ACACIA - Acquisition des connaissances, multiples points de vue, multi-expertise et ingénierie concourante
• Projet : ACACIA - Serveur de connaissances sur un Web sémantique
• Projet : SIAMES - Modélisation et simulation comportementale

système multimédia

• Projet : HIPERCOM - Garantie déterministe de la qualité de service dans les systèmes multimédia

système nature

• Projet : AIDA - Surveillance de systèmes physiques

système nerveux autonome

• Projet : SOSSO - Automatique, Traitement du signal et Sciences biomédicales
• Projet : SOSSO - Modélisation et commande de systèmes physiologiques.
• Projet : SOSSO - Automatique, Traitement du signal et Sciences biomédicales.

système non holonôme

• Projet : ICARE - Robots et commande

système non linéaire

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

système parabolique non linéaire

• projet : NUMATH - Prédicibilité et simulation numérique pour les modèles océaniques

  ---

  Navigation encyclopédique : Liste des termes
  suivi multi-caméras / système d'information intégré / système parabolique non linéaire / système physiologique