Recherche

https://ratio.labri.fr/#meetings Title: Algorithms for consistent query answering under primary key constraints Abstract: Databases often have

/Exposé /Talk/ Stability and dependence are model-theoretic notions that have recently proved highly effective in the study of structural and

Measurement incompatibility vs. Bell non-locality: an approach via tensor norms. Measurement incompatibility and quantum non-locality are two key

Age-related macular degeneration (AMD) is one of the leading causes of legal blindness worldwide. However, manual screening of the retina for

Contextuality in composite systems: entanglement vs. the Kochen-Specker theorem The Kochen-Specker (KS) theorem is often taken as a notion of

Quantum Chemistry and Physics have been identified as key applications for quantum computers and quantum algorithms have been designed to solve the

Runtime verification consists in checking whether a program satisfies a given specification by observing the trace it produces during its execution

Sébastien Bouchard, LaBRI Titre: Byzantine gathering in polynomial time. Abstract: Gathering is a key task in distributed and mobile systems, which

In this talk, I will present the research activities undertaken by our group focused on the study of the electronic structure of molecular systems

Séminaire TAD