Vous êtes ici

Propositions de sujets de thèses

Sujets de thèses IRISA :

D1 - SYSTÈMES LARGE ÉCHELLE
Sujet Equipe
Simuler l'Internet des objets MYRIADS
Decentralized Fog Computing Infrastructure Control MYRIADS
D2 - RÉSEAUX, TÉLÉCOMMUNICATION ET SERVICES
Sujet Equipe
L'orchestration des IoT via une infrastructure logicielle unifiée DIONYSOS
Converging on Industrial Deterministic Network OCIF
4th Industrial Revolution: Converging on Industrial Deterministic Wireless Network OCIF
Allocations de ressources opportunistes dans les réseaux 5eme Génération (5G) ADOPNET
D3 - ARCHITECTURE
Sujet Equipe
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
Efficient Abstraction Techniques for Timed Automata Verification SUMO
Control of adaptative systems 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
Large-Scale Virtually-Supervised Learning for Auditory Scene Analysis with Robots PANAMA
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
Script optimisation for the expressive synthesis of audio books EXPRESSION
Understanding Expressive Movement Knowledge: Developing a Taxonomy of Movement Feature EXPRESSION
Universal speech synthesis through embeddings of massive heterogeneous data EXPRESSION
Script optimisation for the expressive synthesis of audio books EXPRESSION
Caractérisation de registres de langue par extraction de motifs séquentiels EXPRESSION
Modèles de perception visuelle pour l’imagerie HDR FRVSENSE
Enhancing Avatars in Virtual Reality through Control, Interactions and Feedback HYBRID
Object-Relation model for Mixed Reality HYBRID
Apprentissage évolutif d’un système de reconnaissance à la volée de tracés/gestes manuscrits 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
Combinaison de connaissances structurelles, logiques et sémantiques pour l’analyse d’images de documents complexes INTUIDOC
Creating Perceptual Variety in Crowd Simulations MIMETIC
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
Raisonnement sur des réseaux booléens pour identifier des signatures complexes de pathologies DYLISS
Learning grammars with long-distance correlations on proteins 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
Making Data Science more accessible by bridging Data Mining and Artificial Intelligence LACODAM
Modèles temporels de séquences thérapeutiques pour l'exploration de données médico-administratives LACODAM
Applied Logics Based on Plausibility for Reasoning about Uncertainty SemLIS
Semantic Lifting of Complex Data by Hypergraph Compression - Stylistics in the usage of computer languages SemLIS

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