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 année du rapport

- 1994 - 1995 - 1996 - 1997 - 1998 - 1999 - 2000 - 2001 - 2002 - 2003 - 2004 - 2005 - 2006 - 2007 - 2008 - 2009 - 2010 - 2011 - 2012 - 2013 - 2014 - 2015 - 2016 - 2017 - 2018 - 2019 - 2020 - 2021 - 2022 -

  1994

• Un algorithme de retournement des mots de tresse, Tom Krantz (MIM1, 1994) [Informatique / Algorithmique] - -
• Groupes automatiques - Groupes hyperboliques, Anne Parreau (MMA1, 1994) [Mathématiques / Théorie des groupes] - -

  1995

• NetSolve , the computation web, Albert Cohen (MIM2, 1995) [Informatique / Réseaux] - -
• Équations de transports linéaires, problèmes multi-fluides de Stokes et Navier-Stokes, Christophe Haton (MMA1, 1995) [Mathématiques / Mathématiques appliquées] - -
• Problème des diviseurs et des paires d'exposants, Pierre Jammes (MMA1, 1995) [Mathématiques / Théorie analytique des nombres] - -
• Théorème de Fodor et filtres normaux, Tom Krantz (MIM2, 1995) [Informatique / Logique et théorie des ensembles] - -
• Automates sur les ordinaux (rapport et annexes), Gregory Lafitte (MIM1, 1995) [Informatique / Logique et théorie des ensembles] - -
• 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] - -
• Liquid-gas transition in nuclear matter: analytical formulas for the Virial coefficients, Jean-Christophe Pain (MSM 1, 1995) [Physique / Physique statistique] ENS Lyon - -
• Groupes agissant sur des graphes, Anne Parreau (MMA2, 1995) [Mathématiques / Théorie des groupes] - -
• Notion de groupe pour la bibliothèque PPCM, Rémi Sanlaville (MIM1, 1995) [Informatique / Parallélisme et programmation distribuée] - -
• Les groupes de Baumslag-Solitar, Estelle Souche (MMA1, 1995) [Mathématiques / Théorie des groupes] - -

  1996

• Passage 3D-1D en électromagnétisme, Christophe Antonini (MMA1, 1996) [Mathématiques / Mathématiques appliquées] - -
• Calculabilité sur les réels, Vincent Balat (MIM1, 1996) [Informatique / Calculabilité et complexité] - -
• Fractions continues et marches aléatoires, Jean-Baptiste Bardet (MMA1, 1996) [Mathématiques / Probabilités] - -
• 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] - -
• 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] - -
• Étude de l'interface Si-InSe, Pierre Chary (MSM1, 1996) [Physique / Matière condensée] - -
• 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] - -
• Structure de données régulières et analyse de flot, Albert Cohen (MIM3, 1996) [Informatique / Sémantique, typage, programmation fonctionnelle] - -
• Simulation de systèmes multi-processeurs à communication électroniques et optiques, David Coudert (MIM2, 1996) [Informatique / Architecture] - -
• Le troisième théorème de Hilbert et son interprétation homologique, Sylvain Crovisier (MMA1, 1996) [Mathématiques / Théorie des groupes] - -
• 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] - -
• K-théories des cônes sur un schéma projectif, Laurent Fargues (MMA1, 1996) [Mathématiques / Géométrie algébrique] - -
• Analyse bispectrale d'un écoulement turbulent, Jean-Michel Friedt (MSM2, 1996) [Physique / Traitement du signal] - -
• 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] - -
• Électrochimie du titane dans les bains de sels fondus (NaCl-KCl), Alban Heinrich (MSM1, 1996) [Chimie / Électrochimie] - -
• Variétés de Frobénius, Pierre et François James et Maucourant (MMA2 et 1, 1996) [Mathématiques / Géométrie différentielle] - -
• Théorèmes ergodiques, Christophe Jan (MMA1, 1996) [Mathématiques / Systèmes dynamiques] - -
• Les graphes parfaits en 1996, Yann Kieffer (MIM3, 1996) [Mathématiques / Mathématiques discrètes] - -
• Classification des tresses, Tom Krantz (MIM3, 1996) [Informatique / Algorithmique] - -
• La théorie des cofinalités possibles et ses applications, Gregory Lafitte (MIM2, 1996) [Informatique / Logique et théorie des ensembles] - -
• Transferts de charge sur une architecture hypercube, Cedric Lhoussaine (MIM1, 1996) [Informatique / Parallélisme et programmation distribuée] - -
• Étude spectrographique de quelques galaxies lenticulaires, Emmanuel Loyer (MSM1, 1996) [Physique / Astrophysique] - -
• Percolation de site sur Zd, Régine Marchand (MMA2, 1996) [Mathématiques / Probabilités] - -
• Réduction de réseaux et factorisation, David Monniaux (MIM1, 1996) [Informatique / Cryptographie et méthodes formelles] Factorisation d'entiers - -
• É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 - -
• Analyse harmonique sur les espace homogènes, Richard Péreyrol (MMA1, 1996) [Mathématiques / Analyse] - -
• Courbes planes à singularités imposées, Jean-François Quint (MMA1, 1996) [Mathématiques / Géométrie algébrique] - -
• Croissance des sous-groupes, Sylvie Ruette (MMA1, 1996) [Mathématiques / Théorie des groupes] - -
• Segmentation techniques for video encoding, Rémi Sanlaville (MIM2, 1996) [Informatique / Théorie des graphes] - -
• Ultrafiltres et théorie de Ramsey, Anne Siegel (MMA2, 1996) [Mathématiques / Mathématiques discrètes] - -
• Le théorème de Stallings sur les groupes ayant au moins deux bouts, Estelle Souche (MMA2, 1996) [Mathématiques / Théorie des groupes] - -
• Le problème de l'arrêt pour les machines de Matiyasévitch, Olivier Teytaud (MIM1, 1996) [Informatique / Calculabilité et complexité] Arithmétiques faibles - -
• É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] - -
• Introduction aux surfaces K3 et d'Enriques, Jean-Yves Welschinger (MMA2, 1996) [Mathématiques / Géométrie algébrique] - -

  1997

