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é…
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…
29 janvier 2014 La complexité grandissante des circuits intégrés modernes a donné lieu à de nouveaux types de circuits, qu’on appelle “systèmes sur puces”. Il n’est aujourd’hui plus possible d’attendre les premiers prototypes physiques pour valider la bonne intégration de leurs composants et développer le logiciel embarqué, souvent de taille…
29 janvier 2014 La complexité grandissante des circuits intégrés modernes a donné lieu à de nouveaux types de circuits, qu’on appelle “systèmes sur puces”. Il n’est aujourd’hui plus possible d’attendre les premiers prototypes physiques pour valider la bonne intégration de leurs composants et développer le logiciel embarqué, souvent de taille…
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…
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…
