PEPSI: Privacy-Enhanced Participatory Sensing Infrastructure.

Participatory Sensing combines the ubiquity of mobile phones with sensing capabilities of Wireless Sensor Networks. It targets pervasive collection of information, e.g., temperature, traffic conditions, or health-related data. As users produce measurements from their mobile devices, voluntary participation becomes essential. However, a number of privacy concerns -- due to the personal information conveyed by data reports -- hinder large-scale deployment of participatory sensing applications. Prior work on privacy protection, for participatory sensing, has often relayed on unrealistic assumptions and with no provably-secure guarantees. The goal of this project is to introduce PEPSI: a Privacy-Enhanced Participatory Sensing Infrastructure. We explore realistic architectural assumptions and a minimal set of (formal) privacy requirements, aiming at protecting privacy of both data producers and consumers. We design a solution that attains privacy guarantees with provable security at very low additional computational cost and almost no extra communication overhead.

Valoración de Indicadores de calidad para el diseño e implementación de tecnologías de manejo en Luvisoles de la zona norte de la provincia de Las Tunas, Cuba

La calidad del suelo es una herramienta de evaluación que puede facilitar la adaptación de prácticas de manejo que promuevan sistemas agropecuarios sostenibles. La investigación de este trabajo se inició con un diagnóstico participativo en 12 comunidades rurales de la provincia de Las Tunas en el año 2009 en el cual los productores identificaron los puntos críticos de calidad de los suelos de la región y sirvieron de punta de partida para seleccionar las variables físicas, químicas y biológicas a determinar en cinco sistemas de uso agropecuario (arboleda, pasto natural, pasto cultivado y dos sistemas silvopastoriles) en la zona La Veguita, municipio Las Tunas. El sistema arboleda se utilizó como referencia de las propiedades naturales del suelo. El pasto natural se distingue por el desarrollo de especies de baja productividad, sin embargo el pasto cultivado está representado por Pennisetum purpureum vc CUBA CT-115, y constituye una contribución a la tecnología de bancos de biomasa, para utilizarse en el pastoreo durante la seca. Los sistemas silvopastoriles están representados por Leucaena leucocephala Lam. en franjas y Panicum maximun vc. Likoni, los que se diferencian en su diseño, manejo y propiedades mineralógicas. El objetivo fundamental fue valorar indicadores de calidad de los suelos Luvisoles háplicos sobre granitoides, para diseñar e implementar tecnologías de manejo que permitan incrementar la capacidad agroproductiva de los suelos. Mediante el análisis de componentes principales se obtuvo un conjunto mínimo de indicadores físicos, químicos y biológicos que proporcionaron información útil referente a los procesos edáficos y se integraron para determinar un índice de calidad. En el sistema de uso, caracterizado por el pasto cultivado (Pennisetum purpureum) se estableció, en parcelas experimentales, un ensayo de corta duración, en el que se comparó el laboreo tradicional y el laboreo sin inversión del prisma, con y sin aplicación de compost. En ambos sistemas de labranza se evaluó el desarrollo del cultivo e indicadores de calidad del suelo. Los resultados mostraron que del conjunto de indicadores edáficos estudiados se seleccionaron 6 en los que la capacidad de intercambio catiónico, materia orgánica, potasio intercambiable, contenido de arena, densidad aparente y biomasa de lombrices explicaron la mayor variabilidad y sirvieron de base para evaluar la calidad de estos suelos. Se establecieron valores umbrales de referencia de indicadores de calidad, que permitirán evaluar y monitorear los sistemas de uso y manejo de la región. El sistema Silvopastoril 2 resultó el de mayor índice de calidad de los suelos tomando como referencia la arboleda por su condición natural. El manejo silvopastoril influyó predominantemente en mejores resultados productivos pero las características edáficas principalmente físicas, deben definir su diseño y manejo. El sistema de pastos cultivados con Pennisetum purpureum vc CUBA CT 115, alcanzó la mayor acumulación de carbono orgánico, sin embargo, el manejo limitó su calidad física y el funcionamiento productivo del sistema. De manera general los sistemas de uso no garantizan un índice de la calidad del suelo, puesto que se ve afectado por las propiedades edáficas y las prácticas de manejo. En el ámbito biológico, las lombrices constituyeron los organismos más numerosos con predominio en los sistemas silvopastoriles y arboleda. Los valores superiores de densidad y biomasa de oligoquetos y mayor diversidad de otros individuos de la macrofauna, indican que la presencia de árboles en los pastizales de gramínea potencia y diversifican las comunidades de macroinvertebrados del suelo. El sistema de labranza sin inversión del prisma propicia una mejor calidad física del suelo, manteniendo el carbono e incrementando los rendimientos del Penisetum purpureum cv CUBA CT 115. La labranza tradicional, a base de aradura y grada, afecta a los contenidos de materia orgánica en el corto plazo y mantiene capas compactas en el horizonte subyacente, además influye desfavorablemente al flujo del aire, agua y al desarrollo radical de los pastos. La aplicación de compost favoreció mejores resultados productivos en ambas tecnologías de manejo. Los resultados alcanzados recomiendan la implantación de tecnologías de manejo conservacionistas y la aplicación de materiales orgánicos que restituyan los elementos nutricionales requeridos por los pastos, por lo que no se justifica la continuidad del uso de prácticas tradicionales de laboreo con inversión del prisma que se realizan actualmente. ABSTRACT The soil quality is an assessment tool, which could facilitate the adaptation of management practices that promote sustainable agricultural systems. The present investigation was carried out with a participatory diagnostic in twelve rural communities from Las Tunas province in 2009, in which producers identified the critical soil quality points of region and served as a starting point to select the physical, chemical and biological variables, in order to determine on five agricultural used systems (grove, natural grass, cultivated grass and two silvopastoral systems) in La Veguita zone from municipality Las Tunas. The system grove was used as reference of natural soil properties. The natural grass is distinguished by the development of low-productivity species, however the cultivated grass is represented by Pennisetum purpureum vc CUBA CT-115, and is a contribution to the biomass banks technology, in order to use in grazing during the dry season. The silvopastoral systems are represented by Leucaena leucocephala Lam. in stripes and Panicum maximum cv. Likoni, which differ in their design, handling and mineralogical properties. The main aim of this study was to assess the quality indicators for haplic Luvisols on granitoids for designing and implementing management technologies in order to increase the agroproductive capacity of soils. A minimal set of physical, chemical and biological indicators by Principal Component Analysis was obtained, which provided some useful information regarding soil processes and their integration for determining an index of quality. In the use system, characterized for the cultivated grass (Pennisetum purpureum) a short term assay in experimental plots was established, where the traditional and prism without inversion tillage were compared with and without compost application. In both tillage systems were evaluated the crop development and soil quality indicators. The results showed that the studied soil indicators set, six were selected, specifically the ones with exchangeable cationic capacity, organic matter, interchangeable potassium, sand content, bulk density and earthworm biomass, which explained the higher variability and served as the basis for evaluating the soil quality. The Reference threshold values of quality indicators for evaluating and monitoring the use and management systems from the region were established. The silvopastoral system 2 had the highest quality soil index, taking of reference the grove system for its natural condition. The silvopastoral management influenced on better productive results, but the soil characteristics, particularly the physical properties to be defined its design and management. However, the cultivated grass system with Pennisetum purpureum vc CUBA CT 115, reached the greatest accumulation of organic carbon. However, the management limited its physical quality and productive performance of the system. In addition, the use systems do not guarantee an index of soil quality, since it is affected by soil properties and management practices. From the biological aspect, the earthworms are the most numerous organisms on the silvopastoral systems and grove. The higher values of oligochaetes biomass and density and the greater diversity of other organisms from macrofauna indicate that the tree presence on the pasture grasses allows enhancing and diversifying soil macro invertebrate communities. The non-inversion prism tillage system provides a better physical quality of soil, maintaining the carbon content and increasing the yields of Penisetum purpureum vc CUBA CT 115. The traditional tillage, using the plowing and harrowing affects the organic matter content in a short term and keeps on compact layers of underlying horizon, and adversely affects the air and water flow, and pasture radical development. The compost application favored the best production results in both management technologies. The results obtained recommend the implementation of conservation management technologies and the application of organic materials that restore the nutritional elements required by the pasture, so it does not justify the continued use of traditional tillage practices with prism investment that are currently being made.

