logo inria

Retour à la page d'accueil

rapport annuel 2000 Le rapport annuel 2000

-----------------------
INRIA - Rapports d'activité 2000

-----------------------

Liste des projets par thème

Liste alphabétique


A3 - Analyse Avancée Appliquée à l'optimisation de code
ACACIA - Acquisition des Connaissances pour l'Assistance à la Conception par Interaction entre Agents
ADP - Algorithmes distribués et protocoles
AID - Gestion des connaissances pour l'aide à la conception coopérative
AIDA - Modélisation et Apprentissage pour l'Interprétation de Données et l'Aide à la décision
AIR - Traitement d'image et données satellites dynamiques
ALADIN - Algorithmes adaptés au calcul numérique intensif
ALGO - Algorithmes
APACHE - Algorithmique Parallèle, Programmation et Répartition de Charge
ARENAIRE - Arithmétique des Ordinateurs
ARIANA - Problèmes Inverses en Observation de la Terre et Cartographie
ARMOR - Architectures et Modèles de Réseaux
ATOLL - ATelier d'Outils Logiciels pour le Langage naturel
BIP - Robot bipède
CAFE - Calcul Formel et Équations
CAIMAN - Calcul scientifique, modélisation et analyse numérique
CALLIGRAMME - Logique Linéaire, Réseaux de Démonstration et Grammaires Catégorielles
CAPS - Compilation, Architecture des Processeurs Superscalaires et Spécialisés
CARAVEL - Systèmes de médiation d'information
CERTILAB - Spécifications formelles, certification de logiciel
CHIR - Chirurgie, informatique et robotique
CODES - Codage et cryptographie
COMORE - Contrôle et Modélisation de Ressources Renouvelables
COMPOSE - Conception de programmes et systèmes adaptatifs
CONGE - Contrôle Géométrique des Systèmes Non Linéaires
CONTRAINTES - Programmation par contraintes
CORTEX - Intelligence neuromimétique
COSI - Conception de systèmes sur silicium
CRISTAL - Programmation typée, modularité et compilation
ECOO - Environnements et COOpération
EIFFEL - Cognition et coopération en conception
EPATR - Environnement de programmation d'applications temps réel
EPIDAURE - Imagerie et robotique médicale
ESTIME - Estimation de paramètres et modélisation en milieu hétérogène
EXMO - Échanges de connaissance structurée médiatisés par ordinateur
FRACTALES - Approche Fractale pour l'Analyse et la Modélisation des Signaux
GAMMA - Génération Automatique de Maillages et Méthodes d'Adaptation
HELIX - Informatique et génomique
HIPERCOM - Communication à hautes performances
I3D - Interaction 3 dimensions
ICARE - Instrumentation, Commande et Architecture des Robots Évolués
IDOPT - Identification et optimisation de systèmes en physique et en environnement
IMAGIS - Modèles, Algorithmes, Géométrie pour le Graphique et l'Image de Synthèse
IMEDIA - Images et Multimédia: Indexation, Recherche et Navigation
IS2 - Inférence statistique pour l'industrie et la santé
ISA - Modélisation, Simulation et Image
LANDE - Conception et validation de logiciels
LANGUE ET DIALOGUE - Dialogue homme-machine à forte composante langagière
LEMME - Logiciels et Mathématiques
LOGICAL - Specification et preuves de programmes
M3N - Multi-Modèles et Méthodes Numériques
MACS - Modélisation, Analyse et Contrôle pour le Calcul des Structures
MACSI - Modélisation, Analyse et Conduite des Systèmes Industriels
MAIA - Machine Intelligente et Autonome
MASCOTTE - Méthodes Algorithmiques, Simulation, Combinatoire et OpTimisation pour les TÉlécommunications
MATHFI - Mathématiques Financières
MERLIN - Méthodes pour l'Ergonomie des Logiciels Interactifs
METALAU - Méthodes, Algorithmes et Logiciels pour L'automatique
MEVAL - Modélisation et Évaluation des Systèmes Informatiques
MIAOU - Mathématiques et Informatique de l'Automatique et de l'Optimisation pour l'Utilisateur
MIMOSA - Migration et Mobilité: Sémantique et Applications
MISTRAL - Modélisation en Informatique et Systèmes de Télécommunications
MOSCOVA - Mobilité, sécurité, concurrence, vérification et analyse
MOVI - Modélisation pour la vision par ordinateur
NUMATH - Analyse Mathématique et Traitement Numérique de Modèles Non linéaires
NUMOPT - Optimisation Numérique
OASIS - Objets Actifs, Sémantique, Internet et Sécurité
OMEGA - Méthodes numériques probabilistes pour les équations aux dérivées partielles et les mathématiques financières
ONDES - Modélisation et Simulation de Phénomènes de Propagation d'Ondes
OPERA - Outils pour les documents électroniques, recherche et applications
ORION - Environnements de résolution de problèmes pour des systèmes autonomes
ORPAILLEUR - Représentations, raisonnements, et extraction de connaissances dans les bases de donneées
PAMPA - Modèles et outils pour la programmation des architectures parallèles réparties
PARAGRAPHE - Parallélisme et graphes
PARIS - Programmation des systèmes pARallèles et dIstribués pour la Simulation numérique à grande échelle
PAROLE - Analyse, Perception et Reconnaissance de la parole
PLANETE - Protocoles et applications pour l'Internet
POLKA - Polynômes, Combinatoire, Arithmétique
PRISME - Géométrie, Algorithmes et Robotique
PROTHEO - Contraintes, Déduction automatique et Preuves de Propriétés de Logiciels
REMAP - Régularité et parallélisme massif
RESEDAS - Outils Logiciels pour les Télécommunications et les Systèmes Distribués
ROBOTVIS - Robotique et Vision par Ordinateur
ROMANS - Relations et objets pour la modélisation du numérique et du symbolique
SAGA - Systèmes Algébriques, Géométrie et Applications
SHARP - Programmation automatique et systèmes décisionnels en robotique
SIAMES - Synthèse d'Images, Animation, Modélisation et Simulation
SIGMA2 - Signaux, modèles et algorithmes
SINUS - Simulation Numérique dans les Sciences de l'Ingénieur
SIRAC - Systèmes Informatiques Répartis pour Applications Coopératives
SOLIDOR - Construction de systèmes et d'applications distribués
SOSSO - Applications et Outils de l'Automatique
SYSDYS - Systèmes Dynamiques Stochastiques
TEMICS - TraitEment, Modélisation d'Images et CommunicationS
TICK - Etude et implémentation des systèmes réactifs synchrones
TREC - Théorie des Réseaux Et Communication
TRIO - Temps Réel et InterOpérabilité
TROPICS - Transformations et Outils Informatiques pour le Calcul Scientifique
VASY - Validation de Systèmes - Recherche et Applications
VERSO - Bases de Données
VISTA - Vision Spatio-Temporelle et Active
webmaster@inria.fr