Sept. 3, 2015 In this talk, David Salesin (Adobe) draws upon his own experiences as a computer graphics researcher and as a tango dancer to provide a very personal perspective on how research works, and on how to create sublime user experiences. David Salesin (Adobe)
18 juin 2015 Le problème du logarithme discret qui intéresse les théoriciens des nombres depuis plus d’un siècle est surtout célèbre car sa difficulté présumée est le fondement de la sécurité de nombreux systèmes cryptographiques largement déployés (signature DSA, chiffrement ElGamal, mise en accord de clef de Diffie-Hellman). Après avoir…
May 21, 2015 Style modeling is becoming an area of research in itself in Artificial Intelligence, due to the increasing needs for content generation application. I will present some results obtained in the ERC funded Flow-Machines projects, in which we attempt to capture, model, and exploit “style” at various levels…
April 2, 2015 What drives inventions in computing? Necessity seems to play only a minor role. Anger at the way things are is much more powerful, because it leads to easier ways to work (the invention of new computer languages). A general dissatisfaction with the practical or theoretical structure of…
8 janvier 2015 Dans son sixième problème Hilbert pose la question d’obtenir, par un processus rigoureux de passage à la limite, des équations de la dynamique des fluides à partir de la mécanique classique newtonienne des particules. Dans cet exposé nous montrerons comment suivre cette stratégie dans le cas d’une…
11 déc. 2014 On illustrera quelques principes et approches de combinatoire énumérative, en se concentrant sur les objets classiques que sont les cartes planaires. On les rencontre aussi bien en informatique (géométrie algorithmique) qu’en mathématiques (probabilités ; algèbre) et en physique théorique (gravitation quantique). On verra passer de belles formules…
13 nov. 2014 Induction is a pervasive tool in Computer Science and Mathematics for defining objects and for proving properties on them. Coinduction is the dual of induction, and as such it brings in tools for defining and reasoning on objects that are new and quite different from the tools…
Sept. 25, 2014 The symbiosis of software with computer, sensors and actuators creates a new kind of physical engineering system. Robots used in space exploration and GPS – on the ground, GPS is just a “giant Kalman filter” – are great examples. But the future potential is difficult to estimate.…
May 22, 2014 At the request of the International Mathematical Union, in 1999, Steve Smale proposed a list of 19 problems for the mathematicians of the 21st century. The 17th of these problems asks for the existence of a deterministic algorithm computing an approximate solution of a system of n…
17 avril 2014 L’apprentissage est un domaine émergent à l’interface de l’informatique et des statistiques, porté par la croissance exponentielle du flot de données générées par des applications aussi variées que la biologie, le commerce en ligne, l’imagerie, la vidéo, le traitement du langage, etc. Ce domaine a la particularité…
