|
|
|
|
|
|
|
|
|
|
|
|
|
Soutenance MASTER IF 2011 - ENS Lyon |
|
|
|
|
|
Jury : G. Fedak, E. Fleury, G. Hanrot, D.
Hirschkoff, O. Laurent, L. Lefèvre, J.-M. Muller, E. Thierry, F. Vivien - ENS Lyon |
|
|
| |
|
|
22/06/2011
- Salle de IXXI |
|
|
|
23/06/2011
- Amphi B |
|
| HORAIRE |
Lieu |
|
|
|
Lieu |
|
| |
|
|
|
8:00 |
- |
8:40 |
|
|
| |
|
|
|
8:40 |
- |
9:20 |
"Toward an
effective Church Thesis for analog computations", Amaury Pouly
|
|
| |
|
|
|
9:20 |
- |
10:00 |
"Relations entre représentation et complexité en analyse
calculable", Hugo Feree |
|
| 9:20 |
|
10:00 |
"prediction
of DNA first level of compaction by a general statistical approach",
Philippe ROBERT
|
10:00 |
- |
10:30 |
Pause |
|
| 10:00 |
|
10:40 |
"Quand l'évolution
darwinienne réduit la complexité : Étude de
l'évolution réductive de certains génomes bactériens par expériences
d'évolution /in silico/", Bérénice Batut |
10:30 |
- |
11:10 |
"Representation
de fonctions dans la semantique des jeux de
Hyland-Ong", Valentin Blot
|
|
| 10:40 |
|
11:20 |
"Étude de la généricité
d'un modèle de dynamique de population de
moustiques", Mélaine Aubry-Kientz |
11:10 |
- |
11:50 |
"Separation
and the resource lambda-calculus", Michele Alberti
|
|
| 11:20 |
|
12:00 |
"Reconstruction du réseau
métabolique d'Ectocarpus siliculosus",
Sylvain Prigent |
11:50 |
- |
12:30 |
"Ordonnancement simultané
de la réplication et des calculs pour les applications de données intensives
avec prise en compte des
communications", Damien Reimert |
|
|
| |
|
|
|
12:30 |
- |
14:00 |
Déjeuner |
|
| 13:00 |
- |
13:40 |
"Motifs
structurés dans les séquences biologiques: extraction
algorithmique et significativité statistique", Vincent Picard
|
14:00 |
- |
14:40 |
"Coloration de graphes sans chemins ou cycles
longs", Lemoine |
|
| 13:40 |
- |
14:20 |
"Étude
des réflexes de stabilisation du regard chez l'insecte ailé",
Alice Julien-Laferriere
|
14:40 |
- |
15:20 |
"Colorier des graphes peu
denses à l'aide de méthodes de
déchargement", Marthe Bonamy |
|
| 14:20 |
- |
15:00 |
"Modélisation
de la réponse bidirectionnelle des synapses
cortico-striatales aux endocannabinoïdes", Jean-Marie Gomès
|
15:20 |
- |
16:00 |
"Système de types basé sur
la logique linéaire par niveaux", Matthieu Perrinel |
|
|
| 15:00 |
- |
15:30 |
Pause |
16:00 |
- |
16:30 |
Pause |
|
| 15:30 |
- |
16:10 |
"Time Aggregation and
Exposure to Diffusion in Dynamic Networks", Oana IOVA |
16:30 |
- |
17:10 |
"Intégration
de techniques de décomposition dans un cadre générique de résolution de
problèmes de satisfaction de contraintes", Loïc Blet.
|
|
| 16:10 |
- |
16:50 |
"Portes
logiques avec la théorie des jeux", Mathieu Barthelemy
|
17:10 |
- |
17:50 |
"Complexité implicite :
Abstractions aveugles", Capdevielle
|
|
| 16:50 |
- |
17:30 |
"Variabilité linguistique
et situations de contact de langues :
Modélisation de l’influence de la structure des réseaux sociaux",
Lucie Martinet |
17:50 |
- |
18:30 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|