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…

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.

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…

The fact that nutrition affects education outcomes is accepted by researchers and by policy makers. It is simple. Children cannot learn if they are hungry. The validity of the empirical approaches used to show a causal relationship from nutrition to…

This book provides an excellent foundation for the principles of database and data management. It explains some of the more difficult concepts fairly well. The book is meant for an introductory course in database management which is usually required as…

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…

Este trabajo documenta el impacto de las recientes crisis en Argentina sobre diferentes aspectos de la pobreza, con particular atención en la crisis económica de 2002. Discutimos la metodología de medición de pobreza en Argentina y utilizamos una regla simple…

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.

Most information in science, engineering and business has been recorded in form of text. This information can be found online in the World-Wide-Web. One of the major tools to support information access are the search engines which usually use information…