Ensuring the correctness of a given software component has become a crucial aspect in Software Engineering and the Model Checking technique provides a fully automated way to achieve this goal. In particular, the usage of Model Checking in formal languages…

The star model, broadly used in data warehouse modeling, is a logical model, so its representation is strongly dependent on the database technology used for its implementation, usually relational. The method recommended for designing a dimensional system would be the…

Numerical Taxonomy aims to group in clusters, using so-called structure analysis of operational taxonomic units (OTUs or taxons or taxa) through numerical methods. Clusters that consitute families was the purpose of this series of last projects.
Structural analysis, based on…

Descripción completa.

Most search methods in metric spaces assume that the topology of the object collection is reasonably regular. However, there exist nested metric spaces, where objects in the collection can be grouped into clusters or subspaces, in such a way that…

This paper focuses on prediction and prevention of seismic risk through a system for decision making. Data Warehousing and OLAP operations are applied, together with, data mining tools like association rules, decision trees and clustering to predict aspects such as…

Este trabajo aporta nuevas evidencias sobre el impacto de las reformas comerciales sobre los salarios. En primer lugar, se introduce un modelo de comercio que combina un mecanismo de fijación de salarios no competitivo debido a la existencia de sindicatos,…

One of the main concerns is the nature of the missing values. Let’s consider extremes for simplicity. If missing at random we have not to care about. But if missing shows structures that covariate with substantive variables we have to…

Los programas de pensiones latinoamericanos tienen baja cobertura. Utilizando paneles de registros administrativos de Argentina, Chile y Uruguay, caracterizamos las historias de contribución de la población. Construimos tres indicadores: densidad de cotización, tasas de transición y duración de los períodos…

El presente trabajo de grado, fruto de la investigación con el tema “Educación en
Valores a partir del Evangelio de Mateo. Propuesta de formación para los niños y niñas
de sexto y séptimo de Educación General Básica”, realizada en la…