Equipe-projet TANGRAM Recalage visuel avec des modèles physiquement réalistes Modélisation réaliste, recalage visuel et développement de techniques d'estimation robuste associées...
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 COAST Web Scale Trustworthy Collaborative Service Systems L'arrivée du Cloud, des appareils mobiles et des architectures orientées services a ouvert un champs...
Equipe-projet GAMBLE Géométrie, Algorithmes et Modèles Bien au-delà du Linéaire et de l’Euclidien La géométrie algorithmique classique traite habituellement d'objets linéaires dans un cadre...
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 CARAMBA Cryptology, arithmetic : algebraic methods for better algorithms Nos travaux visent le domaine général d'application de la cryptographie et de la cryptanalyse, d'un...
Equipe-projet LARSEN Autonomie et interaction au long cours pour des robots en environnements potentiellement sensorisés
22–28 novembre 2024 Communication / Événement Semaine internationale de la robotique à Nancy Lieu : centre des Congrès Prouvé, Nancy
26 juin – 6 juillet 2024 Communication / Événement La quinzaine internationale de la logique et du raisonnement automatique se tiendra à Nancy ! Lieu : Centre Inria de l'Université de Lorraine
© 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