Rapport d'activité INRIA 2000

Navigation encyclopédique : Liste des termes
spécialisation à l'exécution / suivi multi-caméras / système d'information / système d'information intégré

suivi multi-caméras

• Projet : MOVI - Couplage vision/robotique

suivi temporel

• Projet : EPIDAURE - Analyse du mouvement et des déformations
• Projet : TEMICS - Analyse, modélisation et édition de séquences d'images

superviseur

• Projet : MACSI - Synthèse de la commande des systèmes industriels

supervision

• Projet : AIDA - Modélisation de systèmes (ou d'activités complexes) évoluant dans le temps en vue de leur surveillance en ligne
• Projet : PAMPA - Diagnostic de pannes dans les réseaux de télécommunications (RNRT Magda)
• projet : SIGMA2 - Télécommunications : diagnostic de pannes en gestion de réseaux, turbo-codes, décodage conjoint source-canal

sûreté

• Projet : LANDE - Action Java-Sécurité
• Projet : LANDE - Domaines d'applications
• Projet : LOGICAL - Développement en Coq
• Action : TICK - Xeve

sûreté critique

• Projet : SOLIDOR - Avionique modulaire embarquée

sûreté de fonctionnement

• Projet : ADP - Contrat FT R&D sur les contraintes non-fonctionnelles
• Projet : ADP - Contrat RÉUTEL 2000
• Projet : ARMOR - Fondements scientifiques

surface déformable

• PROJET : AIR - Mise à jour de modèle numérique de terrain au moyen de l'imagerie RADAR

surface Delaunay-admissible

• Projet : GAMMA - Surfaces Delaunay admissibles

surface discrète

• Projet : GAMMA - Maillage de surfaces discrètes

surface interpolante

• PROJET : AIR - Déformation

surface libre

• Projet : M3N - Algorithmes numériques et modélisation pour les fluides avec des frontières mobiles

surface paramétrée

• Projet : GAMMA - Maillage de surfaces paramétrées

surfaces implicites

• Projet : IMAGIS - Animation et modélisation

surveillance

• Projet : AIDA - Surveillance de systèmes physiques
• Projet : AIDA - Aide à la surveillance de systèmes physiques
• projet : SIGMA2 - Présentation et objectifs généraux

surveillance cardiaque

• Projet : AIDA - Surveillance de systèmes physiques

suspensions

• Projet : SOSSO - Automatique, Informatique et Automobile

SVC

• Projet : HIPERCOM - Mise en oeuvre du protocole IPv6 au-dessus d'une infrastructure ATM

SVD

• Projet : ROBOTVIS - Géométrie d'un système de caméras et applications
• Projet : ROBOTVIS - Géométrie d'un système de caméras et applications

symétrie

• Projet : ALADIN - Équations différentielles ordinaires ou algébriques
• Projet : EPIDAURE - Recalage d'images

synchrone

• Projet : PAMPA - Alcatel/Reutel

synchronisation

• Action : CONTRAINTES - Langages concurrents avec contraintes
• Projet : OASIS - Programmation objet, concurrence et répartition
• 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

syntaxe

• Projet : LED - Etude et modélisation de l'usage de la langue

syntaxe abstraite

• projet : TROPICS - Extension d'IL aux constructions objet

synthénie

• Action : HELIX - Présentation et objectifs généraux

synthèse

• 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
• Action : TICK - Esterel

synthèse d'architecture

• Projet : COSI - Panorama
• Projet : COSI - MMAlpha
• Projet : COSI - Synthèse de très haut niveau

synthèse d'image

• Projet : IMAGIS - Visualisation, rendu et simulation de l'éclairage
• Projet : SIAMES - Simulation d'éclairage et synthèse d'image

synthèse de circuits

• Projet : EPATR - Synthèse de circuits et conception de systèmes matériels/logiciels

synthèse de commande

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

synthèse de contrôleur

• Projet : EPATR - Projet Castor, convention n°100C01560031399012 (10/1999-04/2002)
• Projet : EPATR - Vérification et synthèse
• Projet : EPATR - Sigali
• Projet : EPATR - Thèmes de recherche
• Projet : EPATR - Synthèse automatique de contrôleurs

synthèse de sons

• Projet : IMAGIS - Réalité augmentée et réalité virtuelle

synthèse de textes

• Action : ORPAILLEUR - Fouille de textes et analyse de l'information scientifique et technique

synthèse de vues à partir d'images

• Projet : ROBOTVIS - Géométrie d'un ensemble de vues

synthèse en chimie organique

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

système à base de connaissances

• Projet : ACACIA - Introduction
• Action : ORPAILLEUR - Systèmes à bases de connaissances, représentation des connaissances et raisonnements
• Action : ROMANS - Contexte et objectifs du projet

système à événements discrets

• Projet : MACSI - Modélisation des systèmes industriels
• Projet : MACSI - Synthèse de la commande des systèmes industriels
• Projet : MACSI - Modélisation et synthèse des systèmes industriels
• Projet : METALAU - Systèmes à événements discrets et algèbre max-plus
• Projet : METALAU - Systèmes à événements discrets, algèbre max-plus et programmation dynamique
• Projet : METALAU - Transports
• 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 : TRIO - Formalismes et techniques de vérification

système à hystérésis

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

système à retards

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

système adaptatif

• Projet : COMPOSE - Fondements scientifiques
• Projet : COMPOSE - Présentation et objectifs généraux
• projet : SIGMA2 - Identification et approximation stochastique

système algèbrique

• Projet : SAGA - Lien symbolique-numérique

système algébro-différentiel

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

système avec saturation

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

système cardio-respiratoire

• 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 classificatoire

• Action : ORPAILLEUR - Systèmes à bases de connaissances, représentation des connaissances et raisonnements

système complexe

• Projet : MASCOTTE - Contrat OSSA

système critique

• Projet : EPATR - Contexte des études

système d'équations différentielles

• Projet : CAFE - Algorithmes pour équations non linéaires

système d'exploitation

• Projet : COMPOSE - Domaines d'applications
• Projet : COMPOSE - Présentation et objectifs généraux

système d'information

• Projet : LANDE - Actions « amont »
• Projet : MERLIN - Présentation et objectifs généraux

  ---

  Navigation encyclopédique : Liste des termes
  spécialisation à l'exécution / suivi multi-caméras / système d'information / système d'information intégré