SIGNALER une erreur


5G  Accès aléatoire  Accélération matérielle  Acquisition comprimée  Activité du regard  Adaptation  Advection Lagrangienne  Agrégation  Algorithme de routage  Algorithmes  Alignement d’entités  Amélioration de tests  Analyse d'existence  Analyse de concepts formels  Analyse de covariance  Analyse de mouvement  Analyse de programmes  Analyse de scènes  Analyse de trajectoires  Analyse de vidéos  Analyse des données -- Logiciels  Analyse des logiciels malveillants  Analyse des réseaux sociaux  Analyse des trajectoires de particules uniques  Analyse du mouvement  Analyse dynamique  Analyse fonctionnelle  Analyse formelle de concepts  Analyse logicielle  Analyse modale  Analyse modale  Analyse multiéchelle  Analyse statique  Analyse statistique  Analyse vibratoire  Android  Animation  Antémémoire  Apprentissage  Apprentissage Automatique  Apprentissage automatique  Apprentissage de représentations  Apprentissage profond  Apprentissage supervisé  Approche Bayésienne  Approche par composants  Approches basé modèle  Approches holistiques  Approches statistiques locales  Approximation numérique  Approximation, Théorie de l'  Architecture ITS  Architecture Matériel  Architecture d'un émetteur-Récepteur de bande de base digital  Architecture des ordinateurs  Architecture des réseaux d'ordinateurs  Architecture à base de composants  Architectures des microprocesseurs  Arithmétique interne des ordinateurs  Asservissement visuel  Asservissement visuel direct  Assimilation de données  Assimilation de données  Assimilation de données  Assimilation variationnelle de données  Assistant de preuve  Assistants de preuve  Attaques par canaux auxiliaires  Attaques physiques  Atténuation des défaillances  Authentification  Auto-Adaptation  Auto-Modélisation  Autoencodeurs  Automates temporisés  Automatisation  Avatar  Avatars  Avatars  Base de données  Bases de connaissances ontologiques  Bifurcation  Bio-Informatique  Bioinformatique  Biologie cellulaire  Blockchains  Branchement multi-Niveaux  Brassage de bits  C-ITS  CNN  Cache  Cache  Calcul de vraisemblance  Calcul distribué  Calcul stochastique  Caractérisation d'évènements dynamiques  Cartes à puces  Cellules -- Division  Champ de lumière  Champ d’interaction  Champs de lumière  Changement de phase  Charge cognitive  Charge mentale de travail  Chattering  Chaînes de blocs  Chemins de fer -- Trafic -- Régulation  Cinématographie  Cinétique chimique  Classification  Classification automatique  Classification des logiciels malveillants  Classification  Compilateurs  Compression  Compression d'images  Compression vidéo  Conception centrée sur l'utilisateur  Consommation d'énergie  Consommation énergétique  Coq  Cryptographie  Données -- Compression  Droit à la vie privée  Dynamique des fluides  Détection  Détection d'anomalies  Détection des anomalies  Environnements virtuels partagés  Estimation de mouvement  Estimation de paramètres  Exploration de données  FPGA  Filtrage du signal  Foule  Foules  Google Android Studio  HEVC  Informatique dans les nuages  Interaction humain-machine  Interfaces utilisateur  Internet des objets  Kalman, Filtrage de  Lignes de produits  Logiciels -- Vérification  Logiciels malveillants  MPEG  Mesures de sûreté  Microprocesseurs  Microscopie  Microscopie de fluorescence  Multimédias  Mémoire  Méthodes formelles  Optimisation  Optimisation mathématique  Parallélisme  Perception  Problème inverse  Protection de l'information  Recherche de l'information  Robotique  Robots mobiles  Réalité virtuelle  Réseaux de neurones profonds  Réseaux logiques programmables par l'utilisateur  Réseaux neuronaux  Simulation de foules  Simulation par ordinateur  Simulation physique  Systèmes adaptatifs  Systèmes de communication sans fil  Systèmes de détection d'intrusion  Systèmes de recommandation  Systèmes distribués  Systèmes embarqués  Systèmes embarqués  Systèmes informatiques -- Mesures de sûreté  Systèmes à paramètres répartis  Sécurité  Sécurité informatique  Temps réel  Théorie des jeux  Tolérance aux fautes  Tolérance aux fautes  Traitement automatique des langues  Traitement automatique du langage naturel  Traitement d'image  Traitement d'images -- Techniques numériques  Traitement d'images  Traitement du signal -- Techniques numériques  Traitement du signal  Traitement d’image  Traitement réparti  Turbulence  Vectorisation dynamique  Vision artificielle  Vision par ordinateur  Vérification  Vérification de modèles  Web sémantique  

