Recherche
https://ratio.labri.fr/#meetings Title: Algorithms for consistent query answering under primary key constraints Abstract: Databases often have
/Exposé /Talk/ Many problems can be described using an integer program, e.g. scheduling, capital budgeting, or vehicle routing. In full generality
In this talk I will present the main result of the paper "Optimizing Strongly Interacting Fermionic Hamiltonians" Matthew B. Hastings, Ryan O'Donnell
«Space Optimal Self-Stabilizing Token Circulation in the Local Broadcast Model». Gabriel Le Bouder (LaBRI) Abstract: One specificity of wireless
/Exposé en anglais/Talk in english/ A dicolouring of a digraph is a partition of its vertex-set into acyclic subsets. This notion extends the notion
In recent years, quantum technologies have experienced rapid growth and maturation. As quantum devices become capable of specific tasks, ensuring
Finding a good approximation of the top eigenvector of a given d × d matrix A is a basic and important computational problem, with many applications
Exposé sur des extensions du théorème de Grötzsch /Exposé en anglais/Talk in english/ The Grötzsch Theorem states that every triangle-free planar
The distributed version of the Ramadge and Wonham control problem asks for the existence of a correct controller of a plant modeled as an asynchronous