output
20062026
most citedBayesian optimal adaptive estimation using a sieve prior

39 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing 2025Show all

3 papers · 1 filter

cs.LO2025

A Rocq Formalization of Monomial and Graded Orders

Sylvie Boldo, François Clément, Vincent Martin +1

Even if binary relations and orders are a common formalization topic, we need to formalize specific orders (namely monomial and graded) in the process of formalizing in Rocq the fi…

stat.ML2025

Sparsified-Learning for High-Dimensional Heavy-Tailed Locally Stationary Time Series, Concentration and Oracle Inequalities

Yingjie Wang, Mokhtar Z. Alaya, Salim Bouzebda +1

Sparse learning is ubiquitous in many machine learning tasks. It aims to regularize the goodness-of-fit objective by adding a penalty term to encode structural constraints on the m…

math.NA2025

Convergence of a semi-explicit scheme for a one dimensional periodic nonlocal eikonal equation modeling dislocation dynamics

Diana Al Zareef, Ahmad El Hajj, Hassan Ibrahim +1

In this paper, we derive a periodic model from a one dimensional nonlocal eikonal equation set on the full space modeling dislocation dynamics. Thanks to a gradient entropy estimat…