Institut de recherche en informatique et systèmes aléatoires (Rennes)
5 thèses en cours de préparation ayant pour partenaire de recherche Institut de recherche en informatique et systèmes aléatoires (Rennes)Extrait des plus récentes :
Réduire la consommation énergétique de l’Internet des objets
par Clément Courageux-sudan sous la direction de Martin Quinson - Rennes, École normale supérieure
Informatique
En préparation depuis le 01-10-2020
Analyses statiques pour la vérification semi-interactive de programmes
par Santiago Bautista sous la direction de Thomas Jensen - Rennes, École normale supérieure
Informatique
En préparation depuis le 01-09-2020
La vérification semi-interactive de programmes
par Dylan Bellier sous la direction de Sophie Pinchinat et de François Schwarzentruber . - Rennes, École normale supérieure
Informatique
En préparation depuis le 01-09-2020
Vers un développement éthique et respectueux de la vie privée de l'intelligence artificielle en droit et justice
par Louis Béziaud sous la direction de Tristan Allard et de Sébastien Gambs . - Université de Rennes (2023-….)
Informatique
En préparation depuis le 24-02-2020
Analyse probabiliste de protocoles de population
par Yves Mocquard sous la direction de Bruno Sericola et de Emmanuelle Anceaume . - Rennes 1
Informatique
Soutenue le 13-12-2018
503 thèses soutenues ayant pour partenaire de recherche Institut de recherche en informatique et systèmes aléatoires (Rennes)Extrait des plus récentes :
Deep latent representations for visual servoing
par Samuel Felton sous la direction de Élisa Fromont et de Éric Marchand . - Rennes 1
Informatique
Soutenue le 20-12-2022
Caractérisation en modules fonctionnels des protéines ADAMTS-TSL par approches de phylogénies
par Olivier Dennler sous la direction de Nathalie Théret et de François Coste . - Rennes 1
Génétique, génomique et bioinformatique
Soutenue le 19-12-2022
Cryptography in the wild : the security of cryptographic implementations
par Daniel de Almeida Braga sous la direction de Pierre-Alain Fouque - Rennes 1
Informatique
Soutenue le 14-12-2022
Enabling robust wireless communication for battery management systems in electric vehicles
par Fabian Rincon Vija sous la direction de Nicolas Montavont - Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire
Informatique
Soutenue le 14-12-2022
Réduction de la latence et de la gigue dans le réseau d’accès radio 5G
par Flavien Ronteix--Jacquet sous la direction de Xavier Lagrange et de Isabelle Hamchaoui . - Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire
Informatique
Soutenue le 13-12-2022
Energy-performance trade-off for optical network-on-chip
par Jaechul Lee sous la direction de Daniel Chillet et de Cédric Killian . - Rennes 1
Informatique
Soutenue le 08-12-2022
Étude du potentiel des approches à base de graphes et dans les blockchains
par Mohamed Aimen Djari sous la direction de Emmanuelle Anceaume - Rennes 1
Informatique
Soutenue le 06-12-2022
Datascience in support of cybersecurity operations : Adaptable, robust and explainable anomaly detection for security analysts
par Alexandre Dey sous la direction de Yann Busnel et de Éric Totel . - Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire
Informatique
Soutenue le 02-12-2022
Optimization of visual SLAM by semantic analysis of the environment
par Mathieu Gonzalez sous la direction de Éric Marchand et de Jérôme Royan . - Rennes 1
Signal, image, vision
Soutenue le 30-11-2022
Profiling and Visualizing Android Malware Datasets
par Tomas Javier Concepcion Miranda sous la direction de Jean-François Lalande et de Valérie Viêt Triêm Tông . - CentraleSupélec
Informatique
Soutenue le 29-11-2022
Contrôle vérifié de flux d'information appliqué aux systèmes cyber-physiques
par Jean-Joseph Marty sous la direction de Jean-Pierre Talpin - Rennes 1
Informatique
Soutenue le 17-11-2022
Real-time virtual cinematography for target tracking
par Ludovic Burg sous la direction de Franck Multon et de Marc Christie . - Rennes 1
Informatique
Soutenue le 10-11-2022
Virtualization (SDN/NFV) in optical access networks : contributions for enhanced fixed-mobile convergence
par Minqi Wang sous la direction de Loutfi Nuaymi - Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire
Télécommunications
Soutenue le 03-11-2022
Combining knowledge-based and sequence comparison approaches to elucidate metabolic functions, from pathways to communities
par Arnaud Belcour sous la direction de Anne Siegel - Rennes 1
Informatique
Soutenue le 21-10-2022
Skeletal semantics transformations
par Guillaume Ambal sous la direction de Alan Schmitt - Rennes 1
Informatique
Soutenue le 19-10-2022
Necro, la sémantique sans y laisser les os : conception d’un système formel de description et de manipulation de sémantiques opérationnelles
par Louis Noizet sous la direction de Alan Schmitt - Rennes 1
Informatique
Soutenue le 29-09-2022
Etude du neurofeedback avec retour visuo-proprioceptif pour la rééducation post-AVC
par Salomé Le Franc sous la direction de Isabelle Bonan et de Anatole Lécuyer . - Rennes 1
Neurosciences, éthologie
Soutenue le 08-09-2022
Energy-Quality-Time Fault Tolerant Task Mapping on Multicore Architectures
par Minyu Cui sous la direction de Emmanuel Casseau et de Angeliki Kritikakou . - Rennes, École normale supérieure
Informatique
Soutenue le 24-06-2022
Temporal model to explore administrative healthcare databases
par Johanne Bakalara sous la direction de Emmanuel Oger et de Thomas Guyet . - Rennes 1
Analyse et traitement de l’information et des images médicales
Soutenue le 23-06-2022
Algebraic cryptanalysis of the shortest vector problem in ideal lattices
par Olivier Bernard sous la direction de Adeline Roux-Langlois et de Pierre-Alain Fouque . - Rennes 1
Informatique
Soutenue le 13-06-2022
Bandits massifs multi-bras multi-joueurs pour les réseaux de l’internet des objets
par Hiba Dakdouk sous la direction de Patrick Maillé - Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire
Informatique
Soutenue le 30-05-2022
Impact of analytical variability on data compatibility in functional Magnetic Resonance Imaging studies
par Xavier Rolland sous la direction de Pierre Maurel et de Christian Barillot . - Rennes 1
Informatique
Soutenue le 16-05-2022
IDE as Code : reifying language protocols as first-class citizens
par Pierre Jeanjean sous la direction de Benoît Combemale et de Olivier Barais . - Rennes 1
Informatique
Soutenue le 29-04-2022
Détection d’événements sonores environnementaux dans les réseaux de capteurs sans fil à faible consommation
par Marie-Anne Lacroix sous la direction de Pascal Scalart - Rennes 1
Signal, image, vision
Soutenue le 05-04-2022
A perceptual approach to film editing : exploring cinematography through visual attention and computational saliency
par Alexandre Bruckert sous la direction de Kadi Bouatouch et de Marc Christie . - Rennes 1
Signal, image, vision
Soutenue le 24-03-2022
Spéculation temporelle pour accélérateurs matériels
par Thibaut Marty sous la direction de Steven Derrien - Rennes 1
Informatique
Soutenue le 24-03-2022
Semi-supervised learning for large-scale Earth observation data understanding
par Javiera Castillo-Navarro sous la direction de Sébastien Lefèvre , Alexandre Boulch et de Bertrand Honoré Henri Le Saux . - Lorient
Informatique
Soutenue le 23-03-2022
List recommendations with multi-armed bandits
par Camille-Sovanneary Gauthier sous la direction de Élisa Fromont et de Romaric Gaudel . - Rennes 1
Informatique
Soutenue le 17-03-2022
Robustness of visual SLAM techniques to light changing conditions
par Xi Wang sous la direction de Éric Marchand - Rennes 1
Informatique
Soutenue le 10-03-2022
Identification and quantification of microbial strains in metagenomic samples using variation graphs
par Kévin Da Silva sous la direction de Pierre Peterlongo - Rennes 1
Informatique
Soutenue le 08-03-2022
