55 citations
- Consejo Nacional de Investigaciones Científicas y TécnicasAR29 papers
- Universidad de Buenos AiresAR26 papers
- Centre National de la Recherche ScientifiqueFR8 papers
- Universidad de la República de UruguayUY7 papers
- Université de LorraineFR7 papers
- Laboratoire Lorrain de Recherche en Informatique et ses ApplicationsFR6 papers
- Institut national de recherche en sciences et technologies du numériqueFR4 papers
- Centre Inria de SaclayFR3 papers
- École PolytechniqueFR3 papers
- Consejo Superior de Investigaciones CientíficasES2 papers
- Délégation Paris 7FR2 papers
- École Normale Supérieure Paris-SaclayFR2 papers
5 papers · 1 filter
A fundamental frequency estimation method for tonal sounds inspired on bird song studies
C. Jarne
A fast implementation of fundamental frequency estimation is presented in this work. The algorithm is based on a frequency-domain approach. It was mainly develop for tonal sounds a…
Confluence in Probabilistic Rewriting
Alejandro Díaz-Caro, Guido Martínez
Driven by the interest of reasoning about probabilistic programming languages, we set out to study a notion of unicity of normal forms for them. To provide a tractable proof method…
Confidence Intervals and Hypothesis Testing for the Permutation Entropy with an application to Epilepsy
Francisco Traversaro, Francisco Redelico
In nonlinear dynamics, and to a lesser extent in other fields, a widely used measure of complexity is the Permutation Entropy. But there is still no known method to determine the a…
A lambda calculus for density matrices with classical and probabilistic controls
Alejandro Díaz-Caro
In this paper we present two flavors of a quantum extension to the lambda calculus. The first one, , follows the approach of classical control/quantum data, where the quantum…
Retractions in Intersection Types
Mario Coppo, Mariangiola Dezani-Ciancaglini, Alejandro Díaz-Caro +2
This paper deals with retraction - intended as isomorphic embedding - in intersection types building left and right inverses as terms of a lambda calculus with a bottom constant. T…