Propositions de stages (2010-2011)
- Practical Cryptanalysis of Pseudo-Random Number Generators in RFID
- encadrant : Gildas Avoine
- durée : 2 à 3 mois
- lieu : laboratoire GSI, Louvain-La-Neuve
- RFID Toolbox Reloaded
- encadrant : Gildas Avoine
- durée : 2 à 3 mois
- lieu : laboratoire GSI, Louvain-La-Neuve
- Calcul du polynôme minimax complexe, implantation et applications
- encadrant : Bernhard Beckermann, Nicolas Brisebarre & Sylvain Chevillard
- durée : 2 à 3 mois
- lieu : laboratoire LIP, Lyon
- État de l'art et simulation/expérimentation du problème de positionnement (“location problem”) dans le contexte des systèmes multi-agents.
- encadrant : François Bourdon
- durée : 2 à 3 mois
- lieu : laboratoire GREYC, Caen
- Capturing Environment Maps from Everyday Objects
- encadrant : Adrien Bousseau & George Drettakis
- durée : 2 à 3 mois
- lieu : laboratoire REVES, Sophia-Antipolis
- Approximation rationnelle efficace en machine
- encadrant : Nicolas Brisebarre & Guillaume Hanrot
- durée : 2 à 3 mois
- lieu : laboratoire LIP, Lyon
- Fonctions de preuve d'effort
- Design of a proof-producing decision procedure for combined equivalence relations
- encadrant : Pierre Corbineau
- durée : 3 mois
- lieu : laboratoire VERIMAG, Grenoble
- Static Analysis for Hybrid Automata
without Widening
- encadrant : Thao Dang & Thomas Martin Gawlitza
- durée : 2 à 3 mois
- lieu : laboratoire VERIMAG, Grenoble
- Projet Nuage - Portabilité
- encadrant : Nathalie Delprat & Claire Leroux
- durée : 2 mois
- lieu : laboratoire LIMSI, Orsay
- Projet Nuage - Aspects Audio
- encadrant : Nathalie Delprat & Claire Leroux
- durée : 2 mois
- lieu : laboratoire LIMSI, Orsay
- Moving Gradients for Image Interpolation
- encadrant : George Drettakis & Adrien Bousseau
- durée : 2 à 3 mois
- lieu : laboratoire REVES, Sophia-Antipolis
- Résolution de Systèmes Algébriques Creux
- encadrant : Jean-Charles Faugère & Ludovic Perret
- durée : 2 à 3 mois
- lieu : laboratoire LIP6, Paris
- Caractérisation du fragment de Coq correspondant à l’Arithmétique Primitive Récursive
- encadrant : Hugo Herbelin
- durée : 2 à 3 mois
- lieu : laboratoire PPS, Paris
- Énumération et génération des configurations locales des plans discrets
- encadrant : Damien Jamet & Éric Domenjoud
- durée : 2 à 3 mois
- lieu : laboratoire LORIA, Nancy
- Inférence de types et rates
- Algorithmes de calculs de couplage sur les courbes elliptiques pour la cryptographie
- encadrant : Fabien Laguillaumie
- durée : 3 mois
- lieu : laboratoire GREYC, Caen
- Phénomènes de diffusion sur les grands réseaux : mesure et analyse pour la modélisation
- encadrant : Matthieu Latapy & Bénédicte Le Grand
- durée : 2 à 3 mois
- lieu : laboratoire LIP6, Paris
- Collecte et analyse de traces pair-à-pair pour la lutte contre la pédocriminalité
- encadrant : Matthieu Latapy & Clémence Magnien
- durée : 2 à 3 mois
- lieu : laboratoire LIP6, Paris
- Un radar pour l'Internet
- encadrant : Matthieu Latapy, Clémence Magnien & Cristophe Crespelle
- durée : 2 à 3 mois
- lieu : laboratoire LIP6, Paris
- Jeux infinis, escalade
- encadrant : Pierre Lescanne
- durée : 2 à 3 mois
- lieu : laboratoire LIP, Lyon
- Make it stand!
- encadrant : Sylvain Lefebvre
- durée : 2 à 3 mois
- lieu : laboratoire LORIA, Nancy
- The treatment of contexts in meta-theory: Formalize and implement a context mechanism for Abella
- encadrant : Dale Miller
- durée : 2 à 3 mois
- lieu : laboratoire LIX, Palaiseau
- Obtention de témoins en arithmétique réelle non-linéaire
- encadrant : David Monniaux
- durée : 2 à 3 mois
- lieu : laboratoire VERIMAG, Grenoble
- Élimination de quantificateurs
- encadrant : David Monniaux
- durée : 2 à 3 mois
- lieu : laboratoire VERIMAG, Grenoble
- Placement d'applications parallèles à base de composants logiciels
- encadrant : Christian Pérez
- durée : 2 à 3 mois
- lieu : laboratoire LIP, Lyon
- Exploiting concurrency in contextual Petri nets
- encadrant : Stefan Schwoon & César Rodríguez
- durée : 2 à 3 mois
- lieu : laboratoire LSV, Cachan
- Algorithme de Llyod dans l'espace périodique 3D
- encadrant : Monique Teillaud
- durée : 2 à 3 mois
- lieu : laboratoire GEOMETRICA, Sophia-Antipolis
- Étude du mécanisme de random restart dans des algorithmes de recherche locale
- encadrant : Charlotte Truchet
- durée : 2 à 3 mois
- lieu : laboratoire LINA, Nantes
- Randomized algorithms for graph and hypergraph partitioning problems
- encadrant : Bora Uçar
- durée : 2 à 3 mois
- lieu : laboratoire LIP, Lyon
top