• Simulation numerique en propagation acoustique, Stanislas Antczak (MSM1, 1997) [Physique / Acoustique] - -
• Existence d'un domaine optimal dans un problème d'optimisation de forme, Christophe Antonini (MMA2, 1997) [Mathématiques / Mathématiques appliquées] - -
• Fusion de deux environnements de programmation parallèle, DOSMOS et PM2, Olivier Aumage (MIM1, 1997) [Informatique / Parallélisme et programmation distribuée] - -
• Marches aléatoires en milieu aléatoire, Jean-Baptiste Bardet (MMA2, 1997) [Mathématiques / Probabilités] - -
• Géométrie et combinatoires des complexes cellulaires associés à certains groupes, Pierre Bejian (MMA1, 1997) [Mathématiques / Topologie] - -
• La rotation des galaxies spirales et le probleme de la masse manquante, Mickael Bourgoin (MSM1, 1997) [Physique / Astrophysique] - -
• 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] - -
• Langages de figures, Julien Cervelle (MIM1, 1997) [Informatique / Théorie des langages] - -
• Problèmes de définissabilité - Arithmétique de Peano - Arithmétiques faibles, Annie Chateau (MMA1, 1997) [Informatique / Calculabilité et complexité] Arithmétiques faibles - -
• Distance de Hausdorff, Benoit Fanchon (MMA1, 1997) [Mathématiques / Topologie] - -
• Chaînes de Markov sur le cercle, Christophe Jan (MMA2, 1997) [Mathématiques / Probabilités] - -
• Conjecture d'Oppenheim et flots unipotents sur les espaces homogènes, Francois Maucourant (MMA2, 1997) [Mathématiques / Géométrie] - -
• 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] - -
• 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
• Géométrie pseudo-riemanienne, Richard Pereyrol (MMA2, 1997) [Mathématiques / Géométrie différentielle] - -
• Disjonction en systèmes dynamiques, ensembles minimaux, approximation diophantienne, Sylvie Ruette (MMA2, 1997) [Mathématiques / Systèmes dynamiques] - -
• Minimisation de la première valeur propre du Laplacien, Rozenn Texier (MMA2, 1997) [Mathématiques / Équations aux dérivées partielles] - -
• Arithmétiques faibles et rédaction automatique de preuves, Olivier Teytaud (MIM2, 1997) [Informatique / Calculabilité et complexité] Arithmétiques faibles - -

  1998

