|
Archive des rapports de stages des
étudiants de l'École Normale Supérieure de Lyon
|
Cette archive est un projet datant de quelques années ayant connu des hauts et des bas.
Son but est de mettre dans un espace
commun et facile d'accès les rapports de stages des étudiants,
auparavant dispersés dans quelques pages perso.
Si vous êtes étudiant ou ancien étudiant de l'ENS Lyon, vous pouvez d'ailleurs
ajouter vos propres rapports.
Bien entendu, les rapports rassemblés ici ne prétendent pas être
une source fiable de résultats scientifiques, et encore moins des opinions
officielles de l'ENSL. De même, les responsables du projet n'ont pas
de rôle éditorial.
D'autre part, si certains rapports disponibles ici ne devraient pas l'être,
vous pouvez bien sûr envoyer un mail pour qu'on les enlève.
Vous n'arrivez pas à lire les rapports ?
Consultez notre page d'aide.
Tri
par disciplines et thèmes,
par nom des auteurs,
par date du rapport.
Contenu : 317 entrées.
Tri par thèmes
-
Arts -
Biologie -
Chimie -
Géologie -
Informatique -
Langues -
Lettres -
Mathématiques -
Physique -
Sciences humaines -
Sciences sociales -
Arts
- test
-
Test,
Jeannot Lapin (M2, 2012)
test - test -
Biologie
- Biochimie
- Bioinformatique
- Biologie
- Biologie moléculaire
- Biologie végétale
- Cellules Souches
- Écologie
- Écologie fonctionnelle végétale
- Écophysiologie
- Différenciation neuromusculaire
- Modélisation
- Morphométrie
- Neurobio moléculaire
- Neurologie
- Neurophysiologie et prise alimentaire
- Neurosciences
- Non classé
- Physiologie et Évolution
- Épidémiologie génétique
- Éthologie
- Virologie
Chimie
- Chimie
- Chimie inorganique
- Chimie théorique
- Électrochimie
- Électrochimie - Matériaux - Synthèse organique
- RMN
- Synthèse organique
Géologie
- Géochimie
- Géodynamo
- Géomatériaux
- Géophysique
- Paléoclimatologie-Géochimie
- Paléoenvironnement-Modélisation
- Paléontologie
- Sismologie
Informatique
- Algorithmique
- Algorithmique des jeux
- Algorithmique du mot et bioinformatique
- Analyse d'image
- Analyse d'opinion (linguistique informatique)
- Apprentissage et réseaux de neurones
- Architecture
- Arithmétique des ordinateurs
- Automates Cellulaires
- Biologie
- Calculabilité
- Calculabilité et complexité
-
Calculabilité sur les réels,
Vincent Balat (MIM1, 1996)
- -
-
Problèmes de définissabilité - Arithmétique de Peano - Arithmétiques faibles,
Annie Chateau (MMA1, 1997)
Arithmétiques faibles - -
-
Métriser les pavages,
Thomas Fernique (MIM1, 2002)
LIF - CMI - Marseille
-
Universalité des automates cellulaires en une dimension,
Nicolas Ollinger (MIM1, 1998)
Automates Cellulaires - -
-
Le problème de l'arrêt pour les machines de Matiyasévitch,
Olivier Teytaud (MIM1, 1996)
Arithmétiques faibles - -
-
Arithmétiques faibles et rédaction automatique de preuves,
Olivier Teytaud (MIM2, 1997)
Arithmétiques faibles - -
- Compilation
- Complexité
- Complexité descriptive
- Complexité et Calculabilité
- Cryptographie et méthodes formelles
- Géographie
- Graphe, combinatoire et vulgarisation
- Informatique quantique
- Interactions homme-machine
- Lambda-calcul
- Langages de programmation
- Languages
- Logique
- Logique / Automates / Graphes infinis
- Logique & complexité implicite
- Logique descriptive & Raisonnement
- Logique et Pi-calcul
- Logique et théorie des ensembles
-
Grands cardinaux, jeux sur les réels et calcul,
Florent Becker (MIM1, 2003)
TCS - CUI - Université de Genève
-
Formalisation d'ensembles au plus dénombrables en Coq,
Florian Hatat (L3IF, 2006)
Méthodes formelles - LaBRI - Bordeaux
-
Théorème de Fodor et filtres normaux,
Tom Krantz (MIM2, 1995)
- -
-
Automates sur les ordinaux (rapport et annexes),
Gregory Lafitte (MIM1, 1995)
- -
-
La théorie des cofinalités possibles et ses applications,
Gregory Lafitte (MIM2, 1996)
- -
- Modèles de calcul, virologie informatique
- Ordonnancement
- Parallélisme et programmation distribuée
-
Fusion de deux environnements de programmation parallèle, DOSMOS et PM2,
Olivier Aumage (MIM1, 1997)
- -
-
Systèmes de fichiers parallèles et disques intelligents,
Olivier Aumage (MIM2, 1998)
Dept. Comp. Science - Univ. New Hampshire - Durham, USA
-
Une librairie de communication portable et adaptative pour réseaux haut-débit,
Olivier Aumage (MIM3, 1999)
LIP - ENS Lyon - Lyon
-
Transferts de charge sur une architecture hypercube,
Cedric Lhoussaine (MIM1, 1996)
- -
-
Répartition de circuits séquentiels,
Clément Menier (MIM1, 2001)
BIP - INRIA Rhônes-Alpes - Grenoble
-
Notion de groupe pour la bibliothèque PPCM,
Rémi Sanlaville (MIM1, 1995)
- -
- Pavages
- Réécriture et assistants de preuves
- Robotique
- Réseaux
-
Établissement de tests permettant de mesurer l'impact sur les performances de la sécurisation d'IPv6 par IPsec,
Nicolas Bernard (MIM1, 2002)
RESEDAS - LORIA - Nancy
-
Un nouvel algorithme de diffusion totalement ordonnée,
Samuel Bernard (MIM2, 2006)
- -
-
NetSolve , the computation web,
Albert Cohen (MIM2, 1995)
- -
-
Visioconférence sur réseaux à haut débits,
Alexandre Denis (MIM1, 1998)
- LIB - Besançon
-
Variable Reliabilty Protocol in Globus-Nexus,
Alexandre Denis (MIM2, 1999)
Globus - University of Southern California / Information Sciences Institute - Marina del Rey, California
-
Transfert de données à haut débit avec OPIOM et Myrinet : application à la vidéo à distance,
Brice Goglin (MIM2, 2001)
Myricom - Inc - Arcadia - Californie
-
Minimisation du nombre d'ADM dans les reseaux WDM,
Benjamin Leveque (MIM1, 2002)
Mascotte - INRIA - Sophia-Antipolis
-
Localisation dans les réseaux de senseurs,
Benjamin Leveque (MIM2, 2003)
TCS - CUI - Université de Genève
-
Multicast et qualité de service sur un réseau IP,
Etienne Miret (M1IF, 2007)
Bouygues Télécom - -
-
Slow communication link and multimedia : A map trachelp PC,
Hervé Rivano (MIM2, 1999)
Systems and Computer Engineering - Carleton University - Ottawa, Canada
-
OpenGL distribué,
Samuel Thibault (MIM1, 2002)
Resedas - Loria - Nancy
- Réseaux ad-hoc
- Réseaux pair-à-pair
- Réseaux / Théorie des graphes
- Sémantique, typage, programmation fonctionnelle
- Synthèse d'images
-
Décimation en imagerie médicale 3D,
David C½urjolly (MIM1, 1998)
- -
-
Partitions spatiales pour un lancer de rayons sur GPU,
Vincent Nivoliers (DMI, 2006)
LIRIS - Université Lyon 1 - Lyon
-
Subdivision Surfaces and Penrose Tilings,
Vincent Nivoliers (M1, 2007)
LIGUM - Université de Montréal -
-
Subdivision Surfaces on a Penrose Tiling,
Vincent Nivoliers (M2, 2008)
Gipsa lab - Grenoble -
-
Radiosité discrète,
David Roger (MIM1, 2002)
LLAIC1 - IUT Informatique - Clermont-Ferrand
- Système
-
Interval-based registration cache for zero-copy protocols,
Cédric Augonnet (M1IF, 2007)
Myricom Inc., Oak Ridge (TN), U - -
-
Vers des supports d'éxécution capables d'exploiter les machines multic½urs hétérogènes,
Cédric Augonnet (M2IF, 2008)
Runtime - INRIA Bordeaux Sud-Ouest/LaBRI - Bordeaux
-
Optimisation des communications sur réseaux rapides par utilisation de RDMA,
Cédric Augonnet (MIM1, 2006)
Runtime - LaBRI - Bordeaux
-
Introduction de protocoles de cohérence relâchée dans le système de mémoire partagée DSM-PM2,
Vincent Bernadi (MIM1, 2000)
ReMap - ENS Lyon - Lyon
-
Distributed System Monitoring and Failure Diagnosis using Cooperative Virtual Backdoors,
Benoit Boissinot (M2, 2005)
Discolab / PARIS - Rutgers University / IRISA/INRIA - New Jersey, USA / Rennes
-
Systèmes à image unique pour grappes : une étude comparative,
Benoit Boissinot (MIM1, 2003)
PARIS - IRISA/INRIA - Rennes
-
Introduction d'un ordonnanceur de processus légers mixtes dans PM2 pour une exploitation efficace des architectures multiprocesseurs,
Vincent Danjean (MIM1, 1998)
ReMap - LIP - Lyon
-
Extending the Linux Kernel with Activations for Better Support of Multithreaded Programs and Integration in PM2,
Vincent Danjean (MIM2, 1999)
- University of New Hampshire - New Hampshire
-
Environnements multithreads distribués : traitement efficace et réactif des communications,
Vincent Danjean (MIM3, 2000)
LIP - ENS Lyon - Lyon
-
Un protocole pour l'accès aux systèmes de fichiers distants dans les grappes,
Brice Goglin (MIM3, 2002)
LIP - ENS Lyon - Lyon
-
Optimizing performance and reliability of continuous media servers,
Guillaume Lacote (MIM2, 1999)
Database Laboratory - USC - Los Angeles
-
Developing a software tool for precise kernel measurements,
Samuel Thibault (MIM2, 2003)
UNH - Durham, New Hampshire - États-Unis
-
Un ordonnanceur flexible pour machines multiprocesseurs hiérarchisées,
Samuel Thibault (MIM3, 2004)
Runtime - LaBRI - Bordeaux
- Systèmes distribués
- Théorie des automates
- Théorie des catégories
- Théorie des graphes
-
Graphes évolutifs et réseaux dynamiques à calendrier fixé,
Binh Minh Bui Xuan (MIM1, 2002)
Mascotte - INRIA - Sophia-Antipolis
-
Chemins disjoints,
Aubin Jarry (MIM1, 1999)
SLOOP ( Projet commun CNRS/INRIA/UNSA) - - Sophia Antipolis
-
Segmentation techniques for video encoding,
Rémi Sanlaville (MIM2, 1996)
- -
-
Problems on interval graphs L(2,1)-labelling Almost-mixed unit interval graphs,
Alexandre Talon (M1, 2014)
Department of Applied Mathematics, Charles University, Prague, Czech Republic - -
-
Logique monadique et graphes : ordres totaux sur les graphes infinis,
Rémi Vanicat (MIM3, 1999)
- LABRI - Bordeaux
-
Réseaux optiques à multiplexage en longueur d'onde : une étude sur le placement des convertisseurs,
Benjamin Wack (MIM1, 2000)
MASCOTTE - INRIA - Sophia Antipolis
- Théorie des langages
- Théorie des types
- Télécommunications
- Traitement des langues naturelles
- Vérification
Langues
- test
-
Test,
Jeannot Lapin (M2, 2012)
test - test -
Lettres
- test
-
Test,
Jeannot Lapin (M2, 2012)
test - test -
Mathématiques
- Algèbres de Lie
- Analyse
- Combinatoires
- Géométrie
- Géométrie algébrique
-
Nombre de points de courbes algébriques,
Benoite de Saporta (MMA1, 1998)
- Institut de mathématiques de Luminy - Marseille
-
Systèmes linéaires de courbes de genre 5,
Benoite de Saporta (MMA2, 1999)
Équipe de géométrie algébrique - Laboratoire de mathématiques J.A. Dieudonné - Nice
-
K-théories des cônes sur un schéma projectif,
Laurent Fargues (MMA1, 1996)
- -
-
Méthodes de construction de variétés algébriques réelles. Théorème de Viro et Sturmfels.,
Olivier et Jean-Yves Ley et Welschinger (MMA1, 1995)
- -
-
Compactification d'espaces de configurations,
Nicolas Martin (M2R, 2013)
Centre de Mathématiques Laurent Schwartz - École Polytechnique -
-
Courbes planes à singularités imposées,
Jean-François Quint (MMA1, 1996)
- -
-
Introduction aux surfaces K3 et d'Enriques,
Jean-Yves Welschinger (MMA2, 1996)
- -
- Géométrie différentielle
-
Feuilletage de variétés (annexe),
Laurent Bruasse (MMA1, 1996)
- -
-
Feuilletage de variétés,
Laurent Bruasse (MMA1, 1996)
- -
-
Variétés de Frobénius,
Pierre et François James et Maucourant (MMA2 et 1, 1996)
- -
-
Introduction aux aspects analytiques des invariants d'Ozsvath-Szabo,
Patrick Massot (MMA3, 2005)
UMPA - ENS Lyon - Lyon
-
Géométrie pseudo-riemanienne,
Richard Pereyrol (MMA2, 1997)
- -
- Géométrie modérée
- Histoire des mathématiques
- Logique
- Mathématiques appliquées
-
Passage 3D-1D en électromagnétisme,
Christophe Antonini (MMA1, 1996)
- -
-
Existence d'un domaine optimal dans un problème d'optimisation de forme,
Christophe Antonini (MMA2, 1997)
- -
-
Assimilation de données expérimentales dans les systèmes non-linéaires chaotiques,
Didier Auroux (MMA1, 1998)
- -
-
Étude de la qualité de l'information contenue dans l'approximation de ka hessienne inverse de l'algorithme quasi-Newton à mémoire limitée au cours de la minimisation.,
Didier Auroux (MMA2, 1999)
- -
-
Équations de transports linéaires, problèmes multi-fluides de Stokes et Navier-Stokes,
Christophe Haton (MMA1, 1995)
- -
- Mathématiques discrètes
- Modélisation
- Physique mathématique
- Physique statistique
- Probabilités
-
Fractions continues et marches aléatoires,
Jean-Baptiste Bardet (MMA1, 1996)
- -
-
Marches aléatoires en milieu aléatoire,
Jean-Baptiste Bardet (MMA2, 1997)
- -
-
Chaînes de Markov sur le cercle,
Christophe Jan (MMA2, 1997)
- -
-
Percolation de site sur Zd,
Régine Marchand (MMA2, 1996)
- -
-
Approche probabiliste d'une équation différentielle elliptique à coefficients constants par morceaux et aléatoires,
Franck Sueur (MMA1, 2000)
LATP - Chateau Gombert - Marseille
-
Grandes déviations et applications,
Matthieu Vignes (MMA2, 2000)
LATP - Chateau Gombert - Marseille
-
Verres de spin,
Maxime Wolff (MMA1, 2000)
LSP - Université Paul Sabatier - Toulouse
- Équations aux dérivées partielles
- Représentation des algèbres
- Systèmes dynamiques
-
Théorie ergodique et billards polygonaux,
Vincent Guenez (MMA1, 2003)
IML - Luminy - Marseille
-
Théorèmes ergodiques,
Christophe Jan (MMA1, 1996)
- -
-
Dynamical Systems theory Applied to a Kinematic Model of a Meandering Jet,
Matthieu Mercier (DSM M1, 2005)
Department of Mathematics - University of Bristol - Bristol (Angleterre)
-
Disjonction en systèmes dynamiques, ensembles minimaux, approximation diophantienne,
Sylvie Ruette (MMA2, 1997)
- -
- Théorie analytique des nombres
- Théorie de la mesure géométrique et analyse harmonique
- Théorie des groupes
-
Le troisième théorème de Hilbert et son interprétation homologique,
Sylvain Crovisier (MMA1, 1996)
- -
-
Groupes automatiques - Groupes hyperboliques,
Anne Parreau (MMA1, 1994)
- -
-
Groupes agissant sur des graphes,
Anne Parreau (MMA2, 1995)
- -
-
Groupes de Coxeter,
François Perrin (MMA1, 1998)
équipe de groupes finis - Université Pierre et Marie Curie - Paris 6
-
Croissance des sous-groupes,
Sylvie Ruette (MMA1, 1996)
- -
-
Les groupes de Baumslag-Solitar,
Estelle Souche (MMA1, 1995)
- -
-
Le théorème de Stallings sur les groupes ayant au moins deux bouts,
Estelle Souche (MMA2, 1996)
- -
- Théorie spectrale
- Topologie
Physique
- Acoustique
- Astrophysique
-
La rotation des galaxies spirales et le probleme de la masse manquante,
Mickael Bourgoin (MSM1, 1997)
- -
-
Cinématique Stellaire dans les Galaxies Spirales,
Brice Goglin (MSM1, 1999)
CRAL - Saint Genis Laval -
-
Détection de croisements galactiques pour la reconstruction du pointage de l'expérience Archeops,
Lucas Levrel (MSM1, 2000)
Laboratoire de physique corpusculaire et cosmologie (PCC) - Collège de France - Paris
-
Étude spectrographique de quelques galaxies lenticulaires,
Emmanuel Loyer (MSM1, 1996)
- -
-
Bulbes et Disques le long de la sequence de Hubble,
Stéphane Ravier (MSM1, 1998)
- CRAL - St Genis
-
Simulation d'écoulements granulaires dans la photosphère solaire,
François Rincon (MSM1, 1999)
- Observatoire Midi - Pyrénées
- Biophysique
- Convection thermique
- Écoulements visqueux
- Fluctuations/Dissipation
- Fluides stratifiés
- Hydrodynamique
- Interface Physique Biologie
- Électromagnétisme et optique
- Magnétohydrodynamique
- Matière condensée
-
Étude de l'interface Si-InSe,
Pierre Chary (MSM1, 1996)
- -
-
Fonctions de corrélation du modèle d'Edwards-Anderson à 3D,
Ludovic Jaubert (DSM4, 2006)
LPTHE - Paris 6 et 7 (Jussieu) -
-
Étude Raman d'un oxyde de molybdene sous haute pression,
Antoine Moreau (MSM2, 1997)
- -
-
Des Couches Moléculaires Auto-assemblées vers l'électronique moléculaire,
Josselin Mouette (MSM1, 1999)
GPEC - Luminy - Marseille
-
Étude de cathodes froides planaires,
Josselin Mouette (MSM2, 2000)
LEE - DPM - UCBL
- Matière Condensée
- Matière molle
- Mécanique
- Mécanique des fluides
- Mécanique quantique
- Optique non-linéaire
- Optique quantique
- Photonique
- Physique des particules
- Physique non linéaire, granulaires
- Physique quantique
- Physique statistique
- Quantique
-
Piégeage et fluorescence d'ions Sr+,
Marie-Lys Béoutis (L3DSM, 2006)
Groupe Ions Piégés et Information Quantique - Laboratoire Matériaux et Phénomènes Quantiques, Jussieu - Paris
-
Semiclassical approximation of the evolution operator,
Ludovic Jaubert (DSM2, 2004)
Unicamp - Campineas - SP, Brésil
-
Wave functions for two-electron atoms/ions and one and two-electron molecules satisfying some local properties,
Jean-Christophe Pain (MSM2, 1997)
Indian Institute of Technology - Bombay - Inde
-
Résolution de l'équation de Schrödinger à une dimension par la méthode de la fonction phase,
Jean-Christophe Pain (MSM3, 1999)
DSM/DRECAM/SPAM - CEA - Saclay
-
Relational Quantum Mechanics,
Matteo Smerlak (MSM2, 2006)
CPT - Campus de Luminy - Marseille
- Rhéologie
- Semi-conducteurs
- Sonoluminescence
- Systèmes complexes
- Théorie de l'information
- Théorie quantique de l'information
- Traitement du signal
Sciences humaines
- test
-
Test,
Jeannot Lapin (M2, 2012)
test - test -
Sciences sociales
- test
-
Test,
Jeannot Lapin (M2, 2012)
test - test -
De l'
aide pour ouvrir les rapports ?
Retour au serveur des élèves
Page créée et maintenue par
Samuel Thibault -
-
Dernière mise à jour le jeu. 21 avril 2022 23:22:49 CEST