SIGNALER une erreur


Accès aléatoire  Accélération matérielle  Acquisition comprimée  Advection Lagrangienne  Algorithme de routage  Algorithmes  Amélioration de tests  Analyse d'existence  Analyse de concepts formels  Analyse de covariance  Analyse de programmes  Analyse des données -- Logiciels  Analyse des réseaux sociaux  Analyse du mouvement  Analyse dynamique  Analyse fonctionnelle  Analyse formelle de concepts  Analyse logicielle  Analyse modale  Analyse modale  Analyse multiéchelle  Analyse statique  Analyse statistique  Android  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, Théorie de l'  Architecture ITS  Architecture Matériel  Architecture des 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  Attaques par canaux auxiliaires  Attaques physiques  Auto-Adaptation  Auto-Modélisation  Autoencodeurs  Base de données  Bifurcation  Bioinformatique  Biologie cellulaire  Branchement multi-Niveaux  C-ITS  Cache  Calcul de vraisemblance  Calcul distribué  Calcul stochastique  Caractérisation d'évènements dynamiques  Cartes à puces  Changement de phase  Chattering  Chemins de fer -- Trafic -- Régulation  Cinématographie  Cinétique chimique  Classification  Cliques et bicliques  Clouds  Code Correcteur D’erreur  Codes incrémentaux  Colorimétrie  Commande prédictive  Commande prédictive basée modèle  Compactage  Compilateurs  Compilateurs  Comportement humain  Compression  Compression Vidéo  Compression d'image  Compression d'images  Compression de cache  Compression de graphes  Compression interactive  Compression vidéo  Conductivité thermique effective  Consommation d'énergie  Consommation énergétique  Contraintes visuelles  Contrats  Contrôle non-Destructif  Contrôle partagé  Coq  Correct par construction  Correction d'artefacts  Couche limite  Cryptographie  Cryptographie à clé publique  Créativité assistée  Cytologie  Câbles  Câbles électriques  DSI  Diagnostic  Diagnostic actif  Diagnosticabilité  Diffusion  Diffusion de l'information  Diversité  Données -- Compression  Données massives  Droit à la vie privée  Dynamique de surface dans l’océan  Dynamique des fluides  Débruitage  Déconvolution  Découverte de services  Déploiement  Détection  Détection de collision  Détection de vulnérabilité  Détection du signal  Détection temps réel  Développeurs de logiciels  EDO discontinue  ETSI TC ITS  Enchères  Environnements virtuels  Environnements virtuels partagés  Erreurs légères  Erreurs permanentes  Estimation de mouvement  Estimation de paramètre  Estimation de paramètres  Exploitation des ressources inactives  Exploration de données  Exploration de l'espace de conception  FPGA  Factorisation d'opérateurs  Factorisation matricielle  Fauteuils roulants  Filtrage du signal  Filtre particulaire  Filtres de Kalman  Flot optique 3D  Flot optique  Fluides turbulents  Fluides, Dynamique des  Fluides, Mécanique des  Fluorescence  Fog  Fonction interception  Foules  HEVC  Informatique dans les nuages  Internet des objets  Kalman, Filtrage de  Lignes de produits  Logiciels -- Vérification  Mesures de sûreté  Microprocesseurs  Microscopie  Microscopie de fluorescence  Multimédias  Méthodes formelles  Optimisation mathématique  Parallélisme  Problème inverse  Protection de l'information  Recherche de l'information  Réalité virtuelle  Réseaux neuronaux  Simulation par ordinateur  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é  Technologie 5G  Traitement automatique du langage naturel  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 par ordinateur  Vérification de modèles  

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 Sylvain Collange . - Rennes 1

Informatique
Soutenue le 13-12-2016
thèse


97 thèses soutenues ayant pour partenaire de recherche INRIA-RENNES
Extrait des plus récentes :

Analyse des vulnérabilités dans des systèmes embarqués face à des attaques par fuzzing

par Léopold Ouairy sous la direction de Jean-Louis Lanet - Rennes 1

Informatique
Soutenue le 24-09-2020
thèse

Accéder en ligne

Modélisation mathématique de réactions cinétiques multiphasiques en géochimie

par Bastien Hamlat sous la direction de Jocelyne Erhel - Rennes 1

Mathématiques et leurs interactions
Soutenue le 22-09-2020
thèse

Accéder en ligne

Compressed cache layout aware prefetching

par Niloofar Charmchi sous la direction de André Seznec et de Caroline Collange . - Rennes 1

Informatique
Soutenue le 10-07-2020
thèse

Accéder en ligne

Gestion des fautes dans les réseaux multi-tenants et programmables

par Sihem Cherrared sous la direction de Éric Fabre et de Gregor Gössler . - Rennes 1

Informatique
Soutenue le 26-06-2020
thèse

Accéder en ligne

Jeux d'acteurs et mécanismes d'enchères dynamiques pour la gestion de spectre dans les réseaux 5G

par Ayman Chouayakh sous la direction de Patrick Maillé - Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire

Informatique
Soutenue le 10-03-2020
thèse

Accéder en ligne

Advanced speculation to increase the performance of superscalar processors

par Kleovoulos Kalaitzidis sous la direction de André Seznec - Rennes 1

Informatique
Soutenue le 06-03-2020
thèse

Accéder en ligne

ITS-based decision making mechanism for opportunistic networking in heterogeneous network environment

par Rodrigo Silva sous la direction de Jean-Marie Bonnin - Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire

Informatique
Soutenue le 27-01-2020
thèse

Accéder en ligne