• 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
• Assimilation de données expérimentales dans les systèmes non-linéaires chaotiques, Didier Auroux (MMA1, 1998) [Mathématiques / Mathématiques appliquées] - -
• Support Vector Machines for Image Classification, Olivier Chapelle (MIM2, 1998) [Informatique / Apprentissage et réseaux de neurones] ATT - Red Bank - USA
• 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
• Visioconférence sur réseaux à haut débits, Alexandre Denis (MIM1, 1998) [Informatique / Réseaux] - LIB - Besançon
• 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
• Étude de la macropériodicité de la sonoluminescence d'une bulle unique, Boris Kuhlmey (MSM1, 1998) [Physique / Sonoluminescence] - LPMO - Besançon
• 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
• Universalité des automates cellulaires en une dimension, Nicolas Ollinger (MIM1, 1998) [Informatique / Calculabilité et complexité] Automates Cellulaires - -
• 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
• Bulbes et Disques le long de la sequence de Hubble, Stéphane Ravier (MSM1, 1998) [Physique / Astrophysique] - CRAL - St Genis
• 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

  1999

• 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
• É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] - -
• 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
• 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
• 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
• 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
• 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
• Maximal tandem repetitions and Applications to DNA words, Mathieu Giraud (MIM1, 1999) [Informatique / Algorithmique du mot et bioinformatique] Polka - LORIA - Nancy
• Cinématique Stellaire dans les Galaxies Spirales, Brice Goglin (MSM1, 1999) [Physique / Astrophysique] CRAL - Saint Genis Laval -
• Chemins disjoints, Aubin Jarry (MIM1, 1999) [Informatique / Théorie des graphes] SLOOP ( Projet commun CNRS/INRIA/UNSA) - - Sophia Antipolis
• 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
• 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 -
• Magnétohydrodynamique à haut nombre de Reynolds, Armel Martin (MSM1, 1999) [Physique / Magnétohydrodynamique] 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
• Des Couches Moléculaires Auto-assemblées vers l'électronique moléculaire, Josselin Mouette (MSM1, 1999) [Physique / Matière condensée] GPEC - Luminy - Marseille
• 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
• 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
• 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
• Simulation d'écoulements granulaires dans la photosphère solaire, François Rincon (MSM1, 1999) [Physique / Astrophysique] - Observatoire Midi - Pyrénées
• Slow communication link and multimedia : A map trachelp PC, Hervé Rivano (MIM2, 1999) [Informatique / Réseaux] Systems and Computer Engineering - Carleton University - Ottawa, Canada
• 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
• Évaluation et typage d'un calcul des objets, David Teller (MIM1, 1999) [Informatique / Sémantique, typage, programmation fonctionnelle] - - Sophia
• Simulation numérique d'effets thermoacoustiques, Jean-Yves Tinevez (MSM1, 1999) [Physique / Acoustique] Laboratoire d'Acoustique - École Centrale de Lyon - Lyon
• Logique monadique et graphes : ordres totaux sur les graphes infinis, Rémi Vanicat (MIM3, 1999) [Informatique / Théorie des graphes] - LABRI - Bordeaux

  2000

• 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
• Analyse et géométrie sur des espaces métriques, Christophe Boilley (MMA1, 2000) [Mathématiques / Analyse] - Université de Cergy - Pontoise
• É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
• Les théories du successeur et de la coprimarité, Annie Chateau (MMA3, 2000) [Mathématiques / Logique] LLAIC - Clermont - Ferrand
• Environnements multithreads distribués : traitement efficace et réactif des communications, Vincent Danjean (MIM3, 2000) [Informatique / Système] LIP - ENS Lyon - Lyon
• Arithmétique en-ligne synchronisée : théorie et application sur FPGA, Mathieu Giraud (MIM2, 2000) [Informatique / Architecture] LSL - EPFL - Lausanne
• Calculs sur les expansions de taille fixe, Brice Goglin (MIM1, 2000) [Informatique / Arithmétique des ordinateurs] Arénaire - LIP - ENS Lyon
• 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
• 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
• 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
• Étude de cathodes froides planaires, Josselin Mouette (MSM2, 2000) [Physique / Matière condensée] LEE - DPM - UCBL
• 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
• 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
• 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
• Boundary layer interaction in plume-based variable-viscosity thermal convection, Nathanael Schaeffer (MSM2, 2000) [Physique / Convection thermique] DoGS - University of Oregon - Eugene USA
• 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
• 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)
• Grandes déviations et applications, Matthieu Vignes (MMA2, 2000) [Mathématiques / Probabilités] LATP - Chateau Gombert - Marseille
• 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
• Verres de spin, Maxime Wolff (MMA1, 2000) [Mathématiques / Probabilités] LSP - Université Paul Sabatier - Toulouse

  2001

