output
20062026
most citedBayesian optimal adaptive estimation using a sieve prior

39 citations

researchers with a paper here
collaborating institutions

38 papers

cs.LO2026

A Rocq Formalization of Simplicial Lagrange Finite Elements

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

Formalization of mathematics is a major topic, that includes in particular numerical analysis, towards proofs of scientific computing programs. The present study is about the finit…

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…

math.NA2024

A finite volume scheme for the local sensing chemotaxis model

Maxime Herda, Ariane Trescases, Antoine Zurek

In this paper we design, analyze and simulate a finite volume scheme for a cross-diffusion system which models chemotaxis with local sensing. This system has the same Lyapunov func…

math.ST2024

Bounds in Wasserstein Distance for Locally Stationary Processes

Jan Nino G. Tinio, Mokhtar Z. Alaya, Salim Bouzebda

Locally stationary (LSPs) constitute an essential modeling paradigm for capturing the nuanced dynamics inherent in time series data whose statistical characteristics, including mea…