Lazy and locality-aware building blocks for fog middleware : a service discovery use case

par Genc Tato sous la direction de Cédric Tedeschi et de Marin Bertier . - Rennes 1

Informatique
Soutenue le 19-12-2019
thèse

Accéder en ligne

A search space of graph motifs for graph compression : from Powergraphs to triplet concepts

par Lucas Bourneuf sous la direction de Jacques Nicolas - Rennes 1

Informatique
Soutenue le 17-12-2019
thèse

Accéder en ligne

Dynamic program analysis for suggesting test improvements to developers

par Oscar Luis Vera Pérez sous la direction de Benoit Baudry - Rennes 1

Informatique
Soutenue le 17-12-2019
thèse

Accéder en ligne

Performance centric dynamic function level binary transformation

par Arif Ali Anapparakkal sous la direction de Erven Rohou - Rennes 1

Informatique
Soutenue le 09-12-2019
thèse

Accéder en ligne

Detection and quantification of events in stochastic systems

par Hugo Bazille sous la direction de Éric Fabre et de Blaise Genest . - Rennes 1

Informatique
Soutenue le 02-12-2019
thèse

Accéder en ligne

Compression for interactive communications of visual contents

par Navid Mahmoudian Bigdoli sous la direction de Aline Roumy et de Thomas Maugey . - Rennes 1

Signal, image, vision
Soutenue le 29-11-2019
thèse

Accéder en ligne

3D motion estimation and assessment in fluorescence microscopy volume sequences

par Sandeep Manandhar sous la direction de Patrick Bouthémy et de Charles Kervrann . - Rennes 1

Signal, image, vision
Soutenue le 28-11-2019
thèse

Accéder en ligne

Simultaneous characterization of objects temperature and radiative properties through multispectral infrared thermography

par Thibaud Toullier sous la direction de Laurent Mevel et de Jean Dumoulin . - Rennes 1

Signal, image, vision
Soutenue le 06-11-2019
thèse

Accéder en ligne

Analyse de vulnérabilité des systèmes embarqués face aux attaques physiques

par Sébanjila Kevin Bukasa sous la direction de Jean-Louis Lanet - Rennes 1

Informatique
Soutenue le 08-07-2019
thèse

Accéder en ligne

Performance evaluation of urban rail traffic management techniques

par Abd-El-Karim Kecir sous la direction de Loïc Hélouët et de Pierre Dersin . - Rennes 1

Informatique
Soutenue le 05-07-2019
thèse

Accéder en ligne

Deep learning for image compression

par Thierry Dumas sous la direction de Christine Guillemot et de Aline Roumy . - Rennes 1

Signal, image, vision
Soutenue le 07-06-2019
thèse

Accéder en ligne

User-centric security monitoring in cloud environments

par Amir Teshome Wonjiga sous la direction de Christine Morin et de Louis Rilling . - Rennes 1

Informatique
Soutenue le 03-06-2019
thèse

Accéder en ligne

Light field image compression and compressive acquisition

par Fatma Hawary sous la direction de Christine Guillemot et de Guillaume Boisson . - Rennes 1

Signal, image, vision
Soutenue le 29-05-2019
thèse

Graph based transforms for compression of new imaging modalities

par Mira Rizkallah sous la direction de Christine Guillemot et de Thomas Maugey . - Rennes 1

Signal, image, vision
Soutenue le 26-04-2019
thèse

Accéder en ligne

Contribution au développement de l’apprentissage profond dans les systèmes distribués

par Corentin Hardy sous la direction de Bruno Sericola - Rennes 1

Informatique
Soutenue le 08-04-2019
thèse

Accéder en ligne

Formal fault injection vulnerability detection in binaries : a software process and hardware validation

par Nisrine Jafri sous la direction de Jean-Louis Lanet et de Axel Legay . - Rennes 1

Informatique
Soutenue le 25-03-2019
thèse

Accéder en ligne

Analyse et détection de logiciels de rançon

par Aurélien Palisse sous la direction de Jean-Louis Lanet - Rennes 1

Informatique
Soutenue le 04-03-2019
thèse

Accéder en ligne

The GNU Taler system : practical and provably secure electronic payments

par Florian Dold sous la direction de Christian Grothoff et de Jean-Louis Lanet . - Rennes 1

Informatique
Soutenue le 25-02-2019
thèse

Accéder en ligne

Application de la théorie des similitudes en turbulence à l'interface océan atmosphère

par Benoît Pinier sous la direction de Roger Lewandowski et de Étienne Mémin . - Rennes 1

Mathématiques et leurs interactions
Soutenue le 12-02-2019
thèse

Accéder en ligne

New strategies for the identification and enumeration of macromolecules in 3D images of cryo electron tomography

par Emmanuel Moebel sous la direction de Charles Kervrann - Rennes 1

Signal, Image, Vision
Soutenue le 01-02-2019
thèse

Accéder en ligne

Parallelism and modular proof in differential dynamic logic

par Simon Lunel sous la direction de Jean-Pierre Talpin - Rennes 1

Informatique
Soutenue le 28-01-2019
thèse

Accéder en ligne

Performance optimization mechanisms for fault-resilient VLIW processors

par Rafail Psiakis sous la direction de Olivier Sentieys - Rennes 1

Informatique
Soutenue le 21-12-2018
thèse

Accéder en ligne

Highlight and execute suspicious paths in Android malware

par Mourad Leslous sous la direction de Valérie Viêt Triêm Tông et de Thomas Genet . - Rennes 1

Informatique
Soutenue le 18-12-2018
thèse

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