Travaux d'études et de recherches

De Ensiwiki.

  Deuxième Année 

Le TER est un module proposé aux étudiants Ensimag 2A, qui consiste à réaliser un (petit) travail de recherche dans un laboratoire.

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: http://ensiwiki.ensimag.fr/index.php?title=Travaux_d%27%C3%A9tudes_et_de_recherches&feed=atom&action=history
RSS: http://ensiwiki.ensimag.fr/index.php?title=Travaux_d%27%C3%A9tudes_et_de_recherches&feed=rss&action=history

(A donner à un agrégateur RSS comme Thunderbird, Google Reader, 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.

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 : vous avez dû voir dans le tableau ci-dessous que les créneaux sont de 25mn, tout compris (exposé, questions et réponses). Il faut impérativement vous limiter à 12-15mn d'exposé. Lors des soutenances, nous vous couperons brutalement lorsque le délai expirera. Préparez-vous soigneusement à tenir les 15mn 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, éventuellements 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 uniquement de réaliser une bibliographique abondante, il faut également 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 du TER 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.

• Une bibliographie précise

• 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 TER 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 15 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.

Planning des soutenances (fait par FM, merci de ne pas modifier)

Vendredi 21 mai - D111 - soutenances en avances pour étudiants partant en stage à l'étranger

Mardi 25 mai - D109

Mercredi 26 mai - D109

Contraintes connues au 27 avril 2010 (il ne sera pas possible de tenir compte des contraintes de tous les encadrants, on fera au mieux)

• Gaëlle Letort le 25 mai ok
• F. Pétrot (pour Luc Michel) le 25 après 17h ou 26 après 15h30. ok
• F. Hétroy entre 12h45 et 14h00 ou 12h30-14h10 le mardi ok
• Valérie Perrier (pour Pierre Jolivet) en dehors du creneau [ 25 mai 11h-13h (réu péd. MMIS) ET 26 mai 8h-14h ] ok

Résultats session 2009-2010

1. Thibault Lehouillier Codes Identifiants dans les graphes Résultats
2. Auriault Anne-Victoire - Utilisation des arbres binomiaux pour le pricing des options américaines - Résultats
3. Letort Gaelle - D'ou vient la bacterie Helicobacter pylori? - Resultats
4. Sonia Selmi Segmentation d'images par coupure de graphe Resultats
5. Neil Jami - L'augmentation de l'arête-connexité des graphes Resultats
6. Aurélia Spanneut - Modélisation mathématique des mouvements de foule - Résultats
7. Nhat Minh Lê - Prise en charge d’un processeur VLIW dans QEMU - Résultats
8. Layla El Asri - Inférence de la structure génétique d'une population - Résultats
9. Romain Casati - Reconstruction de Trochoïdes à partir de courbes 2D : épisode II - Résultats
10. Delahaye Pierre-Yves - Extraction de contrats 42 à partir de programmes SystemC - Résultats
11. Mohamed Aziz Mezlini - les pygmées sont-ils génétiquement différents des autres populations bantouphones
12. Henry Julien Analyse de programmes par SMT Solving Résultats
13. Michel Luc - Traduction binaire dynamique pour QEMU de l'extension SIMD Néon de l'ARMv7 - Résultats
14. Sofia Zaourar - Résolution exacte du problème de bipartition de graphe - Résultats
15. Jean-Baptiste Guet - Spécification et raisonnement logique à l'aide de schémas
16. Hamza JELJELI - Implémentation d'une solution de contrôle de puissance sur une plate‐forme de réseaux de capteurs sans fil - Résultats
17. Selma Belhadj Amor - Simulation du protocole de routage Binary Waypoint sur WSnet - Résultats
18. Simon Giraudot - Étude d'un système embarqué pour la téléphonie silencieuse - Résultats
19. Adrien Janvier - Débruitage de données tomographiques RX 3D - Résultats
20. Pierre Jolivet Shape Optimization - Resultats
21. Sonia Belaid Attaques par canaux cachés - Résultats
22. Marc Aubert - Outil d'animation de fluide pâteux pour la peinture animée 2D - Résultats
23. Laura Peythieux - Modélisation 3D par croquis: surfaces de convolution multirésolution - Résultats
24. Mohamed Taoufiq El Aissaoui - Modélisation du temps dans un simulateur pour systèmes sur puces - Résultats
25. Marine Le Touze Modèles et algorithmes combinatoires pour les futurs réseaux de distribution d’énergie électrique - Resultats
26. Paul Roy Étude des performances de calcul et de communication du processeur CELL - Resultats
27. Michael Gabay - Quelle taille de graphe peut-on colorier optimalement avec un ordinateur aujourd'hui? - Résultats
28. Allain Benjamin Recalage de données tomographiques RX 3D Résultats
29. GINSS Jerome - Generation de graphes realistes pour la simulation de reseaux - Resultats
30. Petit Benjamin - Répartition de charge dynamique dans un système distribué - Résultats
31. Balliet Amaury - Conception de l'Interaction d'une Table Multi-Utilisateurs pour les Réunions Informelles - Résultats
32. Marin-Matholaz Etienne - DTSE pour les systèmes embarqués de traitement d'image - Résultats
33. Jean_Monlong_Le_Coaslescent_un_modele_mathematique_pour_les_genealogies_de_genes_Resultats
34. Yuefei Huang - La recherche opérationnelle dans la finance - Résultats
35. Hugues_Evrard_-_Implantation_de_protocoles_d'ordonnancement_dynamiques_pour_applications_embarquees_synchrones_-_Resultats

Etudiants inscrits au TER 2009-2010

Dès que vous avez discuté avec un encadrant potentiel, et qu'il est d'accord pour vous encadrer, demandez-lui de m'envoyer un mail de confirmation.

2 Telecom, 5 SLE, 1 SIF et 2 MIF, 7 ISI, 4 MMIS AAD, 5 MMIS BIO, 3 MMIS MCS, 6 MMIS IRVM.

1. 20/10 Anne-Victoire AURIAULT Utilisation des arbres binomiaux pour le pricing des options américaines
2. 20/10 Romain Casati Création de cheveux dynamiques à partir de lignes 2D
3. 22/10 Aurélia SPANNEUT Modélisation mathématique des mouvements de foule
4. 22/10 Benjamin Petit Etude de protocoles de communication sur un prototype de NoC
5. 23/10 Yuefei HUANG Recherche opérationnelle dans la finance
6. 26/10 Michael Gabay Quelle taille de graphe peut-on colorier optimalement avec un ordinateur aujourd'hui?
7. 28/10 Mohamed Taoufiq EL AISSAOUI Modélisation du temps dans un simulateur pour systèmes sur puces
8. 30/10 Sonia Selmi Segmentation d'images médicales par coupure de graphe
9. 02/11 Hugues Evrard Implantation de protocoles d'ordonnancement dynamiques pour applications embarquées synchrones
10. 02/11 Laila el Asri Inférence de la structure génétique d'une population
11. 02/11 Aziz Mezlini Les pygmées sont-ils différents des autres populations bantouphones?
12. 02/11 Gaelle Letort D'ou vient la bactérie Helicobacter pylori?
13. 02/11 Neil Jami L'Augmentation de l'arête-connexité des graphes
14. 03/11 Jérôme Ginss Génération de graphes réalistes pour la simulation de réseaux
15. 04/11 Jean Monlong Le coalescent: un modele mathématique pour les généalogies de gènes
16. 05/11 Luc Michel Traduction binaire dynamique pour QEMU de l'extension SIMD Néon de l'ARMv7
17. 06/11 Simon Giraudot Etude d'un système embarqué pour la téléphonie "silencieuse"
18. 07/11 Marine Le Touze Modèles et algorithmes combinatoires pour les futurs réseaux de distribution d’énergie électrique
19. 09/11 Pierre Jolivet Optimisation de formes
20. 09/11 Nhat Minh LÊ Modélisation d'un processeur VLIW en vue de la génération automatique de code de traduction binaire
21. 09/11 Pierre-Yves DELAHAYE Transformation de programmes SystemC vers langage de vérification
22. 09/11 Marc Aubert Aquarelle animée
23. 09/11 Julien Henry Analyse de programmes par SMT-solving
24. 09/11 Etienne MARIN-MATHOLAZ DTSE pour les systèmes embarqués de traitement d'image
25. 09/11 Amaury BALLIET Conception de l'Interaction d'une Table Multi-Utilisateur pour les Réunions Informelles
26. 10/11 Jean-Baptiste GUET Spécification et raisonnement logique à l'aide de schémas
27. 10/11 Thibault Lehouillier Codes identifiants dans les graphes
28. 10/11 Paul Roy Étude des performances de calcul et de communication du processeur CELL
29. 11/11 Laura Peythieux Modélisation 3D par croquis : surfaces de convolution multi-résolution
30. 12/11 Sofia Zaourar Optimisation semidéfinie pour le problème de bipartition d'un graphe
31. 13/11 Benjamin Allain Débruitage de données tomographiques RX 3D
32. 13/11 Adrien Janvier Recalage de données tomographiques RX 3D
33. 13/11 Selma BELHADJAMOR Simulation du protocole de routage binary waypoint sur WSNet
34. 15/11 Sonia Belaid Attaques par canaux cachés
35. 16/11 Hamza JELJELI Implémentation d'une solution de contrôle de puissance sur une plate‐forme de réseaux de capteurs sans fil

Session 2009-2010, nouvelles et calendrier

L'appel à sujets auprès des enseignants a été lancé. La liste des sujets ci-dessous va donc progressivement s'étoffer. Une réunion d'information pour les étudiants intéressés aura lieu le 19 octobre. Le nombre d'étudiants en TER sera limité à 35, pas un de plus. La sélection se fera essentiellement sur les motivations, mais on pourra aussi tenir compte des notes de première année en cas de trop grand nombre de candidats.

Le module TER est ouvert à tous les étudiants de 2A, y compris aux étudiants en provenance de Phelma. Nous allons cette année élargir un peu le panorama des sujets proposés, en contactant plus de collègues pour leur demander des sujets. Si vous êtes étudiant en provenance de Phelma 1A, et trouvez que les sujets proposés l'an dernier ne vous conviendraient pas, ne vous inquiétez pas, cette année le spectre sera plus large.

Le calendrier précis :

• 8 septembre 2009 : première présentation lors de l'amphi de rentrée 2A
• 19 octobre 2009, 12h45 amphi E : présentation en amphi, pour les étudiants potentiellement intéressés (y compris ceux qui ne sont pas inscrits ci-dessous, ou qui ne trouvent rien qui les intéresse dans les sujets déjà mis en ligne).
• 19 octobre au 30 octobre : inscription obligatoire ici pour les étudiants intéressés. La liste est maintenant figée.
• A partir du 19 octobre : début des contacts avec encadrants potentiels (ou avec F. Maraninchi si vous ne savez pas à qui vous adresser). Au fur et à mesure où les sujets seront attribués aux étudiants, la liste s'affichera ici.
• 16 novembre : Les 35 places sont attribuées
• 2ème semestre : travail dans les labos
• 25 mai - 1 semaine = 18 mai : rapports écrits dus
• 25-26 mai 2010 : soutenances orales
• 25 mai + 1 semaine = 2 juin : page définitive de présentation due (une page de ce wiki, voir les archives de l'an dernier)

Restez branchés sur cette page pour toute information relative au TER.

Pour mémoire : étudiants potentiellement intéressés

1. jolivetp (MMIS spé MCS) (photo et email) : je cherche un sujet mathématique, avec des aspects numériques ou des problèmes de calcul réparti. (liste de mots clefs non exhaustive : milieux continus, espace des phases --- contrôle neuro-endocrinien de l’axe gonadotrope, équations stochastiques rétrogrades, correcteurs pour des matériaux fibrés avec distorsion)
2. [SLE] Luc MICHEL [1]: Je recherche un sujet à dominante informatique, plutôt axé sur les OS, le système, et/ou l'architecture.
3. Hugues EVRARD [2]: je recherche un sujet à dominante informatique, sur les OS pour systemes embarqués / architecture spécifique.
4. Brahim SAHBI [3]: je cherche un sujet informatique, de préference dans le domaine de la sécurité informatique.
5. Layla El Asri [4] : je recherche un sujet plutôt mixte portant sur la bioinformatique ou l'imagerie médicale
6. Benjamin Petit [5]  : je cherche un sujet informatique, avec des aspects système et/ou réseau.
7. Julien Henry [6]  : (ISI) je recherche un sujet informatique, de préférence concernant les langages de programmation/compilation, ou concernant le web sémantique. Je suis très intéressé par le sujet concernant l'analyse de programmes par SMT-Solving.
8. Laura Peythieux [7] : je suis très intéressée par le sujet sur l'aquarelle animée. Je dessine depuis très longtemps et je souhaite travailler dans le domaine du graphisme et de l'image de synthèse (compétences de programmeur moyenne, une petite experience de synthèse d'image). De manière générale je cherche un sujet à dominante informatique en lien avec le graphisme
9. Paul Roy [8] : Je suis à la recherche d'un sujet à dominante informatique, de préférence en programmation de bas niveau (assembleur ou C), ou en web / bases de données. edit 10/10/09 : Le sujet concernant la compilation optimisée pour la robustesse sous GCC m'intéresse fortement.
10. Sylvain MICHEL (filière MIF) [9] (photo et email) : Je serais intéressé par un sujet plutôt porté sur les mathématiques (processus aléatoires et calcul stochastique notamment) qui puisse être appliqué à la finance de marché (valorisation de produits, modélisation, ...) à l'image de ce qui a été réalisé l'année dernière : sujet "Simulation d'évènements rares en finance".
11. Sonia SELMI [10] : Je suis à la recherche d'un sujet plutôt mixte dans le domaine de la GMCAO ou la bio-informatique.
12. Romain Casati (photo et email) MMIS-IRVM: Je cherche un sujet plutôt mathématiques si possible en lien avec le cours de Modélisation Géométrique.
13. Gaëlle LETORT [11] : MMIS - BioInfo -Je recherche un sujet en mathematiques appliquées à la biologie. J'ai fait un stage dans un laboratoire de recherche dans ce domaine qui m'a beaucoup intéréssé donc j'aimerais travailler encore dans ce domaine.
14. Yuefei HUANG [12] : Je recherche un sujet sur la recherche opérationnelle ou/et sur la domaine "finance".
15. Arnaud EMILIEN [13] : Sujet à dominante informatique dans le domaine de l'image (3D) ( par ordre de préférence: API 3D / Synthèse d'image / Modélisation surfacique / réalité virtuelle / traitement d'image...)
16. Paul Bernard (photo et email) : sujet à dominante informatique avec éventuellement des problèmes appliqués à la finance. Thèmes recherchés : programmation concurrente, applications réparties.
17. Thibault Lehouillier (photo et email): MMIS-AAD sujet à dominante recherhe opérationnelle, ou optimisation. Je serais également très intéressé par un sujet impliquant les statistiques.
18. Marc Aubert [14] (MMIS - IRVM) : Je suis intéressé par les sujets d'info orientés graphisme, comme le sujet sur l'aquarelle animée par exemple.
19. Aurélia SPANNEUT (MMIS option MCS) [15] : Je recherche un sujet à dominante mathématique portant sur la modélisation/simulation de problèmes physiques.
20. Anne-Victoire AURIAULT [16] : Je souhaite travailler sur un sujet alliant les Processus Aléatoires et la Finance (Pricing d'actions américaines par exemple)
21. Lucas BERTHOU [17] : Sujet à dominante informatique dans le domaine de l'image (Imagerie 3D, Moteur 3D, etc..), ou de la réalité augmenté, ou de l'interface homme machine.
22. Nabil KHAMASSI [18]: je cherche un sujet informatique de préférence dans le domaine de sécurité des systèmes d'information.
23. Aziz MEZLINI [19] : Sujet maths/bioinformatique de préférence das les domaines de la génétique ou de la biologie moléculaire et demandant un certain degré d'immersion dans ces disciplines.
24. Nhat Minh LÊ [20] : Serais intéressé par un sujet d'informatique sur les langages, la compilation et plus généralement les implémentations (machines virtuelles, émulation, interprétation, etc.).
25. Sofia ZAOURAR [21] (MMIS - AAD) : Sujet plutôt mixte ou à dominante mathématique de préférence en optimisation, recherche opérationnelle, etc.
26. Neil JAMI [22] (MMIS - MCS ): sujet plutôt mixte en optimisation dans le domaine de la recherche opérationnelle ou de la modélisation.
27. Benjamin AUPETIT [23] : je recherche un sujet à dominante informatique, tendant plus vers l'imagerie. Le sujet concernant le SMT-solving, celui sur l'implantation de protocoles d'ordonnancement ainsi que la segmentation d'images médicales m'interressent particulièrement.
28. Jean-Baptiste GUET [24]: (ISI) je serais intéressé par un sujet à dominante informatique, axé sur les OS de systèmes embarqués (je suis très intéressé par les sujets 1 et 4 d'info)
29. Simon GIRAUDOT [25] (SLE) : Je suis intéressé par le sujet sur la téléphonie "silencieuse"
30. Antoine LYSON [26] : Sujet à dominante mathématiques liée à la modélisation des marchés financiers. (L'objectif étant de finir quant).
31. Thomas BRAURE [27] : Je serais intéressé par un sujet à dominante informatique dans le domaine de l'image (3D, traitement, synthèse, etc) et plus particulièrement par tout ce qui touche à la réalité augmentée
32. Yassine MAKRINI [28] : je cherche un sujet à dominante mathématique et modélisation numérique en finance ou en imagerie
33. Jean Monlong [29] : Les sujets sur les mouvements de foule et la structure génétique d'une population m'intéressent beaucoup. En effet, je voudrais travailler sur un sujet de modélisation mathématique ou dans la biologie.
34. Sonia BELAID [30] (ISI) : je suis intéressée par un sujet de recherche en cryptographie, sécurité informatique.
35. Adrien JANVIER [31] (MMIS IRVM) : je cherche un sujet multimédia, audio de préférence.
36. Pierre-Loup SCHAEFER [32] : je cherche un sujet à dominante informatique dans le domaine de l'imagerie, le thème de la réalité augmentée m'intéresse tout particulièrement.
37. Pierre-Yves DELAHAYE [33] (SLE) : Je cherche un sujet dans le domaine des systèmes embarqués, avec si possible une part relativement importante de programmation (de préférence C/Java). Je souhaiterais travailler sur la fiabilité des codes, leur optimisation en terme de temps de calcul et de place occupée en mémoire. (par exemple : Sujet 17 : "Transformation de programmes SystemC vers langage de vérification" / Sujet 22 : "DTSE pour les systèmes embarqués de traitement d'image" par exemple)
38. Clément REY (photo et email): (MIF) Je recherche un sujet à dominante mathématique dans le domaine de la finance. Je suis entre autre intéressé par le modèle de Louis Bachelier et le parallèle ensuite établi entre l'équation de la chaleur et les équations vérifiées par le prix des options.
39. Arthur GILLY (photo et email)[34] : (MMIS BIO) Intéressé par un sujet mixte, dans le domaine de la bioinformatique.
40. Etienne MARIN-MATHOLAZ [35] : (SLE) : je recherche un sujet à dominante informatique, dans le domaine des systèmes embarqués et leur architecture.
41. Hamza JELJELI [mailto:hamza.jeljeli@ensimag.imag.fr (TEL) : je recherche un sujet de préference à dominante réseaux: Architecture protocolaire, notamment l'aspect sécurité (Apparement à l'INRIA il y aurait des études sur ces thèmes) mais aussi un sujet en developpement Télecoms: Traitement de signal, électronique RF,.. me conviendrait.
42. Stéphane JEANNIN [36] [37] (MMIS BioInfo) Je serais intéressé par un sujet portant sur les maths appliquées à la physique, comme la physique statistique ou la physique fondamentale, éventuellement les maths appliquées à l'informatique (sécurité, business intelligence, cryptographie, etc.). J'ai par ailleurs déjà travaillé pendant 4 mois dans le laboratoire de recherche de SAP, donc je connais déjà l'environnement de la recherche.
43. Selma BELHADJAMOR (TEL) [mailto : selma.bel-hadj-amor@ensimag.imag.fr] Je recherche un sujet à dominante réseaux (sécurité ou architecture)
44. NGUYEN Manh Toan<manh-toan.nguyen@ensimag.imag.fr> (ISI) Je serais intéressé par un sujet sur la sécurité et Web-service.
45. Michaël GABAY [38] (MMIS - AAD) : je suis interessé par un sujet de recherche opérationnelle, si possible avec une composante informatique.
46. Benjamin ALLAIN [39] (MMIS - IRVM) Sujet mixte math/info. Préférence pour le traitement du signal (image, son). Exemples : reconnaissance de formes, recomposition, synthèse.
47. Pierre Rahier [40] (ISI) Sujets plutôt à dominante Info. Intéressé par l'intelligence artificiel et l'émulation/les machines virtuelles.
48. Jérôme GINSS (IF-SIF) <jerome.ginss@live.fr> (photo et email): sujet à dominante informatique, avec ou sans rapport à la finance. Il s'agirait de réseau au sens général, de sécurité ou de bases de données.
49. Mohamed Taoufiq EL AISSAOUI [41] (ISI) : J'aimerai faire le sujet JTLM proposé par M. MOY
50. Amaury BALLIET (photo et email) (MMIS - IRVM) Je suis très intéressé par le calcul scientifique, la visualisation de données, l'IHM et le multimédia (particulièrement l'audio).
51. Ilias SAGAR (SLE) [42] : Je serais très intéressé par tout sujet de recherche ayant pour objet l'étude ou la conception de systèmes ou de logiciels embarqués. Le sujet sur la téléphonie silencieuse encadré par MM. Mancini et Bailly m'intéresserait beaucoup, par exemple.
52. Marine LE TOUZE (MMIS option AAD)[43] : Je souhaiterai travailler sur un sujet théorique (à dominante math) en rapport avec la théorie des jeux, ou alors la théorie des graphes et les applications au problème du plus court chemin. (recherche opérationnelle)

Sujets proposés dans les laboratoires

Merci aux étudiants de ne pas modifier ces pages. Pour les collègues qui veulent déposer un sujet, voir les instructions ci-dessous. Rappelons que les sujets sont INDIVIDUELS. Les sujets qui apparaissent barrés comme ceci sont attribués (voir liste d'attribution plus bas). 16/11 : inutile d'ajouter des sujets, les 35 places sont prises.

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.

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). Vous pouvez prévisualiser, puis publier. Maintenant, sur la page du TER, 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"

Pour un sujet info, ajouter une ligne ici sur le modèle ci-dessus. Merci d'insérer en fin de liste, pour que les numéros des sujets déjà présents ne changent pas.

1. Conception de boucle d'administration systeme avec des modeles reactifs et synchrones
2. Communication asynchrone dans une machine virtuelle
3. Implantation de protocoles d'ordonnancement dynamiques pour applications embarquées synchrones
4. Approche formelle pour le développement de services système dans les systèmes embarqués : du modèle à l'implantation
5. Analyse de programmes par SMT-solving
6. Modélisation du temps dans un simulateur pour systèmes sur puces
7. Aquarelle animée
8. Génération de graphes réalistes pour la simulation de réseaux
9. Traduction binaire dynamique pour QEMU de l'extension SIMD Néon de l'ARMv7
10. Utilisation des langages synchrones pour l'analyse de performance modulaire
11. Spécification et raisonnement logique à l'aide de schémas
12. Criticité des registres dans un microprocesseur RISC
13. Compilation optimisée pour la robustesse sous GCC
14. Intégration d'un gestionnaire d'identités dans Secure FOCAS
15. Etude et vérification d'un composant matériel de traitement du signal
16. Transformation de programmes SystemC vers langage de vérification
17. Étude des performances de calcul et de communication du processeur CELL
18. Définition d'un modèle de simulation omniscient pour tracer l'exécution d'un OS
19. Accélération de la simulation "cycle accurate" par décodage anticipé des instructions
20. Etude de protocoles de communication sur un prototype de NoC
21. DTSE pour les systèmes embarqués de traitement d'image
22. Environnement matériel pour la reconfiguration dynamique partielle sur des circuits FPGA
23. Modélisation d'un processeur VLIW en vue de la génération automatique de code de traduction binaire
24. Etude d'un système embarqué pour la téléphonie "silencieuse"
25. Etude et implantation de primitives de priorité pour la programmation concurrente par envoi de message
26. Programmation d'un simulateur de réseaux de systèmes embarqués (par exemple : réseaux de capteurs)
27. Conception de l'Interaction d'une Table Multi-Utilisateur pour les Réunions Informelles
28. Simulation du protocole de routage binary waypoint sur WSNet
29. Implémentation d'une solution de contrôle de puissance sur une plate‐forme de réseaux de capteurs sans fil

Sujets plutôt "maths"

Pour un sujet maths, ajouter une ligne ici

1. Inférence de la structure génétique d'une population
2. Le coalescent: un modele mathématique pour les généalogies de gènes
3. Les pygmées sont-ils différents des autres populations bantouphones?
4. D'ou vient la bactérie Helicobacter pylori?
5. Optimisation de formes
6. Tomographie médicale multi-résolution en rayonnement synchrotron
7. Modélisation mathématique des mouvements de foule
8. Utilisation des arbres binomiaux pour le pricing des options américaines

Sujets mixtes

En cas de doute métaphysique sur le rangement, ajouter une ligne ici

1. Recherche d'invariants par optimisation sous contraintes (dominante info, mais avec un background théorique en recherche opérationnelle)
2. Quelle taille de graphe peut-on colorier optimalement avec un ordinateur aujourd'hui? (recherche opérationnelle)
3. Segmentation d'images médicales par coupure de graphe (algo, théorie des graphes, traitement d'images)
4. Création de cheveux dynamiques à partir de lignes 2D (algo, modélisation géométrique)
5. Vérification dense de matching d'images
6. Modélisation 3D par croquis : surfaces de convolution multi-résolution
7. Modélisation Géométrique : Filling N-sided hole
8. Modélisation Géométrique : Lissage de courbes multirésolution
9. Recherche opérationnelle dans la finance (recherche opérationnelle)
10. L'Augmentation de l'arête-connexité des graphes (recherche opérationnelle)
11. Méthodes probabilistes pour le routage dans les réseaux de capteurs sans fil (dominante info, avec bagage en RO et proba)
12. Modèles et algorithmes combinatoires pour les futurs réseaux de distribution d’énergie électrique
13. Codes identifiants dans les graphes
14. Optimisation semidéfinie pour le problème de bipartition d'un graphe
15. Tir à l'arc pour les aveugles
16. Recalage de données tomographiques RX 3D
17. Débruitage de données tomographiques RX 3D
18. Attaques par canaux cachés

Description de l'enseignement

Les travaux d'étude et de recherche en 2ème année ont pour objectif de permettre aux étudiants motivés de participer à une activité de recherche dans un laboratoire, pendant tout le deuxième semestre. Chaque étudiant est encadré par un chercheur du laboratoire, et travaille sur un sujet précis dont il présente finalement les résultats dans une soutenance orale et un rapport écrit. La participation aux travaux d'études et de recherche est soumise à acceptation de la part des responsables de deuxième année et du responsable du TER. Le sujet retenu fait l'objet d'un contrat entre l'étudiant, les enseignants responsables, et le tuteur en laboratoire.

Evaluation

• 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 TER compte 3 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 du 17 octobre 2008

Media:TER_etud2A_17oct08.pdf

Pour plus d'information sur le TER à l'Ensimag, contactez Florence.Maraninchi@imag.fr

Résultats choisis de la session 2008-2009

• Alexandre Anzala-Yamajako - Propriétés de sécurité des protocoles de vote électronique - Résultats
• Nicolas Auget - Optimisation sur le cône du second ordre - Résultats
• Adrien Bustany - Construction d'une application d'annotation sémantique et d'extraction de métadonnées de fichiers multimédia - Résultats
• Simon_Courtemanche_Traitement_et_régularisation_de_surfaces_3D_en_mouvement_resultats
• Tatiana Curelli - Support système pour l'ordonnancement d'applications synchrones dans les noyaux de systèmes critiques embarqués - Résultats
• Thomas_Delamé-Déformations_2D_par_opérateurs_morphologiques-resultats
• Rémi Fusade_Visualisation dynamique d arbres hiérarchiques de très grande taille_resultats
• Gaspard Jankowiak Arbres de decision pour la classification d'images resultats
• Robin Lamarche-Perrin - Argumentation, contexte et alignement d'ontologies - Résultats
• Antoine Levitt Effets non-lineaires dans la dynamique d'ouverture de l'ADN resultats
• Samuel Loury Schéma de Subdivision Box Spline
• Obey Liu Using DBpedia for Relation Discovery on the Semantic Web resultats
• Xavier Marchal - Construction de courbes 3D à partir de courbes 2D - resultats
• Sarah Moussouni Vers l’introduction de politique d’ordonnancement dans la compilation de programmes Lustre resultats
• Filip Novotny - Implémentation d'un HAL pour processeur Cell - resultats
• Thomas Oberlin - Différentes méthodes pour la décomposition modale empirique - Résultats
• Adolfo Olguín-Gutiérrez - Modèles stochastiques de propagation d'épidémies - resultats
• Antoine ROJAT - Schéma de Subdivision Box Spline
• Gabrielle_Sabatier_Une_méthode_de_type_Gradient_Projeté_pour_la_simulation_de_systèmes_mécaniques_avec_frottement_resultats
• Cédric Zanni - Frottements et Impacts dans un jeu de Billard - resultats

Archives

2008-2009 ici : TER-archive-0809