1 thèse en cours de préparation ayant pour partenaire de recherche Institut national de recherche en informatique et en automatique (France). Unité de recherche (Rennes, Bretagne-Atlantique)


Transforming TLP into DLP with the dynamic inter-thread vectorization architecture

par Sajith Kalathingal sous la direction de André Seznec et de Caroline Collange . - Rennes 1

Informatique
Soutenue le 13-12-2016
thèse


148 thèses soutenues ayant pour partenaire de recherche Institut national de recherche en informatique et en automatique (France). Unité de recherche (Rennes, Bretagne-Atlantique)
Extrait des plus récentes :

Data-driven malware classification assisted by machine learning methods

par Cassius Puodzius sous la direction de Ludovic Mé - Rennes 1

Informatique
Soutenue le 19-12-2022
thèse

Accéder en ligne

A meta-approach to describe effectful and distributed semantics

par Adam Khayam sous la direction de Alan Schmitt et de Tamara Rezk . - Rennes 1

Informatique
Soutenue le 30-11-2022
thèse

Accéder en ligne

Interaction field : a new intuitive method to sketch collective behaviors

par Adèle Colas sous la direction de Julien Pettré et de Anne-Hélène Olivier . - Rennes 1

Informatique
Soutenue le 18-11-2022
thèse

Accéder en ligne

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 et de Thomas Jensen . - Rennes 1

Informatique
Soutenue le 17-11-2022
thèse

Accéder en ligne

Signal modeling and Bayesian estimation for cellular mechanism analysis : study of diffusion at the cell membrane and cell division

par Anca-Georgiana Caranfil sous la direction de Charles Kervrann et de Yann Le Cunff . - Rennes 1

Signal, image, vision
Soutenue le 14-11-2022
thèse

Accéder en ligne

Compression et synthèse pour représentation de contenus immersifs adaptés au 6DoF

par Patrick Garus sous la direction de Christine Guillemot et de Félix Henry . - Rennes 1

Signal, image, vision
Soutenue le 07-10-2022
thèse

Accéder en ligne

Web-based data driven network monitoring : from performance estimation to anomaly detection

par Imane Taibi sous la direction de Gerardo Rubino et de Chadi Barakat . - Rennes 1

Informatique
Soutenue le 19-09-2022
thèse

Accéder en ligne

Analyse et optimisation dynamiques de programmes au format binaire pour la cybersécurité

par Camille Le Bon sous la direction de Erven Rohou - Rennes 1

Informatique
Soutenue le 05-07-2022
thèse

Accéder en ligne

Poursuite multi-cibles sur signal brut

par Audrey Cuillery sous la direction de François Le Gland - Rennes 1

Signal, image, vision
Soutenue le 17-06-2022
thèse

Accéder en ligne

Automated verification and synthesis of distributed systems : in particular applied to SDN-IoT platform

par Abdul Majith Noordheen sous la direction de Hervé Marchand , Ocan Sankur et de Dinh Thai Bui . - Rennes 1

Informatique
Soutenue le 07-06-2022
thèse

Accéder en ligne

Evaluation and use of biomechanical parameters for virtual humans walking animations

par Benjamin Niay sous la direction de Ludovic Hoyet - Rennes 1

Informatique
Soutenue le 11-05-2022
thèse

Accéder en ligne

Fault tolerance in FaaS environments

par Yasmina Bouizem sous la direction de Christine Morin - Rennes 1

Informatique
Soutenue le 08-05-2022
thèse

Accéder en ligne

Adaptive avatar customization for immersive experiences

par Nicolas Olivier sous la direction de Franck Multon - Rennes 1

Informatique
Soutenue le 31-03-2022
thèse

Accéder en ligne

Robustness of timed automata : computing the maximally-permissive strategies

