April 28th, 2016 An important problem in quantum computing is the so-called approximate synthesis problem: to find a quantum circuit, preferably as short as possible, that approximates a given unitary operator up to given epsilon. Moreover, the solution should be computed by an efficient algorithm. For nearly two decades, the…
17 décembre 2015 Partant d’une perspective purement mécanique, un système anthropomorphe (un homme ou un robot humanoïde) est un système à la fois redondant et sous-actionné. Il est redondant par rapport à la quasi-totalité des actions qu’il a à effectuer du fait qu’il possède un grand nombre de degrés de…
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.…
