Theses

ROUX Antoine Dimitri : “Streaming unidirectional auto-correcting codes through ELIPS-SD diods”, supervision Michèle SORIA, Laurent FREREBEAU, Hervé DELPEYRAT, defence 12/02/2019.
FOSSATI Francesca : “Novel notions of fairness and resource allocation for congested networked systems”, supervision Stefano SECCI, defence 11/29/2019.
CHUQUIMIA CAMACHO Orlando Luis : “Smart Vision Chip for colon exploration”, supervision Bertrand GRANADO, Xavier DRAY, defence 11/22/2019.
JOURNAULT Matthieu : “Precise and modular static analysis by abstract interpretation for the automatic proof of program soundness and contracts inference”, supervision Antoine MINÉ, defence 11/21/2019.
MEZHER Rawad : “Randomness for quantum information processing”, supervision Damian MARKHAM, Joseph DGHEIM, defence 11/15/2019.
VAROUMAS Steven : “High-level programming models for microcontrollers with scarce resources”, supervision Tristan CROLARD, defence 11/05/2019.
EFFA BELLA Emma : “Benefits of semi-supervised learning techniques in recovering traceability links between design artifacts”, supervision Marie-Pierre GERVAIS, defence 10/28/2019.
HARRAK Fatima : “Analyzing learners questions and associated profiles in online environments”, supervision Vanda LUENGO, defence 10/25/2019.
BOZIC Nikola : “Blockchain technologies and their application to secure virtualized infrastructure control”, supervision Guy PUJOLLE, defence 10/18/2019.
LAMPLE Guillaume : “Unsupervised Machine Translation”, supervision Ludovic DENOYER, defence 10/17/2019.
ZABLOCKI Eloi : “Multimodal machine learning: complementarity of textual and visual contexts”, supervision Patrick GALLINARI, Benjamin PIWOWARSKI, Laure SOULIER, defence 10/14/2019.
MEHR Eloi : “Unsupervised Learning of 3D Shape Spaces for 3D Modeling”, supervision Matthieu CORD, defence 10/10/2019.
ABED Hamza : “Serious Game Design Models for Vocational Training. Application to the contexts of Factory of the future and the medical field”, supervision Thibault CARRON, defence 10/09/2019.
ROBERT Thomas : “Improving ConvNets Latent Representations for Visual Understanding”, supervision Matthieu CORD, defence 10/03/2019.
BOUCHARD Sébastien : “On the Deterministic Gathering of Mobile Agents”, supervision Franck PETIT, defence 09/26/2019.
GUINEBERT Mathieu : “Automatic Detection of peer interactions in Multi-Player Learning Game”, supervision Vanda LUENGO, defence 09/20/2019.
WILMET Audrey : “Anomaly Detection in Link Streams. Combining Structural and Temporal features”, supervision Matthieu LATAPY, defence 07/23/2019.
TONNELIER Emeric : “Apprentissage de représentations pour les traces de mobilité”, supervision Patrick GALLINARI, defence 07/11/2019.
LE FRIOUX Ludovic : “Towards more efficient parallel SAT solving”, supervision Fabrice KORDON, defence 07/03/2019.
ZIAT Ghiles : “A Combination of Abstract Interpretation and Constraint Programming”, supervision Antoine MINÉ, defence 07/03/2019.
HANNOU Fatma : “A model and an algebra of motifs for the representation and interrogation of completeness of relative information”, supervision Bernd AMANN, defence 06/28/2019.
BOURNAT Marjorie : “Graceful Degradation and Speculation for Robots in Highly Dynamic Environments”, supervision Franck PETIT, defence 06/27/2019.
BOURRIER Yannick : “Diagnostic et prise de décision pour la construction de compétences non-techniques en situation critique”, supervision Vanda LUENGO, Catherine GARBAY, defence 06/21/2019.
SOLER Maxime : “Large Data Reduction and Structure Comparison with Topological Data Analysis”, supervision Julien TIERNY, defence 06/20/2019.
MBATCHOU Guy : “Towards a model to support the learning in Learning Management Systems”, supervision Thibault CARRON, defence 06/13/2019.
BENDER Matias Rafael : “Algorithms for sparse polynomial systems : Gröbner bases and resultants”, supervision Jean-Charles FAUGÈRE, defence 06/03/2019.
JEANGOUDOUX Clothilde : “Automatic Test Generation for Numerical Software in the Context of Aircraft Certification”, supervision Stef GRAILLAT, defence 05/21/2019.
BEN YOUNES Hedi : “Multi-modal representation learning towards visual reasoning”, supervision Matthieu CORD, defence 05/20/2019.
CARVER Damien : “Advanced consolidation for dynamic containers”, supervision Sébastien MONNET, defence 05/17/2019.
LEBIS Alexis : “Modèles et outils pour créer et formaliser des processus d’analyses de traces d’interaction dans le contexte du e-learning en vue de leur capitalisation, enrichissement et réutilisation.”, supervision Vanda LUENGO, defence 05/16/2019.
LÉON Aurélia : “Budgeted sequential learning for extreme classification and for the discovery of hierarchy in reinforcement learning”, supervision Ludovic DENOYER, defence 05/10/2019.
DE ARAUJO João Paulo : “A Communication-Efficient Causal Broadcast Publish/Subscribe System”, supervision Pierre SENS, defence 04/05/2019.
GUILLON Arthur : “Regularization operators for fuzzy subspace clustering”, supervision Christophe MARSALA, defence 03/01/2019.
SUZANNE Thibault : “Verification by Abstract Interpretation Under Weakly Consistent Memory”, supervision Antoine MINÉ, defence 02/26/2019.
GUEUNET Charles : “High Performance Level-set based Topological Data Analysis”, supervision Julien TIERNY, defence 02/15/2019.
LEMAITRE Florian : “Tracking haute fréquence pour architectures SIMD : optimisation de la reconstruction LHCb”, supervision Lionel LACASSAGNE, defence 02/13/2019.
CARRASCAL MANZANARES Carlos : “Parallélisation d’un code éléments finis spectraux. Application au contrôle non destructif par ultrasons”, supervision Lionel LACASSAGNE, defence 02/08/2019.
CEROVIC Danilo : “Resilient and highly performant network architecture for virtualized data centers”, supervision Guy PUJOLLE, defence 02/07/2019.