Mireille Bousquet-Melou – Compter des cartes planaires colorées

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…

Continue reading

Rudolph Kalman – Can it be Done in Software?

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.…

Continue reading

Felipe Cucker – On a Problem Posed by Steve Smale

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…

Continue reading

Alexandre d’Aspremont – Optimisation et apprentissage

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é…

Continue reading

Anne-Marie Kermarrec – Scalable personalization infrastructures

April 3, 2014 The ever-growing amount of data available on the Internet calls for personalization. Yet, the most effective personalization schemes, such as those based on collaborative filtering (CF), are notoriously resource greedy. We argue that scalable infrastructures should rely on P2P design to scale to that increasing number of…

Continue reading

Gérard Berry – Esterel et SCADE, Urgences scientifiques posées par l’industrie (3/3): masquages d’horloges, circuits multi-horloges, ECOs et vérification formelle

29 janvier 2014 Les trois cours donnés à Sophia Antipolis sont consacrés à la relation recherche-industrie dans le développement des langages synchrones pour les systèmes temps-réels et les circuits électroniques. Chaque cours sera suivi d’un séminaire. Pour en savoir plus… Le cours du 29 janvier nous fera revenir à la…

Continue reading

Patrick Flandrin – Une fréquence peut-elle être instantanée

22 janvier 2014 Enregistrer un évènement, mesurer l’évolution d’un système, transmettre une information : autant de situations donnant naissance à des séries temporelles, qu’il convient d’analyser, de modéliser, de transformer. On sait depuis Fourier ce que de tels traitements peuvent gagner à quitter l’espace directe et naturel du domaine temporel…

Continue reading