Catégorie : c@fé-in

2 juin 2016, 13h-14h, salle Annexe Cafétéria, par Alexandre Monnin

Les travaux du GIEC ont souligné les enjeux du réchauffement climatique et fourni les données qui ont amené les chefs d’Etats du monde entier à adopter un accord sur la climat lors de la COP21. Parallèlement, les sciences de la terre ont proposé depuis quelques années la notion d' »Anthropocène » pour distinguer une nouvelle époque géologique marquée par les conséquences de l’activité humaine industrielle. Or le numérique est aujourd’hui le principal pourvoyeur de futurs (ce que nous projetons) : des smart cities aux interfaces cerveaux-machine, des Big Data aux révolutions promises par la Blockchain [auxquelles nous-mêmes nous intéressons… !] en passant par l’Internet ou le Web des objets et les véhicules autonomes, ce sont nos villes, nos corps, nos organisations sociales (monnaie, assurance, états…), nos objets et nos modes de déplacement qui ont vocation à subir de profondes transformations sous l’impulsion des innovation promises.<\em>
A la multiplication des futurs ouverts par les chercheurs et les innovateurs, l’avenir (ce qui nous arrive) semble cependant opposer un scénario en contradiction avec la plupart des projections. Comment, dès lors, concilier ces futurs que la recherche et l’innovation nous conduisent à explorer et un avenir synonyme de finitude, de frugalité voire d’effondrement ? Quel positionnement les chercheurs qui inventent le monde numérique doivent-ils adopter, dès maintenant, pour anticiper et faire advenir l’inévitable transition vers ce monde d’après ?

13h : accueil avec café, thé et petits gâteaux.

13h05-13h55 : présentation et discussion.

Transparents de la présentation.

25 avril 2016, 13h-14h, salle Annexe Cafétéria, par Frédéric Cazals

L’étude des éléments physiques constitutifs du vivant a de tout temps obsédé le penseur, mais force est de  constater que la science peine à produire des modèles quantitatifs expliquant au niveau moléculaire des phénomènes aussi communs que ceux dont nous faisons l’expérience permanente (cognition, métabolisme, réponse immunitaire, etc). 

Nous essayerons dans ce cafe-In de comprendre pourquoi, au gré d’un périple qui permettra de découvrir la bioinformatique structurale, discipline hybride combinant dans un équilibre inaltérable la biologie, la physique, la chimie, la biophysique, les mathématiques appliquées et l’algorithmique.

A titre d’illustration, on s’intéressera aux virus et à leur mécanismes diaboliques d’action et d’évitement des défenses immunitaires.

13h : accueil avec café, thé et petits gâteaux.

13h05-13h55 : présentation et discussion.

25 février, 13h-14h,  salle Cafétéria Extension,  proposé par les correspondants locaux du Coerle et présenté par Walid Dabbous :

Cas des recherches utilisant les données personnelles des applications BitTorrent et Skype et des réseaux Facebook et Twitter.

On demande de plus en plus aux chercheurs en informatique de prendre en considération les aspects éthiques de leurs recherches. Pourquoi cette demande ? Comment est-elle satisfaite par les chercheurs ?
Fort de son expérience sur le sujet, Walid Dabbous nous exposera pourquoi et comment son équipe prend en considération les aspects éthiques de leurs recherches sur des applications pair-à-pair telles que BitTorrent pour l’échange de fichiers et Skype pour la voix sur IP ainsi que sur des réseaux sociaux tels que Facebook et Twitter. Ces recherches les amènent en effet à récupérer et analyser les données personnelles diffusées dans ces réseaux.

13h : accueil avec café, thé et petits gâteaux.

13h05-13h55 : présentation et discussion.

28 janvier 2016, 13h-14h, salle Annexe Cafétéria, par Bruno Cessac.

La rétine, située au fond de l’œil, joue un rôle important dans notre système visuel.En premier lieu elle convertit la lumière provenant d’une scène visuelle en impulsions, transmises à notre cerveau, qui permettent à celui-ci de décoder cette scène. Mais elle est aussi capable d’extraire des caractéristiques complexes d’une scène: mouvement d’approche, mouvement différentiel, anticipation de trajectoire. Sa structure complexe explique en partie ces capacités mais on ne sait pas encore très bien comment elle code l’information envoyée au cerveau. C’est pourtant une étape essentielle dans le développement de thérapies rétiniennes,  en particulier prothèses, destinées à pallier certaines déficiences visuelles.

13h : accueil avec café, thé et petits gâteaux.

13h05-13h55 : présentation et discussion.

29 octobre 2015, 13h-14h, salle Annexe Cafétéria, par Ludovic Henrio.

Dans cet exposé, je vous expliquerai ce qui nous amuse dans l’équipe Scale. Pour cela je vous proposerai de répondre ensemble aux questions:
– A quoi ca sert d’écrire des programmes qui utilisent un grand nombre de machines?
– Pourquoi c’est difficile?
– Comment les chercheurs peuvent aider les programmeurs à avoir moins de bugs?

Cet échange ne demande bien sur aucun pré-requis, et surtout aucune connaissance en programmation … J’essaierai meme de vous montrer que tout le monde sait un peu programmer.

