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

We define a method that takes advantage of structural reductions to accelerate the verification of reachability problems. We prove the correctness of

Title: Building atlases to benchmark transcriptomics studies

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

Mouna Safir (ENS Lyon) Title: Fault tolerance in distributed systems Abstract: One of the key principles of distributed computing is to replicate data

A sublinear-time quantum algorithm for approximating partition functions Gibbs partition functions are ubiquitous in statistical physics and in

Oblivious Transfer from Zero-Knowledge Proofs, or How to Achieve Round-Optimal Quantum Oblivious Transfer and Zero-Knowledge Proofs on Quantum States

Akka Zemari (LaBRI) Title: (Online) Continual Learning Abstract: In real-world supervised learning, training data is often unavailable simultaneously