Rachid Guerraoui – Speculating Seriously in Distributed Computing

Apr. 4, 2013 If we are ever to understand what computers can collectively do, we need a new theory of complexity. Recent evolutions, including the cloud and the multicore, are turning computing ubiquitously distributed, rendering the classical complexity theory of centralized computing at best insufficient. A complexity theory for distributed…

Continue reading

Franck Molina – Ingénierie de systèmes biologiques synthétiques

14 mars 2013 La biologie synthétique est un champ d’investigation inter-disciplinaire en plein essor qui consiste à concevoir et construire des systèmes biologiques artificiels qui réalisent des fonctions qui n’existent pas dans la nature. De tels systèmes pourraient se révéler d’une grande utilité dans le cadre d’applications cliniques et dans…

Continue reading

Guust Nolet – Seismic Tomography: A Giant Inverse Problem

Nov. 22, 2012 In this talk I shall give an overview of the development of seismic tomography: constructing images of elastic properties in the Earth’s interior from seismic observations at its surface. The use of ray-theoretical approximations allows us to image long-wavelength structure. To increase resolution, however, we cannot escape…

Continue reading

Véronique Cortier – Sécurité sur Internet ? La logique à la rescousse…

7 juin 2012 De nombreux dispositifs électroniques visent à améliorer la sécurité des échanges sur des réseaux ouverts comme Internet. Ces dispositifs, tels que les protocoles cryptographiques, reposent souvent sur le chiffrement des données et plus généralement sur des fonctions cryptographiques. Chiffrer les données sensibles est cependant loin d’être suffisant…

Continue reading

Nicolas Bouleau – Risque, science, et pluralisme

31 mai 2012 En partant des probabilités philosophiques de Cournot, et en étudiant l’accueil dans le monde scientifique de la notion de hasard chez Jacques Monod, ainsi que quelques cas de l’histoire de l’astronomie, nous nous sensibiliserons à la nature des risques que prend la construction de connaissance. Ceci nous…

Continue reading

Rémi Gribonval – La parcimonie : une valeur d’avenir ?

5 avril 2012 Cet exposé dressera un panorama des principales avancées mathématiques et algorithmiques récentes exploitant la parcimonie des signaux et des images, c’est à dire le fait qu’ils peuvent être exprimés de façon concise comme combinaison linéaire d’un petit nombre de formes de bases, appelés atomes. L’exemple de la…

Continue reading