Recherche
Jean-François David soutiendra sa thèse, le 28 mars 2025 à 14h30, en salle Ada Lovelace (Inria). Sa thèse est intitulée : « Ordonnancement dynamique
Andrès Rubio Proano (département Satanas) soutiendra sa thèse intitulée : «Stratégies de placement de données pour mémoire hétérogènes et non
Les assistants de preuves basés sur les types dépendants sont parmis les outils offrant les garanties les plus fortes sur la sécurité d'un logiciel
Les modèles dynamiques Booléens de réseaux de signalisation et de transcription ont été utilisés ces dernières années pour modéliser les cellules
Lise Jolicoeur soutiendra sa thèse, le 109 décembre 2025 à 16h, dans la salle Ada Lovelace (Inria). L’intitulé de sa thèse est : « Vers des
Meghyn Bienvenu et ses co-auteurs, Balder ten Cate, Carsten Lutz, et Frank Wolter, ont reçu le prix «Albert O. Mendelzon Test of Time Award» pour l
Le séminaire NUMERICS, séminaire transdisciplinaire sur la culture scientifique et les enjeux sociétaux du Numérique, aura lieu dans l’amphi du LaBRI
Le modèle des réseaux multicouches reconnaît que la complexité des relations entre les entités de systèmes complexes issus du monde réel est mieux
Samawel Jaballi soutiendra sa thèse, le 19 juin 2025 à 10h, Amphi 3 Bât A9. L’intitulé de sa thèse est : « Extraction, transcription et analyse des
Korlan Rysbayeva soutiendra sa thèse intitulée : « Apprentissage par métriques profondes et classification de données hiérarchiques et multimodales