Catalogue des stages de recherche (Master 1) pour la promotion X2014



Cette page est en évolution. Nous continuous à recevoir quelques propositions.

Liste des thématiques


Algorithmique

CodeTitreMèl
algo002 Arithmetic Constraint Satisfaction Problems barnabymartin@gmail.com
algo003 Root solver using subdivision and Fast Fourier Transform marc.pouget@inria.fr
algo004 Algorithms for the Traveling Salesman Problem alantha.newman@grenoble-inp.fr
algo005 Méthodes stochastiques d?optimisation pour la prédiction de structures moléculaires : Application aux bio-nanomatériaux juan.cortes@laas.fr
algo007 Manipulation planning in robotics florent@laas.fr
algo008 Contrôle-Commande Exosquelette kien-cuong.nguyen@polytechnique.org
algo009 Arithmétique flottante des nombres p-adiques xavier.caruso@normalesup.org
algo011 Allocations de fréquences à double contrainte djelloul@lri.fr
algo012 Formules d?inclusion-exclusion et algorithmique des graphes goaoc@u-pem.fr
algo014 Compilation et manipulations formelles pour la programmation dynamique combinatoire effective cedric.chauve@sfu.ca
algo015 Verified correctness and complexity analysis of the Uno-Yagiura algorithm pierre-evariste.dagand@lip6.fr
algo019 Algorithmique pour les flots de liens clemence.magnien@lip6.fr
algo020 Analyse de Transactions Financières en Bitcoins matthieu.latapy@lip6.fr
algo021 Conversations, Groupes et Communautés dans les Flots de Liens matthieu.latapy@lip6.fr
algo022 Génération aléatoire de graphes bipartis Fabien.Tarissan@cnrs.fr
algo023 An Aggregation Algorithm for Multiscale Analysis of Dynamical Networks Robin.Lamarche-Perrin@lip6.fr
algo024 Efficient algorithms for robust routing in stochastic networks samitha@cornell.edu
algo025 Formal Analysis of Estimation of Distribution Algorithms timo.koetzing@hpi.de
algo027 Calcul de superchaînes rivals@lirmm.fr
algo028 Reconnaissance Globale de Mots dans le Cadre de Vocabulaires Réduits philippe.vincent@inovatic.fr
algo029 Exotec Solutions Internship - Multi agent artificial intelligence renaud.heitz@exotecsolutions.com

(21 propositions dans ce thème )

Algorithmique Distribuée

CodeTitreMèl
algodist001 Infotaxie collective?: coordonner une équipe d?agents pour trouver une source invisible nazim.fates@loria.fr
algodist002 Infotaxie collective?: coordonner une équipe d?agents pour trouver une source invisible nazim.fates@loria.fr
algodist004 Counting in Population Protocols jb@lri.fr
algodist005 Stages en Finance / Fintech / Blockchain a IBM Research Singapour lwynter@sg.ibm.com

(4 propositions dans ce thème )

Géométrie algorithmique

CodeTitreMèl
geo001 Geometric Analysis of Uncertain Scalar Fields memari@telecom-paristech.fr
geo002 Efficient Spherical parametrization and drawing of triangle meshes amturing@lix.polytechnique.fr
geo003 Complex networks: tools for the analysis, visualization and compression amturing@lix.polytechnique.fr
geo004 Semantic & volumic 3D reconstruction of indoor scenes from range data renaud.marlet@enpc.fr
geo005 Algorithm for the alignment of 3D molecular graphs sergei.grudinin@inria.fr
geo006 Symmetry detection in electron densities and molecular structures sergei.grudinin@inria.fr
geo007 Simplification de maillages 3D sur GPU renaud.keriven@bentley.com
geo008 Multi-material Mesh Generation from Complex 3D Images pierre.alliez@inria.fr
geo009 Développement d algorithmes pour la Fabrication Additive benoit.delebecque@cirtes.fr

(9 propositions dans ce thème )

Automates

CodeTitreMèl

(0 propositions dans ce thème )

Bioinformatique

