Propositions de stage L3 pour 2015
Stages Informatiques
- Etude théorique de la dégradation du bois lors de son traitement par plasma froid (décharge DBD) , Emmanuel Duffour, Université de Clermont-Ferrand.
- Synthèse de paramètres à l'aide de méthodes probabilistes, Benoît Delahaye, LINA, Nantes.
Coordination modulaire de contrôleurs pour des systèmes réactifs, Hervé Marchand et Nicolas Berthier, INRIA/IRISA, Rennes.
Diagnostic de grand système par
raffinement progressif de modèle, Éric Fabre, INRIA/IRISA, Rennes
Estimation du degré d'opacité d'un système
à secret, Éric Fabre et Hervé Marchand, INRIA/IRISA, Rennes.
Synthèse automatique et modulaire de tests, Thierry Jéron et Hervé Marchand, INRIA/IRISA, Rennes.
- Etude d'un solveur de contraintes à base de domaines abstraits, Charlotte Truchet, Université de Nantes.
- Cryptographie basée sur l'identité, Olivier Blazy, université de Limoge
- Triangulations de Delaunay et revêtements de la
surface de Bolza, Monique Teillaud, INRIA Nancy (couplage possible avec le
mémoire d'Éric Colin de Verdière)
Analyse des trajectoires de souris pour étudier les prises de décision humaines, Jean-Charles Quinton, Institut pascal, Clermont-Ferrand
Champs neuronaux dynamiques et apprentissage du suivi visuel de cible en mouvement, Jean-Charles Quinton, Institut pascal, Clermont-Ferrand
Prédiction des comportements urbains, Nicolas Bonnotte, Qcit, Bordeaux
Temps d'atteinte des états optimaux dans des algorithmes semi-gloutons, Bruno gaujal, INRIA, Grenoble
Fast Fourier Transform on Graphs, Rémi Gribonval, INRIA/IRISA, Rennes
Comparaison d'outils d'analyse de temps d'exécution pire-cas, Claire Maiza, Catherine Vigouroux, IMAG, Grenoble.
Extracting material descriptors from images, Adrien Bousseau et George Drettakis, INRIA Sophia Antipolis
- Optimisation stochastique à grande échelle, Anatoli Juditsky, IMAG, Grenoble
Analyse de bornes de boucles en présence d'un modèle mémoire riche, Pascal Sotin, IRIT, Toulouse
- Introduction de données quantitatives dans la modélisation qualitative des régulations biologiques, Olivier Roux, Irccyn, Nantes
- Algorithmes de recherche des bassins d'attraction dans des graphes de modélisation des systèmes dynamiques complexes, Olivier Roux, Irccyn, Nantes
- Calcul efficace du volume d'ensembles semi-algébriques, Jean B. Lasserre, LAAS, Toulouse
- Les ombres des spectraèdres, Didier Henrion, LAAS, Toulouse
- Calculer des plans expérimentaux pour contrôler des systèmes biologiques à l'aide de programmation logique, Carito Guziolowski, IRCCyN, Nantes.
- Numerical continuation of solutions of periodically forced neural field models, Romain Veltz et Olivier Faugeras, INRIA Sophia Antopolis
- Etude de versions adaptatives et spatiales de l'algorithme CSMA, Florian Simatos, ISAE, SUpaero, Toulouse
- Systèmes de remplacement d'hyper-arcs et graphes de localité, Jean-Bernard Stefani, INRIA, Grenoble
- Analyse de l'algortihme de reprise dans un modèle réversible, Jean-Bernard Stefani, INRIA, Grenoble
- Arrangements combinatoires, Alain Jean-Marie, LIRMM, Montpellier
Sujets de mémoire maths-info
Apprentissage statistique à grande échelle, Francis Bach (Sierra)
- modèles pour les réseaux sociaux, Claire Mathieu (Talgo)
- Learning Discrete Distributions, Varun Kanade (Talgo)
- Algorithmes d'approximation stochastique et analyse statistique par optimisation convexe, Alexandre d'Apremont
(Sierra)
- Echantillonnage uniforme de tables de contingence, Anne Bouillard (Dyogene)
- Forêts aléatoires, Sylvain Arlot (Sierra)
- Filaments de vortex polygonaux et effet Talbot, Erwan Faou, DMA
Détection de communautés et matrices aléatoires, Marc Lelarge (Dyogene)
- Colouring geometric overlap graphs, Zhentao Li (Talgo)
Itérations chaotiques en interprétation abstraite et en programmation par contraintes, Antoine Miné (Antique)
Réseaux de Neurones et Apprentissage, Stéphane Mallat (Data)
- Compressed sensing et réseaux de neurones
aléatoires, Gilles Wainrib (Data)
- Autour du théorème de Hanani-Tutte, Eric Colin
de Verdière, Talgo (couplage possible avec le stage de Monique Teillaud)