Propositions de stage L3 pour 2014
Stages Informatiques
Model-checking statistique pour des modèles
parallèles à l'aide de dépliages, Claude Jard et Benoît Delahaye, LINA, Nantes.
Compilation optimisante vérifiée sur forme SSA, David Pichardie et Delphine Demange, IRISA, Rennes.
- Différentiation algorithmique et preuve formelle, Laurent Hascoët et Laurent Théry, INRIA, Sophia.
Inférence et visualisation
de boucles structurées et déstructurées
sur le langage C, Pascal Sotin, IRIT, Toulouse.
Optimisation de mouvements complexes pour les robots à pattes, Sébastien Lengagne, Institut Pascal, Clermont-Ferrand.
Polyèdres de Klein et combinatoire des mots, Yan Gerard, ALCoV, Clermont-Ferrand.
- Hereditary and Vector Discrepancy of Set
Systems, Alantha Newman, INP, Grenoble
Étude de la multiplication binaire et approches dynamiques
pour la factorisation de nombres, Sylvain Contassot-Vivier et Nazim Fatès, LORIA, Nancy
Preuves en logique de séparation quantitative, Didier Galmiche et Daniel Méry, LORIA, Nancy.
Axiomes pour la logique de séparation, Didier Galmiche et Dominique Larchey-Wendling, LORIA, Nancy.
Recherche de preuves compiléee et certifiéee, Didier Galmiche et Dominique Larchey-Wendling, LORIA, Nancy.
Système de type pour les grandeurs physiques - Startup, Bertrand Jeannet et Etienne Closse, ARGOSIM, Grenoble.
- Champs neuronaux dynamiques et apprentissage du suivi visuel de cible en mouvement, Jean-Charles Quinton, Institut Pascal, Clermont-Ferrand.
- Fast Low-Dimensional Projections of High
Dimensional Nonconvex Polytopes, Goran Frehse, Verimag, Grenoble
Algorithmes de recherche des bassins d'attraction
dans des graphes de modélisation des systèmes dynamiques complexes,
Olivier Roux, IRCCYN, Nantes
- Simulating noisy neural fields, Étienne Tanré,
INRIA, Sophia.
- Properties of solutions of periodically forced neural
field models, Romain Veltz, INRIA, Sophia
Adding bio-logic to query complete database
compendiums, Carito Guziolowski, IRCCYN, Nantes
Stages Informatiques avec possibilité mémoire de mathématique
Associer ou calculer ? , Vincent Gripon, Télécom Bretagne, Brest
Parcimonie et robustesse des réseaux de
neurones, Vincent Gripon, Télécom Bretagne, Brest
- Triangulations de Delaunay
et revêtements de la surface de Bolza, Monique Teillaud, INRIA Sophia. Possibilité de couplage avec le mémoire proposé par Éric Colin de Verdière
- From compressive clustering to compressive learning, Rémi Gribonval, IRISA, Rennes. Possibilité de couplage avec un mémoire proposé par Francis Bach ou Stéphane Mallat.
Sujets de mémoire maths-info
Liste des sujets