Introduction A La Recherche En Laboratoire 2A

De Ensiwiki
Aller à : navigation, rechercher

Mycomputer.png  Deuxième Année 

IRL est un module proposé aux étudiants Ensimag 2A, qui consiste à réaliser un (petit) travail de recherche dans un laboratoire. Profitons de cette page pour signaler l'existence de la bibliothèque MI2S accessible aux étudiants Ensimag. Voir Accès à la bibliothèque MI2S.

Utilisation de cette page

Il est impératif de consulter régulièrement cette page. Une solution simple est de la mettre comme page d'accueil de votre navigateur pour la durée du projet. Sinon, vous pouvez aussi utiliser un des flux suivant :

Atom: https://ensiwiki.ensimag.fr/index.php?title=Introduction_A_La_Recherche_En_Laboratoire_2A&feed=atom&action=history
RSS: https://ensiwiki.ensimag.fr/index.php?title=Introduction_A_La_Recherche_En_Laboratoire_2A&feed=rss&action=history

(A donner à un agrégateur RSS comme Thunderbird, Feedly, netvibes, ... Voir par exemple ces explications pour suivre un fil RSS depuis Thunderbird). La page Ensiwiki:Suivre les modifications du wiki sur ce Wiki donne quelques informations supplémentaires.

Soutenances 2016 - 2017

Le plannings de soutenances pour 2016/2017 est le suivant : Fichier:SoutenancesIRL2016.pdf

AttentionLa page web de synthèse ainsi que le rapport doivent être disponibles sur ensiwiki au plus tard le Vendredi 12 Mai à 9h30 du matin.
AttentionTout retard sera sanctionné !


Chaque étudiant devra éditer la page de son projet en suivant les liens ci-dessous. Pour avoir des exemple, jetez un coup d'oeil sur les pages de l'an dernier. Il s'agit bien d'une page de synthèse. Les détails seront dans votre rapport.

Gabriel Devillers : Modélisation mécanique inverse de plantes

Pauline Olivier : Propriétés et algorithmes pour la génération de graphes de construction de modèles CAO

Yann DROY : Compilateur d'un mini-langage impératif en modèles automates pour vérification automatique de problèmes de synchronisation

Jules MASELBAS : Programmation synchrone temps-réel sur Arduino

Adrien Suau : Solveurs numériques pour l’étude des états frustrés de la matière

Waltzing Aurélie : Evaluation et couverture des options américaines dans les modèles à temps discret

Alexy Torres : Etude de la mise en œuvre de support à la cohérence des données dans un système manycore avec caches non cohérents

Alexis Janon : Ordonnancement hétérogène et minimisation des changements d'environnement d'exécution

Vincent Morice : Correction géométrique temps réel pour un spectromètre 'spatialisé'

Thomas Marion : Preuve de l'interprétation matérielle de spécifications

Clément Perny : Performances des modèles de prédiction de choix (et application aux modes de transport)

Tworski Marcelin : Prédire des choix de consommation : étude de performance dans RUM

Adrien Gregorj : Modèle hybride pour la croissance tumorale

Alexandra Steinhilber : Analyse de données d’imagerie cérébrale par IRMf pour l'étude du vagabondage mental verbal

Frédéric Viry : Reachability of high-dimensional dynamical systems through low-dimensional projections

Nicolas Bordes : Évaluation de différentes courbes elliptiques et couplages associés pour le calcul vérifié

Marvin Lavechin : Accélération des méthodes de projection sur l'orthant positif pour le démultiplexage de spectrogrammes de fragmentation en protéomique quantitative

Anaïs Donzeau : Visualisation des structures membranaires dans les micro-algues

Clement Hege : Étude par expérimentation numérique de la diversité et de la survie de formes de vie artificielles dans un environnement stratifié par sédimentation différentielle

Valentin Bartier : Bornes pour le remplissage de boites élastiques

Benjamin Roussillon : Quelle taille de graphe peut-on colorier optimalement avec un ordinateur aujourd'hui?

Stéphane Heudron : Étude de la redondance dans les algorithmes génétiques

Roman BRESSON : Conception et validation d'un système intelligent

