Centre de recherche INRIA Sophia Antipolis - Méditerranée

Équipes de recherche

Légende :

• Équipe-projet INRIA

Thème Bio : Systèmes biologiques

• ABS - Algorithmes et Biologie Structurale
• ASCLEPIOS - Analyse et Simulation d'Images Biomédicales
• COMORE - Contrôle et modélisation de ressources renouvelables
• DEMAR - Déambulation et mouvement artificiel
• MERE - Modélisation Et Ressources en Eau
• ODYSSEE - Vision algorithmique et biologique
• VIRTUAL PLANTS - Modélisation de la morphogénèse des plantes à différentes échelles, des gènes aux phénotypes

Thème Cog : Systèmes cognitifs

• ARIANA - Problèmes inverses en observation de la terre et cartographie
• AXIS - Conception, analyse et amélioration de systèmes d'informations dirigées par les usages
• EDELWEISS - Echanges, Documents, Extraction, Languages, Web, Ergonomie, Interactions, Semantique, Serveurs
• PULSAR - Système de perception. d'interprétation et d'apprentissage pour la reconnaissance d'activités
• REVES - Rendu et environnements virtuels sonorisés

Thème Com : Systèmes communicants

• AOSTE - Modèles et méthodes pour l'analyse et l'optimisation des systèmes temps réel embarqués
• LOGNET - Réseaux Logiques : Réseaux de Recouvrement Autonomes et Ordinateurs Globaux et Pervasifs
• MAESTRO - Modèles pour l'analyse des performances et le contrôle des réseaux
• MASCOTTE - Méthodes algorithmiques, simulation, combinatoire et optimisation des télécommunications
• MIMOSA - Migration et mobilité : sémantique et applications
• OASIS - Objets actifs, sémantique, Internet et sécurité
• PLANETE - Protocoles et applications pour l'Internet

Thème Num : Systèmes numériques

• APICS - Analyse et Problèmes Inverses pour le Contrôle et le Signal
• AROBAS - Robotique Avancée et Systèmes Autonomes
• NACHOS - Modélisation numérique et calcul intensif pour des problèmes d'évolution en domaines complexes et milieux hétérogènes
• OPALE - Optimisation et contrôle, algorithmiques numériques et intégration de systèmes complexes multidisciplinaires régis par des EDP
• SMASH - Simulation, modélisation, analyse de systèmes hétérogènes
• TOSCA - Simuler et calibrer des modèles stochastiques
• TROPICS - Transformations et outils informatiques pour le calcul scientifique

Thème Sym : Systèmes symboliques

• COPRIN - Contraintes, optimisation et résolution par intervalles
• EVEREST - Environnements de vérification et sécurité du logiciel
• GALAAD - Géométrie, algèbre, algorithmes
• GEOMETRICA - Calcul géométrique
• MARELLE - Mathématiques, Raisonnement et Logiciel