Rapport d'activité INRIA 2000

Navigation encyclopédique : Liste des termes
topographie / tri / vérification de programme / vérification du locuteur

tri

• Projet : COSI - Algorithmique fondamentale

triangle

• Projet : GAMMA - Logiciel Bamg
• Projet : GAMMA - Logiciel BL2D
• Projet : GAMMA - Logiciel BLMESH
• Projet : GAMMA - Logiciel BLSURF
• Projet : GAMMA - Logiciel Emc2
• Projet : GAMMA - Logiciel FreeFem+

triangulation

• Projet : GAMMA - Publication générale
• Projet : PRISME - Géométrie Algorithmique
• Projet : PRISME - CGAL
• Projet : TEMICS - Analyse, modélisation et édition de séquences d'images

triangulation automatique

• Projet : GAMMA - Logiciel Emc2
• Projet : GAMMA - Logiciel GAMHIC3D
• Projet : GAMMA - Logiciel GHS3D

triangulation de Delaunay

• Projet : PRISME - Géométrie Algorithmique
• Projet : PRISME - CGAL
• Projet : PRISME - Algorithmes géométriques

TROEPS

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

TTCN

• Projet : PAMPA - TGV : un outil de génération automatique de tests de conformité

tuning d'applications

• Projet : CAPS - Environnements de développement pour architectures hautes performances

turbo-code

• 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
• projet : SIGMA2 - Codes correcteurs et modèles graphiques

turbulence

• Projet : M3N - Modélisation, optimisation et contrôle pour les fluides turbulents
• Projet : OMEGA - Méthodes numériques probabilistes en ingéniérie

typage

• Action : AID - Sémantique en conception de systèmes d'informations hypertextes
• Action : AID - Sémantique de sites/services Web
• Action : CONTRAINTES - Environnements de programmation
• Projet : LANDE - Action Java-Sécurité
• Action : MIMOSA - Sémantique de la mobilité

type

• Action : CERTILAB - Preuve de propriétés de langages
• Action : CERTILAB - Résultats
• Projet : LANDE - Actions « aval »

types inductifs

• Projet : LOGICAL - Réduction, réécriture, automatisation

types intersection

• Projet : LOGICAL - Modularité

UDP

• Projet : ARMOR - Fondements scientifiques

UML

• Action : AID - CBR*Tools - Plateforme objet en raisonnement à partir de cas
• Action : AID - Logiciels
• Projet : EPATR - BDL, un formalisme synchrone déclaratif pour UML
• Projet : LANDE - Actions « amont »
• Projet : PAMPA - Convergence SDL-UML (RNRT Convergence)
• Projet : PAMPA - Oural
• Projet : PAMPA - Alcatel/Reutel
• Projet : PAMPA - Gemplus
• Projet : PAMPA - Domaines d'applications
• Projet : PAMPA - Actions régionales
• Projet : PAMPA - UMLAUT : un outil de manipulation de modèles UML

unicast

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

Unix

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

unknown volatility

• Projet : MATHFI - Le modèle UVM: cas extrêmes et payoffs non réguliers

user behaviour

• Action : AID - Analyse des usages

uvm

• Projet : MATHFI - Le modèle UVM: cas extrêmes et payoffs non réguliers

vaisseaux sanguins

• Projet : EPIDAURE - Simulation

valeur propre

• Projet : ALADIN - Problèmes aux valeurs propres
• Projet : SAGA - Bibliothèque ALP
• Projet : SAGA - Lien symbolique-numérique

valeur singulière

• Projet : ALADIN - Problèmes aux valeurs propres

validation

• Projet : PAMPA - Oural
• Projet : PAMPA - UMLAUT : un outil de manipulation de modèles UML
• Projet : RESEDAS - Présentation et objectifs généraux
• Projet : VASY - Contrat Reutel-2000 (Alcatel)
• Projet : VASY - Contrat RNTL Parfums

validation clinique

• Action : CHIR - Planification et simulation de procédures robotiques

validation de code

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

validation temporelle

• Avant-projet : TRIO - Procédés de modélisation

Van-Capelle et Dürrer

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

variété algébrique

• 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

variétés de codimension 2

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

vérification

• Action : AID - Sémantique de sites/services Web
• Projet : BIP - Logiciels
• Action : CONTRAINTES - Environnements de programmation
• Projet : EPATR - Projet IST SafeAir, convention n°100C01490031307005 (01/2000-06/2002)
• Projet : EPATR - Vérification et synthèse
• Projet : EPATR - Sigali
• Projet : EPATR - Contexte des études
• Projet : EPATR - Thèmes de recherche
• Projet : EPATR - Vérification et validation
• Projet : LANDE - Action Java-Sécurité
• Projet : LANDE - Action Castor
• Projet : LANDE - Actions « aval »
• Projet : LANDE - Actions « amont »
• Projet : MOSCOVA - Domaines d'applications
• Projet : MOSCOVA - Interprétation abstraite
• Projet : PAMPA - FormalCard: Validations formelles d'applications embarquées sur cartes à puces
• Projet : PAMPA - Test de conformité et d'interopérabilité
• Projet : PRISME - Calcul géométrique
• Projet : PROTHEO - CALIFE
• Projet : PROTHEO - Domaines d'applications

vérification automatique

• Projet : PROTHEO - CASRUL
• Action : TICK - Méthodes d'analyse et de vérification automatique de systèmes réactifs synchrones
• Action : TICK - Xeve

vérification de programme

• Projet : LEMME - Certification d'algorithmes
• Projet : PROTHEO - Vérification
• Projet : VASY - Action FormalCard (Dyade)
• 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 - Etudes de cas et applications pratiques

  ---

  Navigation encyclopédique : Liste des termes
  topographie / tri / vérification de programme / vérification du locuteur