Midis de la recherche, qu'est ce que c'est ?
Vous souhaitez découvrir l'activité de vos enseignants-chercheurs quand ils sortent de cours et retrouvent leurs labos ? Vous vous demandez en quoi consiste la recherche dans le domaine des mathématiques appliquées et l'informatique ? Participez aux MDR !
Les MDR se déclinent en quatre conférences annuelles, de 13h à 13h45 : 30 minutes seront consacrées à la conférence, présentation d’une activité de recherche d’un de vos enseignant·es, suivies d’un temps d’échanges d’une quinzaine de minutes.
Nous espérons vous voir nombreux à ces conférences !
| Jeudi 20 octobre 2022 13h - Amphi E |
Jean-Sébastien Franco, enseignant chercheur INRIA |
Modèles pour la capture de formes 3D en mouvement avec plusieurs caméras La recherche dans le domaine de la capture de forme 3D en mouvement est particulièrement dynamique ces dernières années, portée par une demande croissante pour la création de contenu 3D à des fins audiovisuelles, ludiques, communicantes ou médicales. Je parlerai de mon parcours dans ce domaine au laboratoire LJK / Inria et présenterai quelques avancées récemment proposées pour l’acquisition de modèles 3D en mouvement, notamment avec la plateforme d’acquisition multi-caméra Kinovis au centre de recherche Inria Grenoble à Monbonnot. |
| Jeudi 8 décembre 2022 13h - Amphi H |
Sylvain Boulmé, enseignant chercheur Verimag |
Comment obtenir des logiciels fiables : l'exemple du compilateur CompCert L'erreur est constitutive du mode de "pensée floue" des humains, qui leur permet d'agir dans un environnement complexe. Ainsi en développement logiciel, magré les "bonnes pratiques", il reste toujours des "bugs", c'est-à-dire des erreurs de programmation. Or, dans le cas des systèmes critiques (e.g. centrales nucléaires), les bugs sont vraiment intolérables. Même le compilateur qui transforme le programmes source en langage machine ne doit pas introduire de bug dans celui-ci. Depuis plus de 4000 ans, les humains construisent un langage pour définir des concepts non-flous et vérifier que leurs raisonnements sur ces concepts sont corrects: la mathématique. Définir de façon mathématique ce langage, c'est le domaine des logiques formelles. L'exposé présentera CompCert (ACM Software System Award 2021), le premier compilateur C avec une preuve mathématique qui formalise sa correction dans la logique formelle de Coq (ACM Software System Award 2013). |
| Jeudi 26 janvier 2022 13h - Amphi E |
Frédéric Wagner, enseignant chercheur LIG |
Abstractions pour le calcul parallèle |
| Jeudi 30 mars 13h - Amphi E |
Sonia Jimenez, enseignant chercheur Laboratoire CERAG |
Evaluation des actifs financiers et choix de portefeuille en asymétrie informationnelle |
| 2 Avril 2020 | Sonia Jimenez-Garcès, enseignant-chercheur Laboratoire CERAG |
Evaluation des actifs financiers et choix de portefeuille lorsque les investisseurs sont différemment informés |
| 5 mars 2020 |
Frédéric Petrot TIMA |
Les réseaux de 'neuneu-rones', ou comment faire bêtement de l'intelligence artificielle. Les réseaux de neurones sont déployés dans toutes les infrastructures informatiques pour réaliser l'inférence : classification, recommandation, reconnaissance, etc. Ces applications exploitent des réseaux "profonds" tournant sur des fermes de CPU ou GPU (il se dit que 80% du temps de calcul total de Facebook serait utilisé à faire ce type de calcul), ce qui consomme une énergie énorme. Nous donnerons un exemple de ce que le matériel ad-hoc peut apporter comme solutions pour diminuer drastiquement la consommation des réseaux de neurones, et permettre un traitement local, qui évite en plus l'échange massif de données vers les serveurs. |
| 6 février 2020 | Wojciech Bienia, enseignant-chercheur Laboratoire G-SCOP Page web |
Comment la Recherche abstraite devient Opérationnelle dans notre réalité quotidienne Montrer quelques axes de recherche théorique de l’équipe Optimisation Combinatoire du laboratoire G-SCOP en mettant en phase les projets “appliqués” réalisés. |
| 9 janvier 2020 | Matthieu Chabanas, Maître de conférences Laboratoire TIMC-IMAG |
Modélisation biomécanique et imagerie médicale pour le guidage chirurgical La médecine et particulièrement la chirurgie sont des domaines d'application où les technologies du numérique, mathématiques, informatiques et robotiques sont devenues omniprésentes. Dans cet exposé, nous présenterons comment aider le chirurgien à planifier et réaliser un geste optimal sur des organes (fortement) déformables comme le cerveau ou le poumon. Deux techniques de recalage d'images pré- et per-opératoires seront notamment présentées. La première vise à estimer une transformation géométriques non-rigide par des méthodes d'apprentissage profond. La seconde repose sur la modélisation biomécanique du comportement en déformation des organes. Un petit voyage à la croisée des chemins entre imagerie, modélisation, simulation numérique et quelque applications concrètes d'assistance chirurgicale... |
| 5 décembre 2020 |
Sylvain Bouveret Laboratoire d'Informatique de Grenoble (LIG) |
Le choix social computationnel -- Quand l'informatique se mêlede démocratie Des décisions collectives, vous en prenez tous les jours.Lorsque vous décidez de la répartition du travail dans votre équipe de projet GL, lorsque vous vous demandez si vous allez plutôt aller manger au RU ou chercher un sandwich au Camion, ou lorsque vous votez pour la liste BDE qui aura cuisiné la meilleure tartiflette à l'ananas. Ces décisions collectives sont également au cœur de nos démocraties, que ce soit pour l'élection de nos représentants politiques ou pour l'affectation de ressources communes (vous vous souvenez d'APB ?). Ces problèmes ont été étudiés depuis la nuit des temps par les philosophes et plus récemment par les économistes. Mais il se pourrait bien également que ce domaine scientifique recèle des problèmes informatiques ardus et excitants. Mieux, il se pourrait même que ces problèmes intéressent de très près certains enseignants-chercheurs du LIG. |
| 7 novembre 2019 | Olivier Gaudoin, enseignant-chercheur Laboratoire Jean Kuntzmann Page web |
Modélisation aléatoire et statistique pour la fiabilité des systèmes L'objectif de cette présentation est de donner une illustration de ce qu'est un travail de recherche en mathématiques appliquées, consistant à développer des méthodes mathématiques innovantes dans le but de résoudre un problème applicatif concret. On s'intéresse ici à la fiabilité des systèmes, qui est une des composantes de la maitrise des risques industriels. Nous montrerons comment des modèles probabilistes et des méthodes d'analyse statistique permettent d'évaluer le vieillissement de systèmes industriels, d'estimer leur durée de vie, ainsi que d'optimiser leur stratégie de maintenance. Nous mettrons l'accent sur le dialogue entre théorie et pratique, entre recherche universitaire et recherche en entreprise." |
| 3 octobre 2019 | Karine Altisen, enseignant-chercheur Laboratoire : Verimag Page web |
Preuves interactives d'algorithmes distribués Notre équipe de recherche conçoit des algorithmes distribués - l'algorithmique des réseaux - et les analyse (conception, preuve formelle, simulation). Dans cet exposé, je montrerai comment utiliser un assistant de preuve appelé Coq pour élaborer la preuve d'un algorithme distribué, l'assistant vérifiant interactivement chaque étape de la preuve. Nous nous intéresserons en particulier à un opérateur travaillant sur un flux d'éléments décrivant la sémantique du système distribué. |
mise à jour le 18 octobre 2022
Nos sites
e-Services
