Laboratoire de l'informatique du parallélisme (Lyon)
52 thèses en cours de préparation ayant pour partenaire de recherche Laboratoire de l'informatique du parallélisme (Lyon)Extrait des plus récentes :
Renumérotation des matrices creuses pour améliorer la compression low-rank dans les solveurs directs creux
par Brian Bantsoukissa sous la direction de Bora Uçar - Lyon, École normale supérieure
Informatique
En préparation depuis le 01-10-2022
Modélisation et optimisation des réseaux hétérogènes li-fi et wi-fi
par Meriem Ghali sous la direction de Anthony Claude Busson - Lyon, École normale supérieure
Informatique
En préparation depuis le 01-10-2022
Algorithmique et cryptanalyse des réseaux algébriques
par Arthur Herledan le Merdy sous la direction de Guillaume Hanrot - Lyon, École normale supérieure
Informatique
En préparation depuis le 01-10-2022
Modeling modern network traffic for automated machine learning in network systems
par Johann Hugon sous la direction de Anthony Claude Busson - Lyon, École normale supérieure
Informatique
En préparation depuis le 01-10-2022
Graphes de largeur arborescente bornée : approches algébriques et catégoriques
par Samuel Humeau sous la direction de Damien Pous - Lyon, École normale supérieure
Informatique
En préparation depuis le 01-10-2022
Preuves automatiques d'inégalités entre suites et fonctions spéciales
par Alaa Ibrahim sous la direction de Bruno Salvy - Lyon, École normale supérieure
Informatique
En préparation depuis le 01-10-2022
Estimation automatique de graphes de connectivité fonctionnelle en neurosciences
par Can Pouliquen sous la direction de Paulo Goncalves - Lyon, École normale supérieure
Informatique
En préparation depuis le 01-10-2022
Prédiction et provisionnement dynamique de ressources sur une infrastructure de virtualisation
par Simon Lambert sous la direction de Eddy Caron - Lyon, École normale supérieure
Informatique
En préparation depuis le 01-10-2022
Résolution de l'équation du transport des neutrons sur des architectures massivement parallèles et hétérogènes : application aux géométries hexagonales
par Gabriel Suau sous la direction de Thierry Gautier - Lyon, École normale supérieure
Informatique
En préparation depuis le 01-10-2022
Évaluation accélérée et assistée des impacts environnementaux d'un Système d'Information avec l'ensemble de ses services numériques
par Adrien Berthelot sous la direction de Eddy Caron - Lyon, École normale supérieure
Informatique
En préparation depuis le 01-10-2021
Twin-Width : caractérisations combinatoires et logiques
par Colin Geniet sous la direction de Stéphan Thomassé - Lyon, École normale supérieure
Informatique
En préparation depuis le 01-10-2021
New structural decompositions
par Hugues Déprés sous la direction de Nicolas Trotignon - Lyon, École normale supérieure
Informatique
En préparation depuis le 01-10-2021
Categorical Foundations of Quantitative Algebraic Reasoning
par Ralph Sarkis sous la direction de Russ Harmer - Lyon, École normale supérieure
Informatique
En préparation depuis le 01-10-2021
Toward a verified compilation infrastructure for concurrent programs : non-sequential paradigms in Vellvm
par Nicolas Chappe sous la direction de Matthieu Moy - Lyon, École normale supérieure
Informatique
En préparation depuis le 01-10-2021
Scalable DNA algorithms
par Pierre Marcus sous la direction de Nicolas Schabanel - Lyon, École normale supérieure
Informatique
En préparation depuis le 01-10-2021
146 thèses soutenues ayant pour partenaire de recherche Laboratoire de l'informatique du parallélisme (Lyon)Extrait des plus récentes :
Fault-tolerant algorithms for iterative applications and batch schedulers
par Yishu Du sous la direction de Yves Robert - Lyon, École normale supérieure
Informatique
Soutenue le 06-12-2022
Non-determinism, explorable automata and cyclic proofs
par Émile Hazard sous la direction de Damien Pous - Lyon, École normale supérieure
Informatique
Soutenue le 30-09-2022
Typed Behavioural Equivalences in the Pi-Calculus
par Enguerrand Prebet sous la direction de Daniel Hirschkoff et de Davide Sangiorgi . - Lyon, École normale supérieure
Informatique
Soutenue le 27-09-2022
Proof Theory of Riesz Modal Logic
par Christophe Lucas sous la direction de Damien Pous - Lyon, École normale supérieure
Informatique
Soutenue le 16-09-2022
Asymptotic properties of hypergraphs and channels
par Duy Hoang Ta sous la direction de Omar Fawzi - Lyon
Informatique
Soutenue le 11-07-2022
Study of dynamical social networks of pre-school children using wearable wireless sensors
par Sicheng Dai sous la direction de Changbo Wang et de Marton Karsai . - Lyon
Informatique
Soutenue le 23-05-2022
The Data-abstraction Framework : abstracting unbounded data-structures in Horn clauses, the case of arrays
par Julien Braine sous la direction de Laure Gonnord - Lyon
Informatique
Soutenue le 11-05-2022
Compiling Trees : Combining Data Layouts and the Polyhedral Model
par Paul Iannetta sous la direction de Laure Gonnord - Lyon
Informatique
Soutenue le 02-05-2022
Inférence de la charge dans les réseaux Wi-Fi : modèles et expérimentations
par Nour El Houda Bouzouita sous la direction de Anthony Claude Busson - Lyon
Informatique
Soutenue le 25-01-2022
Data-driven Management Solution for Microservice-based Deep Learning Applications
par Zeina Houmani sous la direction de Eddy Caron et de Daniel Balouek-Thomert . - Lyon
Informatique
Soutenue le 16-12-2021
Diffusion-Wasserstein Distances for Attributed Graphs
par Dominique Barbe sous la direction de Paulo Gonçalvès - Lyon
Informatique
Soutenue le 10-12-2021
Cryptographic aspects of orthogonal lattices
par Thanh Huyên Nguyen sous la direction de Damien Stehlé - Lyon
Informatique
Soutenue le 15-11-2021
Scheduling independent tasks under budget and time constraints
par Yiqin Gao sous la direction de Frédéric Vivien - Lyon
Informatique
Soutenue le 29-09-2021
Sized Types Methods and their Applications to Complexity Analysis in Pi-Calculus
par Alexis Ghyselen sous la direction de Patrick Baillot - Lyon
Informatique
Soutenue le 20-09-2021
Inférence des graphes de conflits dans les réseaux Wi-Fi à infrastructure
par Lafdal Abd El Wedoud sous la direction de Anthony Claude Busson , Isabelle Guérin-Lassous et de Mohamedade Farouk Nanne . - Lyon
Informatique
Soutenue le 07-09-2021
From automata to cyclic proofs : equivalence algorithms and descriptive complexity
par Laureline Pinault sous la direction de Damien Pous - Lyon
Informatique
Soutenue le 23-07-2021
Functional encryption for blind external data processing
par Adel Hamdi sous la direction de Fabien Laguillaumie et de Sébastien Canard . - Lyon
Informatique
Soutenue le 09-07-2021
Width Parameters on Even-Hole-Free Graphs
par Ni Luh Dewi Sintiari sous la direction de Nicolas Trotignon - Lyon
Informatique
Soutenue le 29-06-2021
Efficiency and Redundancy in Deep Learning Models : Theoretical Considerations and Practical Applications
par Pierre Stock sous la direction de Rémi Gribonval et de Hervé Jégou . - Lyon
Informatique
Soutenue le 09-04-2021
From WiFi performance evaluation to controlled mobility in drone networks
par Rémy Grünblatt sous la direction de Isabelle Guérin-Lassous et de Olivier Simonin . - Lyon
Informatique
Soutenue le 08-01-2021
Simulation SystemC parallèle et conforme au standard de modèles transactionnels à temps relâché
par Gabriel Busnot sous la direction de Matthieu Moy - Lyon
Informatique
Soutenue le 18-12-2020
High-performance dense tensor and sparse matrix kernels for machine learning
par Filip Igor Pawlowski sous la direction de Bora Uçar - Lyon
Informatique
Soutenue le 11-12-2020
Scheduling Solutions for Data Stream Processing Applications on Cloud-Edge Infrastructure
par Felipe Rodrigo De Souza sous la direction de Eddy Caron - Lyon
Informatique
Soutenue le 10-12-2020
Inférence et décomposition modale de réseaux dynamiques en neurosciences
par Gaëtan Frusque sous la direction de Paulo Gonçalvès - Lyon
Informatique
Soutenue le 07-12-2020
Optimisation du placement des licences logicielles dans le Cloud pour un déploiement économique et efficient
par Arthur Chevalier sous la direction de Eddy Caron - Lyon
Informatique
Soutenue le 24-11-2020
On algebraic variants of Learning With Errors
par Georgiana-Miruna Rosca sous la direction de Damien Stehlé - Lyon
Informatique
Soutenue le 17-11-2020
Chiffrement fonctionnel et signatures distribuées fondés sur des fonctions de hachage à projection, l'apport des groupes de classe
par Ida Tucker sous la direction de Fabien Laguillaumie et de Guilhem Castagnos . - Lyon
Informatique
Soutenue le 19-10-2020
New Encryption Schemes and Pseudo-Random Functions with Advanced Properties from Standard Assumptions
par Radu Titiu sous la direction de Benoît Libert - Lyon
Informatique
Soutenue le 16-10-2020
On matchings and related problems in graphs, hypergraphs, and doubly stochastic matrices
par Ioannis Panagiotas sous la direction de Bora Uçar - Lyon
Informatique
Soutenue le 09-10-2020
Sémantique des Jeux Quantique
par Marc De Visme sous la direction de Olivier Laurent et de Glynn Winskel . - Lyon
Informatique
Soutenue le 28-09-2020
