Vous êtes ici

Propositions de sujets de thèses

Sujets de thèses IRISA :

D1 - SYSTÈMES LARGE ÉCHELLE
Sujet Equipe
Robust and light-weight overlay management for decentralized learning ASAP
Decentralized Fog Computing Infrastructure Control MYRIADS
Simuler l'Internet des objets MYRIADS
D2 - RÉSEAUX, TÉLÉCOMMUNICATION ET SERVICES
Sujet Equipe
L'orchestration des IoT via une infrastructure logicielle unifiée DIONYSOS
4th Industrial Revolution: Converging on Industrial Deterministic Wireless Network OCIF
Converging on Industrial Deterministic Network OCIF
Allocations de ressources opportunistes dans les réseaux 5eme Génération (5G) ADOPNET
D3 - ARCHITECTURE
Sujet Equipe
Application-Level Tuning of Accuracy CAIRN
Compiler support for speculative custom hardware accelerators CAIRN
Vers l’exécution efficace d’applications sur des architectures multi-cœur résilientes CAIRN
Learning to survive: Dynamic programming for autonomous and heterogeneous IoT networks GRANIT
Conception d'algorithmes temps réel pour transpondeurs optiques élastiques à très haut débit GRANIT
Thread convergence prediction for SIMT architectures PACAP
D4 - LANGAGE ET GÉNIE LOGICIEL
Sujet Equipe
Vérification formelle légère pour les programmes fonctionnels CELTIQUE
Control of adaptative systems SUMO
Efficient Abstraction Techniques for Timed Automata Verification SUMO
DISCOVERER: An Integrated Web-Based DSL Factory for Computational Science to Reason Over Wicked Problems DIVERSE
Théorie des jeux et logiques pour l'analyse de robustesse et de vulnérabilité de systèmes multi-agents. Applications à la sécurité. LogicA
Refinement types for stream processing languages TEA
Refinement types for cyber-physical system design TEA
Compilation sécurisée de services sous forme d’unikernels au moyen d’un langage système et de preuve automatique TEA
Analyse de vulnérabilité dans des systèmes embarqués face à des attaques en force brute TAMIS
D5 - SIGNAUX ET IMAGES NUMÉRIQUES, ROBOTIQUE
Sujet Equipe
Mixed tactile-force feedback for safe and intuitive robotic teleoperation LAGADIC
Efficient Algorithms for Large-Scale Sketched Acoustic Learning PANAMA
Influence de l’attention esthétique sur l’attention visuelle : caractérisation et modélisation (Priorité 1) SIROCCO
Optimal transport for the classification of structured data OBELIX
D6 - MEDIA ET INTERACTIONS
Sujet Equipe
Understanding Expressive Movement Knowledge: Developing a Taxonomy of Movement Feature EXPRESSION
Modèles de perception visuelle pour l’imagerie HDR FRVSENSE
Object-Relation model for Mixed Reality HYBRID
Enhancing Avatars in Virtual Reality through Control, Interactions and Feedback HYBRID
Apprentissage évolutif d’un système de reconnaissance à la volée de tracés/gestes manuscrits INTUIDOC
Combinaison de connaissances structurelles, logiques et sémantiques pour l’analyse d’images de documents complexes INTUIDOC
Interprétation temps réel de la production de schémas « géométriques » pour la génération de e-feedback en « Digital Learning » INTUIDOC
A topology-driven approach to retargeting of filmic style in 3D environments MIMETIC
Perception-based Virtual Human Motion Personalisation MIMETIC
Indexation de données audiovisuelles LINKMEDIA
D7 - GESTION DES DONNÉES ET DE LA CONNAISSANCE
Sujet Equipe
Learning grammars with long-distance correlations on proteins DYLISS
Raisonnement sur des réseaux booléens pour identifier des signatures complexes de pathologies DYLISS
Méthodes et algorithmes pour la détection de variants complexes dans des données de séquençage nouvelle génération GENSCALE
Assemblage d’espèces complexes ou de métagénomes par intégration de données de séquençage hétérogènes. GENSCALE
Evaluation de la qualité des contributions et des contributeurs sur plateformes de crowdsourcing DRUID
Modèles temporels de séquences thérapeutiques pour l'exploration de données médico-administratives LACODAM
Making Data Science more accessible by bridging Data Mining and Artificial Intelligence LACODAM
Semantic Lifting of Complex Data by Hypergraph Compression - Stylistics in the usage of computer languages SemLIS
Applied Logics Based on Plausibility for Reasoning about Uncertainty SemLIS

Sujets IRISA labellisés pour la ‘Doctoral School EIT Digital' :