Catalogue des stages de recherche (M1) INF591 pour les étudiants de master et pour les X de la promotionX2016


English version of this page
Cette page est en évolution. Nous continuous à recevoir quelques propositions.

Liste des thématiques

INF591 (validated)

Other :


Algorithmique

CodeTitreMèl
algo001 Applications of Sinkhorn s alternative scaling to quantum information theory nechita@irsamc.ups-tlse.fr
algo004 Robust formation control against adversarial perturbations : application to smart railway transportation systems eric.fabre@inria.fr
algo005 Calcul de couplages contraints dans les graphes nicolas.nisse@inria.fr
algo006 Stratégie optimisée de placement dynamique de modules dans un b?timent technologique xavier.marsault@aria.archi.fr
algo007 Réseaux neuronaux et parallélisation en OCaml. gaetan.hains@huawei.com
algo008 Positive systems, Newton, games, and convergence elias.tsigaridas@inria.fr
algo009 Etude et preuve de convergence d un algorithme de Machine Learning déterministe roland.groz@imag.fr
algo010 Algorithms for Operational Optimization of Multi-Modal Transportation Systems samitha@cornell.edu
algo011 Efficient Algorithms and Data Representations for Uncertainty-Aware Route Planning in Stochastic Networks samitha@cornell.edu
algo012 Manipulation planning in robotics: developing new algorithms florent.lamiraux@laas.fr
algo018 Multi-Flow and Multi-Cut in Planar Graphs cchuang@di.ens.fr
misc006 ?valuation numérique rigoureuse et efficace de fonctions hypergéométriques marc@mezzarobba.net

(12 propositions dans ce thème )

Algorithmique Distribuée

CodeTitreMèl
algodist002 Coloration distribuée dans les graphes structurés louis.esperet@grenoble-inp.fr
algodist003 Des bactéries vues comme réseau de communication thomas.nowak@lri.fr
algodist004 Scheduling Replica Requests in Key-Value Stores loris.marchal@ens-lyon.fr

(3 propositions dans ce thème )

Géométrie algorithmique

CodeTitreMèl
geo001 Analyse d?un algorithme de reconstruction surfacique dobrina.boltcheva@univ-lorraine.fr
geo002 Algorithmic Analysis of Motzkin?s Algebraic Lifting of Semialgebraic Sets khalil.ghorbal@inria.fr
geo003 Analyzing the geometry of image patch and image feature manifolds memari@lix.polytechnique.fr
geo004 Analyse de nuage de points cyril.novel@bentley.com
geo005 Compact 3D meshes: structures de données compactes pour les maillages 3D amturing@lix.polytechnique.fr
geo006 Recherche de motifs dans un espace non-Euclidien antoine@unist.ac.kr

(6 propositions dans ce thème )

Automates

CodeTitreMèl
auto001 Hierarchical Cellular Automata for Complex System Simulation and Analysis ada.diaconescu@telecom-paristech.fr

(1 propositions dans ce thème )

Bioinformatique

CodeTitreMèl
bio001 Algorithmes de recherche des bassins d?attraction dans des graphes de modélisation discrète des systèmes dynamiques complexes olivier.roux@ec-nantes.fr
bio002 Protein loop sampling using robotics algorithms and machine learning: methodological improvements and analysis of loop ensembles from antibody variants. juan.cortes@laas.fr
bio003 A web server to generate conformational ensembles of highly-flexible proteins juan.cortes@laas.fr

(3 propositions dans ce thème )

Combinatoire

CodeTitreMèl
combi002 Generalizations of the geometric de Bruijn Erdös Theorem pierreaboulker@gmail.com
combi003 Spécification et vérification formelle avec Why3 alain.giorgetti@univ-fcomte.fr
combi004 Localisation d une cible invisible cachée dans un graphe nicolas.nisse@inria.fr
combi005 Optimisation de plans de mission par hybridation entre recherche locale et apprentissage de conflits cpralet@onera.fr

(4 propositions dans ce thème )

Intéractions homme-machine

CodeTitreMèl
ihm002 Visualising Biological Data with Missing Values Using A Scatter Plot Matrix nadia.boukhelifa@inra.fr
ihm003 Interactive Trade-off Exploration Using Linked 2D Views to Aid Multi-Criteria Decision Making nadia.boukhelifa@inra.fr

(2 propositions dans ce thème )

Compilation

CodeTitreMèl
compil001 Simplifying Reproducibility ashish.gehani@sri.com
compil002 Certified Compilation of Skeletal Semantics alan.schmitt@inria.fr