• Model-checking et abstraction, Laure Danthony (MIM1, 2001) [Informatique / Vérification] LSV - ENS Cachan - Cachan
• 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
• 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
• 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
• Répartition de circuits séquentiels, Clément Menier (MIM1, 2001) [Informatique / Parallélisme et programmation distribuée] BIP - INRIA Rhônes-Alpes - Grenoble
• Micro-résonateurs sans cavités à base de cristaux photoniques bidimensionnels, Josselin Mouette (MSM3, 2001) [Physique / Photonique] LÉOM - École Centrale de Lyon - Lyon
• 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

  2002

• 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
• É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
• Graphes évolutifs et réseaux dynamiques à calendrier fixé, Binh Minh Bui Xuan (MIM1, 2002) [Informatique / Théorie des graphes] Mascotte - INRIA - Sophia-Antipolis
• Automates observateurs en IF, Laure Danthony (MIM2, 2002) [Informatique / Vérification] Verimag - - Grenoble
• 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
• Métriser les pavages, Thomas Fernique (MIM1, 2002) [Informatique / Calculabilité et complexité] LIF - CMI - Marseille
• Accélérateur matériel pour la recherche de motifs dans les banques génomiques, Mathieu Giraud (MIM3, 2002) [Informatique / Architecture] Symbiose - IRISA - Rennes
• 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
• Interface CiME / Coq, Pierre Guillon (MIM1, 2002) [Informatique / Réécriture et assistants de preuves] Démons - LRI - Orsay
• 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
• Dynamic Nuclear Polarization at High Magnetic Field in Solution-State Samples, Pierre Lafite (MSM2, 2002) [Chimie / RMN] F. Bitter Magnet Lab. - MIT - Boston
• Formation et évolution de rides granulaires sous-marines, Vincent Langlois (MSM3, 2002) [Physique / Mécanique des fluides] Granulaires/Mousses - GMCM - Rennes
• Minimisation du nombre d'ADM dans les reseaux WDM, Benjamin Leveque (MIM1, 2002) [Informatique / Réseaux] Mascotte - INRIA - Sophia-Antipolis
• 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
• Autour de la transformation de Fourier quantique, Sylvain Perifel (MIM1, 2002) [Informatique / Informatique quantique] LRI - Orsay - 91
• Radiosité discrète, David Roger (MIM1, 2002) [Informatique / Synthèse d'images] LLAIC1 - IUT Informatique - Clermont-Ferrand
• OpenGL distribué, Samuel Thibault (MIM1, 2002) [Informatique / Réseaux] Resedas - Loria - Nancy
• Matching de types modulo isomorphismes, Boris Yakobowski (MIM1, 2002) [Informatique / Sémantique, typage, programmation fonctionnelle] Cristal - INRIA Rocquencourt - Rocquencourt

  2003

• Détecteurs de pannes non fiables pour les systèmes distribués asynchrones, David Baelde (MIM1, 2003) [Informatique / Systèmes distribués] LaRIA - - Amiens
• Régulation de l'homéostasie osseuse par le système nerveux central, Corentin Barbu (BMC 1, 2003) [Biologie / Neurologie] ENS Lyon - -
• 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
• 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
• Systèmes à image unique pour grappes : une étude comparative, Benoit Boissinot (MIM1, 2003) [Informatique / Système] PARIS - IRISA/INRIA - Rennes
• Optimisation de cache d'instructions, Florent Bouchez (MIM1, 2003) [Informatique / Compilation] LIP - ENS Lyon - Lyon
• Calcul de la fonction erf en précision arbitraire, Sylvain Chevillard (MIM1, 2003) [Informatique / Arithmétique des ordinateurs] Arénaire - LIP - ENS Lyon
• Étude des systèmes de recombinaison chez les bactéries par génomique comparative, Emmanuel Cornet (MSM2, 2003) [Biologie / Bioinformatique] ABI - CNRS - Paris
• Avalanche modelling, Lucie Fernandez (MMA2, 2003) [Mathématiques / Modélisation] DAMTP - University of Cambridge - Cambridge (UK)
• Evaluer et aménager les réseaux de transport, Thomas Fernique (MIM2, 2003) [Informatique / Géographie] Institut Géographique National, Saint-Mandé, France - -
• Contrôle de ressources dans le pi-calcul, Stéphane Gimenez (MIM1, 2003) [Informatique / Logique et Pi-calcul] IML - Luminy - Marseille
• Control of space-time chaos in an optical feedback loop, Louis Gostiaux (MSM4, 2003) [Physique / Optique non-linéaire] INOA - Firenze - Italie
• Théorie ergodique et billards polygonaux, Vincent Guenez (MMA1, 2003) [Mathématiques / Systèmes dynamiques] IML - Luminy - Marseille
• Filamentation d'un LASER dans l'eau, Ludovic Jaubert (DSM1, 2003) [Physique / Optique non-linéaire] LASIM - UCB - Lyon 1
• 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
• Localisation dans les réseaux de senseurs, Benjamin Leveque (MIM2, 2003) [Informatique / Réseaux] TCS - CUI - Université de Genève
• Imaging System of a Bose-Einstein Condensation Experiment, Fabien Lienhart (MSM1, 2003) [Physique / Optique quantique] Stamper-Kurn's group - UC Berkeley - CA
• Monopoles and duality, Patrick Massot (MMA2, 2003) [Mathématiques / Physique mathématique] Université de York - - Angleterre
• Recherche de preuves en logique spatiale, Samuel Mimram (MIM1, 2003) [Informatique / Logique et Pi-calcul] LIP - ENS Lyon - Lyon
• 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
• É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
• 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)
• Étude de l'équité dans les réseaux ad-hoc, Mathias Péron (MIM1, 2003) [Informatique / Réseaux ad-hoc] ARES - INSA - Lyon
• Developing a software tool for precise kernel measurements, Samuel Thibault (MIM2, 2003) [Informatique / Système] UNH - Durham, New Hampshire - États-Unis
• Fracture oscillante dans un film mince, Vincent Viguié (DSM1, 2003) [Physique / Mécanique] PMMH - ESPCI - Paris

  2004

