Catégorie : c@fé-in

19 Décembre 2013, 13h-14h, salle Euler violet, par  Laurent Théry

L’apparition des ordinateurs a quelque peu modifié la vision traditionnelle de ce qu’est une preuve mathématique. Dans cet exposé, nous illustrerons ce nouvel état de fait par quelques exemples élémentaires dont le célèbre cube de Rubik. Ensuite, nous essaierons de montrer comment informatiquement on peut accompagner cette nouvelle façon de faire des mathématiques.

13h : accueil avec café, thé et petits gâteaux.
13h05-13h55 : présentation et discussion.

21 Novembre 2013, 13h – 14h, salle caféteria extension, par Frédéric Precioso

Ce café-in sera l’occasion de présenter certains des succès de l’apprentissage automatique (machine learning) depuis le début des années 2000, de la détection de visage en passant par la détection des piétons et la reconnaissance d’objets. La description des algorithmes et des cadres d’application permettront de mieux cerner la puissance et les limites de ces méthodes et de faire un point sur certains enjeux de la recherche d’information.

13h : accueil avec café, thé et petits gâteaux.
13h05-13h55 : présentation et discussion.

17 Octobre 2013, 13h – 14h, salle Euler violet, par Paola Goatin

Les équations de la dynamique des fluides peuvent nous aider à décrire ce qui se passe sur nos routes sans besoin de connaitre la trajectoire de chaque véhicule.

20 Septembre 2013, 13h – 14h, salle annexe cafétéria, par Juliette Leblond

Nous discuterons quelques applications modernes en ingénierie médicale et en physique.
Des versions simplifiées des modèles et des problèmes posés seront présentées, afin d’illustrer les questions mathématiques et numériques soulevées, ainsi que certaines solutions apportées.

13h : accueil avec café, thé et petits gâteaux.
13h05-13h55 : présentation et discussion.

Transparents de la présentation.

27 Juin 2013, 13h – 14h, salle Euler Violet, par Julien Cojan

Tout le monde connait Wikipédia, c’est une encyclopédie en ligne éditable par tous, mais destinée à être lue par des humains. Or les machines deviennent de grandes consommatrices de contenu sur le Web, pour produire elles-mêmes d’autres services.
DBpedia est un projet qui a pour but d’extraire des données de Wikipedia pour les publier ensuite sous forme structurée, exploitable automatiquement. Les données obtenues sont publiées sur le Web de données, une composante du Web complémentaire au Web des documents et des services. A l’image des pages web, les données y sont interconnectées ce qui permet la navigation d’un entrepôt de données à un autre, à la recherche d’informations pertinentes. Grâce à la diversité des domaines décrits dans Wikipédia, DBpedia joue un rôle de hub dans le Web de données, il contient des liens vers 35 entrepôts de données plus spécialisés (GeoNames, MusicBrainz, DrugBank, …) et sert de point d’entrée à beaucoup d’autres ressources.
Je donnerai un aperçu du fonctionnement du Web de données à travers l’exemple de DBpedia et de son chapitre francophone, mis en place à Inria par l’équipe Wimmics. Je présenterai ensuite quelques exemples d’applications qui exploitent les données de DBpedia.

13h : accueil avec café, thé et petits gâteaux.
13h05-13h55 : présentation et discussion.

30 Mai 2013, 13h – 14h, salle annexe cafétéria, par Adrien Bousseau

Des fresques préhistoriques aux croquis des designers, le dessin au trait est un moyen de communication efficace et universel. Estimer une forme à partir d’un ensemble de traits reste pourtant un challenge pour les algorithmes de vision par ordinateur. Je vais présenter nos travaux récents sur l’interprétation de croquis pour l’aide au design. Je décrirai tout d’abord comment les designers travaillent avec des croquis à différentes étapes du processus de création. Je montrerai ensuite que la façon dont les designers dessinent est liée à la façon dont nous percevons des traits. A partir de ces observations, je décrirai un outil de dessin capable de donner une apparence 3D a un croquis de design. http://www.crossshade.com/

13h : accueil avec café, thé et petits gâteaux.
13h05-13h55 : présentation et discussion.