Quentin Lisack : Vérification de la plongeabilité de graphes dans des surfaces quelconques


IRL: Présentation et Calendrier

Bienvenue! Le module IRL est ouvert à tous les étudiants de 2A. Restez branchés sur cette page pour toute information relative à ce module.

L'introduction à la recherche en laboratoire permet aux étudiants motivés de participer à une activité de recherche en laboratoire pendant tout le deuxième semestre, à la place d'un cours classique! Chaque étudiant est encadré par un chercheur du laboratoire, et travaille sur un sujet précis dont il présente finalement les résultats lors d'une soutenance orale. On lui demande également de rédiger un court rapport écrit (au format d'un article de recherche), et de créer une page web présentant son travail. La participation est soumise à acceptation de la part du responsable de deuxième année et du responsable de l'IRL. Le sujet retenu fait l'objet d'un contrat entre l'étudiant, le responsable IRL, et le tuteur en laboratoire.

Une réunion d'information pour les étudiants intéressés aura lieu le Vendredi 14 octobre 2016, 13h-14h, amphi E. Le nombre d'étudiants en IRL est limité à 35. La sélection est faite essentiellement sur les motivations, mais peut tenir compte des notes de première année en cas de trop grand nombre de candidats. Un appel à sujets auprès des enseignants a été lancé fin septembre. La liste des sujets sera donnée ci-dessous.

Calendrier 2016-2017:

  • 14 octobre 2016, 13h, amphi E  : présentation du module, questions/réponses.
  • Avant le 31 Octobre : inscription sur cette page des étudiants potentiellement intéressés.
  • Dès maintenant : contactez des encadrants potentiels (ou akram.idani@imag.fr si vous ne savez pas à qui vous adresser). Dès que vous vous êtes mis d'accord avec un encadrant, envoyez un mail à akram.idani@imag.fr indiquant que vous êtes acceptés sur tel sujet (titre exact), avec cc à votre futur encadrant. Au fur et à mesure que les sujets seront attribués, la liste des couples étudiant/sujet s'affichera ci-dessous.
  • Fin Novembre: Les inscriptions sont closes.
  •  Décembre/Janvier  : circuit de signature des papiers nécessaires à la présence des étudiants dans les labos. RAPPEL : ce ne sont PAS des conventions de stage.
  • 2ème semestre, Février - mai : travail dans les labos (généralement une demi-journée par semaine)
  • Vendredi 12 mai : rapports écrits rendus, via une page de présentation sur ce wiki
  • 15-16-17 mai 2017 : soutenances orales (cf archives des années précédentes)

Sujets proposés dans les laboratoires (à remplir par les encadrants)

Instructions

Pour commencer, ayez sous la main : un titre (pas trop long), les adresses mail de tous les encadrants, quelques mots-clé, quelques références à des travaux liés au sujet (des pointeurs web, par exemple), un texte bref qui décrit le domaine, le contexte de travail, et ce qui est attendu de l'étudiant.

Connectez-vous (bouton tout en faut à droite de la fenêtre) avec votre identifiant et votre mot de passe de compte sur ensiens. Maintenant vous pouvez éditer les différentes sections de cette page (vous avez des boutons "Modifier" qui apparaissent à droite).

Editez l'une des listes ci-dessous, pour ajouter une ligne dans la sous-catégorie qui vous convient le mieux (la ligne commence par un dièze, et ensuite vous écrivez votre titre entre doubles crochets). Merci d'ajouter votre sujet en fin de liste pour ne pas changer la numérotation des sujets déjà présents. Vous pouvez prévisualiser, puis publier. Maintenant, sur la page IRL principale, il apparaît une ligne (normalement) en rouge, qui désigne une page qui n'existe pas encore. Si vous cliquez dessus, cela vous mène à une page d'édition.

Pour la remplir, veuillez copier le modèle de la page d'exemple (cliquer sur l'onglet modifier pour récupérer le source), et pensez à changer le nom des encadrants et le sujet !

