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

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

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