Un petit mot plus scientifique sur Scale:
L’equipe Scale travaille à la conception de modèles de programmation pour les systèmes distribués. Notre approche se base sur les langages de programmation, et particulièrement les langages à acteurs ou à objets actifs. Non seulement nous mettons au point des langages facilitant la programmation, mais aussi nous fournissons des outils pour vérifier la correction des programmes distribués. Mais surtout, l’équipe Scale fournit aussi des outils concrets: implémentation efficace du langage sous forme de librairie, outils de vérification de programmes, outils de placement et d’allocation de machines virtuelles pour le Cloud, plateforme de simulation. Ainsi, la richesse de Scale vient particulièrement de l’interaction forte entre méthodes formelles et réalisations pratiques.

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

24 septembre 2015, 13h-14h, salle Euler Bleue, par Christophe Godin

Les plantes font partie des objets les plus familiers qui nous entourent, mais aussi les plus mystérieux. L’arrangement de leurs organes par exemple fait souvent apparaitre des symétries d’une richesse et d’une beauté fascinante, qui ont depuis des siècles attirées l’attention de chercheurs de tous bords. Grâce à ces travaux, nous savons aujourd’hui que cette beauté est en fait le reflet (géométrique) de lois mathématiques qui émergent spontanément du principe de croissance des plantes. Au cours de ce Café’in, nous observerons donc des plantes, rappellerons comment elles poussent, nous ferons un peu de mathématiques avec (mais en nous limitant à des additions!) et nous essaierons de cerner la nature de ce lien curieux entre biologie et mathématique sur lequel tant d’équipes (dont la notre) continuent de travailler actuellement.

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

25 juin 2015, 13h-14h, salle Annexe Caféteria, par Pierre Alliez

Le projet collaboratif Culture 3D Cloud  vise à concevoir une plateforme d’informatique en nuage pour la numérisation 3D, la documentation, la conservation et la diffusion du patrimoine culturel. Le scénario d’application est le suivant : en suivant un protocole d’acquisition précis, un photographe professionnel ou amateur peut acquérir des clichés d’un artefact patrimonial et les télécharger sur un serveur via une interface web. La numérisation est automatiquement réalisée par la plateforme qui fournit un modèle 3D téléchargeable ou consultable en ligne.

Dans ce projet notre rôle est de concevoir une méthode de reconstruction de surfaces à partir de nuages de points 3D obtenus par photogrammétrie dense. La reconstruction de surfaces est par essence un problème mal posé, pour lequel trois décennies de recherche ont proposé une grande variété de solutions. Le nouveau défi du projet est de répondre aux exigences des professionnels de la conservation du patrimoine, tout en respectant les nouvelles contraintes de l’informatique en nuage.

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

19 mars 2015, 13h-14h, salle Annexe Caféteria, par Laurent Busé

La création de modèles 3D numériques est aujourd’hui très répandue dans des applications très diverses allant du « design » esthétique d’objets comme par exemple une bouteille de parfum ou bien la carrosserie d’une voiture, à la modélisation de composants techniques tels que les lames d’une turbine ou l’aile d’un avion. Ainsi de nombreux logiciels permettent de créer des objets numériques dans le but de concevoir, simuler et valider des nouveaux produits et processus industriels. La plupart d’entre eux représentent la « peau » des objets 3D au moyen de surfaces particulières, appelées surfaces NURBS, qui ont de nombreuses propriétés avantageuses dont celle, essentielle, du contrôle intuitif de leur forme au moyen de quelques points appelés points de contrôle. D’un point de vue mathématique, ces surfaces NURBS sont obtenues par recollement de morceaux de surfaces algébriques, c’est-à-dire de surfaces qui sont définies par une formule, plus précisément par une équation polynomiale. Les surfaces algébriques sont ainsi au coeur de nombreux outils de modélisation géométrique et permettent des représentations compactes et précises des formes. Plus largement, ces surfaces possèdent une géométrie tellement riche et complexe qu’elles sont un sujet incontournable d’une branche des mathématiques : la géométrie algébrique.
Ce C@fé-In’ sera l’occasion d’entrevoir comment les surfaces algébriques, c’est-à-dire des formules, sont utilisées pour représenter des formes, et d’évoquer certaines problématiques majeures dans ce domaine qui motivent des interactions de plus en plus importantes entre la modélisation géométrique et la géométrie algébrique.

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

26 février 2015, 13h-14h, salle Annexe Caféteria, par Matthias Mimault

Aujourd’hui nous sommes nombreux. Nombreux dans les transports, nombreux dans les concerts, nombreux aux matches de foot. Pourquoi faut-il que cette atmosphère de franche camaraderie, de communion des corps et des esprits soit ainsi gâchée par le trouble-fête de l’heure de pointe : le bouchon.
Appelé aussi encombrement, congestion ou « difficulté », il me rappelle ce moment précis où je préférai être à la maison que dans cette voiture ou ce couloir.
Ce café-In sera l’occasion de voir ce que les mathématiques ont à dire à ce sujet.

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