CodeTitreMèl
bio001 Computational tools for human pathogens outbreak monitoring using whole genome sequencing data cedric.chauve@sfu.ca
bio002 Developing novel algorithms for genomics and bioinformatics pashadag@cse.psu.edu
bio003 Boucles de rétroaction positive et multistationarité dans des systèmes de réactions biochimiques Sylvain.Soliman@inria.fr
bio004 Reconstruire notre passé : apprentissage statistique (deep learning) pour la génétique des populations flora.jay@lri.fr
bio005 Développement, calibration et comparaison d?un modèle biophysique de microtumeurs sylvain.cussat-blanc@irit.fr
bio008 Maximum entropy models for gene regulation: development and application to lung cancer daniel.jost@imag.fr
bio009 Identification of epigenetic hotspots in lung cancer daniel.jost@imag.fr
bio010 Development of a fast GPU-based numerical method for simulating chromosomes daniel.jost@imag.fr
bio011 Exploring interaction networks from a host - symbiont database corre@sb-roscoff.fr
bio012 Taxonomie et héritage de réseaux d automates booléens à seuil inférés à partir de contraintes nicolas.glade@imag.fr
bio013 Novel protein-ligand docking algorithms sergei.grudinin@inria.fr
bio015 Croissance des hyphes de champignon: modélisation et optimalité de l?exploration spatiale ydangelo@unice.fr
compl002 Diagramme de bifurcations approchées d un modèle de masse neuro-gliale par techniques de tropicalisation habib.benali@concordia.ca
compl003 Modèles computationnels et neuroimagerie pour l?étude des rythmes du sommeil chez l?homme habib.benali@concordia.ca

(14 propositions dans ce thème )

Combinatoire

CodeTitreMèl

(0 propositions dans ce thème )

Intéractions homme-machine

CodeTitreMèl
ihm001 On se comprend pas toujours mais au moins on se marre : les enjeux de l humour pour l IA fabrice.lefevre@univ-avignon.fr
ihm002 Interactive 3D Visualization and Exploration of Plant Embryo Development Histories tobias.isenberg@inria.fr
ihm003 Interactive 3D Data Registration for Proton Therapy using Touch-Based Interfaces tobias.isenberg@inria.fr
ihm004 Expressive Typography: Gesture-Typing with a Parametric Font Engine mackay@lri.fr
ihm005 Interactive proofs with Dedukti frederic.blanqui@inria.fr
ihm006 Interactive Fabrication of Physical Models Theophanis.Tsandilas@inria.fr
ihm007 Interaction Collaborative Multi-Surface / Collaborative Multisurface Interaction mbl@lri.fr
ihm008 Mobile decision-making support for effective residential energy consumption Theophanis.Tsandilas@inria.fr
ihm009 Check-list aéronautique multimodale catherine.letondal@enac.fr
ihm010 Décider tout en se contredisant: De l?interaction à la recommandation wassila.ouerdane@centralesupelec.fr

(10 propositions dans ce thème )

Compilation

CodeTitreMèl
compil001 Codes stencils et calculs hautes performances Sid.Touati@inria.fr
compil002 Semantics and Compilation of Synchronous Dataflow Languages pierre-evariste.dagand@lip6.fr
compil003 Certified and Optimizing Bit Slicing Compiler pierre-evariste.dagand@lip6.fr
compil004 Modular Implicits lborgo@janestreet.com
compil005 Développement d un système de type et d un compilateur pour circuits réversibles benoit.valiron@lri.fr
compil006 Simplifying Reproducibility ashish.gehani@sri.com

(6 propositions dans ce thème )

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

CodeTitreMèl
compl005 A fully compressible time implicit hydrodynamical code to understand the interior of stars and planets i.baraffe@ex.ac.uk
compl006 Using ODE Solvers to explore Solutions? Sets of Systems of Algebraic Equations khalil.ghorbal@inria.fr
compl007 Assemblage de tuiles et erreurs msablik@math.univ-toulouse.fr
compl008 Marche quantique sur géométrie discrète. pablo.arrighi@univ-amu.fr
compl009 Quantum Walking in a Discrete Geometry pablo.arrighi@univ-amu.fr
compl010 Measurable Game Semantics seiller@di.ku.dk
compl011 Algorithmic complexity of analog computation in the cell Francois.Fages@inria.fr
compl012 Automated reasoning on orders of magnitude in biochemical reaction systems Francois.Fages@inria.fr
compl013 Machine learning biochemical models from temporal data Francois.Fages@inria.fr
compl014 Analog machines and models of computation. Computing with a continuous time. bournez@lix.polytechnique.fr
compl017 Efficient Homomorphic Encryption and Applications malika.izabachene@cea.fr

