output
20042026
most citedConcentration around the mean for maxima of empirical processes

207 citations

Showing 2023Show all

15 papers · 1 filter

stat.ML2023

HLoOP -- Hyperbolic 2-space Local Outlier Probabilities

Clémence Allietta, Jean-Philippe Condomines, Jean-Yves Tourneret +1

Hyperbolic geometry has recently garnered considerable attention in machine learning due to its capacity to embed hierarchical graph structures with low distortions for further dow…

cs.LO2023★ 2 cited

Towards Proved Formal Specification and Verification of STL Operators as Synchronous Observers

Céline Bellanger, Pierre-Loïc Garoche, Matthieu Martel +1

Signal Temporal Logic (STL) is a convenient formalism to express bounded horizon properties of autonomous critical systems. STL extends LTL to real-valued signals and associates a…

cs.CV2023★ 8 cited

Variational Bayes image restoration with compressive autoencoders

Maud Biquard, Marie Chabert, Florence Genin +2

Regularization of inverse problems is of paramount importance in computational imaging. The ability of neural networks to learn efficient image representations has been recently ex…

math.OC2023★ 7 cited

High-dimensional mixed-categorical Gaussian processes with application to multidisciplinary design optimization for a green aircraft

Paul Saves, Youssef Diouane, Nathalie Bartoli +2

Recently, there has been a growing interest in mixed-categorical metamodels based on Gaussian Process (GP) for Bayesian optimization. In this context, different approaches can be u…

math.PR2023

Deviation results for Mandelbrot's multiplicative cascades with exponential tails

Thierry Klein, Agnès Lagnoux, P Petit

Let be a nonnegative random variable with expectation . For all , we consider the total mass of the associated Mandelbrot multiplicative cascade…

math.OC2023★ 1 cited

Graph-Based Convexification of Nested Signal Temporal Logic Constraints for Trajectory Optimization

Thomas Claudet, Davide Martire, Damiana Losa +2

Optimizing high-level mission planning constraints is traditionally solved in exponential time and requires to split the problem into several ones, making the connections between t…