|
|
Soutenances M2
Informatique 2018 - ENS Lyon |
|
|
|
Jury: Eddy Caron, Laure Gonnord, Daniel
Hirschkoff, Laurent Lefevre, Matthieu Moy, Yves Robert, Stephan Thomasse,
Nicolas Trotignon |
| |
|
|
11-juin-18 |
|
|
|
|
12-juin-18 |
| HORAIRE |
Lieu : Amphi B |
|
|
|
|
Lieu : Amphi B |
| 9:00 |
- |
9:25 |
Jovicic Vladan : Lossy kernels: applications to hitting
set problems |
|
9:00 |
- |
9:25 |
Martin Guy : Control Variates for Image Rendering |
| 9:25 |
- |
9:50 |
Nguyen Thi Viet Ha : Graph Algorithms Techniques for low
resolution model of large protein assemblies |
|
9:25 |
- |
9:50 |
Simon Mauras : Rank Aggregation with ties |
| 9:50 |
- |
10:15 |
Sintiari Ni Luh Dewi : Structure of Even-Hole-Free Graphs |
|
9:50 |
- |
10:15 |
Nguyen Huyen : Gaussian leftover hash lemma over the
integers |
| 10:15 |
- |
10:35 |
Pause |
|
10:15 |
- |
10:35 |
Pause |
| 10:35 |
- |
11:00 |
Pierre Ohlmann :
Unifying non-commutative circuit lower bounds through Hankel matrix and
parse trees |
|
10:35 |
- |
11:00 |
Grpõnar Emirhan : Complexity of Optimal List Coding |
| 11:00 |
- |
11:25 |
Carette Titouan : Rseaux arachnides: ordre suprieur et
contrle quantique en ZX calcul. |
|
11:00 |
- |
11:25 |
Manon Philibert : Dessiner
des graphes comme polygones convexes
|
| 11:25 |
- |
11:50 |
Lajou Dimitri : Nombre
achromatique des graphes signs |
|
11:25 |
- |
11:50 |
Fabrice Lebeau :
Computation with pODEs: analog circuits, computability and complexity.
|
| 11:50 |
- |
12:15 |
Nicolas Pinson : algorithms for the k-dominating subtree
problem |
|
11:50 |
- |
12:15 |
Guillaume Combette : A Formal Proof of the
Minor-Exclusion Property for Treewidth-Two Graphs |
| 12:15 |
- |
13:30 |
Djeuner |
|
12:15 |
- |
13:30 |
Djeuner |
| 13:30 |
- |
13:55 |
Guillaume Ambal : Nominal HO¹ in Coq |
|
13:30 |
- |
13:55 |
Wang Yishu : Exploring the solution space of phylogenetic
tree reconciliations |
| 13:55 |
- |
14:20 |
Christophe Lucas : A formalised proof of
soundness and completeness of a hypersequent calculus |
|
13:55 |
- |
14:20 |
Diane Adjavon : Information
transfer in Gene Regulatory Networks |
| 14:20 |
- |
14:45 |
Etienne DESBOIS : Neural style transfer and synthesis for
Human motion data |
|
14:20 |
- |
14:45 |
Emma Kerinec :
Characterization of the Taylor expansion of _-terms in call-by-value
_-calculus |
| 14:45 |
- |
15:10 |
Xavier Badin De Montjoye : tude des jeux stochastiques
simples et d'une famille de mthodes pour les rsoudre |
|
14:45 |
- |
15:10 |
Nicolas Vidal :Scheduling bi-colored chains |
| 15:10 |
- |
15:30 |
Pause |
|
15:10 |
- |
15:30 |
Pause |
| 15:30 |
- |
15:55 |
Paul Iannetta : Semantic polyhedral model for arrays and lists |
|
15:30 |
- |
15:55 |
|