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 alphabétique sur les noms des auteurs

• Simulation numerique en propagation acoustique, Stanislas Antczak (MSM1, 1997) [Physique / Acoustique] - -
• Passage 3D-1D en électromagnétisme, Christophe Antonini (MMA1, 1996) [Mathématiques / Mathématiques appliquées] - -
• Existence d'un domaine optimal dans un problème d'optimisation de forme, Christophe Antonini (MMA2, 1997) [Mathématiques / Mathématiques appliquées] - -
• Dynamo Bullard-Von Karman gallium : une dynamo fluide à mouvement non-contraint et turbulent en laboratoire, Pierre Augier (Master 1, 2006) [Physique / Magnétohydrodynamique] laboratoire de physique ENS Lyon - -
• Interval-based registration cache for zero-copy protocols, Cédric Augonnet (M1IF, 2007) [Informatique / Système] 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) [Informatique / Système] Runtime - INRIA Bordeaux Sud-Ouest/LaBRI - Bordeaux
• Optimisation des communications sur réseaux rapides par utilisation de RDMA, Cédric Augonnet (MIM1, 2006) [Informatique / Système] Runtime - LaBRI - Bordeaux
• Fusion de deux environnements de programmation parallèle, DOSMOS et PM2, Olivier Aumage (MIM1, 1997) [Informatique / Parallélisme et programmation distribuée] - -
• Systèmes de fichiers parallèles et disques intelligents, Olivier Aumage (MIM2, 1998) [Informatique / Parallélisme et programmation distribuée] 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) [Informatique / Parallélisme et programmation distribuée] LIP - ENS Lyon - Lyon
• Assimilation de données expérimentales dans les systèmes non-linéaires chaotiques, Didier Auroux (MMA1, 1998) [Mathématiques / Mathématiques appliquées] - -
• É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) [Mathématiques / Mathématiques appliquées] - -
• Détecteurs de pannes non fiables pour les systèmes distribués asynchrones, David Baelde (MIM1, 2003) [Informatique / Systèmes distribués] LaRIA - - Amiens
• Automates de sable et langages, Thibaut Balabonski (MIM1, 2006) [Informatique / Languages] RECIF - I3S - Nice-Sophia Antipolis
• Calculabilité sur les réels, Vincent Balat (MIM1, 1996) [Informatique / Calculabilité et complexité] - -
• Influence de l'accouplement non aléatoire pour le CMH dans un système hôte-pathogène, Corentin Barbu (BMC1, 2002) [Biologie / Modélisation] University of Sussex - Brighton - UK
• Régulation de l'homéostasie osseuse par le système nerveux central, Corentin Barbu (BMC 1, 2003) [Biologie / Neurologie] ENS Lyon - -
• Écologie chimique des systèmes prédateurs-proies chez les arthropodes et utilisations possibles d'Aleochara bilineata pour une lutte biologique contre Delia radicum, Corentin Barbu (BMC, 2005) [Biologie / Éthologie] Laboratoire d'Écobiologie des Insectes Parasitoïdes - Université Rennes 1 - Rennes
• Développement d'une méthode d'analyse d'enregistrements neuronaux unitaires : Des temps d'activation neuronaux à la nature du codage de l'information, Corentin Barbu (BMC 2, 2003) [Biologie / Neurologie] INSERM U371 - Unité cerveau et vision - Lyon
• Modélisation de l'effet d'un insecticide et application au contrôle d'insectes vecteurs de la maladie de Chagas dans le Yucatan (Mexique), Corentin Barbu (BMC 2, 2006) [Biologie / Modélisation] MEPS - Université de Perpig -
• Fractions continues et marches aléatoires, Jean-Baptiste Bardet (MMA1, 1996) [Mathématiques / Probabilités] - -
• Marches aléatoires en milieu aléatoire, Jean-Baptiste Bardet (MMA2, 1997) [Mathématiques / Probabilités] - -
• Effet d'un champ de Madelung sur la transition de spin de [Fe(NCH)6]2+ : calculs ab initio, Alexandre Barrat (Licence DSM Option Chimie, 2008) [Chimie / Chimie théorique] UMR 5182 - Laboratoire de Chimie - ENS Lyon|Lyon
• Discussion with statistical models about the presence of a phase transition in ferromagnets, Alexandre Barrat (License3, 2007) [Mathématiques / Physique statistique] Institut für Theoretische Physik - Universität Leipzig - Leipzig(Allemagne)
• Parties spectrales d'un opérateur auto-adjoint., Alexandre Barrat (Master 1 MAIM, 2008) [Mathématiques / Théorie spectrale] UMPA - UCB Lyon 1 - Villeurbanne
• Grands cardinaux, jeux sur les réels et calcul, Florent Becker (MIM1, 2003) [Informatique / Logique et théorie des ensembles] TCS - CUI - Université de Genève
• Géométrie et combinatoires des complexes cellulaires associés à certains groupes, Pierre Bejian (MMA1, 1997) [Mathématiques / Topologie] - -
• Introduction de protocoles de cohérence relâchée dans le système de mémoire partagée DSM-PM2, Vincent Bernadi (MIM1, 2000) [Informatique / Système] ReMap - ENS Lyon - Lyon
• Étude de faisabilité d'un système de Sauvegarde Collaborative en Pair-à-Pair., Samuel Bernard (M2IF, 2007) [Informatique / Réseaux pair-à-pair] ASAP - INRIA-Futurs - Saclay
• Établissement de tests permettant de mesurer l'impact sur les performances de la sécurisation d'IPv6 par IPsec, Nicolas Bernard (MIM1, 2002) [Informatique / Réseaux] RESEDAS - LORIA - Nancy
• Un nouvel algorithme de diffusion totalement ordonnée, Samuel Bernard (MIM2, 2006) [Informatique / Réseaux] - -
• Analyse et géométrie sur des espaces métriques, Christophe Boilley (MMA1, 2000) [Mathématiques / Analyse] - Université de Cergy - Pontoise
• Optimisation de cache d'instructions, Benoit Boissinot (M1, 2004) [Informatique / Compilation] Compsys - LIP - Lyon
• Distributed System Monitoring and Failure Diagnosis using Cooperative Virtual Backdoors, Benoit Boissinot (M2, 2005) [Informatique / Système] Discolab / PARIS - Rutgers University / IRISA/INRIA - New Jersey, USA / Rennes
• Systèmes à image unique pour grappes : une étude comparative, Benoit Boissinot (MIM1, 2003) [Informatique / Système] PARIS - IRISA/INRIA - Rennes
• Calcul rapide et exact de fonctions élémentaires en précision arbitraire par la moyenne arithmético-géométrique, Sylvie Boldo (MIM1, 1999) [Informatique / Arithmétique des ordinateurs] Polka - LORIA - Nancy
• Élaboration et caractérisation dun solide hydrophobe pour létude de la condition de glissement hydrodynamique à l'interface solide-liquide, Guilhem Bordes (DSM 1, 2006) [Physique / Hydrodynamique] LPMCN - Université Lyon I - Lyon
• Détermination du spectre de singularité d'un signal fractal par la méthode du module du maxima de la transformée en ondelettes, Pierre Borgnat (MSM2, 1996) [Physique / Traitement du signal] - -
• Contribution à la détection de systèmes de valeurs et de catégories de consommateurs en analyse d'opinion, Maria Boritchev (, 2015) [Informatique / Analyse d'opinion (linguistique informatique)] IRIT - Toulouse -
• Optimisation de cache d'instructions, Florent Bouchez (MIM1, 2003) [Informatique / Compilation] LIP - ENS Lyon - Lyon
• Relation entre la composition d'inclusions fluide et les paléoaltitudes. Cas des exudats de quartz des Cévennes, Laurie Bougeois (L3ST, 2008) [Géologie / Géochimie] UCBL PEPS - -
• Late Eocene Asian Climate Seasonality inferred from d18O of Tarim Basin Oyster Shell (Sokolowia buhsii (Grewingk)), Laurie Bougeois (M1 PSP, 2009) [Géologie / Paléoclimatologie-Géochimie] Faculty of Geosciences - Utrecht University - Netherlands, Utrecht
• La rotation des galaxies spirales et le probleme de la masse manquante, Mickael Bourgoin (MSM1, 1997) [Physique / Astrophysique] - -
• Intercalation et structures mixtes Ge-Si dans des nanocages de type clathrate, Colin Bousige (L3, 2007) [Physique / Matière Condensée] LPMCN - Lyon -
• Éléctronique moléculaire: étude théorique d'une jonction moléculaire de type dimère, Marie-Lys Béoutis (DSM2, 2007) [Physique / Mécanique quantique] TELEM - laboratoire MPQ - Paris VII Denis Diderot
• Piégeage et fluorescence d'ions Sr+, Marie-Lys Béoutis (L3DSM, 2006) [Physique / Quantique] Groupe Ions Piégés et Information Quantique - Laboratoire Matériaux et Phénomènes Quantiques, Jussieu - Paris
• Groupage de trafic sur le chemin, Laurent Braud (L3IF, 2004) [Informatique / Réseaux / Théorie des graphes] Mascotte - Inria - Sophia Antipolis
• Logique géométrique, Laurent Braud (M1IF, 2005) [Informatique / Logique] Chalmers - Göteborg - Suède
• Schémas et mots morphiques d'ordre supérieur, Laurent Braud (M2IF, 2006) [Informatique / Logique / Automates / Graphes infinis] Galion - Irisa - Rennes
• Étude experimentale de l'anisotropie optique dans des hétérostructures de semiconducteurs III-V, Vivian Bregier (MSM1, 2000) [Physique / Semi-conducteurs] LMPC - - ENS Paris
• Recherche de motifs approchés à l'aide du logiciel grappe, Sébastien Briais (MIM1, 2000) [Informatique / Algorithmique du mot et bioinformatique] Polka - LORIA - Nancy
• Identification of VirD2 interacting proteins using the yeast two-hybrid system, Anne Briancon (SVT2, 2000) [Biologie / Biologie moléculaire] IMP (Institute of Molecular Plant science) - universite de Leiden - Pays Bas
• Feuilletage de variétés (annexe), Laurent Bruasse (MMA1, 1996) [Mathématiques / Géométrie différentielle] - -
• Feuilletage de variétés, Laurent Bruasse (MMA1, 1996) [Mathématiques / Géométrie différentielle] - -
• Realizability techniques for Implicit Complexity, Aloïs brunel (M1IF, 2008) [Informatique / Logique & complexité implicite] RIMS - Kyoto - Japon
• Mise en place de la technique d'RNA interférence chez le lépidoptère Spodoptera frugiperda, Molly Brunner (MBMC1, 2006) [Biologie / Biologie moléculaire] EMIP - INRA UM2 - Montpellier
• Puissance de calcul de l'automate cellulaire 54, Alexandre Buisse (MIM 1, 2005) [Informatique / Automates Cellulaires] LIF - Marseille -
• Categorical models of dependent type theory, Alexandre Buisse (MIM 2, 2006) [Informatique / Théorie des catégories] Chalmers - Göteborg - Suède
• Formalizing Categorical Models of Type Theory in Type Theory, Alexandre Buisse (MIM3, 2007) [Informatique / Théorie des types] Chalmers, Göteborg, Suède - -
• Graphes évolutifs et réseaux dynamiques à calendrier fixé, Binh Minh Bui Xuan (MIM1, 2002) [Informatique / Théorie des graphes] Mascotte - INRIA - Sophia-Antipolis
• Introduction aux variétés commutantes des algèbres de Lie réductives définies sur un corps algébriquement clos de caractéristique zéro ou l'abnégation de la turpitude humaine, Michael Bulois (DEA, 2006) [Mathématiques / Algèbres de Lie] Lyon 1 - -
• Dépendance en impulsion transverse de la production du J/psi dans les interactions S-U à 200 GeV/c par nucléon et Pb-Pb à 158 GeV/c par nucléon., Laurent Capelli (MSM2, 1997) [Physique / Physique des particules] - -
• Que se passe-t-il au croisement de deux ondes solitaires dans un milieu granulaire unidimensionnel, Aude Caussarieu (M1, 2007) [Physique / Physique non linéaire, granulaires] USACH-Santiago du chili - -
• Langages de figures, Julien Cervelle (MIM1, 1997) [Informatique / Théorie des langages] - -
• Support Vector Machines for Image Classification, Olivier Chapelle (MIM2, 1998) [Informatique / Apprentissage et réseaux de neurones] ATT - Red Bank - USA
• Étude de l'interface Si-InSe, Pierre Chary (MSM1, 1996) [Physique / Matière condensée] - -
• Problèmes de définissabilité - Arithmétique de Peano - Arithmétiques faibles, Annie Chateau (MMA1, 1997) [Informatique / Calculabilité et complexité] Arithmétiques faibles - -
• Les théories du successeur et de la coprimarité, Annie Chateau (MMA3, 2000) [Mathématiques / Logique] LLAIC - Clermont - Ferrand
• Exposants de Lyapounov locaux de séries temporelles expérimentales, Sébastien Chaumat (MSM1, 1996) [Physique / Traitement du signal] - -
• Comment les protéines prennent leur pied (GPI), Pascale Chenevier (MSM2, 1996) [Biologie / Biochimie] - -
• Purification d'une protéine à ancrage membranaire glycolipidique, la phosphatase alcaline de bœuf, Pascale Chenevier (MSM2, 1996) [Biologie / Biochimie] - -
• Calcul de la fonction erf en précision arbitraire, Sylvain Chevillard (MIM1, 2003) [Informatique / Arithmétique des ordinateurs] Arénaire - LIP - ENS Lyon
• De l'effectivité du théorème de Dini - Quelques aspects de la calculabilité des fonctions réelles, Sylvain Chevillard (MIM2, 2004) [Informatique / Calculabilité] - FernUniversität - Hagen
• Etude in vitro de la translocation du génome du bactériophage T5, Nicolas Chiaruttini (M2, 2007) [Physique / Interface Physique Biologie] ESPCI - -
• Synthesis of an Enediyne toxine model system, Nicolas Chéron (DSM1, 2005) [Chimie / Chimie] Dept of Chemistry - Princeton Un. - Princeton, USA
• Haptotropic shift of a CpCo moiety along linear [3]phenylene, Nicolas Chéron (DSM2, 2006) [Chimie / Chimie] Dept of Chemistry - Un. of California - Berkeley, USA
• Simulation d'une expérience de dynamo cinétique. Estimation du nombre de Reynolds critique., Maxime Clusel (MSM1, 1999) [Physique / Magnétohydrodynamique] Laboratoire des sciences de la Terre - ENS Lyon - Lyon
• Simulation de réseaux neuronaux et files de priorités, Benjamin Cohen (L3IF, 2006) [Informatique / Biologie] Équipe ODYSSEE - Labo Inria - ENS Ulm|Paris
• NetSolve , the computation web, Albert Cohen (MIM2, 1995) [Informatique / Réseaux] - -
• Structure de données régulières et analyse de flot, Albert Cohen (MIM3, 1996) [Informatique / Sémantique, typage, programmation fonctionnelle] - -
• Étude des systèmes de recombinaison chez les bactéries par génomique comparative, Emmanuel Cornet (MSM2, 2003) [Biologie / Bioinformatique] ABI - CNRS - Paris
• Simulation de systèmes multi-processeurs à communication électroniques et optiques, David Coudert (MIM2, 1996) [Informatique / Architecture] - -
• Délimitation semi-automatique des cycles respiratoires pour le tri d'images médicales selon l'état de la respiration, Corentin Coulais (L3, 2006) [Physique / Traitement du signal] - -
• The Viscoelastic Properties of Electrospun Fibers, Corentin Coulais (MSM 1, 2007) [Physique / Biophysique] Physics Department - Wake Forest University - Winston-Salem, NC, USA
• Le troisième théorème de Hilbert et son interprétation homologique, Sylvain Crovisier (MMA1, 1996) [Mathématiques / Théorie des groupes] - -
• Décimation en imagerie médicale 3D, David Cœurjolly (MIM1, 1998) [Informatique / Synthèse d'images] - -
• Introduction d'un ordonnanceur de processus légers mixtes dans PM2 pour une exploitation efficace des architectures multiprocesseurs, Vincent Danjean (MIM1, 1998) [Informatique / Système] ReMap - LIP - Lyon
• Extending the Linux Kernel with Activations for Better Support of Multithreaded Programs and Integration in PM2, Vincent Danjean (MIM2, 1999) [Informatique / Système] - University of New Hampshire - New Hampshire
• Environnements multithreads distribués : traitement efficace et réactif des communications, Vincent Danjean (MIM3, 2000) [Informatique / Système] LIP - ENS Lyon - Lyon
• Model-checking et abstraction, Laure Danthony (MIM1, 2001) [Informatique / Vérification] LSV - ENS Cachan - Cachan
• Automates observateurs en IF, Laure Danthony (MIM2, 2002) [Informatique / Vérification] Verimag - - Grenoble
• Planification de mouvement en robotique - Analyse en composante principale pour une métrique donnée, Vincent Delaitre (L3Info, 2008) [Informatique / Robotique] Gepetto - LAAS-CNRS - Toulouse
• Classifying ELH Ontologies In SQL Databases, Vincent Delaitre (MIF1, 2009) [Informatique / Logique descriptive & Raisonnement] ConDOR - Oxford University Computing Laboratory - Oxford
• Visioconférence sur réseaux à haut débits, Alexandre Denis (MIM1, 1998) [Informatique / Réseaux] - LIB - Besançon
• Variable Reliabilty Protocol in Globus-Nexus, Alexandre Denis (MIM2, 1999) [Informatique / Réseaux] Globus - University of Southern California / Information Sciences Institute - Marina del Rey, California
• Nombre de points de courbes algébriques, Benoite de Saporta (MMA1, 1998) [Mathématiques / Géométrie algébrique] - Institut de mathématiques de Luminy - Marseille
• Systèmes linéaires de courbes de genre 5, Benoite de Saporta (MMA2, 1999) [Mathématiques / Géométrie algébrique] Équipe de géométrie algébrique - Laboratoire de mathématiques J.A. Dieudonné - Nice
• Contrôle d'une équation parabolique non linéaire avec donnée mesure, Jérôme Droniou (MMA1, 1996) [Mathématiques / Équations aux dérivées partielles] - -
• Convergence of a Multiscale Finite Element Method with Rapidly Oscillating Coefficients, Vincent Duchene (MMA 1, 2006) [Mathématiques / Équations aux dérivées partielles] Universität Freiburg - -
• Exploitation de la construction syntaxique des verbes pour l'évaluation automatique de l'influence sémantique de leurs compléments., François Dupressoir (L3IF, 2006) [Informatique / Traitement des langues naturelles] TAL - LIRMM - Montpellier
• Deforestation of Functional Languages, François Dupressoir (M2IF, 2007) [Informatique / Langages de programmation] PPL - University of Calgary - Canada
• Numerical modeling of topography, geoid and free-air gravity above a plume mantle, Stéphanie Durand (M1, 2007) [Géologie / Géophysique] Charles university Prague - -
• Temporal variation of seismic anisotropy in seismogenic areas: An application to the Parkfield earthquake, 2004, Mw=6.0., Stéphanie Durand (MST 2, 2009) [Géologie / Sismologie] Sismologie-IPGP - -
• Distance de Hausdorff, Benoit Fanchon (MMA1, 1997) [Mathématiques / Topologie] - -
• K-théories des cônes sur un schéma projectif, Laurent Fargues (MMA1, 1996) [Mathématiques / Géométrie algébrique] - -
• Modélisation d'un accident vasculaire cérébral : comportement d'un neurone soumis à un pulse électrique, Lucie Fernandez (MMA1, 2002) [Mathématiques / Modélisation] UMPA / Pharmacologie Lyon 1 - ENS Lyon / Lyon 1 - Lyon
• Avalanche modelling, Lucie Fernandez (MMA2, 2003) [Mathématiques / Modélisation] DAMTP - University of Cambridge - Cambridge (UK)
• Métriser les pavages, Thomas Fernique (MIM1, 2002) [Informatique / Calculabilité et complexité] LIF - CMI - Marseille
• Evaluer et aménager les réseaux de transport, Thomas Fernique (MIM2, 2003) [Informatique / Géographie] Institut Géographique National, Saint-Mandé, France - -
• Pavages d'une polycellule, Thomas Fernique (MIM3, 2004) [Informatique / Pavages] LIRMM - Montpellier -
• Évolution à long terme de l'altitude moyenne des continents, Nicolas Flament (SVT 2, 2006) [Géologie / Géophysique] UMR5570 - ENS Lyon - UCBL|Lyon
• Analyse bispectrale d'un écoulement turbulent, Jean-Michel Friedt (MSM2, 1996) [Physique / Traitement du signal] - -
• Lien entre connaissance implicite et jugement affectif : élaboration dun protocole expérimental et résultats préliminaires., Marie-Alice Gariel (L3BMC, 2006) [Biologie / Neurosciences] Laboratoire de neurosciences cognitives et imagerie cérébrale (LENA) - CNRS UPR 640) - Paris
• Cavitaiton dans les adhésifs mous, Thomas Garnier (DSM, 2006) [Physique / Rhéologie] LPS - ENS Ulm - Paris
• Étude de l'activation du gène erbB4 par la protéine SRF à la jonction neuromusculaire, in vivo chez la souris., Charlotte Gehin (L3, 2006) [Biologie / Différenciation neuromusculaire] Equipe Laurent Schaeffer, LBMC, Lyon, France - -
• Modification of the SPD-2 protein and its role during centrosome elimination in C.elegans, Charlotte Gehin (M1, 2007) [Biologie / Non classé] The Roy laboratory - McGill University - Montreal
• Determining Mo, Sb, Sn and W in basalt reference materials by ICP-MS and using the methods of isotope dilution and standard addition., Marc Geiller (L3, 2007) [Géologie / Géochimie] Department of Earth and Planetary Sciences - Harvard University - United States
• Contrôle de ressources dans le pi-calcul, Stéphane Gimenez (MIM1, 2003) [Informatique / Logique et Pi-calcul] IML - Luminy - Marseille
• Oct-4 module la spécification npuis la différenciation des cellules souches embryonnaires vers un phénotype cardiaque, Mathieu Gineste (BMC, 2005) [Biologie / Cellules Souches] Michel Pucéat - CRBM CNRS - Montpellier
• Investigation on the potential involvement of Sall1 in the maintenance of embryonic stem cell pluripotency and self-renewal. A transcriptomic approach., Mathieu Gineste (M1BMC, 2006) [Biologie / Cellules Souches] Lawrence Staton - Genome Institute of Singapore - Singapore
• Maximal tandem repetitions and Applications to DNA words, Mathieu Giraud (MIM1, 1999) [Informatique / Algorithmique du mot et bioinformatique] Polka - LORIA - Nancy
• Arithmétique en-ligne synchronisée : théorie et application sur FPGA, Mathieu Giraud (MIM2, 2000) [Informatique / Architecture] LSL - EPFL - Lausanne
• Accélérateur matériel pour la recherche de motifs dans les banques génomiques, Mathieu Giraud (MIM3, 2002) [Informatique / Architecture] Symbiose - IRISA - Rennes
• Calculs sur les expansions de taille fixe, Brice Goglin (MIM1, 2000) [Informatique / Arithmétique des ordinateurs] Arénaire - LIP - ENS Lyon
• Transfert de données à haut débit avec OPIOM et Myrinet : application à la vidéo à distance, Brice Goglin (MIM2, 2001) [Informatique / Réseaux] Myricom - Inc - Arcadia - Californie
• Un protocole pour l'accès aux systèmes de fichiers distants dans les grappes, Brice Goglin (MIM3, 2002) [Informatique / Système] LIP - ENS Lyon - Lyon
• Cinématique Stellaire dans les Galaxies Spirales, Brice Goglin (MSM1, 1999) [Physique / Astrophysique] CRAL - Saint Genis Laval -
• Control of space-time chaos in an optical feedback loop, Louis Gostiaux (MSM4, 2003) [Physique / Optique non-linéaire] INOA - Firenze - Italie
• Digitation d'échantillons miscibles en cellule de Hele-Shaw, Léo Granger (DSM 1, 2007) [Physique / Écoulements visqueux] Service de chimie physique non linéaire, Université Libre de Bruxelles - -
• Ordres partiels monotones, Bruno Grenet (L3IF, 2007) [Informatique / Algorithmique] ID-IMAG - ENSIMAG - Grenoble
• Acceptable Complexity Measures of Theorems, Bruno Grenet (M1IF, 2008) [Informatique / Complexité et Calculabilité] Dept of Computer Science - The University of Auckland - New Zealand
• Difficulté du résultant et des grands déterminants, Bruno Grenet (M2IF, 2009) [Informatique / Complexité] LIP - ENS Lyon - Lyon
• Peut-on mettre en evidence dans le detecteur L3 des evenements supersymetriques topologiquement proches de la reaction electron positron donne photon neutrino antineutrino ?, Gérald Grenier (MSM2, 1996) [Physique / Physique des particules] - -
• Etude de Structures algébriques en théorie quantique des champs et renormalisation. Travaux récents de Kreimer, Vincent Guenez (M2, 2006) [Mathématiques / Physique mathématique] ICJ - Université Lyon 1 - Lyon
• Théorie ergodique et billards polygonaux, Vincent Guenez (MMA1, 2003) [Mathématiques / Systèmes dynamiques] IML - Luminy - Marseille
• Interface CiME / Coq, Pierre Guillon (MIM1, 2002) [Informatique / Réécriture et assistants de preuves] Démons - LRI - Orsay
• L'injection du cocktail de facteurs de croissance EGF/bFGF dans le IVème ventricule stimule la prolifération cellulaire du complexe vagal dorsal de rat adulte et réduit la sensibilité aux signaux de satiété, Olivier Guipponi (L3, 2007) [Biologie / Neurophysiologie et prise alimentaire] Laboratoire de Physiologie neuovégétative - Université P. Cézanne - Marseille
• Étude et modélisation d'un mécanisme d'orientation collective chez la fourmi Linepithema humile, Aurélie Guérécheau (L3BMC, 2007) [Biologie / Éthologie] Équipe de Guy Théraulaz, CRCA, Toulouse - -
• The shape and size of the 3rd upper molar of the Bank vole (Myodes glareolus) depend on the trapping season, Aurélie Guérécheau (M1, 2008) [Biologie / Morphométrie] Zoologie moléculaire - ENS Lyon - Lyon et Paléoenvironnement et paléobiosphère|UCBL|Lyon
• Cyclisation intramoléculaire à partir de dérivés aromatiques portant des chaînes allyliques, Juliette Guérin (L3, 2007) [Chimie / Synthèse organique] LCMBA - Faculté des Sciences - Nice
• Le squelette appendiculaire des Cercopithecidae et les indicateurs ostéologiques du mode de vie arboricole et /ou terrestre, Noémie Hamon (L3, 2007) [Géologie / Paléontologie] IPHEP- Poitiers - -
• Formalisation d'ensembles au plus dénombrables en Coq, Florian Hatat (L3IF, 2006) [Informatique / Logique et théorie des ensembles] Méthodes formelles - LaBRI - Bordeaux
• Gluing Nominal Theories, Florian Hatat (M1IF, 2007) [Informatique / Théorie des catégories] Université de Leicester - Royaume-Uni -
• Topologie de l'interaction pour MLL, Florian Hatat (M2IF, 2008) [Informatique / Logique] LAMA - Université de Savoie - Le Bourget-du-Lac
• Équations de transports linéaires, problèmes multi-fluides de Stokes et Navier-Stokes, Christophe Haton (MMA1, 1995) [Mathématiques / Mathématiques appliquées] - -
• Électrochimie du titane dans les bains de sels fondus (NaCl-KCl), Alban Heinrich (MSM1, 1996) [Chimie / Électrochimie] - -
• SSA/SSI data flow analysis, Ulrich Herberg (MIM1, 2005) [Informatique / Compilation] Groupe de compilation - STMicroelectronics - Grenoble
• Mise en œuvre d'un protocole de routage avec qualité de service pour réseaux ad hoc, Sébastien Hinderer (MIM1, 2002) [Informatique / Réseaux ad-hoc] ARES - INSA - Lyon
• Synthèse et caractérisation de conducteurs organiques à base de TTF, Christophe Jalabert (M1 DSM, 2006) [Chimie / Électrochimie - Matériaux - Synthèse organique] ENSCM (Montpellier) - -
• Variétés de Frobénius, Pierre et François James et Maucourant (MMA2 et 1, 1996) [Mathématiques / Géométrie différentielle] - -
• Problème des diviseurs et des paires d'exposants, Pierre Jammes (MMA1, 1995) [Mathématiques / Théorie analytique des nombres] - -
• Théorèmes ergodiques, Christophe Jan (MMA1, 1996) [Mathématiques / Systèmes dynamiques] - -
• Chaînes de Markov sur le cercle, Christophe Jan (MMA2, 1997) [Mathématiques / Probabilités] - -
• Chemins disjoints, Aubin Jarry (MIM1, 1999) [Informatique / Théorie des graphes] SLOOP ( Projet commun CNRS/INRIA/UNSA) - - Sophia Antipolis
• Filamentation d'un LASER dans l'eau, Ludovic Jaubert (DSM1, 2003) [Physique / Optique non-linéaire] LASIM - UCB - Lyon 1
• Semiclassical approximation of the evolution operator, Ludovic Jaubert (DSM2, 2004) [Physique / Quantique] Unicamp - Campineas - SP, Brésil
• Fonctions de corrélation du modèle d'Edwards-Anderson à 3D, Ludovic Jaubert (DSM4, 2006) [Physique / Matière condensée] LPTHE - Paris 6 et 7 (Jussieu) -
• Méthode Comparative : évolution dune méthode vers un nud interdisciplinaire, Hélène Jourdan (BMC2, 2005) [Biologie / Physiologie et Évolution] Zoology UBC Vancouver Canada - -
• Manger ou Nager : faut-il choisir ? Influence de la demande métabolique sur la hiérarchisation des fonctions chez le bar, Dicentrarchus labrax., Hélène Jourdan (BMC2, 2006) [Biologie / Écophysiologie] GPIA Montpellier - -
• Quelques propriétés géométriques de l'ensemble de Cantor 4 coins, Nicolas Juillet (MMA1, 2003) [Mathématiques / Théorie de la mesure géométrique et analyse harmonique] Analyse, Géométrie et Modélisation - - Cergy-Pontoise
• Manipulation pseudo-haptique d'entités 2D, Chantal Keller (L3IF, 2007) [Informatique / Interactions homme-machine] INRIA Rhône-Alpes - -
• Substitutions for simply typed lambda-calculus, Chantal Keller (MIF 1, 2008) [Informatique / Lambda-calcul] Functional Programming - School of computer science - Université de Nottingham|Nottingham|UK
• Importation de preuves HOL-Light en Coq, Chantal Keller (MPRI 2, 2009) [Informatique / Théorie des types] Équipe INRIA TypiCal, LIX, Palaiseau, France - -
• Les graphes parfaits en 1996, Yann Kieffer (MIM3, 1996) [Mathématiques / Mathématiques discrètes] - -
• Représentation des carquois : le théorème de Gabriel, Benoît Klœckner (MMA1, 2001) [Mathématiques / Représentation des algèbres] Unité Desargues - UBCL1 - Lyon
• Un algorithme de retournement des mots de tresse, Tom Krantz (MIM1, 1994) [Informatique / Algorithmique] - -
• Théorème de Fodor et filtres normaux, Tom Krantz (MIM2, 1995) [Informatique / Logique et théorie des ensembles] - -
• Classification des tresses, Tom Krantz (MIM3, 1996) [Informatique / Algorithmique] - -
• Étude de la macropériodicité de la sonoluminescence d'une bulle unique, Boris Kuhlmey (MSM1, 1998) [Physique / Sonoluminescence] - LPMO - Besançon
• Electromagnetic resonances of a single grating of cylinders in the dipole approximation, Boris Kuhlmey (MSM2, 1999) [Physique / Électromagnétisme et optique] School of Physics - University of Sydney - Sydney
• Optimizing performance and reliability of continuous media servers, Guillaume Lacote (MIM2, 1999) [Informatique / Système] Database Laboratory - USC - Los Angeles
• Tolérance aux pannes dynamique pour les systèmes multi-agents distribués, Guillaume Lacote (MIM3, 2000) [Informatique / Systèmes distribués] Database Laboratory - USC - Los Angeles
• Dynamic Nuclear Polarization at High Magnetic Field in Solution-State Samples, Pierre Lafite (MSM2, 2002) [Chimie / RMN] F. Bitter Magnet Lab. - MIT - Boston
• Automates sur les ordinaux (rapport et annexes), Gregory Lafitte (MIM1, 1995) [Informatique / Logique et théorie des ensembles] - -
• La théorie des cofinalités possibles et ses applications, Gregory Lafitte (MIM2, 1996) [Informatique / Logique et théorie des ensembles] - -
• Estimation d'une borne supérieure de dissipation énergétique: application à l'expérience DTS, Maylis Landeau (L3, 2007) [Géologie / Géodynamo] Géodynamo - LGIT - Grenoble
• Influence du nombre de Prandtl sur la convection de Rayleigh-Bénard, Vincent Langlois (MSM2, 2001) [Physique / Convection thermique] Institut de Géophysique - Université de Münster - Allemagne
• Formation et évolution de rides granulaires sous-marines, Vincent Langlois (MSM3, 2002) [Physique / Mécanique des fluides] Granulaires/Mousses - GMCM - Rennes
• Test, Jeannot Lapin (M2, 2012) [Arts / test] test - test -
• Test, Jeannot Lapin (M2, 2012) [Langues / test] test - test -
• Test, Jeannot Lapin (M2, 2012) [Lettres / test] test - test -
• Test, Jeannot Lapin (M2, 2012) [Sciences humaines / test] test - test -
• Test, Jeannot Lapin (M2, 2012) [Sciences sociales / test] test - test -
• Calibration du modèle LPJ-GUESS, servant à modéliser la végétation et sa dynamique en Europe, Thomas Launois (M1, 2009) [Géologie / Paléoenvironnement-Modélisation] Geocentrum II, Lund (Suède), équipe de Ben Smith - -
• Analyse complexe: le point de vue géométrique, François Le Maître (MMA1, 2007) [Mathématiques / Géométrie] Institut Fourier - Grenoble -
• Minimisation du nombre d'ADM dans les reseaux WDM, Benjamin Leveque (MIM1, 2002) [Informatique / Réseaux] Mascotte - INRIA - Sophia-Antipolis
• Localisation dans les réseaux de senseurs, Benjamin Leveque (MIM2, 2003) [Informatique / Réseaux] TCS - CUI - Université de Genève
• Détection de croisements galactiques pour la reconstruction du pointage de l'expérience Archeops, Lucas Levrel (MSM1, 2000) [Physique / Astrophysique] Laboratoire de physique corpusculaire et cosmologie (PCC) - Collège de France - Paris
• 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) [Mathématiques / Géométrie algébrique] - -
• Transferts de charge sur une architecture hypercube, Cedric Lhoussaine (MIM1, 1996) [Informatique / Parallélisme et programmation distribuée] - -
• Imaging System of a Bose-Einstein Condensation Experiment, Fabien Lienhart (MSM1, 2003) [Physique / Optique quantique] Stamper-Kurn's group - UC Berkeley - CA
• Étude spectrographique de quelques galaxies lenticulaires, Emmanuel Loyer (MSM1, 1996) [Physique / Astrophysique] - -
• Preuve de programmes impératifs dans le système Coq - Tri par insertion d'un tableau, Nicolas Magaud (MIM1, 1998) [Informatique / Réécriture et assistants de preuves] Démons - LRI - Orsay
• Family-based association studies: Is a case-control analysis using the parents of the familial sample a valid replication study?, Léo Mallat (L3BMC, 2006) [Biologie / Épidémiologie génétique] U550 Guman Genetic Of Infectious Diseases - Hôpital Necker - Paris
• Pourquoi devez-vous repasser votre chemise ?, Vincent Mansard (DSM, 2007) [Physique / Mécanique] LPMCN - UCBL - Lyon
• Percolation de site sur Zd, Régine Marchand (MMA2, 1996) [Mathématiques / Probabilités] - -
• Définitions statistiques de l'entropie (projet biblio), Armel et Jean-Yves Martin et Tinevez (MSM1, 1999) [Physique / Théorie de l'information] - ENS Lyon -
• L'algèbre symbolique chez Cayley, Nicolas Martin (L3, 2011) [Mathématiques / Histoire des mathématiques] Institut Camille Jordan - -
• Compactification d'espaces de configurations, Nicolas Martin (M2R, 2013) [Mathématiques / Géométrie algébrique] Centre de Mathématiques Laurent Schwartz - École Polytechnique -
• Magnétohydrodynamique à haut nombre de Reynolds, Armel Martin (MSM1, 1999) [Physique / Magnétohydrodynamique] Laboratoire de Physique - ENS Lyon - Lyon
• Mesure de constantes élastiques d'une phase lamellaire par diffusion dynamique de la lumière à l'approche d'une transition de phase, Armel Martin (MSM2, 2000) [Physique / Matière molle] Laboratoire de Physique - ENS Lyon - Lyon
• Monopoles and duality, Patrick Massot (MMA2, 2003) [Mathématiques / Physique mathématique] Université de York - - Angleterre
• Introduction aux aspects analytiques des invariants d'Ozsvath-Szabo, Patrick Massot (MMA3, 2005) [Mathématiques / Géométrie différentielle] UMPA - ENS Lyon - Lyon
• Etude de la turbulence à l'aide d'une corde de Melde, Mylène Mathieu (MSM, 2007) [Physique / Fluctuations/Dissipation] LR1 - ENS Lyon - Lyon
• Conjecture d'Oppenheim et flots unipotents sur les espaces homogènes, Francois Maucourant (MMA2, 1997) [Mathématiques / Géométrie] - -
• Répartition de circuits séquentiels, Clément Menier (MIM1, 2001) [Informatique / Parallélisme et programmation distribuée] BIP - INRIA Rhônes-Alpes - Grenoble
• Développement d'algorithmes de contrôle actif pour absorbants acoustiques hybrides, Matthieu Mercier (DSM L3, 2004) [Physique / Acoustique] - Laboratoire d'Acoustique de l'École Centrale de Lyon - Lyon
• Dynamical Systems theory Applied to a Kinematic Model of a Meandering Jet, Matthieu Mercier (DSM M1, 2005) [Mathématiques / Systèmes dynamiques] Department of Mathematics - University of Bristol - Bristol (Angleterre)
• Caractérisation et Exploitation d'un Nouveau Générateur d'Ondes Internes, Matthieu Mercier (DSM M2, 2007) [Physique / Fluides stratifiés] Laboratoire de Physique - ENS Lyon - Lyon
• Classification lipschitzienne des espaces de Banach, Glenn Merlet (MMA1, 1999) [Mathématiques / Analyse] - Équipe de Mathématiques de Besançon - Besançon
• Recherche de preuves en logique spatiale, Samuel Mimram (MIM1, 2003) [Informatique / Logique et Pi-calcul] LIP - ENS Lyon - Lyon
• Décidabilité de l'égalité dans les catégories avec familles, Samuel Mimram (MIM2, 2004) [Informatique / Logique] Université de Chalmers - Göteborg - Suède
• Multicast et qualité de service sur un réseau IP, Etienne Miret (M1IF, 2007) [Informatique / Réseaux] Bouygues Télécom - -
• On the way to preserve coherence in one D lattice (by building a 3D lattice), Enguerrand Ménard (DSM2, 2005) [Physique / Optique quantique] UofT - Toronto - Canada
• Réduction de réseaux et factorisation, David Monniaux (MIM1, 1996) [Informatique / Cryptographie et méthodes formelles] Factorisation d'entiers - -
• Méthodes formelles et cryptographie, David Monniaux (MIM2, 1997) [Informatique / Cryptographie et méthodes formelles] - -
• Étude Raman d'un oxyde de molybdene sous haute pression, Antoine Moreau (MSM2, 1997) [Physique / Matière condensée] - -
• Des Couches Moléculaires Auto-assemblées vers l'électronique moléculaire, Josselin Mouette (MSM1, 1999) [Physique / Matière condensée] GPEC - Luminy - Marseille
• Étude de cathodes froides planaires, Josselin Mouette (MSM2, 2000) [Physique / Matière condensée] LEE - DPM - UCBL
• Micro-résonateurs sans cavités à base de cristaux photoniques bidimensionnels, Josselin Mouette (MSM3, 2001) [Physique / Photonique] LÉOM - École Centrale de Lyon - Lyon
• Determination of the effective elastic thickness of Africa using spectral method and satellite derived gravity model, Marianne Métois (MMA1, 2007) [Géologie / Géophysique] IJA - Barcelone -
• Matrices à signes alternés, modèle de la glace et boucles denses sur réseau, Anh Minh Nguyen (MMA3, 2003) [Mathématiques / Combinatoires] CEA - - Saclay
• Partitions spatiales pour un lancer de rayons sur GPU, Vincent Nivoliers (DMI, 2006) [Informatique / Synthèse d'images] LIRIS - Université Lyon 1 - Lyon
• Subdivision Surfaces and Penrose Tilings, Vincent Nivoliers (M1, 2007) [Informatique / Synthèse d'images] LIGUM - Université de Montréal -
• Subdivision Surfaces on a Penrose Tiling, Vincent Nivoliers (M2, 2008) [Informatique / Synthèse d'images] Gipsa lab - Grenoble -
• Détermination des sites d'initiation de la synthèse d'ADN au niveau de l'origine de réplication chez l'Archaea Pyrococcus abyssi, Cédric Norais (BMC1, 2001) [Biologie / Biologie] Extrêmophiles - Institut de Génétique et de Microbiologie - Orsay
• Mise au point de l'extraction d'ADN ancien à partir de végétaux fossiles de 8 millions d'années, Cédric Norais (BMC2, 2002) [Biologie / Biologie] Évolution moléculaire et ADN fossile - Centre de Génétique Moléculaire et Cellulaire - Lyon
• Étude des origines de réplication chez les Archaea, Cédric Norais (BMC3, 2003) [Biologie / Biologie] LGPM - Institut de Génétique et de Microbiologie - Orsay
• Universalité des automates cellulaires en une dimension, Nicolas Ollinger (MIM1, 1998) [Informatique / Calculabilité et complexité] Automates Cellulaires - -
• Liquid-gas transition in nuclear matter: analytical formulas for the Virial coefficients, Jean-Christophe Pain (MSM 1, 1995) [Physique / Physique statistique] ENS Lyon - -
• Étude de la relaxation magnétique de l'Hélium 3 polarisé gazeux, Jean-Christophe Pain (MSM 1, 1996) [Physique / Physique quantique] Laboratoire Kastler-Brossel - ENS Paris - -
• Wave functions for two-electron atoms/ions and one and two-electron molecules satisfying some local properties, Jean-Christophe Pain (MSM2, 1997) [Physique / Quantique] 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) [Physique / Quantique] DSM/DRECAM/SPAM - CEA - Saclay
• Symétrie et distorsion des pérovskites silicatées - apport de la spectroscopie de luminescence, Judith Pargamin (MST3, 2000) [Géologie / Géomatériaux] LST - ENS Lyon - Lyon
• Hamiltonicité dans une grille, un jeu d'enfant ?, Aline Parreau (MIM 1, 2006) [Informatique / Graphe, combinatoire et vulgarisation] CNAM - IMAG - Lyon
• Groupes automatiques - Groupes hyperboliques, Anne Parreau (MMA1, 1994) [Mathématiques / Théorie des groupes] - -
• Groupes agissant sur des graphes, Anne Parreau (MMA2, 1995) [Mathématiques / Théorie des groupes] - -
• Géométrie pseudo-riemanienne, Richard Pereyrol (MMA2, 1997) [Mathématiques / Géométrie différentielle] - -
• Autour de la transformation de Fourier quantique, Sylvain Perifel (MIM1, 2002) [Informatique / Informatique quantique] LRI - Orsay - 91
• Number of Variables and Expressive Power of First-Order Logic on Finite Ordered Structures, Sylvain Perifel (MIM2, 2003) [Informatique / Complexité descriptive] Computer Laboratory - University of Cambridge - Cambridge (UK)
• Recherche des particules supersymétriques dans le cadre de l'expérience L3 du LEP au CERN, Sorin-Mihai Perisanu (MSM1, 2000) [Physique / Physique des particules] INPL - - Lyon
• Automates d'arbres avec visibilité, Nicolas Perrin (L3IF, 2006) [Informatique / Théorie des automates] LSV Cachan - -
• Groupes de Coxeter, François Perrin (MMA1, 1998) [Mathématiques / Théorie des groupes] équipe de groupes finis - Université Pierre et Marie Curie - Paris 6
• Le problème de Riemann-Hilbert, François Perrin (MMA2, 1999) [Mathématiques / Topologie] équipe de géométrie algébrique - Université Paris - sud
• Le problème de Riemann-Hilbert (annexe), François Perrin (MMA2, 1999) [Mathématiques / Topologie] équipe de géométrie algébrique - Université Paris - sud
• Alternating Qualitative Parity Tree Automata, Laureline Pinault (L3IF, 2014) [Informatique / Théorie des automates] LIAFA - Paris - France
• Analyse harmonique sur les espace homogènes, Richard Péreyrol (MMA1, 1996) [Mathématiques / Analyse] - -
• Étude de l'équité dans les réseaux ad-hoc, Mathias Péron (MIM1, 2003) [Informatique / Réseaux ad-hoc] ARES - INSA - Lyon
• Courbes planes à singularités imposées, Jean-François Quint (MMA1, 1996) [Mathématiques / Géométrie algébrique] - -
• Bulbes et Disques le long de la sequence de Hubble, Stéphane Ravier (MSM1, 1998) [Physique / Astrophysique] - CRAL - St Genis
• Vélocimétrie par Images de Particules - Application au jet axisymétrique, Stéphane Ravier (MSM2, 1999) [Physique / Mécanique des fluides] IRPHE - CNRS, Univ. Aix - Marseille I et II
• Protéine kinase CK2 et différentiation oligodendrogliale, Mélissa Remy (L3Bio, 2007) [Biologie / Neurobio moléculaire] CEA iRTSV/LTS - INSERM U873 - Grenoble
• The role of endocytosis in the self-incompatibility response of Arabidopsis lyrata, Judith Richter (M2 BMC, 2006) [Biologie / Biologie végétale] RDP - ENS Lyon - Lyon
• The role of endocytosis in the self-incompatibility response of Arabidopsis lyrata (figures), Judith Richter (M2 BMC, 2006) [Biologie / Biologie végétale] RDP - ENS Lyon - Lyon
• Simulation d'écoulements granulaires dans la photosphère solaire, François Rincon (MSM1, 1999) [Physique / Astrophysique] - Observatoire Midi - Pyrénées
• Communications par constellations de satellites : reroutage pour les télécommunications mobiles, Hervé Rivano (MIM1, 1998) [Informatique / Télécommunications] SLOOP - CNRS INRIA I3S - Sophia Antipolis
• Slow communication link and multimedia : A map trachelp PC, Hervé Rivano (MIM2, 1999) [Informatique / Réseaux] Systems and Computer Engineering - Carleton University - Ottawa, Canada
• La coloration fractionnaire appliquée à la résolution de problèmes de plannification de réseaux optiques WDM, Hervé Rivano (MIM3, 2000) [Informatique / Télécommunications] Mascotte - INRIA - Sophia-Antipolis
• Conservation des Fonctions de la Protéine Vpx Issue de Différents Lentivirus de Primates dans l'Infection des Cellules Dendritiques Humaines, Lise Rivière (BMC, 2004) [Biologie / Virologie] LaboRétro - Unité de Virologie Humaine - INSERM U758|ENS Lyon
• Conservation des Fonctions de la Protéine Vpx Issue de Différents Lentivirus de Primates dans l'Infection des Cellules Dendritiques Humaines (figures), Lise Rivière (BMC, 2004) [Biologie / Virologie] LaboRétro - Unité de Virologie Humaine - INSERM U758|ENS Lyon
• Caractérisation de boîtes quantiques InAs GaAs en cavités semi-conductrices de type micropilier, Martin Robert de St Vincent (M1, 2006) [Physique / Optique quantique] NPSC - LSP - Grenoble
• Étude de l'influence des morphes dorsaux sur le comportement de thermorégulation et le métabolisme au repos du lézard vivipare, Nicolas Rode (L3, 2006) [Biologie / Écologie] Laboratoire « Fonctionnement et évolution des systèmes écologiques », UMR 7625 - CNRS, Université Pierre et Marie Curie - Paris
• Genetic variation and selection for condition in Drosophila melanogaster males, Nicolas Rode (M1, 2007) [Biologie / Écologie] Département d'Écologie Animale-Université d'Uppsala - Uppsala - Suède
• Radiosité discrète, David Roger (MIM1, 2002) [Informatique / Synthèse d'images] LLAIC1 - IUT Informatique - Clermont-Ferrand
• Croissance des sous-groupes, Sylvie Ruette (MMA1, 1996) [Mathématiques / Théorie des groupes] - -
• Disjonction en systèmes dynamiques, ensembles minimaux, approximation diophantienne, Sylvie Ruette (MMA2, 1997) [Mathématiques / Systèmes dynamiques] - -
• Reconnaissance d'objets par approche structurelle, Guillaume Ryder (MIM 1, 2005) [Informatique / Analyse d'image] LIRIS - Lyon -
• Utilisation d'UCT au Hex, Abdallah Saffidine (L3IF, 2008) [Informatique / Algorithmique des jeux] Laboratoire d'Informatique Avancée de Saint-Denis - Université Paris 8 - Saint-Denis
• LTL Model Checking with use of Generalised Stuttering and Characteristic Patterns, Abdallah Saffidine (M1IF, 2009) [Informatique / Vérification] Chair for Foundations of Software Reliability and Theoretical Computer Science - TUM - Munich
• Some Improvements for Monte-Carlo Tree Search, Abdallah Saffidine (M2 ISI, 2010) [Informatique / Algorithmique des jeux] LAMSADE - Univeristé Paris-Dauphine - Paris
• Réactions prébiotiques : formation de molécules énergisées à l'interface oxyde/solution aqueuse, Élodie Salager (L3, 2004) [Chimie / Chimie inorganique] LRS-UMR7609-Jussieu-Paris - -
• Une nouvelle méthode de résonance magnétique nucléaire pour déterminer léchelle de temps de léchange conformationnel dans les protéines enrichies en 15N, Élodie Salager (M1, 2005) [Chimie / RMN] Laboratoire de RMN-UMR 8642 - ENS Paris - Paris
• Étude d'un écoulement d'eau turbulent par déflexion d'un microlevier, Julien Salort (DSM1, 2005) [Physique / Mécanique des fluides] Carl von Ossietzky Universität - Oldenburg - Allemagne
• Low frequency oscillation in turbulent Rayleigh-Bénard cubic convection cell, Julien Salort (DSM2, 2006) [Physique / Convection thermique] Georg-August Universität - Göttingen - Allemagne
• Notion de groupe pour la bibliothèque PPCM, Rémi Sanlaville (MIM1, 1995) [Informatique / Parallélisme et programmation distribuée] - -
• Segmentation techniques for video encoding, Rémi Sanlaville (MIM2, 1996) [Informatique / Théorie des graphes] - -
• Optimisation des chromophores pour les polymères photoréfractifs dopés : vers une simulation efficace ?, Nathanael Schaeffer (MSM1, 1999) [Physique / Optique non-linéaire] GONLO - IPCMS - Strasbourg
• Boundary layer interaction in plume-based variable-viscosity thermal convection, Nathanael Schaeffer (MSM2, 2000) [Physique / Convection thermique] DoGS - University of Oregon - Eugene USA
• Identification de visages, Olivier Schwander (L3IF, 2007) [Informatique / Analyse d'image] LEAR - INRIA Rhône-Alpes - Grenoble
• Feature selection for faces clustering in low constraint environment, Olivier Schwander (M1IF, 2008) [Informatique / Analyse d'image] Slipguru - Université de Gênes - Italie
• Étude de critères de séparation pour les arbres de décision, Olivier Schwander (M2, 2009) [Informatique / Apprentissage et réseaux de neurones] Texmex - INRIA - Rennes
• Ultrafiltres et théorie de Ramsey, Anne Siegel (MMA2, 1996) [Mathématiques / Mathématiques discrètes] - -
• Génération automatique de schémas canoniques pour les types inductifs du CCI dans Coq, Vincent Siles (MPRI, 2007) [Informatique / Langages de programmation] Logical (LIX) - -
• Relational Quantum Mechanics, Matteo Smerlak (MSM2, 2006) [Physique / Quantique] CPT - Campus de Luminy - Marseille
• Les groupes de Baumslag-Solitar, Estelle Souche (MMA1, 1995) [Mathématiques / Théorie des groupes] - -
• Le théorème de Stallings sur les groupes ayant au moins deux bouts, Estelle Souche (MMA2, 1996) [Mathématiques / Théorie des groupes] - -
• Une approche statistique au modèle d'Hotelling, Juliette Stehlé (MSM1, 2008) [Physique / Systèmes complexes] Institut des systèmes complexes - ENS Lyon - Lyon
• Quantification et analyse de la phénologie des prairies de l'adret de Villar d'Arène en fonction de leur gestion, de leur fertilité minérale et de leur localisation dans le paysage, Periquet Stéphanie (L3, 2007) [Biologie / Écologie fonctionnelle végétale] LECA, équipe TDE, Grenoble, France - -
• Approche probabiliste d'une équation différentielle elliptique à coefficients constants par morceaux et aléatoires, Franck Sueur (MMA1, 2000) [Mathématiques / Probabilités] LATP - Chateau Gombert - Marseille
• Décomposition cellulaire, semi-algébriques et sous-analytiques (cas p-adique), Maud Szusterman (L3, 2013) [Mathématiques / Géométrie modérée] LAMA, Chambéry - -
• Problems on interval graphs L(2,1)-labelling Almost-mixed unit interval graphs, Alexandre Talon (M1, 2014) [Informatique / Théorie des graphes] Department of Applied Mathematics, Charles University, Prague, Czech Republic - -
• Étude de la notion de virus dans le modèle de calcul des machines de Turing quantiques, Antoine Taveneaux (L3, 2008) [Informatique / Modèles de calcul, virologie informatique] Carte, Loria, Nancy - -
• Évaluation et typage d'un calcul des objets, David Teller (MIM1, 1999) [Informatique / Sémantique, typage, programmation fonctionnelle] - - Sophia
• Minimisation de la première valeur propre du Laplacien, Rozenn Texier (MMA2, 1997) [Mathématiques / Équations aux dérivées partielles] - -
• Le problème de l'arrêt pour les machines de Matiyasévitch, Olivier Teytaud (MIM1, 1996) [Informatique / Calculabilité et complexité] Arithmétiques faibles - -
• Arithmétiques faibles et rédaction automatique de preuves, Olivier Teytaud (MIM2, 1997) [Informatique / Calculabilité et complexité] Arithmétiques faibles - -
• Single protein force based AFM spectroscopy, Isaac Theurkauff (MSM1, 2008) [Physique / Biophysique] - -
• OpenGL distribué, Samuel Thibault (MIM1, 2002) [Informatique / Réseaux] Resedas - Loria - Nancy
• Developing a software tool for precise kernel measurements, Samuel Thibault (MIM2, 2003) [Informatique / Système] UNH - Durham, New Hampshire - États-Unis
• Un ordonnanceur flexible pour machines multiprocesseurs hiérarchisées, Samuel Thibault (MIM3, 2004) [Informatique / Système] Runtime - LaBRI - Bordeaux
• Simulation numérique d'effets thermoacoustiques, Jean-Yves Tinevez (MSM1, 1999) [Physique / Acoustique] Laboratoire d'Acoustique - École Centrale de Lyon - Lyon
• Acoustic current source and transfer function of the ear, Jean-Yves Tinevez (MSM2, 2000) [Physique / Acoustique] - Laboratoire d'Acoustique musicale - Université des nouvelle Galles du Sud de Sydney (Australie)
• Logique monadique et graphes : ordres totaux sur les graphes infinis, Rémi Vanicat (MIM3, 1999) [Informatique / Théorie des graphes] - LABRI - Bordeaux
• Optimisation de cache d'instructions, Pascal Vanier (L3IF, 2007) [Informatique / Compilation] Compsys - LIP - ENS Lyon|Lyon
• Ordonnancement en régime permanent en équité proportionnelle sur une plate-forme en structure d'arbre, Rémi Vannier (DEA Info, 2006) [Informatique / Ordonnancement] ID-IMAG Grenoble - -
• Grandes déviations et applications, Matthieu Vignes (MMA2, 2000) [Mathématiques / Probabilités] LATP - Chateau Gombert - Marseille
• Fracture oscillante dans un film mince, Vincent Viguié (DSM1, 2003) [Physique / Mécanique] PMMH - ESPCI - Paris
• Thermodynamical work and tripartite entanglement, Vincent Viguié (DSM2, 2004) [Physique / Théorie quantique de l'information] QOLS - Blackett Laboratory - Imperial College, London (UK)
• Robustesse à la recombinaison dans un modèle de réseaux de gènes (théorie de l'évolution), Vincent Viguié (DSM3, 2006) [Physique / Biophysique] LPTMS - Université Paris XI - Orsay
• Le pavage des entiers, Jules Villard (L3IF, 2005) [Informatique / Pavages] LAMA - Université de Savoir - Le Bourget-du-Lac
• Calcul des prédicats inductifs en logique séparante, Jules Villard (M1IF, 2006) [Informatique / Vérification] Imperial College - Londres - UK
• Logique spatiale pour le pi-calcul appliqué, Jules Villard (M2 MPRI, 2007) [Informatique / Logique et Pi-calcul] LSV - ENS Cachan - Cachan
• Étude de la stabilité de réseaux de neurones par le calcul des nombres de Lyapunov, Thomas Voegtlin (MIM1, 1996) [Informatique / Apprentissage et réseaux de neurones] - -
• Réseaux optiques à multiplexage en longueur d'onde : une étude sur le placement des convertisseurs, Benjamin Wack (MIM1, 2000) [Informatique / Théorie des graphes] MASCOTTE - INRIA - Sophia Antipolis
• Introduction aux surfaces K3 et d'Enriques, Jean-Yves Welschinger (MMA2, 1996) [Mathématiques / Géométrie algébrique] - -
• Verres de spin, Maxime Wolff (MMA1, 2000) [Mathématiques / Probabilités] LSP - Université Paul Sabatier - Toulouse
• Matching de types modulo isomorphismes, Boris Yakobowski (MIM1, 2002) [Informatique / Sémantique, typage, programmation fonctionnelle] Cristal - INRIA Rocquencourt - Rocquencourt

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