79 citations
- Universidad de la República de UruguayUY24 papers
- Universidad Politécnica de MadridES6 papers
- Johns Hopkins UniversityUS2 papers
- Universidad de MontevideoUY2 papers
- Universidade de São PauloBR2 papers
- Universidad Nacional de CórdobaAR2 papers
- Airbus (Germany)DE1 paper
- Association Clinique et Thérapeutique Infantile du Val de MarneFR1 paper
- California Institute of TechnologyUS1 paper
- Carnegie Mellon UniversityUS1 paper
- Centre National de la Recherche ScientifiqueFR1 paper
- Consejo de Formación en EducaciónUY1 paper
5 papers · 1 filter
A Novel Method for Curating Quanti-Qualitative Content
Alejandro Adorjan, Genoveva Vargas-Solar, Regina Motz
This paper proposes a Researcher-in-the-Loop (RITL) guided content curation approach for quanti-qualitative research methods that uses a version control system based on consensus.…
The short- and long-term determinants of fertility in Uruguay
Zuleika Ferre, Patricia Triunfo, José-Ignacio Antón
This paper examines the determinants of fertility among women at different stages of their reproductive lives in Uruguay. To this end, we employ time series analysis methods based…
A Formal Proof of the Strong Normalization Theorem for System T in Agda
Sebastián Urciuoli
We present a framework for the formal meta-theory of lambda calculi in first-order syntax, with two sorts of names, one to represent both free and bound variables, and the other fo…
Nominal Sets in Agda -- A Fresh and Immature Mechanization
Miguel Pagano, José E. Solsona
In this paper we present our current development on a new formalization of nominal sets in Agda. Our first motivation in having another formalization was to understand better nomin…
Novel approach for ranking DEMs: Copernicus DEM improves one arc second open global topography
Conrad Bielski, Carlos López-Vázquez, Carlos H. Grohmann +9
We present a practical approach to inter-compare a range of candidate digital elevation models (DEMs) based on pre-defined criteria and statistically sound ranking approach. The pr…