(2 propositions dans ce thème )

Théorie de la calculabilité. Modèles de calculs. Théorie de la complexité. Algorithmes d'approximation

CodeTitreMèl
compl001 Plus court chemin temporel bruno.escoffier@lip6.fr
compl002 Algorithms for the Traveling Salesman Problem alantha.newman@grenoble-inp.fr
compl003 Abstraction Techniques for Minimising Regrets Under Uncertainty sadegh.soudjani@ncl.ac.uk

(3 propositions dans ce thème )

Architecture des ordinateurs

CodeTitreMèl
archi001 Vérification d anomalies temporelles sur des processeurs à pipeline VLIW (ou à exécution entrelacée de threads) Mathieu.Jan@cea.fr

(1 propositions dans ce thème )

Bases de données

CodeTitreMèl
bd001 Optimization-Driven Generation of data pipelines for large-scale user data mining sihem.amer-yahia@imag.fr
bd002 User-Driven Generation of data pipelines for large-scale user data mining sihem.amer-yahia@imag.fr
bd003 A formal data pipelines algebra for large-scale user data mining sihem.amer-yahia@imag.fr
bd004 Construction of an exhaustive database of three-residue fragments extracted from experimental protein structures juan.cortes@laas.fr
bd005 Parallel graph rewriting in the ReGraph framework russell.harmer@ens-lyon.fr
bd007 Building a shared mutable state backend for stateful stream processing engines bonaventura.delmonte@dfki.de

(6 propositions dans ce thème )

Programmation distribuée

CodeTitreMèl
dist001 High-Performance Storage and Recovery of Spatiotemporal Graph Data chairman@cs.uno.edu
dist004 Evaluating the Scalability of Blockchain Systems vincent.gramoli@sydney.edu.au
dist005 Ordonnancement orient ́e m ́emoire dans le runtime StarPU loris.marchal@ens-lyon.fr
dist006 Partitioned Global Address Space (PGAS) for Discrete Element Method (DEM) xavier.besseron@uni.lu
dist007 In Situ Visualization for eXtended Discrete Element Method (XDEM) xavier.besseron@uni.lu
dist008 Designing High Performance Parallel Algorithms for Tensor Computations oguz.kaya@lri.fr

(6 propositions dans ce thème )

Image

CodeTitreMèl
img001 Tomographic reconstruction for a Quality Assurance dosimetric system laurent.desbat@univ-grenoble-alpes.fr
img002 Radiation dose estimation for region?of?interest CT scans rolf.clackdoyle@univ-grenoble-alpes.fr
img003 Image quality assessment for region?of?interest CT scans rolf.clackdoyle@univ-grenoble-alpes.fr
img005 Internship on the deep learning of morphological representation samy.blusseau@mines-paristech.fr

(4 propositions dans ce thème )

Informatique Graphique

CodeTitreMèl
infogr001 A deep learning framework for digital line drawings adrien.bousseau@inria.fr
infogr002 Geometrical and topological mesh filtering for fabrication dobrina.boltcheva@univ-lorraine.fr
infogr003 Optimisation des niveaux de détails pour le streaming d?objets 3D d?apparence riche glavoue@liris.cnrs.fr
infogr004 Correction de la forme de la bouche pour une animation réaliste d un visage 3D slim.ouni@loria.fr
infogr005 Deep Blending for Image-Based Rendering of Large Datasets george.drettakis@inria.fr

(5 propositions dans ce thème )

Vision, Réalité Virtuelle

CodeTitreMèl
vision003 Artificial Intelligence (Deep Learning) Approach for Automatic Capture and Editing of Drone Videos bazinjc@kaist.ac.kr
vision005 Deep neural networks for 3D point cloud prediction from a single image bertrand.le_saux@onera.fr
vision006 Classification of 3D point clouds by convolutional neural networks bertrand.le_saux@onera.fr
vision007 reality modeling and deep learning renaud.keriven@bentley.com
vision008 Detection d objets bournez@lix.polytechnique.fr
vision009 Detection de personnes bournez@lix.polytechnique.fr
vision010 Simulation sous gazebo bournez@lix.polytechnique.fr

(7 propositions dans ce thème )

Réalité Virtuelle

CodeTitreMèl

(0 propositions dans ce thème )

Logique, Verification

