Propositions de stage L3 pour 2016
Stages Informatiques
- Positivity certificates for polynomials
using amoebas, Victor Magron, VERIMAG, Grenoble
Privacy Control for Online Social
Networks, Abdessamad Imine et Michaël Rusinowitch, LORIA,
nancy
Stretch facteur du chemin des
plus proche voisins, Olivier Devillers, Inria, Nancy
Modélisation par éléments finis ou par
dynamique moléculaire du développement d'un tissu vivant : la membrane
d'un oeuf de drosophile, Alaa Chateauneuf et Emmanuel Duffour,
Institut Blaise Pascal, Clermont-Ferrand
Implémentation d'une application web
générant des courbes d'émission de CO2 de référence pour les
négociations climatiques, Emmanuel Prados, Inria, Grenoble
Analyse de bornes de boucles
dans le code machine, Pascal Sotin, IRIT, Toulouse [Stage couplé avec
le mémoire sur la logique de séparation]
- Algorithmes de recherche des bassins d'attraction dans des graphes
de modélisation des systèmes dynamiques complexes, Olivier Roux,
Irccyn, Nantes
- Introduction de données quantitatives dans la modélisation
qualitative des régulations biologiques, Olivier Roux, Irccyn,
Nantes
Transformations des données vers des environnements immersifs, Abdelkader Lahmadi et Jérôme
François, Inria nancy
Algorithme pour un simulateur
d'évolution artificielle, Jonathan Rouzaud-Cornabas, LIRIS, Inria,
Lyon
- Autour des problèmes de bandit
combinatoires, Émilie Kaufmann, Inria, Lille [Stage couplé avec le
mémoire sur les bandits]
Topologie algorithmique, Francis Lazarus
et Arnaud de Mesmay, Gipsa-Lab, Grenoble
- Reconnaissance de polyèdres digitaux,
Yan Gerard, LIMOS, Clermont-Ferrand
Games with Hierarchical Objectives, Ocar
Sankur, Inria SUMO, Rennes
Preuve formelle en calcul réseau,
Pierre Roux et Marc Boyer, ONERA, Toulouse
Sujets de mémoire maths-info