8 Avril 2013, 13h – 14h, salle annexe cafétéria, par Marie-Hélène Comte

Le projet fuscia est né du partenariat de l’ Inria avec 2 universités numériques, Unit et Unisciel. Depuis 2008, ce projet accompagne, par le signalement de grains pédagogiques  et l’animation de la communauté science informatique et maths appliquées de l’Unit,  la transformation en cours de l’enseignement supérieur par les usages du numérique. Il a pris pied désormais sur les rivages des MOOCs, ces enseignements massifs et ouverts sur Internet dont on parle jusque dans … le plan stratégique ! C’est à travers l’ IDEFI uTOP (Initiative d’excellence en formations innovantes) que le projet se développe vers la production de cours en ligne visant la valorisation de la recherche par la formation.  Une première expérience a déjà eu lieu lors de la réalisation du cours sur « Preuves de programmes en  COQ » par Yves Bertot.
Je vous présenterai donc les différentes actions de ce projet et  les thématiques et mouvements actuels autour de l’enseignement et de ses déclinaisons numériques :  FOAD, MOOC, open-university , e-education, e-learning …

13h : accueil avec café, thé et petits gâteaux.
13h05-13h55 : présentation et discussion.

Transparents de la présentation

4 Mars 2013, 13h – 14h, salle Euler Violet, par Olivier Bernard

Ces dernières années, les micro-algues ont pris un rôle important dans de nombreuses applications biotechnologiques. Elles nous nourriront sans doute dans un futur proche, produiront de nouvelles générations de
molécules pour nos médicaments. Mais leur plus grande promesse tient certainement à leur capacité à capter et à stocker une partie de l’énergie solaire qu’elles reçoivent. Ainsi, elles contribueront peut être à produire une partie des biocarburants dont nous aurons besoin demain.

Mais pourquoi embarquer des développements mathématiques dans de tels projets dont le cœur est la biologie ? Je montrerai que pour comprendre le processus de développement d’une population de micro-algues, il est  capital de reconstruire la vie à l’échelle d’une cellule. Pour cela, il n’y a pas d’autre solution que de faire des simulations de son environnement microscopique. Pour une micro-algue, le monde ressemble à une grande boite de nuit, ou se succèdent rapidement des flashs de lumière et des périodes d’obscurité. La compréhension de ces mécanismes, à l’aide d’outils mathématiques et simulatoires permet d’appréhender, dans l’enchevêtrement complexe et non-linéaires des causes, les principaux mécanismes qui expliquent les productions mesurées expérimentalement.

13h : accueil avec café, thé et petits gâteaux.
13h05-13h55 : présentation et discussion.

17 janvier 2013, 13h – 14h, salle cafétéria extension, par Jean-Daniel Boissonnat

Combien de dimensions faut-il pour comprendre le monde qui nous entoure?  Cet exposé est une invitation à réfléchir à cette question qui est moins anodine qu’on pourrait le croire. On parlera de cartes et d’atlas, de robots, de molécules, d’images et d’analyse de données. Et aussi de quelques résultats mathématiques spectaculaires (dont il n’est pas nécessaire d’être mathématicien pour comprendre le sens).

13h : accueil avec café, thé et petits gâteaux.
13h05-13h55 : présentation et discussion.

17 décembre 2012, 13h – 14h, salle cafétéria extension, par Eitan Altman

Responsable de l’un des quatre axes d’une nouvelle structure de recherche inter-disciplinaire où participent Inria, l’université d’Avignon et le CNRS, je décrirai notre travail sur deux sujets.
La neutralité du Net : il s’agit d’un travail entre spécialistes en réseaux, droit et  économie pour déterminer la nature de l’Internet du futur et la manière d’accéder à Internet.
Les réseaux sociaux : je présenterai quelques travaux récents qui font intervenir linguistes, sociologues et experts en réseaux dans le développement des réseaux sociaux.
Je décrirai enfin en détail notre implication dans la modélisation des processus de diffusion d’information dans l’Internet et de la compétition sur la popularité des contenus.

13h : accueil avec café, thé et petits gâteaux.
13h05-13h55 : présentation et discussion.