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…

An important problem in Mineralogy, is to accomplish an adequate representation of a great amount of data coming from different geological environments, in order to characterize a particular geologic region in terms of its tectonic setting. With such Databases of…

Este artículo trata de la base de datos léxico-semántica del italiano, Simple_PLUS, y particularmente de su núcleo central: la red de relaciones léxico-semánticas. Este recurso lexical tiene como base Parole-Simple-Clips, un léxico electrónico con cuatro niveles de descripción, elaborado según…

This work describes two media converter prototypes for transmitting 10Mb/s & 100Mb/s Ethernet data over large core (1mm) Step-Index Polymer Optical Fiber (SI-POF). In terms of reach, both prototypes greatly outperform previously published results and current commercial media converters based…

DATA QUALITY IS DEGRADED DURING THE PROCESS OF EXTRACTING AND MERGING DATA FROM MULTIPLE HETEROGENEOUS SOURCES. BESIDES, USERS HAVE NO INFORMATION REGARDING THE QUALITY OF THE ACCESSED DATA. THIS DOCUMENT PRESENTS THE METHODS UTILIZED TO ASSESS DATA QUALITY AT MULTIPLE…

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…

Resumen de la tesis del autor para obtener el grado de Magister en Redes de Datos de la Facultad de Informática de la UNLP, dirigida por Luis Armando Marrone.

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…

El presente artículo describe un sistema de adquisición de datos para un medidor de deformación. Se presenta el análisis del diseño de la circuitería y la programación, los resultados obtenidos y finalmente algunas conclusiones.

Este artículo propone que para una eficaz gestión de los recursos hídricos es también necesario incluir variables sociológicas que ayuden a comprender y explicar la concepción y comportamiento social en torno al agua. Con esta intención se presenta una metodología…