Este documento explora la relación entre la distribución del ingreso, las instituciones y los conflictos en América Latina y el Caribe mediante el uso de una nueva base de datos de estadísticas de la distribución del ingreso calculado a partir…

AbstractDue to aspect-oriented mechanisms explosion, their concepts arrive to distributed systems tackling concepts as security, persistence, or synchronization, especially in middleware approaches. Regarding distributed databases, the research has been focused mainly on object-oriented databases. Based on the great impact of…

The datased contains three groups of data: (1) some basic information on a sample of both quantitative and qualitative comparative politics articles that appeared in six prominent English-languaje journals between 1989 and 2007: their country coverage, their regional coverage, and…

Este artículo documenta los principales patrones y tendencias de las definiciones alternativas de la informalidad laboral en América Latina y el Caribe, mediante la utilización de una gran base de datos de más de 100 encuestas de hogares para el…

280 niños del primer grado de primaria desarrollaron una serie de tareas de lectura y escritura (las morfologías de las tareas) de diferente grado de complejidad (sus niveles funcionales). Los niveles de complejidad de las tareas se pre-establecieron como funciones…

280 niños del primer grado de primaria desarrollaron una serie de tareas de lectura y escritura (las morfologías de las tareas) de diferente grado de complejidad (sus niveles funcionales). Los niveles de complejidad de las tareas se pre-establecieron como funciones…

Este documento presenta y discute un conjunto de estadísticas enfocadas a caracterizar el grado de polarización económica en los países de América Latina y el Caribe (LAC). El estudio se basa en una base de datos de encuestas de hogares…

En este artículo presentamos el sistema AMSABEL, un sistema de acceso a información basado en lenguaje natural. AMSABEL proporciona acceso al contenido de una base de datos relacional, a partir de consultas realizadas en lenguaje natural, tanto en castellano como…

This document describes a research and development project - Semantic Web and Cooperative Problem Solving for Online Communities of Practice. The aim of the project is to build a system supporting Cooperative Problem Solving within the framework of online Communities…

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…