Aéronautique, spatial, transport, énergie : les structures mécaniques deviennent de plus en plus performantes, élancées et légères. Conséquence : la vibration peut s’inviter. Quand cette dynamique est non-linéaire, il existe ce que l’on appelle des ‘bifurcations’ : plusieurs scénarios vibratoires notablement différents coexistent à l’insu de l’ingénieur. Avec tous les…
Recrutée par le Centre Inria de l’Université de Rennes dans le cadre d’une Chaire professeur junior nommée Modéliterre, la mathématicienne Hélène Hivert va s’intéresser aux problèmes de modélisation rencontrés par les scientifiques de géosciences, en particulier dans le domaine de l’hydrologie. Objectif à terme : structurer un groupe de recherche…
Dans le monde, de nombreux pipe-lines ont été assemblés pour assurer l’acquisition des images cérébrales puis le post-traitement des données en préambule à leur analyse. Mais en fonction de la chaîne utilisée, le résultat final peut s’avérer… notablement différent. Au centre Inria de l’université de Rennes, l’action exploratoire Grasp vise…
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* à…
Depuis le 1er novembre, Patrick Gros est devenu le nouveau directeur du centre de recherche Inria Rennes – Bretagne Atlantique. Chercheur confirmé, il a piloté pendant six ans le centre Inria Grenoble – Rhône-Alpes. Il relève aujourd’hui un nouveau défi en succédant à Stéphane Ubéda et fait le point sur…
En comparant automatiquement des myriades de données, les algorithmes d’IA produisent de la connaissance qui leur permet ensuite d’effectuer des prédictions et de prendre des décisions. Leurs choix impactent de plus en plus notre vie quotidienne. Problème : dans l’état actuel de cette technologie, la décision manque de transparence. L’être…
Comment faire croire à un humain qu’il évolue dans un monde virtuel ? C’est la question que se pose Anatole Lécuyer, chercheur au centre Inria Rennes – Bretagne Atlantique. Le scientifique publie ces jours-ci un livre grand public dans lequel il raconte son étrange métier d’illusionniste et les non moins…
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…
