Propositions de stage L3 pour 2013
Stages Informatiques
- Réduction de processus de frappe via leur sémantique différentielle, Ovidiu Radulescu, Montpellier ou Olivier Roux, Nantes
Adaptive learning for selecting Brain Computer Interface tasks, Maureen Clerc, Sophia
- Recherche de n-cliques et (n-k)-cliques
dans un modèle de Process Hitting à l'aide d'ASP, Maxime Folschette, Nantes
- Simulation d'un modèle de Process Hitting à l'aide d'ASP, Maxime Folschette, Nantes
Analyse statique de programmes, David Monniaux, Grenoble
Discover minimal sets of elements in biological networks responsible of reverting the
system's dynamics, Carito Guziolowski, Nantes
- Calcul d'index pour le problème du logarithme discret sur courbes elliptiques, Christoph Petit, Louvain
- Le Rubik's cube pour les cryptographes, Christoph Petit, Louvain
- Supervision et diagnostic robustes de système à événements discrets, Eric Fabre, Rennes
Maintenance à chaud dans les réseaux, Eric Fabre, Rennes
Approximate Nearest Neighbors for Structured Data
, Ioannis Emiris, Athènes
- Description formelle d'applications dans
les systèmes répartis à sémantique faible Claude Jard, Nantes
GENESIS, environnement de création
musicale à l'aide du formalisme de
modélisation physique CORDIS-ANIMA, Claude Cadoz, Grenoble
- Introduction de fonctionnalités de capteurs dans le formalisme de modélisation et de
simulation CORDIS-ANIMA, Annie Luciani, Grenoble
Etude Algorithmique du Problème LPN
Thématique : Algorithmique/Cryptologie, Pierre-Alain Fouque (Rennes)
Traitement d'image :
Reconnaissance automatisée de patterns et clusterisation de groupes d'image, Yves Ubelmann, Paris (donc ouvert seulement aux étudiants étrangers)
Stages Informatiques avec possibilité mémoire de mathématique
Stages Informatiques couplés avec mémoire de mathématiques
Sujets de mémoire maths-info
Liste des sujets