Assemblages d’éléments physiques et de composants logiciels, les systèmes cyber-physiques deviennent de plus en plus complexes. Pour continuer à les modéliser, il faut donc envisager un changement de paradigme. C’est l’objectif de ModeliScale, un projet coordonné par Inria autour de six équipes de recherche. Les travaux en cours ont permis…
Pour économiser la batterie, les applications embarquées doivent consommer le minimum d’énergie et fonctionner avec une faible empreinte mémoire. D’où la nécessité d’optimiser le code afin d’alléger le travail du processeur. Dans ce domaine, des résultats de recherche d’Inria et de l’IETR vont aboutir à la création d’une startup autour…
Lauréat 2019 d’une bourse du Conseil européen de la recherche (ERC), le projet Stuod vise à concevoir de nouveaux outils mathématiques pour estimer la variabilité et l’incertitude dans la modélisation des couches océaniques supérieures, un thème qui trouve une résonnance particulière à l’aune du réchauffement climatique. Ces recherches pluridisciplinaires vont…
Logiciel open source apparu vers 2006 pour gérer les données massives, Hadoop est vite devenu l’outil de prédilection des géants du Web. Parfaitement adapté pour les données en lots, il peine en revanche à traiter les flux de données. Par exemple, celles produites par la voiture autonome. Des alternatives ont…
Les Jeux Olympiques et Paralympiques d’été 2024 se dérouleront à Paris. Les organismes publics de recherche vont contribuer à la préparation des sportifs. Inria participe à ce mouvement en apportant aux fédérations les dernières innovations du domaine numérique. 80 médailles françaises. Soit deux fois plus qu’aux précédentes éditions. C’est l’objectif…
Les Bourses L’Oréal-Unesco Pour les Femmes et la Science récompensent de jeunes chercheuses talentueuses. Postdoctorante au centre Inria Rennes – Bretagne Atlantique et spécialiste en mathématiques, Marie Kerjean est l’une des lauréates du millésime 2019. Elle travaille actuellement sur l’assistant de preuve Coq. Une prépa à Paris et l’ENS Lyon…
Dans les années à venir, les avatars peupleront toutes sortes d’applications de réalité virtuelle. Mais pour l’instant, difficile de parvenir vraiment à s’incarner dans ces personnages ou d’interagir par leur biais. Trop d’obstacles subsistent. Lancé pour améliorer l’expérience utilisateur, l’Inria Project Labs Avatar se propose d’apporter une série d’améliorations tout…
Financé par l’UE et coordonné par Inria, le consortium Stamp vise à générer des tests automatiques pour DevOps. Cette automatisation permettrait de réduire le risque d’envoyer un bug en production. Démarré voici plus de deux ans, le projet a élaboré plusieurs outils innovants déjà disponibles en téléchargement, comme l’explique Caroline…
Startup créée en 2015 dans le prolongement de travaux menés au centre de recherche Inria Rennes – Bretagne Atlantique, Imatag développe plusieurs technologies innovantes qui permettent aux photographes et entreprises de presse de protéger leurs images d’une façon unique. Sa solution de traçabilité numérique se fait encore plus pertinente au…
Dans l’ouest canadien, sur la côte Pacifique, la Colombie-Britannique connaît de fréquents séismes. Le Ministère des Transports et des Infrastructures de la province et l’université (UBC) ont lancé ensemble un programme pour instrumenter les ponts et autres ouvrages afin de surveiller les dégâts potentiels après ces tremblements. Dans ce cadre,…
