Center for New American Media

output

20132025

most citedDedukti: a Logical Framework based on the

λ

Π

-Calculus Modulo Theory

6 citations

researchers with a paper here

Catherine Dubois2 profiles2 · h 15
David Delahaye2 · h 15
M. Caponigro2 · h 17
N. Boussaid2 · h 16
T. Chambrion2 · h 15
A. Amouretti1 · h 5
A. Assaf1 · h 11
A. Descamps1 · h 12
A. Forte1 · h 3
A. Latouche1 · h 30
A. Mora1 · h 3
A. Pelka1 · h 5

collaborating institutions

Conservatoire National des Arts et MétiersFR7 papers
Centre d'études et de recherche en informatique et communicationsFR6 papers
Centre de Recherche en InformatiqueFR2 papers
École Nationale Supérieure d’Informatique pour l’Industrie et l’EntrepriseFR2 papers
Institut Élie Cartan de LorraineFR2 papers
Institut national de recherche en sciences et technologies du numériqueFR2 papers
Brain Mapping FoundationUS1 paper
Cancer et génome: Bioinformatique, biostatistiques et épidémiologie des systèmes complexes1 paper
Center for Advanced Systems UnderstandingDE1 paper
Centre Inria de SaclayFR1 paper
Département mathématiques, informatique, sciences de la donnée et technologies du numériqueFR1 paper
École Nationale Supérieure des Mines de ParisFR1 paper

Showing stat.APShow all

1 paper · 1 filter

stat.AP2025

A note on a resampling procedure for estimating the density at a given quantile

Beatriz Farah, Aurélien Latouche, Olivier Bouaziz

In this paper we refine the procedure proposed by Lin et al. (2015) to estimate the density at a given quantile based on a resampling method. The approach consists on generating mu…