CodeTitreMèl
logic001 Formalisation of Mathematics using Isabelle lp15@cam.ac.uk
logic003 Formal methods for security albl@dtu.dk
logic004 Improve the provability of SPARK programs with library contracts hainque@adacore.com
logic005 Bounded model checking of liveness properties of TLA+ specifications igor.konnov@inria.fr
logic006 Bounded model checker for threshold automata with delays igor.konnov@inria.fr
logic007 Formally constrained training for controller neural networks habbas@seas.upenn.edu
logic008 Incremental information exchange for robustness of temporal logic habbas@seas.upenn.edu
logic009 Formal Verification for Stochastic Differential Equations paolo.zuliani@ncl.ac.uk
logic010 Data-driven and Model-based System Design stavros.tripakis@gmail.com
logic012 Automated Theorem Proving for Distributed System Cybersecurity jaskolka@sce.carleton.ca
logic013 Modelling and Verification of Wireless Mesh Network Routing Protocols peter.hoefner@data61.csiro.au
logic014 Expressiveness for Distributed Systems peter.hoefner@data61.csiro.au
logic015 Formal, machine-checked verification of concurrent OS-code Corey.Lewis@data61.csiro.au
logic016 Utilisation de méthodes de ? Satisfiability Modulo Theory (SMT) ? pour la vérification compositionnelle des comportements de systèmes communicants. eric.madelaine@inria.fr
logic017 Safety guarantees for switched systems: Applications to automated anesthesia delivery system utopcu@utexas.edu
logic018 Domaines abstraits numériques sous-approximants pour la vérification de programmes putot@lix.polytechnique.fr
logic019 Calculs d?ensembles atteignables pour les équations aux dérivées partielles (application à la vérification de systèmes de contrôle) putot@lix.polytechnique.fr
logic020 Formal Methods, Security, and Machine Learning at SRI shankar@csl.sri.com
logic021 Symbolic Model-Checking for NTCC arias@lipn.univ-paris13.fr
logic022 Combiner SOG et Réduction d?Ordre Partiel pour Une Vérification Efficace de la Logique LTL kais.klai@lipn.univ-paris13.fr
logic023 Vérification formelle de Processus Configurables kais.klai@lipn.univ-paris13.fr
misc005 FORMAL METHODS FOR SECURITY albl@dtu.dk

(22 propositions dans ce thème )

Informatique linguistique

CodeTitreMèl
ling001 SYSTRAN internship proposals josep.crego@systrangroup.com

(1 propositions dans ce thème )

Réseaux

CodeTitreMèl
net001 Performance validation of embedded networks Marc.Boyer@onera.fr
net002 Vélos électriques: Modélisation et impact sur Velib christine.fricker@inria.fr
net003 Vélos électriques: Modélisation et impact sur Velib christine.fricker@inria.fr

(3 propositions dans ce thème )

Systèmes d'exploitation

CodeTitreMèl

(0 propositions dans ce thème )

Langages de programmation

CodeTitreMèl
pl001 Continuity analysis of Java programs to detect forgiving regions in code baudry@kth.se
pl002 Formal modelling and analysis of the biological mechanisms involved in Diabete type 2 cedric.lhoussaine@univ-lille.fr
pl003 Rank-polymorphic Array Languages for Parallelism pete@ccs.neu.edu
pl004 Monades familiales et sémantique opérationnelle structurelle tom.hirschowitz@univ-smb.fr
pl005 Typed algebraic effects for OCaml mshinwell@janestreet.com
pl007 Specification and verification of concurrent data structure libraries mbatty@cantab.net
pl008 The Formal Semantics and Evolution of the F* Verification System catalin.hritcu@inria.fr
pl009 Gradual Typing for Dynamic Languages castagna@cnrs.fr
pl010 Techniques de rétro ingénierie pour faciliter l adoption de l Ingénierie dirigée par les modèles IDM pour le développement des systèmes temps réel embarqués et autonomes. asma.smaoui@cea.fr

(9 propositions dans ce thème )

Sécurité, Cryptologie, Cybersécurité

CodeTitreMèl
sec001 Evaluating web browser robustness against micro-architectural attacks clementine.maurice@irisa.fr
sec003 Improving the Precomputation of Cryptanalytic Time-Memory Trade-Offs Using a Distributed Architecture gildas.avoine@irisa.fr
sec005 Etude d une clé USB sécurisée et connectée à environnement de chiffrement personnalisable benoit.berthe@lokly.com
sec006 Post-Quantum Cryptography Research thomaspl@uow.edu.au
sec009 Methods for System-Level Security Evaluation jaskolka@sce.carleton.ca
sec010 Modeling and Simulation for Cyberattack Impact Analysis jaskolka@sce.carleton.ca
sec011 Software security through binary-level analysis sebastien.bardin@cea.fr
sec013 Analyse pratique de l attaque de Bleichenbacher olivier.levillain@telecom-sudparis.eu
sec014 Analyse d?une attaque par canaux cachés au sein d?un réseau d?accès FTTH antoine.lavignotte@telecom-sudparis.eu

