1 citations · 1 across the 3 of their papers we have counts for
3 papers
Towards Fixed-Point Formats Determination for Faust Programs
Agathe Herrou, Florent de Dinechin, Stéphane Letz +2
Modern programmable digital signal processing relies on floating-point numbers for their ease of use. Fixed-point number formats have the potential to save resources and improve ex…
Symmetrized semi-discrete optimal transport
Agathe Herrou, Bruno Lévy, Vincent Nivoliers +2
Interpolating between measures supported by polygonal or polyhedral domains is a problem that has been recently addressed by the semi-discrete optimal transport framework. Within t…
On Higher-Order Probabilistic Subrecursion
Flavien Breuvart, Ugo Dal Lago, Agathe Herrou
We study the expressive power of subrecursive probabilistic higher-order calculi. More specifically, we show that endowing a very expressive deterministic calculus like Gödel's $\m…