par Emily Clement sous la direction de Thierry Jéron et de Nicolas Markey . - Rennes 1

Informatique
Soutenue le 11-03-2022
thèse

Accéder en ligne

Integration of vision and force control for physical interaction with robotic manipulators

par Alexander Oliva sous la direction de François Chaumette et de Paolo Robuffo Giordano . - Rennes 1

Automatique, productique et robotique
Soutenue le 22-02-2022
thèse

Accéder en ligne

Video-based vibration analysis for structural health monitoring in civil engineering

par Bian Xiong sous la direction de Qinghua Zhang et de Vincent Baltazart . - Rennes 1

Signal, image, vision
Soutenue le 22-12-2021
thèse

Accéder en ligne

Packing detection and classification relying on machine learning to stop malware propagation

par Lamine Noureddine sous la direction de Stéphane Ubeda et de Olivier Zendra . - Rennes 1

Informatique
Soutenue le 21-12-2021
thèse

Accéder en ligne

Multiple fault mitigation in network-on-chip architectures through a bit-shuffling method

par Romain Mercier sous la direction de Daniel Chillet - Rennes 1

Informatique
Soutenue le 17-12-2021
thèse

Accéder en ligne

Subspace-based damage detection in engineering structures considering reference uncertainties and temperature effects

par Eva Viefhues sous la direction de Laurent Mevel - Rennes 1

Signal, image, vision
Soutenue le 14-12-2021
thèse

Accéder en ligne

Understanding the energy consumption of blockchain technologies : a focus on smart contracts

par Dimitri Saingre sous la direction de Jean-Marc Menaud et de Thomas Ledoux . - Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire

Informatique
Soutenue le 13-12-2021
thèse

Accéder en ligne

A verification viewpoint on network congestion games

par Suman Sadhukhan sous la direction de Nathalie Bertrand et de Nicolas Markey . - Rennes 1

Informatique
Soutenue le 09-12-2021
thèse

Accéder en ligne

Méthodes d'analyse asymptotique et d'approximation numérique : problèmes d'évolution multi-échelles de type oscillatoire ou dissipatif

par Léopold Trémant sous la direction de Philippe Chartier et de Mohammed Lemou . - Rennes 1

Mathématiques et leurs interactions
Soutenue le 08-12-2021
thèse

Accéder en ligne

Towards Avatar-Based Interaction in Virtual Reality

par Diane Dewez sous la direction de Anatole Lécuyer - Rennes, INSA

Informatique
Soutenue le 29-11-2021
thèse

Accéder en ligne

Contribution to the Study of Usability and Haptic Feedback of Encountered-Type Haptic Displays

par Victor Rodrigo Mercado Garcia sous la direction de Anatole Lécuyer - Rennes, INSA

Informatique
Soutenue le 16-11-2021
thèse

Accéder en ligne

Deep learning for light field view synthesis from monocular and a very sparse set of input views

par Simon Evain sous la direction de Christine Guillemot - Rennes 1

Informatique
Soutenue le 12-07-2021
thèse

Accéder en ligne

Human motion trajectory prediction for robot navigation

par Javad Amirian sous la direction de Julien Pettré - Rennes 1

Informatique
Soutenue le 08-07-2021
thèse

Accéder en ligne

Secure identification for the Internet of things

par Marzieh Gheisari sous la direction de Laurent Amsaleg et de Teddy Furon . - Rennes 1

Signal, image, vision
Soutenue le 07-07-2021
thèse

Accéder en ligne

Static and dynamic compiler support for intermittently powered computer systems

par Bahram Yarahmadi sous la direction de Erven Rohou - Rennes 1

Informatique
Soutenue le 01-07-2021
thèse

Accéder en ligne

Learning-based depth estimation from light field and view synthesis

par Jinglei Shi sous la direction de Christine Guillemot - Rennes 1

Informatique
Soutenue le 16-06-2021
thèse

Accéder en ligne

Simulation de foule et expérimentations pour l’évaluation de la navigation de robots dans des lieux publics

par Fabien Grzeskowiak sous la direction de Julien Pettré et de Marie Babel . - Rennes 1

Informatique
Soutenue le 08-06-2021
thèse

Accéder en ligne
ABES
A propos | Assistance | CGU | Données personnelles | Mentions légales | Accessibilité numérique