|
|
Soutenances M2
Informatique 2020 - ENS Lyon |
|
|
|
|
|
|
Jury 1 : Pierre
Clairambault, Pascal Koiran, Jean-Michel Muller |
|
|
|
|
|
|
Jury 2 : Aurlien
Garivier, Laurent Lefevre, Mateusz Skomra
|
|
|
|
| |
|
|
04/09/2020
- Jury 1 |
|
|
|
|
04/09/2020
- Jury 2 |
|
|
|
| HORAIRE |
Lieu : Visio |
|
|
|
|
Lieu : Visio |
|
|
|
| 9:05 |
- |
9:30 |
Krishna Virendra : Online Learning algorithms for fair ad
auctions |
|
9:05 |
- |
9:30 |
Stphane Pouget : Machine learning for resource management in
Function-as-a-Service platforms |
|
|
|
| 9:30 |
- |
9:55 |
Rmy Cerda : Dveloppement de Taylor et _-calcul
infinitaire |
|
9:30 |
- |
9:55 |
Pierre Oechsel : Reinforcement Learning applied to the
Automatic Synthesis of Program Optimizations |
|
|
|
| 9:55 |
- |
10:20 |
Charles Gassot : Maximum Independent Set problem in H-free
graphs:the kernelization part |
|
9:55 |
- |
10:20 |
Nicolas Chappe : Dataflow explicit futures: Formalisation and
experimentation |
|
|
|
| 10:20 |
- |
10:40 |
Pause |
|
10:20 |
- |
10:40 |
Pause |
|
|
|
| 10:40 |
- |
11:05 |
Lo Paviet Salomon : Automates Cellulaires non abliens |
|
10:40 |
- |
11:05 |
Valentin Taillandier : Transcription Factors in Human
Genome |
|
|
|
| 11:05 |
- |
11:30 |
Denis Rochette : Quantum symmetric cloning |
|
11:05 |
- |
11:30 |
Neveu Rmy : Automatisation du multibanking pour de la
synthse haut-niveau pour FPGA |
|
|
|
| 11:30 |
- |
11:55 |
Florent Guepin : Attacks on synthetic data |
|
11:30 |
- |
11:55 |
Romain Liautaud : Adding garbage collection to a
decentralized data store |
|
|
|
| 11:55 |
- |
13:35 |
Djeuner |
|
11:55 |
- |
13:35 |
Djeuner |
|
|
|
| 13:35 |
- |
14:00 |
Lucas Venturini : Analyse du comportement asynchrone de
l'automate cellulaire TOTM34 |
|
13:35 |
- |
14:00 |
Matthieu Vieira : Identification de parcours dapprenants via
leurs traces dutilisation dune plateforme dautovaluation |
|
|
|
| 14:00 |
- |
14:25 |
Samuel Humeau : Generalized Kantorovich-Rubinstein
Duality |
|
14:00 |
- |
14:25 |
Redouane Elghazi : Scheduling on the edge |
|
|
|
| 14:25 |
- |
14:50 |
Emmanuel Rodriguez : Modlisation direct et inverse de
mta-matriaux dcoups par laser |
|
14:25 |
- |
14:50 |
Jrmy Petithomme : Advanced Reservation in Queuing
Systems" |
|
|
|
| 14:50 |
- |
15:30 |
Discussion du
jury |
|
14:50 |
- |
15:30 |
Discussion du
jury |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|