Design and implementation of a modular interface to integrate CLP and tabled execution

Logic programming (LP) is a family of high-level programming languages which provides high expressive power. With LP, the programmer writes the properties of the result and / or executable specifications instead of detailed computation steps. Logic programming systems which feature tabled execution and constraint logic programming have been shown to increase the declarativeness and efficiency of Prolog, while at the same time making it possible to write very expressive programs. Tabled execution avoids infinite failure in some cases, while improving efficiency in programs which repeat computations. CLP reduces the search tree and brings the power of solving (in)equations over arbitrary domains. Similarly to the LP case, CLP systems can also benefit from the power of tabling. Previous implementations which take ful advantage of the ideas behind tabling (e.g., forcing suspension, answer subsumption, etc. wherever it is necessary to avoid recomputation and terminate whenever possible) did not offer a simple, well-documented, easy-to-understand interface. This would be necessary to make the integratation of arbitrary CLP solvers into existing tabling systems possible. This clearly hinders a more widespread usage of the combination of both facilities. In this thesis we examine the requirements that a constraint solver must fulfill in order to be interfaced with a tabling system. We propose and implement a framework, which we have called Mod TCLP, with a minimal set of operations (e.g., entailment checking and projection) which the constraint solver has to provide to the tabling engine. We validate the design of Mod TCLP by a series of use cases: we re-engineer a previously existing tabled constrain domain (difference constraints) which was connected in an ad-hoc manner with the tabling engine in Ciao Prolog; we integrateHolzbauer’s CLP(Q) implementationwith Ciao Prolog’s tabling engine; and we implement a constraint solver over (finite) lattices. We evaluate its performance with several benchmarks that implement a simple abstract interpreter whose fixpoint is reached by means of tabled execution, and whose domain operations are handled by the constraint over (finite) lattices, where TCLP avoids recomputing subsumed abstractions.---ABSTRACT---La programación lógica con restricciones (CLP) y la tabulación son extensiones de la programación lógica que incrementan la declaratividad y eficiencia de Prolog, al mismo tiempo que hacen posible escribir programasmás expresivos. Las implementaciones anteriores que integran completamente ambas extensiones, incluyendo la suspensión de la ejecución de objetivos siempre que sea necesario, la implementación de inclusión (subsumption) de respuestas, etc., en todos los puntos en los que sea necesario para evitar recomputaciones y garantizar la terminación cuando sea posible, no han proporcionan una interfaz simple, bien documentada y fácil de entender. Esta interfaz es necesaria para permitir integrar resolutores de CLP arbitrarios en el sistema de tabulación. Esto claramente dificulta un uso más generalizado de la integración de ambas extensiones. En esta tesis examinamos los requisitos que un resolutor de restricciones debe cumplir para ser integrado con un sistema de tabulación. Proponemos un esquema (y su implementación), que hemos llamadoMod TCLP, que requiere un reducido conjunto de operaciones (en particular, y entre otras, entailment y proyección de almacenes de restricciones) que el resolutor de restricciones debe ofrecer al sistema de tabulación. Hemos validado el diseño de Mod TCLP con una serie de casos de uso: la refactorización de un sistema de restricciones (difference constraints) previamente conectado de un modo ad-hoc con la tabulación de Ciao Prolog; la integración del sistema de restricciones CLP(Q) de Holzbauer; y la implementación de un resolutor de restricciones sobre retículos finitos. Hemos evaluado su rendimiento con varios programas de prueba, incluyendo la implementación de un intérprete abstracto que alcanza su punto fijo mediante el sistema de tabulación y en el que las operaciones en el dominio son realizadas por el resolutor de restricciones sobre retículos (finitos) donde TCLP evita la recomputación de valores abstractos de las variables ya contenidos en llamadas anteriores.