Séminaire

Contextuality in entanglement-assisted one-shot classical communication

Apprentissage et neurosciences pour l'interaction Humain-Robot

Historical Pandemic Musing on Big Data Summarization with Novel Applications

L'inscription est gratuite mais obligatoire

Les systèmes hybrides sont des systèmes qui incorporent simultanément des comportements discrets (contrôleurs) et continus (phénomènes physiques).

De la conception au déploiement des systèmes embarqués et critiques dirigés par la fiabilité à l’aide de la vérification de modèles probabilistes.

Projective Measurements and the CHSH inequality with Isabelle/HOL

Environments & CPS translations, a well-typed story

Quantum contextuality: From the symplectic polar space to the IBM Quantum Experience

Graph editing problems: algorithmic approaches and experimental results on real-world complex networks