(11 propositions dans ce thème )

Architecture des ordinateurs

CodeTitreMèl
archi001 Multicore Architecture Monitorization and Reconfiguration in Task Programming Models luc.jaulmes@bsc.es

(1 propositions dans ce thème )

Bases de données

CodeTitreMèl
bd002 Cost-based Optimization for Polystores: The Case of Data Journalism ioana.manolescu@inria.fr

(1 propositions dans ce thème )

Programmation distribuée

CodeTitreMèl
dist001 High-Performance Storage and Recovery of Spatiotemporal Graph Data chairman@cs.uno.edu
dist003 Multilevel Checkpointing for Extreme Scale Supercomputers leonardo.bautista@bsc.es

(2 propositions dans ce thème )

Image

CodeTitreMèl
img001 3D Morphological Skeletonization boguslaw.obara@durham.ac.uk
img002 calcul rapide de géodésiques de la variation totale dans les images monasse@imagine.enpc.fr
img003 Comparaisons de lois de probabilité en Imagerie Radar à Synthèse d Ouverture jean-marie.nicolas@telecom-paristech.fr
img004 Security Hologram Authentication by Smartphone using Video Processing m.pic@surys.com
img005 Enrichissement et modélisation de bases de données en vue de l apprentissage profond de la segmentation etienne.decenciere@mines-paristech.fr
img006 Material Crack Detection by Image Analysis petr.dokladal@mines-paristech.fr
img007 Simulateur d exoplanètes zenou@isae.fr
img008 Landing on an Asteroid: Improving the motion estimation in reduced-gravity using a data fusion scheme zenou@isae.fr
img009 Story generation from photos remi.ronfard

(9 propositions dans ce thème )

Informatique Graphique

CodeTitreMèl
infogr001 Mixed-Integer Optimization for Line Drawing Reconstruction adrien.bousseau@inria.fr
infogr002 Codage géométrique et topologique de formes 3D memari@telecom-paristech.fr
infogr003 Amélioration de la perception du relief multiscopique à l?aide d?un eye-tracking stephanie.prevost@univ-reims.fr
infogr004 Simulation efficace de coques par assemblage d? ́el ́ements inextensibles florence.descoubes@inria.fr
infogr005 Inverse Dynamic Modeling of Cloth florence.descoubes@inria.fr
infogr006 Identification and Edition of Similar parts in a 3D Model: A skeleton based approach Axel.Carlier@enseeiht.fr
infogr007 Animation virtuelle 3D d?acteurs réels pour logiciels de post-production celine.loscos@univ-reims.fr
infogr008 Your Internship in Computational Fabrication bernd.bickel@ist.ac.at
infogr009 Ontologies for Interactive Drama remi.ronfard
infogr010 Direct Line-Based Rendering of Point Clouds vdh@irit.fr

(10 propositions dans ce thème )

Vision, Réalité Virtuelle

CodeTitreMèl
misc014 Generation of simple 3D building models from a template and possibly inconsistent photos Andre.LIEUTIER@3ds.com
vision001 People detection using Deep Convolutional Neural Network francois.bremond@inria.fr
vision002 Activity recognition using RGB-Depth sensors and DCNN networks francois.bremond@inria.fr
vision003 Comparaison critique des méthodes de rectification stéréo sous l angle de la théorie des groupes monasse@imagine.enpc.fr
vision004 Estimation de cartes de disparité en stéréovision binoculaire par méthode variationnelle monasse@imagine.enpc.fr
vision005 Explainable deep learning iguyon@lri.fr
vision006 Reconstruction of building models with drones renaud.marlet@enpc.fr
vision007 Wide-baseline photogrammetric reconstruction of indoor scenes renaud.marlet@enpc.fr
vision008 Traitement de nuages de points laser renaud.keriven@bentley.com
vision009 Classification et segmentation automatique de modèles 3D renaud.keriven@bentley.com
vision010 Apprentissage profond et base de données d??uvres d?art pour une start-up mathieu.aubry@imagine.enpc.fr
vision011 Learning cinematographic styles from examples remi.ronfard
vision012 Computer Vision Research Internship sebastien.boyer@deeplook.io

(13 propositions dans ce thème )

Réalité Virtuelle

CodeTitreMèl

(0 propositions dans ce thème )

