Research Internships 2018-2019

idtitlehostteamplacefile
2 Virtual or Real Pedestrian: Evaluating Avoidance Strategies in VR Inria MimeTIC Rennes file
3 Crowd Simulation: Mixing Simulation Models for Visual Variety Inria MimeTIC Rennes file
5 Towards Efficient Big Data Management with Transient Storage Systems Irisa/Inria Rennes Bretagne Atlantique KerData Rennes file
6 How to know how much we know IRISA LACODAM Rennes file
7 Obfuscation de noms pour applications hétérogènes IRISA PASS Brest file
8 Search engine for genomic sequencing data Inria Irisa GenScale Rennes, France file
9 Modélisation de la régulation des systèmes biologiques par un problème de synthèse de contrôleurs IRISA Dyliss Rennes file
10 Haptic rendering of virtual contacts in crowded environments IRISA / Inria Rainbow Rennes, France file
11 Prédiction de recommandations d’âge pour l’accès par des enfants à des textes IRISA ou MoDyCo Expression Lannion ou Nanterre file
12 Adversarial learning and natural language processing IRISA LinkMedia Rennes file
13 Scalarisation dynamique pour une architecture hybride CPU - GPU Inria / IRISA PACAP Rennes file
14 Convergence, regularities in epistemic structures IRISA LogicA Rennes file
15 Deep-learning based voice conversion: application to characters switching for story-telling IRISA Expression Lannion file
16 CNN inference approximation: improving performance of deep-learning accelerators Inria/IRISA Cairn Rennes file
17 Automaton Based Modelling and Learning of the Normal Behavior of an Industrial System for Intrusion Detection CentraleSupelec CIDRE Rennes file
18 Efficient learning of multiple context-free grammars by local substitutability IRISA / Inria Rennes - Bretagne Atlantique Dyliss Rennes file
19 Learning Compilation Results of Linux Kernel Configurations IRISA DiverSE Rennes file
20 Distributed identity management systems for peer-to-peer architectures Inria / CentraleSupélec CIDRE Rennes file
21 Catégorisation de données grande échelle : application à la métagénomique IRISA Genscale Rennes file
22 Multimodal Deep Embedding for Image-Repurposing Detection IRISA LinkMedia Rennes file
23 HPC-Big Data convergence at processing level by bridging in-situ/in-transit processing with Big Data analytics IRISA/Inria Rennes Bretagne Atlantique KerData Rennes file
24 Metamorphic Testing of Metamorphic Languages IRISA DiverSE Rennes file
25 Towards Unpredictable Languages! Inria / IRISA DiverSE Rennes file
26 Sycomore: A permissionless distributed ledger that self-adapts to transactions demand IRISA Cidre Rennes file
27 Interpretability of machine learning algorithms for classification of time series IRISA / INRIA LACODAM RENNES file
28 Efficient declarative sequence mining with ASP IRISA LACODAM Rennes file
29 On the consequences of multiple instances in temporal sequence mining IRISA LACODAM Rennes file
30 Transfert Learning for predicting biomass from satellite imagery IRISA LACODAM Rennes file
31 Analyse et reconnaissance précoce de gestes 3D IRISA IntuiDoc et Mimetic Rennes file
32 Numerical rule mining for city housing planning Irisa LACODAM Rennes Beaulieu file
34 Private Queries on Plug Devices Inria Irisa WIDE Rennes file
35 Browser-Based Video Streaming Inria Irisa WIDE Rennes file
36 Deterministic drivers for real-time systems IRISA Pacap + Whisper (Inria-Paris) Rennes file
37 Normal traffic generation using machine learning for IDS evaluation Irisa, CentraleSupélec CIDRE Rennes file
38 Attack scenario generation using machine learning for IDS evaluation Irisa, CentraleSupélec CIDRE Rennes file
39 Apprentissage profond pour l'asservissement visuel IRISA - Inria Rennes Rainbow Rennes file
40 Novel Brain-Computer Interface Using Visual Attention for Target Selection in Augmented Reality Inria Rennes Hybrid Rennes file
41 Preventing timing-attacks attacks in the presence of hardware speculation Irisa Celtique Rennes file
42 Evaluating web browser robustness against micro-architectural attacks IRISA EMSEC Rennes file
43 Automated identification of cryptographic secrets for identification of micro-architectural side-channel vulnerabilities IRISA EMSEC Rennes file
44 Verification of security protocols using SAT solvers IRISA/LORIA EMSEC/PESTO Rennes/Nancy file
45 Analysis of the Proximity Check Protocol of Contactless Smartcards IRISA EMSEC Rennes file
46 Cryptanalysis using CP solvers the case of division property IRISA EMSEC Rennes file
47 Certified Compilation of Skeletal Semantics Inria Rennes Celtique Rennes, France file
48 Construction automatique de voisinages pour des modèles d’interpretabilité locale Crest-Ensai, IRISA LACODAM Rennes file
49 Improving the Precomputation of Cryptanalytic Time-Memory Trade-Offs Using a Distributed Architecture IRISA EMSEC (Embedded Security and Cryptography) Rennes file
50 Design and evaluation of interaction methods for immersive 4D data visualization IRISA Serpico Rennes file
51 Octogones entiers et réels en programmation par contraintes LS2N TASC Nantes file
52 Intrusion detection through detection of timing deviations in real-time systems IRISA PACAP+CAIRN Rennes file
53 Optimiser la consommation d’énergie renouvelable des infrastructures de Cloud distribuées IRISA Myriads Rennes file
54 Temporal generative neural nets IRISA Obelix Rennes file
55 Robust formation control against adversarial perturbations : application to smart railway transportation systems IRISA SUMO Rennes file
56 Log analysis using reinforcement learning for intrusion detection Silicom CIDRE Rennes file
57 Automated mitigation of micro-architectural side-channel vulnerabilities via binary rewriting IRISA EMSEC Rennes file
58 Faster SPARQL Federated Queries IRISA Dyliss Rennes file
59 MDL for Robust Periodic Pattern Mining Or How to Detect Habit Changes ? IRISA Lacodam/SemLIS Rennes, France file
60 Weakly-supervised object detection Inria Rennes-Bretagne Atlantique Linkmedia Rennes Cedex file
61 Modélisation des vulnérabilités et automatisation des tests d’intrusions pour les systèmes industriels Segula Technologies Recherche et Innovation (R&I) Lanester, France file
62 Etude des vulnérabilités des IHM de supervision industrielle Segula Technologies Recherche et Innovation (R&I) Lanester, France file
63 Vérification formelle d’une attaque d’intégrité sur les systèmes industriels Segula Technologies Recherche et Innovation (R&I) Lanester France, file
64 Run-time management of safe-critical systems on multiprocessing platforms Inria/IRISA CAIRN Rennes file
66 Learning pipeline-independent statistic maps in fMRI Inria Rennes / IRISA VisAGeS and LACODAM Rennes file
67 Construction of a dataset of Android malware Inria/CentraleSupelec CIDRE Rennes, France file
68 Automated verification of randomised distributed algorithms Inria Rennes / IRISA SUMO Rennes, France file
69 Collaboration Coq/Why pour l'extraction de programmes avec structures mutables IRISA - Inria Celtique Rennes file
70 Compilation à la volée vérifiée IRISA - Inria Celtique Rennes file
71 Analyse statique relationnelle insensible au flot de contrôle IRISA Celtique Rennes file
72 DiSCo: Dictionary-based Spectral unmixing for Coastal environmental monitoring IRISA PANAMA Rennes, campus Beaulieu file
73 Deep Unsupervised Extraction of knowledge bases from a dialogue corpus Orange Labs NADIA Lannion file
74 A biclustering approach to Recommender Systems Inria Irisa WIDE (en collaboration avec MIMETIC) Rennes file
75 Combinaison apprentissage profond et reconnaissance syntaxique pour l’analyse de scènes. Application au fauteuil roulant autonome Irisa Intuidoc / Rainbow Rennes file
76 Combinaison apprentissage profond et reconnaissance syntaxique pour l’analyse de scènes. Application au fauteuil roulant autonome Irisa Intuidoc / Rainbow Rennes file
77 Combinaison apprentissage profond et reconnaissance syntaxique pour l’analyse de scènes. Application au fauteuil roulant autonome Irisa Intuidoc / Rainbow Rennes file
78 Combinaison apprentissage profond et reconnaissance syntaxique pour l’analyse de scènes. Application au fauteuil roulant autonome Irisa Intuidoc / Rainbow Rennes file
79 Combinaison apprentissage profond et reconnaissance syntaxique pour l’analyse de scènes. Application au fauteuil roulant autonome Irisa Intuidoc / Rainbow Rennes file
80 Improved strategies for Undiscounted Reinforcement Learning Inria Lille - Nord Europe SequeL Villeneuve d'Ascq, France file
81 TensorTrans: multi-channel automatic music transcription using tensor algebra IRISA PANAMA Rennes, campus Beaulieu file
86 Analysis of different functional splits for 5G C-RAN IRISA Adopnet IMT Atlantique, 2 rue de la Chataigneraie, Cesson- file
87 Temporiser les Négotiations IRISA/INRIA SUMO Rennes file
89 L’importance des tirages communs pour le consensus probabiliste LS2N GDD Nantes, France file
94 Path estimation using fiducial markers and a camera network IETR VAADER Rennes file
95 Des alternatives à la preuve de travail dans les blockchain IRISA Cidre et Adopnet Rennes file
96 Concise Representations for Boolean Functions Inria HYCOMES Rennes, France file
97 Algorithmic Analysis of Motzkin’s Algebraic Lifting of Semialgebraic Sets INRIA HYCOMES Rennes, France file
98 Apprentissage de modèles par exploration de buts intrinsèquement motivée et réseaux de neurones profonds Inria Flowers Flowers Bordeaux file
99 Optimizing memory layout on polyhedral programs to maximize compression effciency for FPGAs IRISA CAIRN RENNES file
100 programmation vérifiée de fonctions de flot Inria TEA Rennes file
101 A logical framework to verify requirements of hybrid system models Inria, MERCE TEA Rennes file
103 Formalisation des polyèdres dans l’assistant de preuve Coq CMAP, Ecole polytechnique Tropical Saclay file
104 Hardware based monitoring of chipset components HP Inc Labs (Bristol) in collaboration with Inria CIDRE Bristol (UK) file