Inria
Inria.fr
Inria Channel
Equipes de recherche du centre Paris - Rocquencourt
Mathématiques appliquées, calcul et simulation
Modèles et méthodes stochastiques
Modélisation, simulation et analyse numérique
- CAD - Computer Aided Design
- GAMMA3 - Génération automatique de maillages et méthodes avancées
- MICMAC - Méthodes et ingénierie du calcul multi-échelle de l'atome au continuum
Optimisation, apprentissage et méthodes statistiques
Algorithmique, programmation, logiciels et architectures
Programmation, vérification et preuves
- ABSTRACTION - Interprétation abstraite et analyse statique
- CONTRAINTES - Programmation par contraintes
- DEDUCTEAM - Deduction modulo, interopérabilité et démonstration automatique
- FORMES - Méthodes Formelles pour les Systèmes Embarqués
- GALLIUM - Langages de programmation, types, compilation et preuves
- MOSCOVA - Mobilité, sécurité, concurrence, vérification et analyse
- PI.R2 - Conception, étude et implémentation de langages pour les preuves et les programmes
- PROSECCO - Programming securely with cryptography
Algorithmique, calcul certifié et cryptographie
- ALGORITHMS - Algorithmes
- CASCADE - Conception et Analyse de Systèmes pour la Confidentialité et l'Authentification de Données et d'Entités
- CRYPT - Cryptanalyse
- OURAGAN - OUtils de Résolution Algébriques pour la Géométrie et ses ApplicatioNs
- POLSYS - Polynomial Systems
- SECRET - Sécurité, Cryptologie et Transmissions
Systèmes embarqués et temps réel
Réseaux, systèmes et services, calcul distribué
Réseaux et télécommunications
- GANG - Réseaux, graphes et algorithmes
- HIPERCOM - Communication hautes performances
- RAP - Réseaux, algorithmes et probabilités
- TREC - Théorie des réseaux et communications
Systèmes et services distribués
Perception, cognition, interaction
Vision, Perception et interprétation multimédia
- IMEDIA2 - Images et multimédia : indexation, navigation et recherche
- WILLOW - modèles de la reconnaissance visuelle d'objets et de scènes
Représentation et traitement des données et des connaissances
- AXIS - Conception, analyse et amélioration de systèmes d'informations dirigées par les usages
- SMIS - Systèmes d'informations sécurisés et mobiles
Robotique
Langue, parole et audio
STIC pour les sciences de la vie et de l'environnement
Observation et modélisation pour les sciences de l'environnement
- ANGE - Analyse Numérique, Géophysique et Ecologie
- CLIME - Couplage de la donnée environnementale et des modèles de simulation numérique pour une intégration logicielle
- POMDAPI - Modélisation pour l'environnement, optimisation et modèles de programmation
Observation, modélisation et commande pour le vivant
- BANG - Analyse numérique de modèles non linéaires pour la Bio et Géophysique
- REO - Simulation numérique d'écoulements biologiques
- SISYPHE - SIgnaux et systèmes en PHysiologie et ingénieriE
Images, modèles et algorithmes pour la médecine et les neurosciences
Rechercher une équipe
Par centre de recherche Inria
