Equipe-projet SEMAGRAMME Analyse Sémantique de la Langue Le but du projet Sémagramme est la définition et le développement de modèles, méthodes et outils...
Equipe-projet PESTO Techniques de Preuves pour les Protocoles de Sécurité L'objectif de l'équipe PESTO est de concevoir des modèles et techniques pour l'analyse et la...
Equipe-projet VERIDIS Modeling and Verification of Distributed Algorithms and Systems L'équipe projet VeriDis est commune au centre de recherche Inria Nancy–Grand Est, le Max-Planck...
Equipe-projet RESIST Résilience et élasticité pour la mise à l'échelle et la sécurité des systèmes en réseaux dynamiques L'équipe projet RESIST conçoit, développe et valide de nouveaux modèles, algorithmes et outils pour...
Equipe-projet CAMUS Compilation pour les Architectures MUlti-processeurs et multi-coeurS L'équipe CAMUS s'attache à développer, adapter et étendre des techniques de parallélisation et d...
© Photo de Patrick Tomasso sur Unsplash Open science/Open Access LibScience, ouvrir et partager la connaissance 06/02/2024
© Blender Foundation / Inria Informatique graphique La petite histoire d’une technique de création 3D très novatrice 15/11/2023
CC BY 2.0 DEED – S. Kaech, G. Banker, OHSU, Oregon, USA. Neurosciences La diversité neuronale, un antidote possible contre les maladies neurologiques 25/10/2023
Opensource/Logiciel libre La bibliothèque logicielle open source CGAL fait entrer la recherche en géométrie algorithmique dans l'industrie 09/10/2023
Communiqué de presse Inria et l’Université de Lorraine renforcent leur collaboration à travers la construction du « Centre Inria de l’Université de Lorraine » 22/09/2023
© Source : gallica.bnf.fr / Bibliothèque nationale et universitaire de Strasbourg Machine learning Apollon veut décrypter La Politique d’Aristote 23/08/2023