logo EDITE Sujets de doctorat
Voici les 213 sujets de thèse de l'école doctorale 130 actuellement disponibles:
[CEDRIC] : PDF HTML
Etiquetage antimagique des arêtes d'un graphe : aspects algorithmiques et structurels
[CEDRIC] : PDF HTML
A type-theoretic foundation for programming with coroutines
[CEDRIC] : PDF HTML
Allocation de ressources pour communications asynchrones de mobiles à mobiles
[CEDRIC] : PDF HTML
Estimation aveugle de canal pour transmissions de cinquième génération.
[CEDRIC] : PDF HTML
Imperative type theory, classical linear logic and applications to implicit complexity
[CEDRIC] : PDF HTML
Approches formelles pour les Réseaux de Robots
[CEDRIC] : PDF HTML
SMT modulo
[CEDRIC] : PDF HTML
Gestion de la variabilité des architectures dans les lignes de produits logiciels
[CEDRIC] : PDF HTML
Optimisation des réseaux de capteurs multimédia sans fil
[CEDRIC] : PDF HTML
Systèmes MIMO pour réseaux cellulaires et formes d'onde de cinquième génération
[CEDRIC] : PDF HTML
Résolution de problèmes d'optimisation polynomiaux en variables mixtes-entières
[CEDRIC] : PDF HTML
Méthode guidée de conception de jeux sérieux pour les musées
[CEDRIC] : PDF HTML
systèmes MIMO pour la 5G
[CEDRIC] : PDF HTML
Méthodologie de structuration et d exploitation des sources de connaissances historiques
[CEDRIC] : PDF HTML
Deep Learning pour le diagnostic et pronostic médical
[CEDRIC] : PDF HTML
Perception et adaptation de la difficulté des jeux vidéo
[CEDRIC] : PDF HTML
Message Passing Algorithms for distributed resource allocation in 5G and Beyond 5G
[CEDRIC] : PDF HTML
le jeu vidéo Alter Management: Un Minecraft Décisionnel
[CEDRIC] : PDF HTML
Métriques pour l'analyse de grands graphes bipartis
[CEDRIC] : PDF HTML
Modèles de langages musicaux -- Application à la recherche d'information dans les corpus de partitions numériques
[CEDRIC] : PDF HTML
Study and mitigation techniques of RF impairments for beyond 5G multi-carrier waveforms
[CEDRIC] : PDF HTML
Apprentissage profond d'espaces multimodaux pour la classification cross modale
[CEDRIC] : PDF HTML
Transposition des concepts du multidimensionnel aux données du Web sémantique en vue de leur analyse OLAP
[CRICM] : PDF HTML
Leveraging brain connectivity networks to detect mental states in brain-computer interfaces
[CRICM] : PDF HTML
Identification of driver nodes in biological networks
[EURECOM] : PDF HTML
Le canaux broadcast et le canaux interférence avec feedback réduit et à complexité calculatoire maîtrisée
[EURECOM] : PDF HTML
Communicating, storing and computing on the edge: fog wireless networks under complexity constraints
[EURECOM] : PDF HTML
Apprentissage Profond, Indexation et liage de Contenus Multimedia
[ISIR] : PDF HTML
Robots constructing representations from experience
[ISIR] : PDF HTML
Machine learning approach applied to multimodal behavior generation for virtual character
[ISIR] : PDF HTML
Incremental social behavior planner
[ISIR] : PDF HTML
Governing Automated Vehicle Behavior
[Inria de Paris] : PDF HTML
Hardware Architecture Modeling for Massively Parallel Real-time Systems Scheduling
[Inria de Paris] : PDF HTML
Transcription musicale basée sur des modèles de partitions a priori
[L2E] : PDF HTML
Developpement, dans le contexte de la 5G, des techniques d acces multiples pour les communications machine a machine a faible consommation
[L2E] : PDF HTML
Fully integrated Application Driven Millimeter Wave Systems
[LIB] : PDF HTML
High throughput neuron tracing
[LIB] : PDF HTML
Etude et simulations des dynamiques des réseaux cérébraux chez l'homme
[LIB] : PDF HTML
Etude par imagerie IRM du remodelage hémodynamique du cœur gauche humain au cours du vieillissement
[LIB] : PDF HTML
Imagerie Simultanée TEP/IRM pour Explorations Cardiaques et Neurologiques a Harvard
[LIB] : PDF HTML
Apport du machine learning dans la stratification du risque cardiovasculaire
[LIENS] : PDF HTML
A Programming Language for Cyber-Physical Systems
[LIF] : PDF HTML
Topologie et dynamique des connectivités fonctionnelles du connectome humain
[LIF] : PDF HTML
Mise au point d'indices quantitatifs non-invasifs de fibrose myocardique in-vivo en IRM
[LIP6] : PDF HTML
Clustering interactif de grandes masses de données
[LIP6] : PDF HTML
Algorithmes parallèles efficaces pour l'analyse d'erreur
[LIP6] : PDF HTML
Graphe-clustering pour la détection de communautés dynamiques dans les réseaux sociaux
[LIP6] : PDF HTML
Raisonnement approximatif en absence d'information
[LIP6] : PDF HTML
Optimisation du modèle de programmation parallèle PGAS pour architectures manycore cc-NUMA.
[LIP6] : PDF HTML
Dynamique des systèmes complexes : modèles probabilistes, relationnels et dynamiques de grande taille
[LIP6] : PDF HTML
Vérification efficace de systèmes complexes exprimés au moyen de langages de haut niveau
[LIP6] : PDF HTML
Reproductibilité et validation de codes numériques pour l'obtention de résultats à précision choisie
[LIP6] : PDF HTML
Analyse de traces de mobilité par flots de liens
[LIP6] : PDF HTML
Méthodes avancées de l'optimisation combinatoire pour l'identification de structures dans les graphes, et applications
[LIP6] : PDF HTML
Analyse et modélisation de la structure multipartie des réseaux réels
[LIP6] : PDF HTML
Vérification numérique de logiciels de calcul industriels
[LIP6] : PDF HTML
Vérification de scénario de Serious Games -- Serious games scenario verification
[LIP6] : PDF HTML
Probabilistic Byzantine Tolerance for Cloud Computing
[LIP6] : PDF HTML
Méthodologie de conception d'architectures matérielles pour la cryptographie
[LIP6] : PDF HTML
Dynamic RDF materialization and replication for distributed RDF stores
[LIP6] : PDF HTML
Système de dialogue intelligent pour jeux sérieux
[LIP6] : PDF HTML
MATCH3D: Mise en Correspondance de Fonctions 3D pour la Visualisation Scientifique
[LIP6] : PDF HTML
Placement optimisé des données dans les caches L3 d'une architecture manycore
[LIP6] : PDF HTML
Analyse Géométrique d'Espaces de Fonctions 3D pour la Visualisation Scientifique
[LIP6] : PDF HTML
Simplification topologique de données 3D bivariées pour la visualisation scientifique
[LIP6] : PDF HTML
Nouvelles approches pour la vérification efficace de programmes concurrents basées sur la SAT Modulo Théorie
[LIP6] : PDF HTML
Mobile Urban Sensing
[LIP6] : PDF HTML
Cryptographie Multivariée: Conception et Analyse
[LIP6] : PDF HTML
Neural Networks and Representation Learning for Modeling Rich Dynamic Data
[LIP6] : PDF HTML
Système d'exploitation distribué pour architecture manycore à mémoire partagée cohérente à base de processeur 32bits
[LIP6] : PDF HTML
Détermination de la structure de réseaux bayésiens dynamiques non stationnaires
[LIP6] : PDF HTML
Conception d'un système mixte distribué reconfigurable
[LIP6] : PDF HTML
Just-Right Consistency
[LIP6] : PDF HTML
Notions algorithmiques pour les flots de liens
[LIP6] : PDF HTML
Modélisation algébrique et résolution formelle en présence de données incertaines et/ou imprécises
[LIP6] : PDF HTML
A Cognitive Radio Transceiver dedicated to IoT and 5G
[LIP6] : PDF HTML
Réseaux de capteurs sans fils pour la santé. Acquisition, traitement et fusion de signaux. Application à la polysomnographie
[LIP6] : PDF HTML
Analyse de Malware
[LIP6] : PDF HTML
Analyse de Transactions Financières en Bitcoins
[LIP6] : PDF HTML
Self-healing circuits for wireless communications
[LIP6] : PDF HTML
Vérification efficace de systèmes complexes exprimés au moyen de langages de haut niveau
[LIP6] : PDF HTML
Elicitation de préférences pour l'optimisation multicritère et l'optimisation dans le risque
[LIP6] : PDF HTML
Approches polyédrales et génération de colonnes pour le partitionnement de graphes
[LIP6] : PDF HTML
Contribution à la définition d'environnements de développement collaboratifs
[LIP6] : PDF HTML
Algorithmes d'ordonnancement sous contrainte d'énergie
[LIP6] : PDF HTML
Agile floating-point computation for embedded systems
[LIP6] : PDF HTML
Neural networks for modeling relations in text
[LIP6] : PDF HTML
Réseaux de robots : de la théorie à l'expérimentation
[LIP6] : PDF HTML
Systèmes de chiffrement basés sur les réseaux
[LIP6] : PDF HTML
Automatic inference of software transformation rules for automatically back and forward porting legacy infrastructure software
[LIP6] : PDF HTML
Service Problems within Highly Dynamic Distributed Systems
[LIP6] : PDF HTML
Distribution des services de communication dans une infrastructure de réseau mobile virtualisée
[LIP6] : PDF HTML
Méthodologie de conception d'architectures matérielles pour la cryptographie
[LIP6] : PDF HTML
Modélisation, simulation et test systématique des systèmes cyber-physiques autonomiques répartis
[LIP6] : PDF HTML
Coordination automatique d'une flotte de drones à l'aide de communications ad hoc
[LIP6] : PDF HTML
Complémentarité des analyses statiques et dynamiques pour l'analyse sécuritaire de code binaire
[LIP6] : PDF HTML
Capacity optimization of the long range Internet of Things
[LIP6] : PDF HTML
Génération d'électricité à partir des vibrations ambiantes aléatoires par synthèse active du comportement mécanique
[LIP6] : PDF HTML
Tractable Reliable Communication in Dynamic Compromised Networks
[LIP6] : PDF HTML
sCODEV (Smart Collaborative Development Environments)
[LIP6] : PDF HTML
Cryptographie Post-Quantique Conception et Analyse
[LIP6] : PDF HTML
Qualité de service et d'expérience (QoS/QoE) dans les réseaux 5G et au-delà
[LIP6] : PDF HTML
Précision et performances de la virtualisation de réseaux filaires et sans fil par conteneur et hybride pour l'expérimentation et les IaaS
[LIP6] : PDF HTML
Analyses quantitative et algorithmique de programmes concurrents via des outils de combinatoire analytique
[LIP6] : PDF HTML
Réseaux de capteurs sans fils pour la santé. Acquisition, traitement et fusion de signaux. Application à la polysomnographie
[LIP6] : PDF HTML
Stochastic optimization for planning remanufacturing activities under uncertainty
[LIP6] : PDF HTML
Thématique g (IA-BD) - Assistants en analyse de viabilité pour la gestion participative
[LIP6] : PDF HTML
Calcul d'équilibres dans des jeux où les joueurs ne suivent pas le modèle de l'espérance d'utilité
[LIP6] : PDF HTML
Argumentation dynamics and constraints
[LIP6] : PDF HTML
Noyaux explicites pour un apprentissage 'Bigdata' / Explicit kernels for 'Bigdata' learning
[LIP6] : PDF HTML
Thématique : g (IA-BD) - Agents assistants à base d'argumentation pour la gestion participative et la négociation
[LIP6] : PDF HTML
Blockchains: Secure and Reliable Large Scale Distributed Transactions
[LIP6] : PDF HTML
Optimisation du temps de calcul dans le cadre du media-planning
[LIP6] : PDF HTML
Distribution des services de communication dans une infrastructure de réseau mobile virtualisée
[LIP6] : PDF HTML
Beyond-QKD continuous-variable quantum cryptographic protocols
[LIP6] : PDF HTML
Governing the commons in Blockchains
[LIP6] : PDF HTML
Communautés définies par un ensemble de noeuds
[LIP6] : PDF HTML
Nouvelle génération de systèmes extensibles sûrs
[LIP6] : PDF HTML
Méthodologie pour la validation numérique et l'optimisation des représentation dans des applications embarquées
[LIP6] : PDF HTML
Refactoring pour l'extraction Automatique de Lignes de Produits Logiciels à partir de Code Source
[LIPADE] : PDF HTML
Modèles hybrides de relations spatiales modélisées par apprentissage dans des arbres de composantes connexes
[LIPADE] : PDF HTML
Security and Reliability in Wireless Body Area Networks for Healthcare
[LIPADE] : PDF HTML
Méthodes d'ensemble en classification croisée
[LIPADE] : PDF HTML
Query Answering Using Information Graphs
[LIPADE] : PDF HTML
Optimal Design of Wireless Body Area Networks for improving the Quality of Life
[LIPADE] : PDF HTML
IoT for Smart and Connected Mobile Users: Optimization Approaches
[LIPADE] : PDF HTML
Méthodes d'ensemble en classification croisée
[LIPADE] : PDF HTML
Security and Reliability in Wireless Body Area Networks for Healthcare
[LIPADE] : PDF HTML
Latent Block Models and Non-negative Matrix Tri-Factorization: Unified framework for text data
[LIPADE] : PDF HTML
Caractérisation de l'état émotionnel humain à partir d'une séquence vidéo
[LIPADE] : PDF HTML
Etude et mise en ouvre de formalismes à base de Blockchain pour la protection de données en environnement distribué
[LIPADE] : PDF HTML
Etude de la qualité de la données dans la e-réputation
[LIPADE] : PDF HTML
Apprentissage multi-agent - Multi-Agent Learning
[LIPADE] : PDF HTML
Definition de services d'intelligence ambiante lies au contexte
[LIPADE] : PDF HTML
La classification croisée dans les systèmes de filtrage collaboratif
[LISITE] : PDF HTML
Architecture and design in SOI CMOS technology of low loss reconfigurable supply modulators for high efficiency RF power amplifiers
[LISITE] : PDF HTML
Medical image processing in ophtalmology: analysis of retinal vessels in adaptive optics images for the study of SVD diseases
[LISITE] : PDF HTML
Inexact computing based recovery for CS image acquisition systems
[LISITE] : PDF HTML
Medical image processing: Modeling of the lamina cribrosa of the retina from 3D OCT data
[LISITE] : PDF HTML
Fonctions d'oubli dans le cadre des flux de données sémantiques
[LISITE] : PDF HTML
Intelligent Agriculture with low-cost wireless sensor networks
[LPN] : PDF HTML
1.6-2.5 µm long wavelength quantum dash based lasers for gas sensing.
[LRDE] : PDF HTML
Programmation générique en C++ moderne pour le traitement d'images
[LSP] : PDF HTML
Scalable statistics: from sensory memory to big data.
[LTCI] : PDF HTML
Optimisation de la gestion de charge des véhicules électriques
[LTCI] : PDF HTML
Multi-relay cooperation protocols inspired by information theoretic advances in wireless networks
[LTCI] : PDF HTML
Insertion automatique de contre-mesures dans des circuits de sécurité.
[LTCI] : PDF HTML
Raffinement et Vérification d'Architectures pour la Conception de Systèmes Temps-Réels Critiques
[LTCI] : PDF HTML
Conception d'un récepteur radiofréquence numérique basé sur l'échantillonnage comprimé
[LTCI] : PDF HTML
Native Protection of Processors against Cyber-Attacks
[LTCI] : PDF HTML
Secure distributed codes for the Cloud
[LTCI] : PDF HTML
Group Network Codes
[LTCI] : PDF HTML
Système de localisation indoor multiutilisateur
[LTCI] : PDF HTML
Web side-channels
[LTCI] : PDF HTML
A systematic approach to the study of Information centric networks
[LTCI] : PDF HTML
Ingénierie Quantique pour la Modulation Large bande dans le Proche Infrarouge
[LTCI] : PDF HTML
Analyse et géométrie sur des variétés de grandes dimensions et reconstruction à partir de coupes
[LTCI] : PDF HTML
Plateforme de caractérisation non-linéaire pour les communications haut débit dans la bande de fréquence 40GHz-60GHz en présence de signaux modulés
[LTCI] : PDF HTML
Modélisation spectrale et inversion pour la reconstruction et le traitement des images SAR
[LTCI] : PDF HTML
La rupture entrepreneuriale : les nouveaux facteurs clefs de succès des start-ups Internet
[LTCI] : PDF HTML
Design of reliable and low-power digital circuits
[LTCI] : PDF HTML
Identités numériques et gestion des données à caractère personnel : approche économique et contributions empiriques.
[LTCI] : PDF HTML
Contribution à la définition et conception du protocole de sécurisation des échanges TLS 1.3.
[LTCI] : PDF HTML
Définition et conception de modèle de sécurité pour les sytèmes de contrôle et de supervision des objets à grande échelle.
[LTCI] : PDF HTML
Réflecteur versatile à métamatériaux
[LTCI] : PDF HTML
Limitations quantiques en communications optiques
[LTCI] : PDF HTML
Vers une plateforme collaborative pour la détection des cyberattaques dans le cloud computing
[LTCI] : PDF HTML
Cyber-Sécurité des véhicules connectés : modélisation et évaluation de la sécurité, authentification optimisée
[LTCI] : PDF HTML
Digital Pre Distortion for high efficiency, high data rate flexible small-cell 5G wireless nodes.
[LTCI] : PDF HTML
Exploration de l'espace de conception pour systèmes embarqués basée sur des transformations de modèles haut-niveau
[LTCI] : PDF HTML
Electrical Vehicle charging and pricing strategies in Smart Grid environment
[LTCI] : PDF HTML
Erasing strategies for Federated Microgrid environment
[LTCI] : PDF HTML
Déploiement Dynamique des services réseaux sécurisés
[LTCI] : PDF HTML
Méthodes de Monte Carlo par Chaînes de Markov en interaction. Application à la résolution de problèmes inverses issus de la description des systèmes neuronaux.
[LTCI] : PDF HTML
Réseaux de capteurs intelligents pour l'estimation non-paramétrique distribuée
[LTCI] : PDF HTML
Extracting and Archiving Rich Content from the Web: the ARCOMEM approach
[LTCI] : PDF HTML
Attaques FIRE : Rétroconception de cryptographie secrète
[LTCI] : PDF HTML
Preuve formelle de contre-mesures aux attaques sur les implémentations cryptographiques
[PC-CURIE] : PDF HTML
Learning causal graphs from continuous or mixed datasets of biological or clinical interest
[SAMOVAR] : PDF HTML
Semantic Service Provisioning for IEEE 802.15.4 Network in Future Full-IP Internet of Things
[SAMOVAR] : PDF HTML
Federation de I'Internet des Objects par les Reseaux Sociaux
[SAMOVAR] : PDF HTML
Contribution of Positioning to Telecommunications
[SAMOVAR] : PDF HTML
Optimisation conjointe multi-couches pour les services multimédias sur réseaux mobiles
[SAMOVAR] : PDF HTML
Statistical modelling of the geographical localization data and mobility
[SAMOVAR] : PDF HTML
Green Integrated Optical-Wireless Access Network
[SAMOVAR] : PDF HTML
Privacy-Preserving Spectrum Sharing
[SAMOVAR] : PDF HTML
Allocation et gestion dynamique de ressources dans les réseaux virtuels et cloud
[SAMOVAR] : PDF HTML
Green Heterogeneous Wireless Optical Networks for Smart Cities
[SAMOVAR] : PDF HTML
Gestion du contenu est des recherches dans un Reseau social P2P
[SAMOVAR] : PDF HTML
Profiling professional and regular users on popular Internet services based on Implementation of large scale Internet measurement tools
[SAMOVAR] : PDF HTML
Convergence des réseaux PON WDM haut débit et sans fil large bande
[SAMOVAR] : PDF HTML
Merging social network and Delay Tolerant Communication for revealing physical human social interactions
[SAMOVAR] : PDF HTML
Ontologie annotation et indexation sémantique distribuée pour l optimisation de la gestion de ressources de l Internet du futur
[SAMOVAR] : PDF HTML
Personnalisation et Adaptation de Contenu Audio-visuel
[SAMOVAR] : PDF HTML
Some Challenges in Mobile Social Network
[SAMOVAR] : PDF HTML
Vers une approche contextuelle d'un système de diffusion multimédia IPTV dans un réseau d'opérateur mobile
[SAMOVAR] : PDF HTML
On Integration of LTE Femto Cell with RFID Technology for Mobility Enhancement
[SIGMA] : PDF HTML
Ultrasound study for a non-vocalized speech interface for medical and telecommunication applications
[SIGMA] : PDF HTML
Real time audio indexing engine for a broadcast media navigator for FM and DRM bands
[STMS] : PDF HTML
Time series knowledge mining for musical orchestration
[STMS] : PDF HTML
Espaces de description - Espaces de contrôle : modalités spatiales pour la programmation déclarative de formes sonores et musicales
[STMS] : PDF HTML
Suivi temps réel de la voix chantée à partir d'observations multiples
[STMS] : PDF HTML
Représentations non négatives profondes pour l'analyse de scènes sonores
[STMS] : PDF HTML
Computational models of expressive movement qualities for interactive systems
[STMS] : PDF HTML
Manifold-based representations of musical signals and construction of generative spaces
[STMS] : PDF HTML
Notations graphiques programmables pour la composition assistée par ordinateur
[STMS] : PDF HTML
Conversion expressive de l'identité vocale
[STMS] : PDF HTML
Transformation Expressive de la Voix
[UMMISCO] : PDF HTML
Couplage de processus métier et de simulation multi-agents en vue d'analyser des scénarios de surveillance épidémiologique
[UMMISCO] : PDF HTML
Deep Learning for innovative Cardio-Metabolic Image Processing
[UMMISCO] : PDF HTML
Machine Learning for Modeling Complex Causal Interaction of Gut Flora
[unknown] : PDF HTML
Binaural Active Exploratory Listening in Robotics
[unknown] : PDF HTML
Study the social cues exchanged during natural interactions