(9 propositions dans ce thème )

Calcul formel

CodeTitreMèl
for002 Pgcd rapide et reconstruction de fraction rationnelle lebreton@lirmm.fr

(1 propositions dans ce thème )

Recherche Opérationnelle

CodeTitreMèl
ro001 Optimization in Last-Mile Delivery using Drones and ATVs mahdi.moeini@wiwi.uni-kl.de
ro002 Optimizing Multi-Modal Transportation Systems Under Economic Constraints samitha@cornell.edu
ro003 Horaire d agents de bord travaillant en équipes francois.soumis@gerad.ca
ro004 Développement de systèmes de prévision pour la planification du cargo aérien francois.soumis@gerad,ca
ro005 Automated Configuration of Optimization Algorithms carola.doerr@mpi-inf.mpg.de
ro007 Méthodes de splitting par apprentissage et de Monte Carlo conditionel pour la simulation et les événements rares dans les réseaux lecuyer@iro.umontreal.ca

(6 propositions dans ce thème )

Intelligence Artificielle

CodeTitreMèl
ia002 Topological Neural Networks Nicolas.Rougier@inria.fr
ia003 Agrégation de jugements éthiques pour l aide à la décision catherine.tessier@onera.fr
ia004 Approche quantique pour l aide à la décision médicale jean-baptiste.lamy@univ-paris13.fr
ia005 AI pour le contrôle du trafic aérien beatrice.pesquet@thalesgroup.com
ia006 Enhancing disease prediction using Deep Learning dominique.fourer@univ-evry.fr
ia007 Optimal signal representations for music source separation dominique.fourer@univ-evry.fr
ia008 Task allocation in swarm robotics vito.trianni@istc.cnr.it
ia010 Apprentissage incrémental par contraste dessalles@telecom-paristech.fr
ia014 Learning user s preferences karima.sedki@univ-paris13.fr
ia015 Génération de chemin fluide en dimension 2 ou 3 / Smooth Path Generation in Dimension 2 or 3 Alexis.Scheuer@Loria.fr
ia016 Deceptive strategies for autonomous systems utopcu@utexas.edu
ia017 Cognitive Machine Learning emmanuel.dupoux@gmail.com
ia019 Approches basées sur le machine learning pour la conception multidisciplinaire de véhicules aérospatiaux, application à la conception de lanceurs réutilisables loic.brevault@onera.fr
ia020 Vérification de propriétés de sûreté et de robustesse de réseaux de neurones putot@lix.polytechnique.fr
ia021 TRACKING INFORMATION DIFFUSION IN SOCIAL MEDIA pasi@disco.unimib.it
ia022 DEEP LEARNING TECHNIQUES FOR USER PROFILING AND PERSONALIZATION IN INFORMATION RETRIEVAL pasi@disco.unimib.it
ia023 Provenance pour la réponse aux requêtes à travers les ontologies a3nm.polytechnique@a3nm.net

(17 propositions dans ce thème )

Génie Logiciel

CodeTitreMèl
softwareen002 Méthode de conception d?applications dédiées à la collecte et à l?indexation de ? traces numériques ? spatio-temporelles cyril.faucher@univ-lr.fr
softwareen003 Algorithme de placement digital on top pour circuits mixtes analogiques-numériques marie-minerve.louerat@lip6.fr
softwareen004 Test of embedded multi-agent systems Oum-El-Kheir.Aktouf@grenoble-inp.fr
softwareen005 Test Coverage analysis for Mobile and Context-Aware Applications Oum-El-Kheir.Aktouf@grenoble-inp.fr

(4 propositions dans ce thème )

Divers

CodeTitreMèl
misc001 Frame Field 2.5D ray@inria.fr
misc002 Contrôle non linéaire sous contraintes illustré sur un pendule inversé dmitry.sokolov@univ-lorraine.fr
misc003 Formulation ?léments finis pour les Paramétrisations Globales Périodiques ray@inria.fr
misc004 Synthèse de code pour l évaluation de fonctions de Bessel marc@mezzarobba.net

(4 propositions dans ce thème )

TOTAL: 141 propositions



Other (Not necessarily INF591 validated)