Sujets plutôt "info" (ceux précédés d'une * sont déjà pris)

  1. Analyse d'implémentations crytographiques robustes
  2. ATool support for creativity based approaches in requirements engineering
  3. (*) conception et validation d'un système intelligent
  4. Comment vérifier les réponses de son "SAT-solveur" sans trop se fatiguer ?
  5. (*) Programmation synchrone temps-réel sur Arduino
  6. Certification de programmes et de leur performances (temps, cache, mémoire)
  7. Inférence d'automates sans ré-initialisation
  8. Opérations volumiques sur GPU pour la modélisation d’anatomie 3D
  9. (*) Etude de la mise en œuvre de support à la cohérence des données dans un système manycore avec caches non cohérents
  10. Participation au développement d'un outil de CAO
  11. (*) Compilateur d'un mini-langage impératif en modèles automates pour vérification automatique de problèmes de synchronisation
  12. (*) Preuve de l'interprétation matérielle de spécifications

Sujets plutôt "maths" (ceux précédés d'une * sont déjà pris)

  1. (*) Performances des modèles de prédiction de choix (et application aux modes de transport)
  2. (*) Solveurs numériques pour l’étude des états frustrés de la matière
  3. (*) Evaluation et couverture des options américaines dans les modèles à temps discret
  4. (*) Analyse de données IRMf sur le vagabondage mental verbal

Sujets mixtes (ceux précédés d'une * sont déjà pris)

  1. (*) Reachability of high-dimensional dynamical systems through low-dimensional projections
  2. (*) CSUG ATISE : correction géométrique temps réel pour un spectromètre 'spatialisé'
  3. (*) Bornes pour le remplissage de boites élastiques
  4. (*) Modélisation mécanique inverse de plantes
  5. Modèle hybride pour la croissance tumorale
  6. (*) Quelle taille de graphe peut-on colorier optimalement avec un ordinateur aujourd'hui ?
  7. Étude de la redondance dans les algorithmes génétiques
  8. (*) Évaluation de différentes courbes elliptiques et couplages associés pour le calcul vérifié
  9. (*) Propriétés et algorithmes pour la génération de graphes de construction de modèles CAO et de modèles intrinsèques d'assemblages CAO
  10. (*) Visualisation des structures membranaires dans les microalgues
  11. (*) Étude par expérimentation numérique de la diversité et de la survie de formes de vie artificielles dans un environnement stratifié par sédimentation différentielle
  12. (*) Accélération des méthodes de projection sur l'orthant positif pour le démultiplexage de spectrogrammes de fragmentation en protéomique quantitative

Procédure d'association étudiant/sujet

Les étudiants peuvent soit choisir un sujet via la liste proposée ci-dessus, soit en trouver un "sur mesure" en s'adressant à des chercheurs ou enseignant-chercheurs spécialistes d'une question qui les intéresse (dans ce dernier cas, le futur encadrant devra ajouter son sujet à la liste). Dans tous les cas, il est conseillé de rencontrer son futur encadrant, pour discuter du sujet et des compétences requises avant de faire son choix. Dès que l'étudiant a eu l'accord définitif d'un encadrant, il envoie un message au responsable d'IRL akram.idani@imag.fr avec *cc à son encadrant* en indiquant qu'il a été choisi sur tel sujet (donner le titre exact). La liste des choix étudiant/sujet sera remplie au fur et à mesure par le responsable IRL, et limitée à 35 étudiants.


Etudiants potentiellement intéressés (à remplir par les étudiants)

AttentionTout(e) étudiant(e) potentiellement intéressé(e) doit ajouter son nom dans la liste ci-dessous, avec quelques mots décrivant ce qu'il aimerait étudier pendant l'IRL.


  1. Etudiant Marvin LAVECHIN (filière MMIS): Biologie, Bioinformatique, Biomaths, Modélisation, Statistiques, Apprentissage
  2. Etudiant Nicolas BORDES (filière ISI): sécurité informatique, cryptologie, informatique fondamentale (logique, ...).
  3. Etudiant Adrien SUAU (filière MMIS): Apprentissage, Calcul intensif, Modélisation, Algèbre linéaire
  4. Etudiant Roman BRESSON (filière MMIS): Apprentissage, Optimisation Combinatoire, Systèmes Dynamiques, Modélisation
  5. Etudiant Pauline OLIVIER (filière MMIS): Modélisation, Image, Géométrie 3D
  6. Etudiant Frédéric VIRY (filière MMIS): Géométrie, Systèmes dynamiques, Modélisation
  7. Etudiant Gabriel DEVILLERS (filière MMIS): Reconnaissance d'images, Géométrie, Modélisation, Optimisation combinatoire, Systèmes dynamiques
  8. Etudiant Vincent MORICE (filière SLE): Robotique, IHM, Apprentissage, Systèmes embarqués, Systèmes d'exploitations, Architecture, Traitement du signal et des images.
  9. Etudiant Nabil ELQATIB (filière SLE): Architecture matérielle/logicielle, Circuits électroniques, Systèmes Embarqués, Systèmes Temps Réel.
  10. Etudiant MAxime MAzouth--Laurol (filière MSIAM): Modélisation mathématique, Systèmes Dynamiques, Géometrie, Imagerie, Biologie, Neurosciences
  11. Etudiant Maeva RAMARIJAONA (filière ISI): sécurité informatique, logique...
  12. Etudiant Mathieu COPIN (filière ISSC): Sécurité informatique, Cryptographie, Modélisation, Systèmes Dynamiques.
  13. Etudiant Jules MASELBAS (filière SLE): Systèmes embarqués, Hardware, Temps réel? ... Sécurité.
  14. Etudiant Clément HEGE (filière MMIS): Analyse, EDP, Modélisation mathématique, Systèmes dynamiques, Géométrie.
  15. Etudiant Anaïs DONZEAU (filière MMIS) : Modélisation, Biologie, Bio-info.
  16. Etudiant Stéphane HEUDRON (filière MMIS) : Analyse/traitement audio, Apprentissage, Cryptographie, Optimisation combinatoire, Sciences cognitives
  17. Etudiant Aurélie WALTZING (filière IF) : Mathématique, Statistiques, Topologie, Géométrie, Cryptanalyse, Finance
  18. Etudiant Alexy TORRES--AURORA-DUGO (filière SLE) : Architecture matérielle/logicielle, IHM, Systèmes Embarqués, Systèmes Temps Réel.
  19. Etudiant Valentin BARTIER (filière MMIS) : Recherche opérationnelle, optimisation combinatoire, apprentissage, algorithmique
  20. Étudiant Alexandra Steinhilber (filière MMIS) : sciences cognitives, imagerie médicale, linguistique
  21. Étudiant Benjamin Roussillon (filière MMIS) : Recherche opérationnelle, optimisation combinatoire, algorithmique, statistiques
  22. Etudiant Clément PERNY (filière MMIS) : Optimisation combinatoire, aide à la décision, modélisation, statistiques, apprentissage
  23. Etudiant Maxime CHAPUIS (filière ISI) : Traitement Automatique du Langage naturel
  24. Etudiant Alexis JANON (filière ISI) : Systèmes d'exploitation, systèmes parallèles, systèmes distribués, réseau tolérant aux délais
  25. Étudiant Anthony CORREIA (filière ISI) : Machine learning, intelligence artificielle, traitement d'images
  26. Étudiant Adrien GREGORJ (filière MMIS) : Bioinformatique, Modélisation, Biologie, Apprentissage
  27. Étudiant Nicolas BERNARD (filière ISI) : Sécurité informatique, Cryptographie, Stéganographie
  28. Étudiant Yassine LAGUEL (filière IF) : Mathématiques, Probabilités, Domaine Médical.
  29. Étudiant Yann DROY (filière SLE) : Compilation, théorie des langages, systèmes d'exploitation, machines abstraites, TALN

Liste des couples étudiants/sujets validés

AttentionCette section est à remplir par le responsable IRL uniquement. Merci aux étudiants et aux tuteurs de ne pas y toucher. Ils informent le responsable par mail, qui valide dans l'ordre de réception; Attention LIMITE A 35 PLACES.


numéro Etudiant Encadrant Sujet Date accord Filière
1 Frédéric Viry Goran Frehse, Marcelo Forets Reachability of high-dimensional dynamical systems through low-dimensional projections 5/10/2016 MMIS
2 Roman BRESSON Lydie Du-Bousquet conception et validation d'un système intelligent 6/10/2016 MMIS
3 Vincent Morice Stéphane Mancini CSUG ATISE : correction géométrique temps réel pour un spectromètre 'spatialisé' 12/10/2016 SLE
4 Valentin Bartier Nadia Brauner Bornes pour le remplissage de boites élastiques 03/11/2016 MMIS
5 Alexy Torres Frédéric Pétrot Etude de la mise en œuvre de support à la cohérence des données dans un système manycore avec caches non cohérents 19/10/2016 SLE
6 Nicolas Bordes Jean-Guillaume Dumas Évaluation de différentes courbes elliptiques et couplages associés pour le calcul vérifié 7/11/2016 ISI
7 Benjamin Roussillon Nadia Brauner Quelle taille de graphe peut-on colorier optimalement avec un ordinateur aujourd'hui ? 29/10/2016 MMIS
8 Yann DROY Florence Maraninchi Compilateur d'un mini-langage impératif en modèles automates pour vérification automatique de problèmes de synchronisation 09/11/2016 SLE
9 Jules MASELBAS Florence Maraninchi Programmation synchrone temps-réel sur Arduino 16/11/2016 SLE
10 Gabriel Devillers Florence Bertails-Descoubes et M. Franck Hétroy-Wheeler Modélisation mécanique inverse de plantes 16/11/2016 MMIS
11 Thomas Marion Katell Morin-Allory Preuve de l'interprétation matérielle de spécifications 16/11/2016 SLE
12 Adrien Suau Christophe Picard Solveurs numériques pour l’étude des états frustrés de la matière 21/11/2016 MMIS
13 Pauline Olivier Jean-Claude LEON Propriétés et algorithmes pour la génération de graphes de construction de modèles CAO et de modèles intrinsèques d'assemblages CAO 22/11/2016 MMIS
14 Waltzing Aurélie Jérôme Lelong Evaluation et couverture des options américaines dans les modèles à temps discret 29/11/2016 IF
15 Alexandra Steinhilber Hélène Loevenbruck Analyse de données IRMf sur le vagabondage mental verbal 25/11/2016 MMIS
16 Marvin Lavechin Thomas Burger Accélération des méthodes de projection sur l'orthant positif pour le démultiplexage de spectrogrammes de fragmentation en protéomique quantitative 24/11/2016 MMIS
17 Clément Perny Pierre Lemaire Performances des modèles de prédiction de choix (et application aux modes de transport) 26/11/2016 MMIS
18 Anaïs Donzeau Pierre-Henri Jouneau Visualisation des structures membranaires dans les microalgues 26/11/2016 MMIS
19 Clement Hege Nicolas Glade Étude par expérimentation numérique de la diversité et de la survie de formes de vie artificielles dans un environnement stratifié par sédimentation différentielle 26/11/2016 MMIS
20 Alexis Janon Grégory Mounié Ordonnancement hétérogène et minimisation des changements d'environnement d'exécution 26/11/2016 ISI
21 Stéphane Heudron Pierre Lemaire Étude de la redondance dans les algorithmes génétiques 26/11/2016 MMIS

Indications pour l'évaluation

  • Le rapport écrit : vous avez quelques commentaires ci-dessous. Pour répondre aux nombreuses questions de taille, voilà quelques critères : s'il s'agit d'un travail purement théorique, la taille d'un article de conférence du domaine est la bonne taille ; si le travail comporte des aspects pratiques importants (développement, expérimentations), il se peut que le rapport soit plus long à cause d'annexes techniques, mais la partie qui décrit le travail, l'état de l'art, la méthode, etc., doit également tenir dans le volume d'un article de conférence du domaine.
  • La soutenance : les créneaux sont de 25mn, tout compris (exposé, questions et réponses). Il faut impérativement vous limiter à 12mn d'exposé. Lors des soutenances, nous vous couperons brutalement lorsque le délai expirera. Préparez-vous soigneusement à tenir les 12mn grand maximum.
  • La page web : Inutile de prévoir quelque chose de sophistiqué. Vous créerez une page de ce wiki, contenant toutes les informations factuelles, et qui pourra pointer sur un autre site si vous voulez. L'équivalent de deux pages plein écran est suffisant. Les archives de l'an dernier vous donnent de nombreux exemples.

Question sur la langue : ça peut être en anglais si vous voulez (rapport et soutenance), aucun problème.

Quelques informations pour le rapport écrit

Le rapport se distingue assez nettement d'un rapport de stage de deuxième année en entreprise. Il ressemble beaucoup plus à un rapport de master recherche, bien que d'une taille beaucoup plus réduite, bien sûr. On y trouvera typiquement :

  • Une introduction qui décrit à la fois le contexte pratique du travail (laboratoire, équipe, éventuellement projets collaboratifs dans lesquels le travail s'inscrit, collaborations avec d'autres chercheurs et étudiants) et le contexte scientifique dans lequel le sujet s'inscrit. Pour ce deuxième point, nous considérons comme très important que l'étudiant qui s'initie à un travail de recherche, ne fût-ce que pendant 12 semaines, se frotte à la tâche difficile de la présentation de son sujet dans un contexte général de résultats de recherche existants. Il ne s'agit pas forcément de réaliser une étude bibliographique abondante, il faut surtout savoir placer son travail par rapport à l'existant, ou à d'autres travaux en cours du même genre. Une bonne introduction raconte toute l'histoire de manière informelle et avec un certain recul, pour donner envie au lecteur de se plonger dans les détails techniques des parties suivantes.
  • Un coeur technique, dans lequel on s'attachera à rappeler toute notion ou résultat antérieur dont l'absence risquerait de rendre le texte incompréhensible à un lecteur raisonnablement familier du domaine. Tout cela est assez subjectif, bien sûr, mais dans le cas de l'IRL vous pouvez retenir comme critère que votre texte doit pouvoir être lu par un autre étudiant Ensimag 2A.
  • Une conclusion, en général structurée en : résumé, bilan, perspectives. Nous attirons votre attention sur le fait que le bilan peut contenir des points "négatifs", au sens où les travaux réalisés ont invalidé une hypothèse de départ. Cela arrive dans un travail de recherche, et c'est un résultat comme un autre, dont l'importance n'est pas à négliger.
  • Des remerciements éventuels...

Quelques informations pour les présentations orale et web

La présentation web vous est demandée pour que nous puissions faire une large publicité à l'introduction du module IRL en ENSIMAG 2A, à la fois à l'extérieur de l'établissement, et auprès des futurs étudiants de 2A auxquels nous proposerons le module. Il ne s'agit donc pas d'une copie HTML de votre soutenance, mais d'une page synthétique pour donner une idée du sujet et du type de travail que vous avez réalisé.

La soutenance orale attendue est du type "recherche". Vous aurez 12 mn d'exposé, suivi de questions. Le jury ne sera pas nécessairement constitué de spécialistes du domaine que vous avez étudié. A l'issue de l'exposé, les membres du jury, mêmes non spécialistes, doivent avoir compris la question qui vous était posée, quelle démarche vous avez suivie pour l'attaquer, et quelle est la portée des résultats que vous avez obtenus. Il est très important de proposer de vous-même une sorte d'auto-évaluation de votre travail.

Calcul de la note

  • 1 rapport écrit : E
  • 1 soutenance orale publique et 1 page web résumant les travaux : SW.
  • Par ailleurs le jury final de soutenance évalue le travail sur le fond : T

Le module IRL compte 2.5 crédits en deuxième année. La formule de calul de la note est :

(2 * T + E + SW) / 4

Pour vous faire une idée du travail attendu, regardez les résultats choisis de la session de l'an dernier. Vous y trouverez la page web de résumé, le rapport, et les transparents de la soutenance orale.

Documentation

Transparents de la présentation d'IRL en amphi (seules les dates ont changé depuis 2013)

Fichier:Slides2013.pdf

Pour plus d'information sur l'IRL à l'Ensimag, contactez akram.idani@imag.fr

Archives