• Optimisation de cache d'instructions, Benoit Boissinot (M1, 2004) [Informatique / Compilation] Compsys - LIP - Lyon
• Groupage de trafic sur le chemin, Laurent Braud (L3IF, 2004) [Informatique / Réseaux / Théorie des graphes] Mascotte - Inria - Sophia Antipolis
• 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
• Pavages d'une polycellule, Thomas Fernique (MIM3, 2004) [Informatique / Pavages] LIRMM - Montpellier -
• Semiclassical approximation of the evolution operator, Ludovic Jaubert (DSM2, 2004) [Physique / Quantique] Unicamp - Campineas - SP, Brésil
• 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
• Décidabilité de l'égalité dans les catégories avec familles, Samuel Mimram (MIM2, 2004) [Informatique / Logique] Université de Chalmers - Göteborg - Suède
• 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
• 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 - -
• Un ordonnanceur flexible pour machines multiprocesseurs hiérarchisées, Samuel Thibault (MIM3, 2004) [Informatique / Système] Runtime - LaBRI - Bordeaux
• Thermodynamical work and tripartite entanglement, Vincent Viguié (DSM2, 2004) [Physique / Théorie quantique de l'information] QOLS - Blackett Laboratory - Imperial College, London (UK)

  2005

• É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
• 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
• Logique géométrique, Laurent Braud (M1IF, 2005) [Informatique / Logique] Chalmers - Göteborg - Suède
• Puissance de calcul de l'automate cellulaire 54, Alexandre Buisse (MIM 1, 2005) [Informatique / Automates Cellulaires] LIF - Marseille -
• Synthesis of an Enediyne toxine model system, Nicolas Chéron (DSM1, 2005) [Chimie / Chimie] Dept of Chemistry - Princeton Un. - Princeton, USA
• 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
• SSA/SSI data flow analysis, Ulrich Herberg (MIM1, 2005) [Informatique / Compilation] Groupe de compilation - STMicroelectronics - Grenoble
• 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 - -
• Introduction aux aspects analytiques des invariants d'Ozsvath-Szabo, Patrick Massot (MMA3, 2005) [Mathématiques / Géométrie différentielle] UMPA - ENS 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)
• 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
• Reconnaissance d'objets par approche structurelle, Guillaume Ryder (MIM 1, 2005) [Informatique / Analyse d'image] LIRIS - Lyon -
• 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
• Le pavage des entiers, Jules Villard (L3IF, 2005) [Informatique / Pavages] LAMA - Université de Savoir - Le Bourget-du-Lac

  2006

