Recherche
Let f, g1, …, gm be polynomials with real coefficients in n variables. Suppose the minimum f* of f over the semialgebraic set S(g) = {x in R^n : g_i(x
Simulating noninteracting systems of fermionic particles (such as electrons) -- so called 'free fermions' -- is a basic routine in computational many
This talk presents the work I did during my thesis, which I completed in March. Petri nets are a classic formal model for concurrent systems
In order to understand and verify complex systems, we need accurate models that are either understandable for humans or can be analyzed fully
/Exposé en anglais/Talk in english/ The Maker-Breaker game is played on a hypergraph H. Maker and Breaker take turns coloring vertices of H, in red
Ultrametrics are representations of data that emphasize hierarchical properties and are widely used in data visualization and clustering. In the
Mouna Safir (IRIF) Title: Some new results with k-set agreement Abstract: In this talk, I will present our investigation of the solvability of k-set
A sublinear-time quantum algorithm for approximating partition functions Gibbs partition functions are ubiquitous in statistical physics and in