Fedor Fomin – Introduction to Kernelization

Nov. 17, 2011 Preprocessing or data reductions means reducing the input to something simpler by solving an easy part of the input and this is the type of algorithms used in almost every application. In spite of wide practical applications of preprocessing, a systematic theoretical study of such algorithms remains…

Continue reading

Jean-Claude Bermond – Graphes, hypergraphes et réseaux

12 mai 2011 Le but de la conférence est d’exposer des problèmes simples de conception de réseaux qui m’ont intrigués pendant de nombreuses années et continuent de m’intriguer. Les réseaux de télécommunications mais aussi les réseaux routiers ou sociaux se modélisent bien avec des graphes. Les sommets représentent les routeurs…

Continue reading

Myrna Wooders – Competition and Cooperation

Apr. 14, 2011 Numerous applications of economics are based on models that assume individual economic actors take prices as given. Indeed, this assumption underlies many empirical studies. The question of whether such an assumption can be justified as arising in the context of individual and group optimizing behavior has been…

Continue reading

Don Towsley – Swarms: First Class Citizens in the Future Internet

March 31, 2011 The current Internet consists of tens of thousand different interconnected autonomous networks. It was designed to support large populations of point-to-point content transfers. This introduces considerable headaches due imbalances in traffic flows, which has the effect of complicating network management, reducing the robustness of the Internet, and…

Continue reading

Tony De Rose – Recent Research at Pixar

Feb. 10, 2011 In this talk I will survey a number of current and recent projects underway in the Research Group at Pixar. To set context for the discussion I’ll begin with a brief overview of our production pipeline. I’ll also discuss how we approach research at Pixar, including how…

Continue reading

François Fagès – Aspects sémantiques et algorithmiques du vivant

13 janvier 2011 La transposition des concepts informatiques de programmation et de vérification, à la modélisation et l’analyse des processus biochimiques au sein de la cellule, ouvre un nouveau champ de recherche pour la maîtrise de la complexité et la compréhension des phénomènes en biologie cellulaire. Tandis que la théorie…

Continue reading