|
|
|
|
|
|
|
|
|
|
|
|
|
Soutenance MASTER IF 2010 - ENS Lyon |
|
|
|
|
|
Jury : P. Baillot, E. Fleury, P. Goncalves, G.
Hanrot, L. Lefèvre, F. Vivien - ENS Lyon |
|
|
|
|
|
22/06/2010
- Amphi A |
|
|
|
23/06/2010
- Amphi B |
|
HORAIRE |
Lieu |
|
|
|
Lieu |
|
|
|
|
|
8:00 |
- |
8:40 |
Stéphane
Chevalier : "Scheduling
heuristics for MapReduce over Desktop Grid " |
|
|
|
|
|
8:40 |
- |
9:20 |
Gabriel
Beaulieu : "Jeux de coloration
sur les chaines et les cycles"
|
|
|
|
|
|
9:20 |
- |
10:00 |
Benjamin. Hellouin de Menibus :
"Auto-organisation dans les automates cellulaires : une approche
particulaire".
|
|
|
|
|
|
10:00 |
- |
10:30 |
Pause |
|
|
|
|
|
10:30 |
- |
11:10 |
Timo
Jolivet : "Méthodes combinatoires pour l'étude des
plans discrets" |
|
10:40 |
|
11:20 |
Patrycja Chowaniec : "Spread of epidemic on dynamic graphs" |
11:10 |
- |
11:50 |
Jean-Alexandre
Angles d'Auriac : "Caractérisation des graphes d'intersection de
sous-chemins orientés d'un arbre enraciné" |
|
11:20 |
|
12:00 |
Mathieu Westphal
|
11:50 |
- |
12:30 |
Jonathan
Protzenko : "Traduction de ML
vers Système F avec sous-typage explicite et types récursifs" |
|
|
|
|
|
12:30 |
- |
14:00 |
Déjeuner |
|
13:00 |
- |
13:40 |
Jonas
Lefevre : "Prise en compte de la topologie dans les protocoles de
populations" |
14:00 |
- |
14:40 |
|
|
13:40 |
- |
14:20 |
Hanna
Julienne : "modélisation de la distribution de taille des adipocytes via
une approche agent" |
14:40 |
- |
15:20 |
|
|
14:20 |
- |
15:00 |
Stephan
Fischer : "Modélisation de l'éryhtropoïèse : développement d'un modèle
dynamique hybride en population finie." |
15:20 |
- |
16:00 |
|
|
15:00 |
- |
15:30 |
Pause |
16:00 |
- |
16:30 |
Pause |
|
15:30 |
- |
16:10 |
Nicolas
Brunie : "Études de variations autour du FMA (Fused Multiply-and-Add) en
virgule flottante. " |
16:30 |
- |
17:10 |
|
|
16:10 |
- |
16:50 |
Gabriel
Renault: "Jeux combinatoires partisans de coloration de graphe. " |
17:10 |
- |
17:50 |
|
|
16:50 |
- |
17:30 |
Antoine
Taveneaux : "Vers une axiomatisation de la complexité de
Kolmogorov". |
17:50 |
- |
18:30 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|