|
|
|
|
|
|
|
|
|
|
|
|
|
Soutenance MASTER IF - Salle B1 |
|
|
|
|
|
Jury : C. Alias, P. Audebaud, E. Fleury, C.P.
Jeannerot, L. Lefèvre, C. Perez, E. Thierry - ENS Lyon |
|
|
|
|
|
22-juin-09 |
|
|
|
23-juin-09 |
|
HORAIRE |
Lieu |
|
|
|
Lieu |
|
|
|
|
|
8:00 |
- |
8:40 |
Pierre-Yves
David : Lower bounds on communication for operations in sparse linear algebra |
|
|
|
|
|
8:40 |
- |
9:20 |
Raphael
Donzel : Perturbation d'un système de pêcherie par un marché économique :
généralisation |
|
|
|
|
|
9:20 |
- |
10:00 |
Anais
Khuong : Modèle stigmergique d'un processus de morphogénèse chez la fourmi
Lasius Niger |
|
|
|
|
|
10:00 |
- |
10:30 |
Pause |
|
|
|
|
|
10:30 |
- |
11:10 |
Adrien
Friggeri : Visualisation de la dynamique de la topologie de
l’Internet par codes barres. |
|
|
|
|
|
11:10 |
- |
11:50 |
Julien
Provillard : Automates cellulaires non-uniformes |
|
|
|
|
|
11:50 |
- |
12:30 |
Julien
Rivaud : Test d'homotopie libre de lacets tracés sur une surface combinatoire |
|
|
|
|
|
12:30 |
- |
14:00 |
Déjeuner |
|
13:00 |
- |
13:40 |
Mathilde
Noual : Sur la dynamique de réseaux d'automates Booléens particuliers : les circuits d'automates Booléens et les
réseaux "OR" |
14:00 |
- |
14:40 |
Nicolas
Estibals : Génération automatique de circuits pour le calcul de couplages
cryptographiques en matériel |
|
13:40 |
- |
14:20 |
Bruno
Grenet : Difficulté du résultant et des grands
déterminants |
14:40 |
- |
15:20 |
Pascal
Vanier : Périodicité dans les pavages"
|
|
14:20 |
- |
15:00 |
Loic
Magnan : Scheduling algorithms for workflow optimization
|
15:20 |
- |
16:00 |
Cristian
Klein : Efficient Grid Resource Selection for a CEM
Application |
|
15:00 |
- |
15:30 |
Pause |
|
|
|
|
|
15:30 |
- |
16:10 |
Denis
Kuperberg : Etude des fonctions de coût temporelles" |
|
|
|
|
|
16:10 |
- |
16:50 |
Mihai
Letia : CRDTs: Consistency without concurrency
control |
|
|
|
|
|
17:00 |
- |
17:40 |
Fabien
Benureau : On Creating the World-Best Poker Playing Program in Your Garage
-soutenance en visioconference avec l'Université de Waterloo, Canada |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|