Liste des sujets de thèses pour la campagne 2016

ID sujet	directeur de Thèse	laboratoire d'accueil	titre du sujet	URL formulaire complet
Automatique, Traitement du Signal et des Images (ATSI)
15	Jean-luc Gouzé	INRIA	Control of models of genetic regulatory networks Applications: growth control in E. coli	PropositionSujetThese201640J28.04.2016-11h25m25s.pdf
28	Konstantin Avrachenkov	INRIA	Réseaux sans fil ultra-denses bases sur l'ecloud pour les systèmes de 5eme génération	PropositionSujetThese2016160K15.05.2016-19h33m48s.pdf
39	Lionel Fillatre	I3S	Apprentissage statistique avec un faible nombre de données	PropositionSujetThese2016185L20.05.2016-17h07m35s.pdf
34	Maureen Clerc	INRIA	User-adapted Brain Computer Interaction	PropositionSujetThese2016134M19.05.2016-18h05m11s.pdf
8	Olivier Bernard	INRIA	Optimisation de la production de biocarburant lipidique par des microalgues	PropositionSujetThese201611O18.04.2016-16h22m34s.pdf
35	Rachid Deriche	INRIA	Structural and Functional Connectome	PropositionSujetThese201631R20.05.2016-11h41m01s.pdf
20	Vicente Zarzoso	I3S	Tensor decompositions for atrial fibrillation analysis	PropositionSujetThese2016155V09.05.2016-18h54m50s.pdf
18	Xavier Descombes	I3S/INRIA	GRAPH METRICS FOR CHARACTERIZING BIOLOGICAL NETWORKS	PropositionSujetThese201632X03.05.2016-09h58m00s.pdf
38	Xavier Pennec	INRIA	Dimension reduction in manifolds for computational anatomy	PropositionSujetThese2016117X20.05.2016-15h59m46s.pdf
INFORMATIQUE
13	Andrea Tettamanzi	I3S	Mining, Processing, and Reasoning over Textual Arguments	PropositionSujetThese2016197A27.04.2016-09h55m35s.pdf
10	Arnaud Legout	INRIA	How social networks are used to attract an audience?	PropositionSujetThese2016181A22.04.2016-10h58m50s.pdf
14	Didier Parigot	INRIA	Recommandation temps réel pour des réseaux sociaux sectoriels	PropositionSujetThese201658D27.04.2016-11h28m19s.pdf
33	Enrico Formenti	I3S	Modes de mise à jour dans les réseaux booléens	PropositionSujetThese201639E19.05.2016-10h49m00s.pdf
16	Fabien Gandon	I3S/INRIA	Collaborative design of formal vocabularies supported by argumentation theory and language processing	PropositionSujetThese2016145F28.04.2016-11h38m34s.pdf
26	Fabrice Huet	I3S	Modèles et environnement dynamiques de type lambda architecture pour le Big Data	PropositionSujetThese2016207F12.05.2016-19h01m33s.pdf
32	Françoise Baude	I3S	Predictive Big Data Analytics: safe dynamically adaptable data streaming analytics	PropositionSujetThese201695F19.05.2016-10h05m34s.pdf
17	Frederic Cazals	INRIA	Combinatorial optimization techniques leverage the reconstruction of atomic resolution models of large protein assemblies	PropositionSujetThese2016105F01.05.2016-11h13m07s.pdf
9	George Drettakis	INRIA	Procedural Image-Based Rendering	PropositionSujetThese201634G19.04.2016-23h20m46s.pdf
6	Herve Delingette	INRIA	Efficient Semi-Interactive Image Segmentation of Medical Images	PropositionSujetThese201697H14.04.2016-17h21m58s.pdf
22	Ludovic Henrio	I3S	A correct VM scheduler for a trustable IaaS cloud	PropositionSujetThese2016189L10.05.2016-22h15m25s.pdf
31	Luigi Liquori	INRIA	Towards the Design and Build of an Interactive Proof Assistant based on a Proof-Functional Logic Inspired by Set Types	PropositionSujetThese2016130L18.05.2016-11h58m59s.pdf
37	Luigi Liquori	INRIA	Towards the Design and Build of an Interactive Proof Assistant based on a Proof-Functional Logic Inspired by Set Types	PropositionSujetThese2016130L20.05.2016-15h58m57s.pdf
30	Michel Riveill	I3S	Scaling Software Composition	PropositionSujetThese201664M18.05.2016-10h01m39s.pdf
4	Nicolas Nisse	I3S/INRIA	Turn-by-turn two-player games in graphs	PropositionSujetThese2016203N12.04.2016-11h05m33s.pdf
7	Patrick Rives	INRIA	Active control of an underwater vehicle for autonomous navigation and long term mapping	PropositionSujetThese201665P18.04.2016-13h51m21s.pdf
5	Pierre Alliez	INRIA	Numerical Optimal Transport and Application to Geometry Processing	PropositionSujetThese2016142P13.04.2016-10h48m07s.pdf
2	Sid Touati	I3S/INRIA	Performance optimisation of parallel and distributed C++ applications	PropositionSujetThese2016183S05.04.2016-10h59m03s.pdf
23	Stéphane Perennes	I3S/INRIA	Diffusion of information on large dynamic graphs	PropositionSujetThese2016159S12.05.2016-17h15m30s.pdf
24	Stéphane Perennes	I3S/INRIA	Diffusion of information on large dynamic graphs	PropositionSujetThese2016159S12.05.2016-17h15m30s.pdf
25	Stéphane Perennes	I3S/INRIA	Diffusion of information on large dynamic graphs	PropositionSujetThese2016159S12.05.2016-17h17m40s.pdf
40	Yves Bertot	INRIA	Formalisation de mathématiques à l'interface de l'algèbre et de l'analyse: le cas des preuves de transcendance	PropositionSujetThese201613Y24.05.2016-13h57m33s.pdf
ELECTRONIQUE
36	Alain Pegatoquet	LEAT	Modélisation et conception d’objets connectés au service des maisons intelligentes : évaluation et optimisation de leur autonomie et de leur QoS	PropositionSujetThese2016198A20.05.2016-14h27m53s.pdf
21	Fabien Ferrero	LEAT	Design of miniature optimal antennas for IoT applications	PropositionSujetThese2016208F09.05.2016-23h27m10s.pdf
27	François Verdier	LEAT	Gestion dynamique par estimation distribuée de la qualité de service sous contrainte d’autonomie d’énergie dans des objets connectés	PropositionSujetThese2016173F13.05.2016-17h47m57s.pdf
3	Jean-lou Dubard	LEAT	SIMULATION GLOBALE D’OBJETS CONNECTES SUR CORPS HUMAIN PAR LA METHODE TLM	PropositionSujetThese2016113J05.04.2016-14h30m40s.pdf
11	Jean-marc Ribero	LEAT	Antennes-Capteurs miniatures complexes réalisées en impression 3D	PropositionSujetThese2016135J25.04.2016-09h40m06s.pdf
29	Philippe Le thuc	LEAT	Conception d’antennes pour small cells en bandes millimétriques pour la 5G	PropositionSujetThese2016209P17.05.2016-16h31m52s.pdf
12	Robert Staraj	LEAT	Antennes miniatures auto-adaptatives	PropositionSujetThese201670R25.04.2016-09h41m12s.pdf
19	Robert Staraj	LEAT	Conception d’antennes multi-bandes efficaces avec éléments parasites	PropositionSujetThese201670R04.05.2016-17h39m04s.pdf