6 citations
- 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
10 papers
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…
A Momentum-Resolved X-ray Thomson Scattering Benchmark of Electronic-Response Models in Warm Dense Aluminium
Dmitrii S. Bespalov, Ulf Zastrau, Zhandos A. Moldabekov +58
The robust diagnosis of conditions generated in warm dense matter (WDM) experiments remains a persistent challenge. Here we describe the measurement of shock-compressed aluminium a…
Collaborative and parametric insurance on the Ethereum blockchain
Pierre-Olivier Goffard, Stéphane Loisel
This paper introduces a blockchain-based insurance scheme that integrates parametric and collaborative elements. A pool of investors, referred to as surplus providers, locks funds…
Dedukti: a Logical Framework based on the -Calculus Modulo Theory
Ali Assaf, Guillaume Burel, Raphaël Cauderlier +7
Dedukti is a Logical Framework based on the -Calculus Modulo Theory. We show that many theories can be expressed in Dedukti: constructive and classical predicate logic, Simpl…
Fisher Market Model based Resource Allocation for 5G Network Slicing
Mandar Datar, Naresh Modina, Rachid El +1
Network slicing (NS) is a key technology in 5G networks that enables the customization and efficient sharing of network resources to support the diverse requirements of nextgenerat…
PKSpell: Data-Driven Pitch Spelling and Key Signature Estimation
Francesco Foscarin, Nicolas Audebert, Raphaël Fournier-S'Niehotta
We present PKSpell: a data-driven approach for the joint estimation of pitch spelling and key signatures from MIDI files. Both elements are fundamental for the production of a full…