Nous donnons ci-dessous une liste non exhaustive de sujets possibles de projets de recherche en laboratoire. Ces sujets sont personnalisables, vous pouvez solliciter les responsables de cours intervenant dans la filière, les chercheurs et enseignants-chercheurs du LIX, et bien sûr les responsables de la filière.
- Des propositions liées à INF559 (Architecture des ordinateurs et systèmes d'exploitation) :
- Deux propositions liées à INF569 (Modélisation et analyse de systèmes cyber-physiques)
- Approximations intérieures et vérification de propriétés temporelles de systèmes hybrides
- Robotique expérimentale et sûreté de fonctionnement
(vous pouvez aussi nous solliciter pour des sujets liés aux thèmes traités en cours, cf moodle INF569)
- Une proposition liée à INF412 principalement
Parmi les anciens projets :
- Sur-approximation de systèmes différentiels avec delais (Lorenz Sahlman, qui a ensuite continué en stage à CMU et remporté un prix de stage), cf. rapport . Le sujet peut être poursuivi dans de nombreuses directions.
Ce module INF511A est proposé par le département d'Informatique en tant que projet court, en période 1 seulement. Il tient alors lieu d'Enseignement d'Approfondissement. Attention, le format projet de 3A long, sur les deux périodes, est référencé comme INF511. Ce dernier est plus particulièrement conseillé pour les étudiants du PA Bioinformatique.
Sous réserve de validation par le département de Biologie, ce module court peut notamment convenir à des étudiants du PA Biologie désirant s'investir sur un sujet transverse comportant une part significative d'informatique ou de programmation.
Les projets seul ou en binôme doivent faire l'objet de discussions préalables pour en définir le sujet et pourront être associés à l'un des autres modules suivis. Dans tous les cas, vous devez nous contacter au plus vite pour définir un sujet adapté à vos centres d'intérêt et à votre cursus.
Exemples de sujets :
- Computing folding pathways between two RNA secondary structures
- A Divide and Conquer Approach for RNA Design
- Prédiction des nucléotides aux interfaces protéine/ARN
- Classification de structures protéiques
- Implementation of Stochastic Simulation Algorithm and application to the modelization of metabolic network
- Classification d'électroencéphalogrammes et détection de crises d'épilepsie
- Biochemical implementation of a proportionnal integral controller
Langue : Français et/ou Anglais
Ce module est proposé par le département d'Informatique (DIX) en tant que "Projet de 3A" inclus dans le cours "L'Internet de Tout pour une Société Numérique (IOE4DS)".
Chaque projet est pour un groupe de 1-3 élèves (motivés), en collaboration avec un chercheur (universitaire ou industriel), sur un sujet scientifique ou technologique d'intérêt commun.
Ce cours est soutenu par Cisco Systems, par l'intermédiaire de la chaire industrielle X-Cisco "Internet of Everything", qui propose des projets liés à leurs recherches actuelles et leur développement technologique.
Veuillez également noter que dans les différents cas, il est impératif que vous contactiez les personnes indiquées dans chaque projet et le responsable de INF512 (T. Clausen) dès que possible, afin de discuter et de formaliser votre projet.
Langue : Français et/ou English.
Cette page est pour les Projets de Recherche du cours "Algorithmes et Bases du Langage de Programmation".
Propositions de projets 2017/2018 :
- Pierre-Yves Strub. A COQ Proof-Mode for APRHL.
- Grégoire Lecerf. Factorisation des polynômes sur les corps finis.
- Grégoire Lecerf. Implantations HPC des opérations arithmétiques sur les polynômes et séries de petites et moyennes tailles.
- Olivier Bournez. Modèles de calculs continus: A propos de la puissance des modèles de calcul basés sur les équations,différentielles ordinaires.
Ci-dessous des projets de INF513 qui ont été réalisés ces dernières années. Nous conseillons aux étudiants de contacter les professeurs de vos cous préférés afin de discuter de la possibilité d'effectuer un projet sous leur supervision, ou de contacter les superviseurs qui ont proposé des projets cette année ou les années précédentes.
====
- Dale Miller, Certificates for CTL Model Checkers.
- Stéphane Graham-Lengrand et Assia Mahboubi, Combinaison de procédures de décisions en présence métavariables.
- Benjamin et Carola Doerr, Analyse des algorithmes évolutionnaires (http://people.mpi-inf.mpg.de/~doerr/projet_approf_doerr_x13_ea.pdf).
- Tomer Libal and Dale Miller (shaolintl@gmail.com), Vérification des Certificats de Preuve (ProofCert project).
- Xavier Allamigeon (Xavier.Allamigeon@inria.fr), Falsifier formellement la conjecture de Hirsch.
Projet de 3A - Algorithmique efficace
Le projet peut être choisi selon les règles suivantes :
- le projet dure environ 10 semaines, sur une seule période (P1 ou P2) : il peut être pris comme substitut d'un cours du parcours,
- le projet doit être universitaire (les projets industriels ne sont pas autorisés),
- Un tuteur du DIX/LIX (enseignant ou chercheur) supervisera l'étudiant,
- le projet doit être réalisé individuellement (les groupes de 2 ou 3 ne sont pas autorisés).
Vous trouverez ci-dessous une courte liste (non exhaustive) de sujets possibles. Merci de contacter le tuteur correspondant pour plus de détails :
- De l’image d’un troupeau à un animal animé (Marie-Paule Cani and Damien Rohmer, LIX)
- Transfert de mouvement à d’autres morphologies (Marie-Paule Cani and Damien Rohmer, LIX)
- Animer un objet 3D par la voix (Marie-Paule Cani and Damien Rohmer, LIX)
- Social network visualization with geographic constraints (par L. Castelli Aleardi, LIX)
- Sketch-based 3D shape retrieval (par M. Ovsjanikov, LIX)
- capture de la réalité et nouveaux défis (par Renaud Keriven, DIX)
- On Support Vector Clustering (Frank Nielsen, DIX)
- On robust and efficient implementation of k-levels of 3D arrangements of planes with applications (Frank Nielsen, DIX)
- On visualizing tensor fields with applications (Frank Nielsen, DIX)
- Distributed Delaunay Triangulation (Pooran Memari, LIX)
Projet de 3A MAP-INFO Optimisation
Langue du cours : Français
Ce projet permet d'aborder un problème de recherche pendant son année M1; cette première expérience de recherche est très valorisée notamment lors de candidatures dans des Masters prestigieux.
Le projet peut être académique ou industriel; un tuteur (enseignant et/ou chercheur du DIX) encadrera les élèves. Les étudiants peuvent travailler en groupes de 2 ou 3 personnes.
Le projet peut être choisi parmi ceux proposés ou proposé par les élèves. Dans ce cas, une validation du responsable du cours est nécessaire (Ioana.Manolescu@inria.fr).
Veuillez consulter les sujets, discuter avec le(s) superviseur(s) de projet et si vous êtes d'accord pour le faire avec votre groupe, informer le responsable du cours. Vous devez le faire rapidement pour commencer à travailler sur le projet le plus tôt possible.