Logique, Verification

CodeTitreMèl
logic001 Coq deep specification of a SQL engine veronique.benzaken@u-psud.fr
logic002 Combining Resolution and Tableaux for Temporal Logic paqui.lucio@ehu.es
logic003 Verification of security protocols ? decidability results ? Stephanie.Delaune@irisa.fr
logic004 Mod ́elisation des Interactions Strat ́egiques dans les Syst`emes Multi-Agents belardinelli@ibisc.fr
logic005 Proofs of preprocessing in Satisfiability Modulo Theories Pascal.Fontaine@inria.fr
logic006 Révision des croyances dans la clôture propositionnelle d un formalisme attributs-contraintes Jean.Lieber@loria.fr
logic007 Well Structured FIFO Automata finkel@lsv.ens-cachan.fr
logic008 Vérification de systèmes intégrant les facteurs humains nicolas.sabouret@centralesupelec.fr
logic009 Formal framework for dynamic reconfiguration jeremy.buisson@irisa.fr
logic010 Vérification de systèmes distribués communiquant par messages queinnec@enseeiht.fr
logic011 Synthèse de paramètres à l aide de méthodes probabilistes benoit.delahaye@univ-nantes.fr
logic012 Abstraction Techniques for Parameterized Model Checking ocan.sankur@irisa.fr
logic013 On the theory of the Probabilistic mu-calculus matteo.mio@ens-lyon.fr
logic014 Modelling and Verification of Wireless Mesh Network Routing Protocols peter.hoefner@data61.csiro.au
logic015 Expressiveness for Distributed Systems Robert.vanGlabbeek@data61.csiro.au
logic016 CakeML: Formally Verified Functional Programming Ramana.Kumar@data61.csiro.au
logic017 Termination checking in Dedukti frederic.blanqui@inria.fr
logic018 Proof tactics in Dedukti frederic.blanqui@inria.fr
logic019 Refinement in Dedukti frederic.blanqui@inria.fr
logic021 Opinion diffusion: measuring agreement and conflict between opinions laurence.cholvy@onera.fr
logic022 Outil de certification de programmes quantiques benoit.valiron@lri.fr
logic023 Formally prove control flow graph algorithms in SPARK moy@adacore.com
logic024 Formal proof of an high-integrity runtime christophe.garion@isae-supaero.fr
logic025 Compositional verification and synthesis for reconfigurable power distribution utopcu@utexas.edu
logic026 Formalisation of Mathematics using Isabelle lp15@cam.ac.uk
logic027 Approximations intérieures et vérification de propriétés temporelles de systèmes hybrides putot@lix.polytechnique.fr
logic028 Analog machines and models of computation. Computing with a continuous time. bournez@lix.polytechnique.fr
logic029 Study of the joint use of model-checking and abstract interpretation techniques olivier.bouissou@mathworks.fr
logic030 Horny solving in all directions david.monniaux@imag.fr
logic031 Fun with interpolants david.monniaux@imag.fr
logic032 jsCoq: New Interfaces for Interactive Theorem Proving e@x80.org

(31 propositions dans ce thème )

Informatique linguistique

CodeTitreMèl

(0 propositions dans ce thème )

Réseaux

CodeTitreMèl
net001 Détection autonome du trafic malicieux et sécurité réseau proactive owe@laas.fr
net002 Designing experimentation tools for Software Defined Networking lucas.nussbaum@loria.fr
net003 Multiscale analysis of animal metabolism using out-of-equilibrium thermodynamics network christophe.goupil@univ-paris-diderot.fr
net004 Optimisation de la qualité de service (QoS) et de l?énergie dans un réseau radio de prochaine génération (5G) avec communications Device to Device (D2D) jeanmarc.kelif@orange.com

(4 propositions dans ce thème )

Systèmes d'exploitation

CodeTitreMèl

(0 propositions dans ce thème )

Langages de programmation

CodeTitreMèl
pl001 Coq formalisation of a graphical foundation for variable binding tom.hirschowitz@univ-savoie.fr
pl002 Formalizing Abstract Machines beniamino.accattoli@inria.fr
pl004 Internships in Programming Languages and Formal Verification at the University of Pennsylvania bcpierce@cis.upenn.edu
pl005 Wagner: Formal Models for Sound Processing e@x80.org

(4 propositions dans ce thème )

Sécurité, cryptologie

CodeTitreMèl
sec001 Secure and privacy preserving computation using the blockchain protocol omar.hasan@insa-lyon.fr
sec002 Fingerprint verification with deep learning and cryptographic approaches iguyon@lri.fr
sec003 Monitoring Advanced Persistent Threats ashish.gehani@sri.com
sec005 Transparence et responsabilité des algorithmes de personnalisation gambs.sebastien@uqam.ca
sec006 Building and Verifying a Simple Secure Compiler catalin.hritcu@inria.fr
sec007 Conception et analyse d un algorithme asymétrique de cryptographie boîte blanche sylvain.guilley@secure-ic.com
sec008 Analyse statique de fuite sylvain.guilley@secure-ic.com
sec009 Software security: combining fuzzing and symbolic methods for vulnerability detection sebastien.bardin@cea.fr
sec010 Software security: towards sound disassembly of executable files sebastien.bardin@cea.fr
sec011 Détection d?Attaques dans des Traces de Trafic Réseau matthieu.latapy@lip6.fr
sec012 ?tude du protocole et de l écosystème SSH olivier.levillain@ssi.gouv.fr

(11 propositions dans ce thème )

Calcul formel

CodeTitreMèl
for001 Factorisation des polynômes à plusieurs variables lecerf@lix.polytechnique.fr
for002 Interpolation creuse à plusieurs variables et applications lecerf@lix.polytechnique.fr
for003 Algorithmic Analysis of Motzkin?s Algebraic Lifting of Semialgebraic Sets khalil.ghorbal@inria.fr
for004 Efficient and modular higher-order rewriting frederic.blanqui@inria.fr
misc005 Synthèse de code pour l évaluation de fonctions de Bessel marc.mezzarobba@lip6.fr

(5 propositions dans ce thème )

Recherche Opérationnelle

CodeTitreMèl
ro001 A parallel Brancj-and-bound algorithm for asymetric p-median problems prb@du.se
ro002 Robust optimization models for line balancing problems olga.battaia@isae.fr
ro003 Lagrangian Relaxation in Cost Function Network Optimization george.katsirelos@toulouse.inra.fr
ro004 On the use of Reinforcement Learning to speed up Combinatorial Optimization louis-martin.rousseau@polymtl.ca
ro005 Fleet control for mobility-on-demands systems with ride-pooling samitha@cornell.edu
ro006 Mr Sort... Comment le satisfaire ? wassila.ouerdane@centralesupelec.fr

(6 propositions dans ce thème )

Analyse de données (Data Mining), Apprentissage (Machine Learning), Science des données, Intelligence Artificielle

CodeTitreMèl
algo010 EZYGAIN : Détection et analyse de patterns de marche à l?aide de capteurs zineb.agoumi@ezygain.com
datamining001 ONTOLOGICAL COERCIONS OF WORD MEANING IN SECOND ORDER TYPED LAMBDA CALCULUS christian.retore@gmail.com
datamining002 Efficient algorithms for mining biological datasets on modern Graphics Processing Units (GPUs) xuhuihuang@ust.hk
datamining004 Apprentissage de représentation d états avec des a priori robotiques david.filliat@ensta-paristech.fr
datamining006 Large-Scale Analysis of Chess Games mathieu.acher@irisa.fr
datamining007 Analysis and Prediction of Advanced Vehicle Technologies Energy Consumptions using Large-Scale Simulations and Machine Learning Applications. amoawad@anl.gov
datamining008 SoftBank Robotics Europe ? AI Lab Internships positions mgarciaortiz@aldebaran.com
datamining009 Automatically solving chess variants frederic.prost@ens-lyon.fr
datamining011 EVALUATING CREDIBILITY OF HEALTH-RELATED INFORMATION ON THE SOCIAL WEB pasi@disco.unimib.it
datamining012 Reverse-engineering infant language and cognitive development emmanuel.dupoux@gmail.com
datamining013 Application, interprétation et comparaison de méthodes d?apprentissage (SVM,k-NN, réseaux de neurones, Stacking) pour la prédiction des événements de défaut des entreprises adrien.balp@socgen.com
datamining014 Mechanism Design for Multiple AIs christos.dimitrakakis@inria.fr
datamining017 Détection de seuils dans l?expression de gènes en interaction tony.ribeiro@irccyn.ec-nantes.fr
datamining019 Operation of power grids based on Machine Learning: Deep networks with policy gradient iguyon@lri.fr
datamining020 Diabetes type 1: solving a mystery epidemic iguyon@lri.fr
datamining021 Caractérisation de motifs du plissement cortical par apprentissage automatique sur graphes. Méthodes et applications. Sylvain.Takerkart@univ-amu.fr
datamining022 Traduction automatique avec des réseaux de neurones profonds allauzen@limsi.fr
datamining023 Path Tracking for Turtlebot / Suivi de chemin pour Turtlebot Alexis.Scheuer@loria.fr
datamining024 Clustering multi-sujet pour la neuroimagerie. Sylvain.Takerkart@univ-amu.fr
datamining025 Architectures souples pour le deep learning, avec application en génétique des populations guillaume.charpiat@inria.fr
datamining026 Apprentissage par transfert et changement de représentation antoine.cornuejols@agroparistech.fr
datamining027 Classification précoce de séries temporelles par une méthode de boosting antoine.cornuejols@agroparistech.fr
datamining029 Analyse de l impact de différentes approches d apprentissage automatique sur le pouvoir prédictif des modèles résultants tony.ribeiro@irccyn.ec-nantes.fr
datamining030 Apprentissage par essai-erreur pour la résistance aux dommages en robotique : prise en compte du contexte jean-baptiste.mouret@inria.fr
datamining031 Collaborative assembly with a balancing iCub robot serena.ivaldi@inria.fr
datamining032 Recognition of human activity from wearable sensing with deep neural networks serena.ivaldi@inria.fr
datamining033 Exploration des microdynamiques langagières jean-philippe.mague@ens-lyon.fr
datamining034 Sampling and Optimization with message passing algorithms cyril.furtlehner
datamining035 Statistical Physics of Deep Boltzmann Machines cyril.furtlehner@inria.fr
datamining036 Visual Analysis of the Bitcoin Transaction Network christoph.kinkeldey@inria.fr
datamining038 Forage d?applications mobiles à la découverte de bonnes et mauvaises pratiques moha.naouel@uqam.ca
datamining039 Sampling and Optimization with message passing algorithms cyril.furtlehner@inria.fr
datamining040 Very Large Time Series Analysis for Predictive Maintenance themis@mi.parisdescartes.fr
datamining041 utiliser les techniques du machine learning christian.leblainvaux@orange.com
datamining042 Algorithmes de Data Mining et de Machine Learning pour l?analyse en canaux auxiliaires matthieu.lechvien@secure-ic.com
datamining043 On-line distributed learning algorithm in swarm of cooperative robots nicolas.bredeche@upmc.fr
datamining044 Provenance Privacy ashish.gehani@sri.com
datamining045 Multi-modal human-autonomy interfaces for shared control utopcu@utexas.edu
datamining046 Automating biological discovery: A optimal experimental design approach gregory.batt@inria.fr
datamining047 Deep learning (auto-encodeurs) pour la détection d anomalie en imagerie médicale guillaume.charpiat@inria.fr
datamining048 Réseaux de neurones pour l étude de la dynamique des foules guillaume.charpiat@inria.fr
datamining049 Aligning Large-Scale Remote Sensing Images using Neural Networks guillaume.charpiat@inria.fr
datamining050 Autour de la coordination de robots mobiles par apprentissage automatique amine.boumaza@loria.fr
datamining051 Application d?algorithme de recommandation sur de gros volumes de données de consommation électrique jiali.mei@polytechnique.org
datamining052 Functional organization of vision in the brain: singularities and perception jonathan.touboul@college-de-france.fr
datamining053 Deep learning pour la reconnaissance de gestes scanu@insa-rouen.fr
datamining054 Deep Solar Imaging for Geomagnetic Storms Prediction cyril.furtlehner@inria.fr
datamining055 Conversion de L?identité de la Voix Chantée nobin@ircam.fr
datamining057 Opinion Dynamics and Political Conflicts in the Media Robin.Lamarche-Perrin@lip6.fr
datamining058 ?valuer la prévision de liens dans les graphes avec les distances de centralité lionel.tabourier@lip6.fr
datamining059 Apprentissage profond pour la mise en correspondance de dessins et de photos de tatouages benjamin.labbe@cea.fr
datamining060 Apprentissage profond pour la classification cross-modale texte image herve.le-borgne@cea.fr
datamining061 Spectral Graph-Based Methods for Learning Word Embeddings aurelien.bellet@inria.fr
datamining062 Application of Machine Learning techniques to the autonomous flight of UAVs eric.leibenguth@airbus.com
datamining063 Discovering Good Peers in Decentralized and Personalized Machine Learning aurelien.bellet@inria.fr
datamining064 Contextual Interestingness of Media Content claire-helene.demarty@technicolor.com
datamining065 Predicting Memorability of Media Content claire-helene.demarty@technicolor.com
datamining066 Private and Decentralized Machine Learning aurelien.bellet@inria.fr
datamining067 Benchmarking Influence Maximization in Complex Networks maria.rossi@polytechnique.edu
datamining068 Deep-learning based analysis of medical images renoust@nii.ac.jp
datamining070 Utilisation ciblée de Réseaux de Neurones pour résoudre des substitutions classiques en Rec. de caractères philippe.vincent@inovatic.fr
datamining071 Semantic Exploration of Paris Street Names michael.thomazo@inria.fr
misc004 Model based inference of neural activity from nonlinear calcium signals david.digregorio@pasteur.fr
misc025 Développement d un algorithme de reconnaissance de forme de nanoparticules sur des images MEB (Microscopie Electronique à Balayage) recrut@lne.fr

(64 propositions dans ce thème )

Génie Logiciel

CodeTitreMèl
softwareen002 Machine Learning and Configurable Software Systems mathieu.acher@irisa.fr
softwareen004 Automatic?Repair?of?Software Bugs martin.monperrus@univ-lille1.fr
softwareen006 Development of an ultrafast 3D beam-scanner for smart microscopy gael.moneron@pasteur.fr
softwareen007 Light-weight static analysis of critical embedded code moy@adacore.com
softwareen008 ?co-?conception et la durabilité des logiciels dans les applications mobiles moha.naouel@uqam.ca
softwareen009 Détection de mauvaises pratiques dans les applications iOS moha.naouel@uqam.ca

(6 propositions dans ce thème )

Divers

CodeTitreMèl
misc001 Stage de recherche au Los Angeles Behavioral Economics Laboratory brocas@usc.edu
misc007 SEMANTIC SIGNATURES TO MODEL USER PROFILES IN PERSONALISED SEARCH pasi@disco.unimib.it
misc008 Analyse et traitement automatiques de relevés laser / image mobiles - Start-up, plusieurs stages proposés ? francois.goulette@terra3d.fr
misc009 Terra 3D start-up, Analyse et traitement automatiques de relevés laser / image mobiles - plusieurs stages ? francois.goulette@terra3d.fr
misc011 From cells to tissues: interplay between gene expression, cell behaviors and tissue dynamics boris.guirao@curie.fr
misc013 Didactique et ?pistémologie des Mathématiques et de l Informatique simon.modeste@umontpellier.fr
misc015 Numerical optimzation of a phase resolving wave model for Marine Renewable Energy application jean.francois.filipot@france-energies-marines.org
misc016 Extensions à TestU01 lecuyer@iro.umontreal.ca
misc017 Outil de construction de réseaux digitaux lecuyer@iro.umontreal.ca
misc018 Extensions au logiciel LatMRG lecuyer@iro.umontreal.ca
misc019 Générateurs pseudoaléatoires multi-streams lecuyer@iro.umontreal.ca
misc020 Stages au ministrèe de la Défense pour élèves fran?ais. bournez@lix.polytechnique.fr
misc021 Stages au ministere de la Defense pour élèves francais bournez@lix.polytechnique.fr
misc022 Stages au ministere de la Defense pour élèves francais olivier.bournez@gmail.com
misc023 Stages au ministere de la Defense pour élèves francais bournez@lix.polytechnique.fr
misc024 stages au ministere de la defense pour eleves francais bournez@lix.polytechnique.fr
misc026 BNP PARIBAS QUANT RESEARCH bournez@lix.polytechnique.fr
misc028 Outil et méthodes géomatiques bournez@lix.polytechnique.fr
misc029 Analyse Cyber : développement d?une infrastructure discrète et sécurisée de collecte de données bournez@lix.polytechnique.fr

(19 propositions dans ce thème )

TOTAL: 261 propositions