ACASA ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MLIA MOCAH MoVe NPA PEQUAN Phare PolSys QI RO SMA SYEL Whisper

• ESPITAU Thomas : “Algorithmic aspects of algebraic lattices”, supervision Antoine JOUX, defence 01/14/2020.
• BERTIER Clément : “Quantification in Device-to-Device Networks: from Link Estimation to Graph Utility”, supervision Marcelo DIAS DE AMORIM, defence 01/13/2020.
• PAJOT Arthur : “Incorporating Physical Knowledge Into Deep Neural Network”, supervision Patrick GALLINARI, defence 12/19/2019.
• METIN Hakan : “Exploitation des symétries dynamiques pour la résolution des problèmes SAT”, supervision Fabrice KORDON, defence 12/18/2019.
• BU Gewu : “Reliability, security and privacy in WBAN”, supervision Maria POTOP-BUTUCARU, defence 12/11/2019.
• OTHMANI Mehdi : “Apport des methodes de deep learning au probleme de la patrouille multiagent dans un environnement dynamique”, supervision Amal EL FALLAH SEGHROUCHNI, defence 12/11/2019.
• DIAS Charles-Emmanuel : “Expliciter le filtrage collaboratif par le traitement automatique des langues”, supervision Patrick GALLINARI, defence 12/10/2019.
• NZEKON NZEKO'O Armel Jacques : “Recommender system with temporal dynamics based on link streams”, supervision Matthieu LATAPY, defence 12/09/2019.
• MARREZ Jeremy : “Arithmétiques Randomisées pour la cryptographie”, supervision Jean-Claude BAJARD, defence 12/06/2019.
• BAH Mamadou Tahirou : “Definition of a language for the unification of local and cloud networks”, supervision Thi-Mai-Trang NGUYEN, defence 12/06/2019.
• 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.

Archives