Les méthodes formelles ont le vent en poupe dans le domaine des assistants de preuve chargés de vérifier l’exactitude des logiciels. En revanche, il existe peu d’outils permettant aux mathématiciens de prouver des théorèmes à l’aide du calcul formel, aussi appelé calcul symbolique. Membre de l’équipe de recherche Gallinette* à…
Le nombre de vidéos sur le web explose. Leur stockage consomme de plus en plus d’énergie. Au point d’en devenir un problème environnemental. Les algorithmes de compression ne peuvent guère alléger le fardeau car ils s’évertuent à restituer fidèlement les données d’origine. D’où le besoin d’un paradigme radicalement différent qui…
Actuellement en maturation dans le Startup Studio d’Inria, Sonaide est un projet d’entreprise dont la technologie décèle les premiers signes annonciateurs de la perte d’autonomie chez les personnes âgées. À leur domicile, un boîtier équipé d’une intelligence artificielle analyse les bruits domestiques du quotidien pour repérer les changements d’habitudes. La…
Réchauffement climatique oblige, il devient essentiel d’aller vers une compréhension fine de la dynamique océanique. Cette meilleure précision exige des modèles de nouvelle génération alliant la physique déterministe, les méthodes stochastiques et l’intelligence artificielle. C’est pour combiner ces différentes approches que l’équipe commune Odyssey vient de voir le jour. Elle…
Nous immerger au milieu d’humains virtuels qui vaquent à leurs occupations habituelles pour ensuite étudier notre comportement dans ces scènes : telle est la vocation de VirtUS, une nouvelle équipe de recherche au centre Inria Rennes – Bretagne Atlantique. Les scientifiques ont effectué une démonstration de leur simulateur lors du…
Co-rédigé par 32 chercheurs*, l’ouvrage s’interroge sur la meilleure façon de mettre les sciences du numérique au service d’une agriculture plurielle. Il passe en revue l’état de l’art, analyse les opportunités à saisir, pointe les défis à relever, signale les risques, puis suggère cinq grandes orientations de recherches. Capteurs dans…
Devenue très réaliste, l’apparence des avatars n’est pas toujours des plus adaptée pour les applications qui ne sont pas conçues pour le divertissement. Parfois même, elle suscite des évaluations négatives chez l’utilisateur. Une partie du problème ne vient pas de la représentation visuelle en soit, mais plutôt de la façon…
La simulation scientifique recourt de plus en plus à l’Intelligence Artificielle (IA) pour analyser des données dont les volumes, eux, ne cessent d’augmenter, exigeant au passage toujours plus de ressources en Calcul Haute Performance (HPC). Difficile pourtant d’organiser ce triptyque Big Data-IA-HPC en raison de l’enchevêtrement des différentes piles logicielles…
Lancé il y a plus 30 ans par Inria, Coq sert à prouver la correction de programmes et de théorèmes. Il vient de franchir une étape importante avec l’ajout de nouvelles fonctionnalités améliorant sa façon d’aborder la notion d’égalité. Il devient ainsi plus facile à utiliser pour les non-spécialistes, y…
Du 30 septembre au 2 octobre 2021, le centre de recherche Inria Rennes – Bretagne Atlantique organisait son premier hackAtech : un ‘speed dating’ événement d’Open Innovation technologique pour faire naître des projets d’entreprises basés sur les résultats scientifiques de l’institut. À la clé : la possibilité de bénéficier de…
