Patricia Bouyer-Decitre

Average-energy games

Salle de séminaire (4B05R) - Bâtiment Copernic

Two-player quantitative zero-sum games provide a natural framework to synthesize controllers with performance guarantees for reactive systems within an uncontrollable environment. Classical settings includ...[details]

17-oct.-2017

Xavier Goaoc

Fonctions de pulvérisation d'hypergraphes (géométriques) / Shatter functions of (geometric) hypergraphs

Salle de séminaire (4B05R) - Bâtiment Copernic

En géométrie discrète et algorithmique, la complexité d'une famille d'ensemble est souvent étudiée au travers de sa fonction de pulvé...[details]

10-oct.-2017

Vincent Jugé

Courcelle's theorem made dynamic

Salle de séminaire (4B05R) - Bâtiment Copernic

Dynamic complexity is concerned with the complexity of updating a solution to a problem when its input changes. A typical example is as follows: given an directed graph G and two pointed vertices s and t,...[details]

3-oct.-2017

Rémi Forax

On implementing data structures pattern matching in Java

Salle de séminaire (4B05R) - Bâtiment Copernic

In the magic wonderland of the unicorns, implementing the pattern matching in a language like Java that already provides a mechanism to check the class of a value at runtime (instanc...[details]

26-sept.-2017

Jeudi 21 septembre 2017 - 9h

Lieu : ESIEE Paris, Amphithéâtre 160

Séminaire Jean Luc Gaudiot

Professeur Université de California, Irvine, USA - Président IEEE Computer Society

Thématique du séminaire :

Informatique, Parallélisme et Architectures

Conférenciers invités :

Pr. Yves Robert, E...[details]

21-sept.-2017

Teresa Gomez-Diaz

PRESOFT et FG-SOL, où en est-on ?

Salle de séminaire (4B05R) - Bâtiment Copernic

Dans la journée logiciels LIGM du 2 mars 2017, nous avons présenté les projets PRESOFT et FG-SOL sur des services d'accès et préservation des logiciels de la recherche. Après un court rappel des obj...[details]

19-sept.-2017

Jean-Luc Gaudiot

Creating Autonomous Vehicle Systems

Salle de séminaire (4B05R) - Bâtiment Copernic

This talk is a technical overview of autonomous vehicles where we share our practical experiences of creating autonomous vehicle systems. Autonomous vehicle systems are complex, consisting of ...[details]

12-sept.-2017

Rim BEN MESSAOUD soutiendra sa thèse de doctorat en informatique, intitulée Towards Efficient Mobile Crowdsensing Assignment and Uploading Schemes le 5 juillet 2017 à 11h00 à l'adresse suivante : Laboratoire L3I, Université de La Rochelle, Avenue Michel Crépeau, 17042 L...[details]

5-juil.-2017

Salle 4B09R du bâtiment Copernic

14:00 - Boris Bukh

Title:Algebraic methods in extremal combinatorics

Abstract:

Extremal combinatorics is an analytic subject. Its results take the form of inequalities, and its best-known tools are estimates of various kinds. The algebraic tools are...[details]

2-juin-2017

Philippe Duchon

Simulation à mémoire finie de lois de probabilités

Salle de séminaire (4B05R) - Bâtiment Copernic

Abstract: La question de la simulation exacte de lois de probabilités sur les réels est généralement étudiée sous un modèle «arithmétique» où on calcule de manière exacte sur des réel...[details]

30-mai-2017