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.

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 Lundi 09 octobre 2017, 13h-14h, amphi E. Le nombre d'étudiants en IRL est limité à 30. 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 2018-2019 :

  • 12 octobre 2018, 12h45, 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.
  • Avant le Vendredi 25 Octobre 2018 : publication des projets (Les vacances de la Toussaint commencent le 27 Octobre))
  • Le 30 Novembre 2018 : 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, début Février - fin mai : travail dans les labos (généralement une demi-journée par semaine)
  • Mardi 21 Mai 2018 : rapports écrits rendus, via une page de présentation sur ce wiki
  • 23-24 et 27 mai 2018 : soutenances orales (cf archives des années précédentes)

Laboratoires

Si vous êtes intéressé par une thématique en particulier, on vous encourage à solliciter directement les chercheurs de la région Grenobloise en leur indiquant votre motivation pour leurs travaux. Voici une liste non exhaustive d'organismes de recherche :

  • INRIA Montbonnot : [1]
  • LIG / Laboratoire d'Informatique de Grenoble : [2]
  • LJK / Laboratoire Jean Kuntzmann : [3]
  • TIMC-IMAG / Laboratoire Techniques de l’Ingénierie Médicale et de la Complexité - Informatique, Mathématiques et Applications [4]
  • VERIMAG : [5]

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és, 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 haut à 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).

Éditez 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. IRL - SPECTRE attack mitigation
  2. IRL - Faster arithmetic solving
  3. IRL - Safe Floating-Point Optimisation
  4. IRL - Scalability of the interference analysis for a multi-core platform (systèmes critiques, analyse statique de programme, multi-coeur, optimisation d'algorithme)
  5. IRL - Combination of cache analyses (mémoires caches, analyse statique, modélisation)
  6. IRL - Code robustness against fault injection (sécurité, analyse de programmes)
  7. IRL - Moteur de recherche assisté par eye-tracking
  8. IRL - Photographie computationnelle embarquée I : 3D mono-caméra
  9. IRL - Photographie computationnelle embarquée II : Caméra hyperspectrale adaptative
  10. IRL - Photographie computationnelle embarquée III : Correction locale de parallaxe dans une caméra panoptique
  11. IRL - Géo-visualisation de Données Ouvertes et Liées Evolutives
  12. IRL - 5ème compétition REC (Rewrite Engines Competition)

Remarque : au plus deux étudiants seront retenus sur les 3 sujets de Photographie computationnelle embarquée


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

  1. IRL - Existence de solutions à des problèmes inverses de design (Simulation numérique, problèmes inverses)
  2. IRL - Analyse temps-fréquence de signaux multicomposantes
  3. IRL - Orientations des graphes (RO, Graphes)
  4. IRL - Analyse temps-fréquence: comparaison ondelettes et transformée de Fourier à court terme
  5. IRL - Débruitage de signaux par analyse temps-fréquence

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

  1. IRL - Ensuring Correctness of Graph Transformations (Dynamic Data-Graphs, Program Verification, Rewrite systems, Logic, Hoare Calculi)
  2. (*) IRL - Formalisation de la logique de séparation à l'aide de l'assistant de preuve Isabelle
  3. IRL - Probability calibration for classification systems


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.


  1. Nom Prénom (Filière): Mots clés, domaine souhaité...
  1. Lim Olivier (SEOC) :Système embarqué
  2. Petit Alexandre (MMIS) : Arts numériques, Computer Graphics
  3. Hérault Benjamin (MMIS) : Informatique Quantique, IA appliqué aux phénomènes quantiques, recherche opérationnelle, machine learning
  4. Martin Clara (MMIS) : Arts numériques, Informatique graphique, Traitement d'image
  5. Foussard Ernest (MMIS) : Recherche Opérationnelle, Complexité
  6. Henches Léo (MMIS) : Optimisation, IA, Analyse.
  7. Taïx Victor (ISI) : Sécurité, analyse de code, cryptographie
  8. Pollien Baptiste (SEOC) : Informatique Quantique, Système embarqué, Véhicule autonome, IA.
  9. Amat Nicolas (ISI) : Logique, Preuve, Calculabilité, Cryptographie
  10. Vandaele Vivien (MMIS) : Informatique Quantique, Recherche Opérationnelle, IA
  11. Melchiorre Romain (ISI) : Sécurité, analyse de code, analyse de malware
  12. Benali Adam (ISI) : Algorithmique, systèmes distribués, logiciels et architectures, conception, intelligence artificielle, big data, data mining.
  13. Ouannas Badr (ISI) : Quantum Computing, Machine Learning.
  14. Patalowski Romain (MMIS) : Arts numériques, Analyse d'images, 3D, IA
  15. Shourick Nathan (MMIS) : Modélisation mathématique, Analyse numérique, Optimisation, Traitement d'image, Deep learning
  16. Obermeyer Emmanuel (SEOC): Traitement du signal, système embarqué
  17. Bargibant Guillaume (MMIS): Modélisation mathématique, Machine Learning, Optimisation Combinatoire, ...
  18. Lamerand Louis (MMIS): Analyse d'image, Modélisation mathématique, IA, Traitement du signal (son), ...
  19. Marteau Antoine (MMIS): Modélisation mathématique, machine learning, méthodes numériques ...
  20. Yassine Bouachrine (ISI): AI, computer graphics, quantum computing

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.


numéro Etudiant Encadrant Sujet Date accord Filière
1 Nicolas Amat M. Echenim, N. Peltier IRL - Formalisation de la logique de séparation à l'aide de l'assistant de preuve Isabelle 15/10/2018 ISI

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 document écrit se distingue assez nettement d'un rapport de stage. Il doit prendre la forme d'un article de revue ou de conférence. On y trouvera typiquement :

  • Une introduction qui décrit à la fois le contexte pratique du travail (éventuellement projets collaboratifs dans lesquels le travail s'inscrit) 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, 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