Salim Khazem soutiendra sa thèse intitulée Deep-learning and image processing for tree knot detection and prediction dirigée par Cédric PRADALIER et Jérémy FIX (Biscuit) le 29 novembre à 10h dans l'amphi GTE (Green room) de CentraleSupélec Metz. Composition du jury proposé M. Cédric PRADALIER, GeorgiaTech-Europe, Directeur de thèse M. Jérémy FIX, CentraleSupelec, Co-directeur de thèse M. Alexis JOLY, INRIA, Rapporteur Mme Aline DERUYVER, Université de Strasbourg, Rapporteure M. Bertrand KERAUTRET, Université Lumière Lyon 2, Examinateur Mme Isabelle DEBLED-RENNESSON, Université de…
Voir les détails »
Le 30 novembre prochain, le Procès du robot s’installe à la Maison des Fêtes et de la Culture à Blainville-sur-l’Eau, dans le cadre d’une manifestation plus large autour des sciences du numérique, co-organisée par la ludothèque Le Repaire des Castors de Blainville, le centre Inria de l’Université de Lorraine et le Loria. Une après-midi récréative et ludique, à partager entre amis, collègues ou en famille. Nous vous y attendons nombreux ! Un programme riche et surprenant vous est proposé par…
Voir les détails »Huiyuan Kelvin Han (Synalp) will defend his thesis, entitled “Generating and answering questions across text and knowledge graphs", on Monday, December 2nd at 2:30 p.m., in room A008. Abstract: Question generation (QG) is the task of automatically producing a question given some information source containing the answer. It is a subtask within natural language generation (NLG) but is also closely associated with question answering (QA), which is a counterpoint to QG. While QG is concerned with generating the linguistic expression…
Voir les détails »Le prochain séminaire du D2 aura lieu le 3 décembre à 13h00 en salle A008. Orateur : Thibault Gauthier Titre : The Automation of Mathematics in Practice Abstract: This presentation provides an overview of automated systems actively used in proving mathematical theorems, focusing on the practical successes achieved by SAT solvers, first-order theorem provers, and interactive theorem provers. Additionally, we present our progress towards improving automation in areas that are usually considered challenging for proof automation, such as conjecture generation…
Voir les détails »Yoann Coudert--Osmont (Pixel) soutiendra sa thèse intitulée "Champs de repères 2,5D pour la génération de maillages hexaédriques" le 3 decembre à 14h en salle C005. Résumé Un maillage hexaédrique est une représentation discrète d'un volume sous forme d'un ensemble de cellules hexaédriques (polyèdres à six faces quadrangulaires). Les maillages hexaédriques sont la représentation privilégiée de certaines simulations numériques, mais sont malheureusement difficiles à générer de façon entièrement automatique. Des interventions humaines, parfois longues, sont souvent nécessaires pour leur création. L’automatisation…
Voir les détails »
