PhD theses

PDE regulation in the presence of non-linearities
Oussama Bengoua

Ricci curvature of graphs and groups: geometric and algorithmic aspects
Julie Semaan

SMARTICS: Resilient and Instrumented Mechanical Systems for Design and Supervision
Fatine Zeroual

Intelligent drone swarm for Search-and-Rescue (SAR)
Augustin Bonnel

Markerless hand tracking for pointing in human-computer interaction
Quentin Zoppis

Methods and applications of mixed-integer conic optimization
Hubert Villuendas

Analysis of bacterial communities: stochastic modelling
Charles Medous

Bayesian nonparametric methods for complex genomic data
Louise Alamichel

Drone coordination for reliable data collection from a ground sensor network
Vincent Marguet

Duality and Pre-Calabi-Yau Algebras
Marion Boucrot

Large spatio-temporal point processes with applications to spatio-temporal modelling of ligthning flashes in the Alps
Alexis Pellerin

Data-driven anesthesia modeling for monitoring and prediction
Bob Aubouin-Pairault

Monitoring and deployment of IIOT applications
Irman Faqrizal

Optimization and discrete computation on heterogeneous geometric data
Colin Weill-Duflos

Multimodal perception and statistical modeling of classroom educational events: towards a privacy-preserving approach
Anderson Augusma

Properties of Neural Networks on Large Random Graphs
Matthieu Cordonnier

Improving the expressiveness of input interfaces through multi-component tactile-kinesthetic interactions
Gauthier Faisandaz

Newton-Okounkov bodies of curve classes
Lucie Devey

Cross-Layer Fault Analysis for Microprocessor Architectures
Ihab Alshaer

Moduli spaces and 3-manifolds
Yibo Zhang

Cosmic Ray Effect Mitigation in Attitude Estimation Algorithms for Inertial Navigation Systems
Tarso Kraemer Sarzi Sartori

Multivariate degradation in presence of different types of maintenance and covariate : modelling, inference and decision making
Margaux Leroy

Optimizing maintenance schedules to meet the challenge of the circular economy
Ernest Foussard

Quantifying the Impact of Environmental Parameters on Biodiversity
Benjamin Fayolle

Synthesis of certified compilers
Léo Gourdin

Evaluation and optimization of one-way vehicle sharing systems: fleet sizing, reservation and relocation policies
Thomas Barzola

Molecular Implementation of Shape-Changing User Interfaces
Laura Pruszko

Quantum Transport, Computing and Thermodynamics via Random Quantum Walks on Graphs
Louis Mathieu

Safe and Aggressive piloting of UAVs
Estéban Carvalho

High-data-rate, high-mobility radio transmission using advanced multicarrier modulations
Ahmad Hamdan

Wavelet-Net: construction and interpretation of new wavelet-based neural networks for image classification
Hubert Leterme

Analyses for the schedulability and flexibility of real-time systems
Christophe Prévot

Learning and adaptation to the propagation channel for ultra-low-power radiofrequency links dedicated to high-autonomy applications
Chhayarith Heng Uy

Control approaches for estimation objectives: Application to tunneling current in MEMS
Andrei Popescu

Vector field, complexity and diffusion
Baptiste Trey

Design of stochastic computing machines for probabilistic inference, with applications to sound source localization and separation
Raphaël Frisch

Cross-lingual image captioning using deep recurrent neural networks
Maha Elbayad

Formal proofs for the analysis of real-time systems in Coq
Xiaojie Guo

Incremental Learning for Visual Recognition
Anuvabh Dutt

Combinatorial methods in statistical mechanics
Cong Bang Huynh

Observation and Modeling of Human Activity
Nachwa Aboubakr

Online optimization for real-time dynamic systems
Stephan Plassart

Acquiring Human-Robot Interaction skills with transfer learning techniques
Omar Samir Mohammed

Adaptation of a HPC runtime system to FPGA
Georgios Christodoulis

Joint analysis of eye-tracking data and EEGs using coupled hidden Markov models and subject models
Brice Olivier

Distributed control and game theory: application to self-optimizing systems
Stéphane Durand

Study and development of graph classification methods, with applications in neuroimaging
Karina Ashurbekova

Geometric methods for nonimaging optics component design
Jocelyn Meyron

Sampling optimization for signal processing and event-based systems control
Fairouz Zobiri

Generic parallelism and scheduling of vehicle detection and traffic management algorithms on a system-on-chip architecture and implementation on a hardware platform
Lhoussein Mabrouk

Safe and Appropriate Navigation among People for Service Robots
Matteo Ciocca

Genetic risk score using statistical learning
Florent Privé

Bilinear blind source separation of electroencephalograms recorded simultaneously from multiple subjects
Florent Bouchard

Temporal data visualization in natural environments
Jérémy Wambecke

When Statistical Learning and Optimization meets HPC
Valentin Reis

Analysis of latency and its compensation for direct-touch interaction: technical and human aspects
Élie CATTAN

Mobile augmented reality applications for smart cities
Thibaud Michel

Event-based control of networks modeled by infinite-dimensional systems
Nicolás Espitia Hoyos

Target identification using electrolocation
Chun-Hsiang Tsou

Matrix factorization methods for population genomics and association tests
Kevin Caye

Learning algorithms for massive datasets: Application to multi-class classification and asynchronous distributed optimization
Bikash Joshi

Parallel computing for macroscopic modeling of fibrous media
Gilles Daviet

Autonomic Control of Parallelism and Thread Placement for Software Transactional Memories
Naweiluo Zhou

Distributed estimation of non-stationary signals with an unknown local structure
Dmitrii Ostrovskii

Photoacoustic imaging
Margaux Vauthrin

Socio-Affective Intelligence for a Robot
Yuko Sasa

User-specific anatomical modeling and real-time animation
Armelle Bauer

Augmented Reality Platform for sensory restoration. Application in the treatment of Complex Regional Pain Syndrome
Jingtao Chen

Dimension reduction via Sliced Inverse Regression: Ideas and new proposals
Alessandro Chiancone

Security and Privacy of Hash Function-Based Software
Amrit Kumar

Topology and algorithms on combinatorial maps
Vincent Despre

Virtual actor direction through interaction and mutual imitation - Technological and cognitive challenges
Adela Barbulescu

Distributed Control of Adaptive Cloud Services
Mihaly Berekmeri

Fetal ECG extraction and its characteristics using multimodality
Saman Noorzadeh

Modeling and Validation of Cryptographic Random Number Generators for Embedded Systems
Kevin Layat

Modeling, Simulation and Control of Switched Hyperbolic Systems
Pierre-Olivier LAMARE

Multi-objective optimization for resource management in multi-core systems
Abhinav Srivastav