• 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 - -
• Optimisation des communications sur réseaux rapides par utilisation de RDMA, Cédric Augonnet (MIM1, 2006) [Informatique / Système] Runtime - LaBRI - Bordeaux
• Automates de sable et langages, Thibaut Balabonski (MIM1, 2006) [Informatique / Languages] RECIF - I3S - Nice-Sophia Antipolis
• 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 -
• É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
• 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
• Schémas et mots morphiques d'ordre supérieur, Laurent Braud (M2IF, 2006) [Informatique / Logique / Automates / Graphes infinis] Galion - Irisa - Rennes
• 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
• Categorical models of dependent type theory, Alexandre Buisse (MIM 2, 2006) [Informatique / Théorie des catégories] Chalmers - Göteborg - Suède
• 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 - -
• 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 de réseaux neuronaux et files de priorités, Benjamin Cohen (L3IF, 2006) [Informatique / Biologie] Équipe ODYSSEE - Labo Inria - ENS Ulm|Paris
• 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] - -
• 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
• Évolution à long terme de l'altitude moyenne des continents, Nicolas Flament (SVT 2, 2006) [Géologie / Géophysique] UMR5570 - ENS Lyon - UCBL|Lyon
• 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 - -
• 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
• 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
• 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
• 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) - -
• 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) -
• 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 - -
• 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
• Partitions spatiales pour un lancer de rayons sur GPU, Vincent Nivoliers (DMI, 2006) [Informatique / Synthèse d'images] LIRIS - Université Lyon 1 - Lyon
• Hamiltonicité dans une grille, un jeu d'enfant ?, Aline Parreau (MIM 1, 2006) [Informatique / Graphe, combinatoire et vulgarisation] CNAM - IMAG - Lyon
• Automates d'arbres avec visibilité, Nicolas Perrin (L3IF, 2006) [Informatique / Théorie des automates] LSV Cachan - -
• 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
• 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
• 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
• Relational Quantum Mechanics, Matteo Smerlak (MSM2, 2006) [Physique / Quantique] CPT - Campus de Luminy - Marseille
• 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 - -
• 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
• Calcul des prédicats inductifs en logique séparante, Jules Villard (M1IF, 2006) [Informatique / Vérification] Imperial College - Londres - UK

  2007

• Interval-based registration cache for zero-copy protocols, Cédric Augonnet (M1IF, 2007) [Informatique / Système] Myricom Inc., Oak Ridge (TN), U - -
• 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)
• É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
• 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
• Formalizing Categorical Models of Type Theory in Type Theory, Alexandre Buisse (MIM3, 2007) [Informatique / Théorie des types] Chalmers, Göteborg, Suède - -
• 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 - -
• Etude in vitro de la translocation du génome du bactériophage T5, Nicolas Chiaruttini (M2, 2007) [Physique / Interface Physique Biologie] ESPCI - -
• The Viscoelastic Properties of Electrospun Fibers, Corentin Coulais (MSM 1, 2007) [Physique / Biophysique] Physics Department - Wake Forest University - Winston-Salem, NC, USA
• 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 - -
• 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
• 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
• 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 - -
• 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 - -
• Gluing Nominal Theories, Florian Hatat (M1IF, 2007) [Informatique / Théorie des catégories] Université de Leicester - Royaume-Uni -
• Manipulation pseudo-haptique d'entités 2D, Chantal Keller (L3IF, 2007) [Informatique / Interactions homme-machine] INRIA Rhône-Alpes - -
• 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
• Analyse complexe: le point de vue géométrique, François Le Maître (MMA1, 2007) [Mathématiques / Géométrie] Institut Fourier - Grenoble -
• Pourquoi devez-vous repasser votre chemise ?, Vincent Mansard (DSM, 2007) [Physique / Mécanique] LPMCN - UCBL - Lyon
• Etude de la turbulence à l'aide d'une corde de Melde, Mylène Mathieu (MSM, 2007) [Physique / Fluctuations/Dissipation] LR1 - ENS Lyon - Lyon
• 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
• Multicast et qualité de service sur un réseau IP, Etienne Miret (M1IF, 2007) [Informatique / Réseaux] Bouygues Télécom - -
• 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 -
• Subdivision Surfaces and Penrose Tilings, Vincent Nivoliers (M1, 2007) [Informatique / Synthèse d'images] LIGUM - Université de Montréal -
• Protéine kinase CK2 et différentiation oligodendrogliale, Mélissa Remy (L3Bio, 2007) [Biologie / Neurobio moléculaire] CEA iRTSV/LTS - INSERM U873 - Grenoble
• 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
• Identification de visages, Olivier Schwander (L3IF, 2007) [Informatique / Analyse d'image] LEAR - INRIA Rhône-Alpes - Grenoble
• 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) - -
• 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 - -
• Optimisation de cache d'instructions, Pascal Vanier (L3IF, 2007) [Informatique / Compilation] Compsys - LIP - ENS Lyon|Lyon
• Logique spatiale pour le pi-calcul appliqué, Jules Villard (M2 MPRI, 2007) [Informatique / Logique et Pi-calcul] LSV - ENS Cachan - Cachan

  2008

• 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
• 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
• Parties spectrales d'un opérateur auto-adjoint., Alexandre Barrat (Master 1 MAIM, 2008) [Mathématiques / Théorie spectrale] UMPA - UCB Lyon 1 - Villeurbanne
• 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 - -
• Realizability techniques for Implicit Complexity, Aloïs brunel (M1IF, 2008) [Informatique / Logique & complexité implicite] RIMS - Kyoto - Japon
• 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
• Acceptable Complexity Measures of Theorems, Bruno Grenet (M1IF, 2008) [Informatique / Complexité et Calculabilité] Dept of Computer Science - The University of Auckland - New Zealand
• 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
• Topologie de l'interaction pour MLL, Florian Hatat (M2IF, 2008) [Informatique / Logique] LAMA - Université de Savoie - Le Bourget-du-Lac
• 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
• Subdivision Surfaces on a Penrose Tiling, Vincent Nivoliers (M2, 2008) [Informatique / Synthèse d'images] Gipsa lab - Grenoble -
• 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
• Feature selection for faces clustering in low constraint environment, Olivier Schwander (M1IF, 2008) [Informatique / Analyse d'image] Slipguru - Université de Gênes - Italie
• Une approche statistique au modèle d'Hotelling, Juliette Stehlé (MSM1, 2008) [Physique / Systèmes complexes] Institut des systèmes complexes - ENS Lyon - Lyon
• É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 - -
• Single protein force based AFM spectroscopy, Isaac Theurkauff (MSM1, 2008) [Physique / Biophysique] - -

  2009

• 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
• Classifying ELH Ontologies In SQL Databases, Vincent Delaitre (MIF1, 2009) [Informatique / Logique descriptive & Raisonnement] ConDOR - Oxford University Computing Laboratory - Oxford
• 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 - -
• Difficulté du résultant et des grands déterminants, Bruno Grenet (M2IF, 2009) [Informatique / Complexité] LIP - ENS Lyon - Lyon
• Importation de preuves HOL-Light en Coq, Chantal Keller (MPRI 2, 2009) [Informatique / Théorie des types] Équipe INRIA TypiCal, LIX, Palaiseau, France - -
• 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 - -
• 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
• É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

  2010

• Some Improvements for Monte-Carlo Tree Search, Abdallah Saffidine (M2 ISI, 2010) [Informatique / Algorithmique des jeux] LAMSADE - Univeristé Paris-Dauphine - Paris

  2011

• L'algèbre symbolique chez Cayley, Nicolas Martin (L3, 2011) [Mathématiques / Histoire des mathématiques] Institut Camille Jordan - -

  2012

• 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 -

  2013

• Compactification d'espaces de configurations, Nicolas Martin (M2R, 2013) [Mathématiques / Géométrie algébrique] Centre de Mathématiques Laurent Schwartz - École Polytechnique -
• 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 - -

  2014

• Alternating Qualitative Parity Tree Automata, Laureline Pinault (L3IF, 2014) [Informatique / Théorie des automates] LIAFA - Paris - France
• 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 - -

  2015

• 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 -

  2016

  2017

  2018

  2019

  2020

  2021

  2022

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