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
Title: Rewriting consistent answers on annotated data Abstract: In this talk, I'll be discussing results on consistent query answering over databases
In this talk, I will present the research activities undertaken by our group focused on the study of the electronic structure of molecular systems
Simulating noninteracting systems of fermionic particles (such as electrons) -- so called 'free fermions' -- is a basic routine in computational many
Hadwiger's conjecture, first formulated in 1943, is a vast generalization of the four-color theorem, and remains one of the central open problems in
On the one hand, the use of graphical language in quantum computing for the representation of algorithms, although intuitive, is not very useful for
(Uniquement en présentiel / Only offline, no online version) We introduce a limit theory for Latin squares, paralleling the recent limit theories of
In this talk we will discuss to what extent entanglement is a "feelable" (or efficiently observable) quantity of quantum systems. Inspired by recent