Rapport d'activité INRIA 2000

Navigation encyclopédique : Liste des termes
segmentation / signalement actif / spécialisation / spécialisation à l'exécution

signalement actif

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

signalisation ATM

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

signature

• Projet : TEMICS - Tatouage d'images
• Projet : TEMICS - Tatouage d'images

signatures spécifiques

• Avant-projet : IMEDIA - Descripteurs d'images  : Bases spécifiques

signaux musicaux

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

signe

• Projet : SOSSO - Modélisation et commande des systèmes à retards ou à hystérésis

Sildex

• Projet : EPATR - Projet IST SafeAir, convention n°100C01490031307005 (01/2000-06/2002)
• Projet : EPATR - TNI
• Projet : EPATR - Environnement de programmation Signal

silicium

• Projet : COSI - Panorama

sillons corticaux

• Projet : EPIDAURE - Recalage d'images

similarité perceptuelle

• Avant-projet : IMEDIA - Recherche interactive
• Avant-projet : IMEDIA - Requêtes partielles

similarités visuelles

• Avant-projet : IMEDIA - Indexation multimédia

simplification

• Projet : GAMMA - Logiciel YAMS

simulateur

• Projet : SIAMES - Délinéateurs intelligents

simulateur distribué

• Projet : SIAMES - Plate-forme de simulation

simulateur temps réel

• Projet : SIAMES - Plate-forme de simulation

simulation

• Projet : AIDA - Aide à la surveillance de systèmes physiques
• Projet : ALADIN - Panorama
• Projet : ARMOR - Fondements scientifiques
• Projet : CAPS - Simulation de processeurs et collecte de traces
• Projet : CAPS - Environnement pour architectures hautes performances (cf. 2.2)
• Projet : EPIDAURE - Bibliothèque libsimplex
• Projet : EPIDAURE - Bibliothèque yav++
• Projet : GAMMA - Actions européennes
• Action : HELIX - Présentation et objectifs généraux
• Projet : HIPERCOM - Méthodologie de l'évaluation des algorithmes de télécommunications
• Avant-Projet : I3D - Portage de la plate-forme GASP sur le plan de travail virtuel
• Projet : ICARE - Simparc
• Projet : IMAGIS - Animation et modélisation
• Projet : MACSI - Évaluation de performances des systèmes à événements discrets
• Projet : MACSI - Évaluation des performances
• Projet : MASCOTTE - Contrat OSSA
• Projet : MASCOTTE - Simulation de trafic routier
• Projet : RESEDAS - Supervision et contrôle
• Action : ROMANS - Contexte et objectifs du projet
• Projet : SIAMES - CSTB Grenoble : simulation de propagation d'ondes radioélectriques
• Projet : SIAMES - Les simulateurs pour la recherche dans le domaine des transports
• Projet : SIAMES - Modèles dynamiques de mouvement
• Avant-projet : TREC - Simulateur de l'interaction d'un grand nombre de sources TCP
• Avant-projet : TREC - Analyse de protocoles de contrôle de flux dans les réseaux
• projet : TROPICS - Différentiation Automatique
• Projet : VASY - Contrat Reutel-2000 (Alcatel)

simulation à événements discrets

• Projet : MASCOTTE - Simulation

simulation biologique

• projet : NUMATH - Chimie moléculaire

simulation chirurgicale

• Projet : IMAGIS - Animation et modélisation

simulation comportementale

• Projet : SIAMES - Délinéateurs intelligents

simulation d'éclairage

• Projet : IMAGIS - Visualisation, rendu et simulation de l'éclairage
• Projet : SIAMES - CSTB : simulation d'éclairage
• Projet : SIAMES - Les environnements architecturaux et urbains
• Projet : SIAMES - Simulation d'éclairage et synthèse d'image
• Projet : SIAMES - Logiciel de simulation d'éclairage
• Projet : SIAMES - Structuration de scènes

simulation de micro-architecture

• Projet : CAPS - Calvin2+DICE: génération de traces au vol pour la simulation de microarchitecture

simulation de Monte Carlo

• Projet : FRACTALES - Simulations de Monte Carlo parallèles compétitives

simulation de 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

simulation de réservoir pétrolier

• Projet : ESTIME - Ecoulement et transport en milieu poreux pour les problèmes d'environnement

simulation de système mécanique

• Projet : BIP - Les robots bipèdes

simulation de systèmes à événements discrets

• Projet : MASCOTTE - Simulation et systèmes à événements discrets

simulation événementielle

• Projet : SIAMES - Modélisation et simulation comportementale

simulation interactive

• Projet : IMAGIS - Visualisation, rendu et simulation de l'éclairage

simulation moléculaire

• Projet : FRACTALES - Simulations de Monte Carlo parallèles compétitives

simulation numérique distribuée

• Projet : PARIS - Simulation numérique distribuée
• Projet : PARIS - Programmation d'une grappe hétérogène de calculateurs

simulation répartie

• Projet : MASCOTTE - Simulation

sismique

• Projet : ESTIME - Inversion sismique

sites éducatifs

• Action : AID - Panorama

sites institutionnels

• Action : AID - Panorama

sites Web

• Action : AID - Sémantique en conception de systèmes d'informations hypertextes
• Action : AID - Présentation et objectifs généraux
• Action : AID - Sémantique de sites/services Web

SMIL

• Projet : OPERA - Modèles de documents multimédia adaptables
• Projet : OPERA - Environnement auteur/lecteur de documents multimédia structurés
• Projet : OPERA - Modèle de documents multimédia

SNA

• Projet : SOSSO - Automatique, Traitement du signal et Sciences biomédicales.

snakes géodésiques

• Projet : ROBOTVIS - Outils pour l'Imagerie cérébrale

SNMP

• Projet : RESEDAS - Évolution des protocoles et des réseaux
• Projet : RESEDAS - Supervision et contrôle

solution de viscosité

• Projet : MATHFI - Gestion de portefeuille dans un marché gouverné par des processus de diffusion avec sauts

solution périodique

• Projet : SOSSO - Modélisation des systèmes à hystérésis
• Projet : SOSSO - Analyse et commande de systèmes à hystérésis ou à retards
• Projet : SOSSO - Stabilité et comportement qualitatif des systèmes non linéaires

solution singulière

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

solution statistique d'EDP

• Projet : OMEGA - Vitesse de convergence optimale de l'algorithme particulaire pour les équations de conservation scalaires

solutions analytiques

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

solutions en forme close

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

solutions liouvilliennes

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

solveur de Roe

• projet : CAIMAN - Électromagnétisme

solveurs de contraintes

• Action : CONTRAINTES - Langages concurrents avec contraintes

sonar

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

sous-domaine

• projet : CAIMAN - Mécanique des fluides et problèmes connexes

sous-typage

• Projet : LOGICAL - Modularité

spécialisation

• Projet : COMPOSE - Fondements scientifiques
• Projet : COMPOSE - JSCC, un compilateur de classes de spécialisation
• Projet : COMPOSE - JSpec, un spécialiseur pour Java
• Projet : COMPOSE - Présentation et objectifs généraux
• Projet : COMPOSE - Principes, techniques et outils de spécialisation

  ---

  Navigation encyclopédique : Liste des termes
  segmentation / signalement actif / spécialisation / spécialisation à l'exécution