A representation theorem for integral rigs and its applications to residuated lattices

We prove that every integral rig in Sets is (functorially) the rig of global sections of a sheaf of really local integral rigs. We also show that this representation result may be lifted to residuated integral rigs and then restricted to varieties of these. In particular, as a corollary, we obtain a representation theorem for pre-linear residuated join-semilattices in terms of totally ordered fibers. The restriction of this result to the level of MV-algebras coincides with the Dubuc-Poveda representation theorem.Comment: Manuscript submitted for publicatio

Reforming the urban water system in Santiago, Chile

In the late 1980s, Chile planned to privatize Santiago's sanitary works enterprise (EMOS) but instead reformed it under public ownership. It did so through a regulatory framework that mimicked the design of a concession with a private utility, setting tariffs that ensured at least a seven percent return on assets, creating a neutral regulator independent of ministry intervention, and giving EMOS the right to appeal the regulator's tariff decisions. This reform of Santiago's water system is often cited as a case of successful reform under public management. Comparing a comprehensive measure of welfare with a counterfactual example, the authors show surprisingly large gains from Santiago's reform, given the relatively good initial conditions. (The gains accrued largely to government and employees, but consumers benefited from improved service and coverage). Why did reform in Santiago improve water system performance, when similar reform attempts under public management in other countries failed? 1) Chile has a long tradition of private water rights, shaped by early recognition that water is a scarce and tradable private good. 2) The reformed regulatory framework was designed to attract private investors to the water system and to motivate them to operate efficiently and expand the system. 3) Chile's unique electoral institutions sustained this framework under state operation after democracy was restored. 4) Chile's strong bureaucratic norms and institutions (permitting little corruption), combined with Santiago's relatively low-cost water system, permitted prices that effectively increased quasi-rents for investing in the system while minimizing the risk of inefficiency or monopoly rents. The authors also address the question of why EMOS was reformed but not privatized, and what the costs of not privatizing were. The system was privatized in 1999, but the changes from privatization are likely to be less significant than those introduced in 1989-90.Decentralization,Water Conservation,Environmental Economics&Policies,Water and Industry,Water Supply and Systems,Water Supply and Sanitation Governance and Institutions,Water and Industry,Water Conservation,Environmental Economics&Policies,Town Water Supply and Sanitation

Sustainability Assessment of indicators for integrated water resources management

The scientific community strongly recommends the adoption of indicators for the evaluation and monitoring of progress towards sustainable development. Furthermore, international organizations consider that indicators are powerful decision-making tools. Nevertheless, the quality and reliability of the indicators depends on the application of adequate and appropriate criteria to assess them. The general objective of this study was to evaluate how indicators related to water use and management perform against a set of sustainability criteria. Our research identified 170 indicators related to water use and management. These indicators were assessed by an international panel of experts that evaluated whether they fulfil the four sustainability criteria: social, economic, environmental, and institutional. We employed an evaluation matrix that classified all indicators according to the DPSIR (Driving Forces, Pressures, States, Impacts and Responses) framework. A pilot study served to test and approve the research methodology before carrying out the full implementation. The findings of the study show that 24 indicators comply with the majority of the sustainability criteria; 59 indicators are bi-dimensional (meaning that they comply with two sustainability criteria); 86 are one-dimensional indicators (fulfilling just one of the four sustainability criteria) and one indicator do not fulfil any of the sustainability criteria.Postprint (author's final draft

Sustainable supply chain management in developing countries: An analysis of the literature

This is the author accepted manuscript. The final version is available from Elsevier via the DOI in this record.The purpose of this paper is to present an analysis of the academic literature addressing Sustainable Supply Chain Management (SSCM) practices in developing countries. A systematic literature review method was adopted; selected papers were reviewed from 2000 to 2016 that matched our inclusion criteria. Common themes across the literature were identified covering four factors regarding the adoption of SSCM: drivers, barriers, mechanisms and outcomes. A conceptual model integrating these factors and based on institutional theory was advanced to explain the adoption of sustainability practices along supply chains in developing countries. The paper concludes by identifying gaps in the literature that require further research on this topic, particularly for the context of developing countries. To the best of our knowledge this is the first paper reviewing the existing research on SSCM in developing countries that includes both social and environmental dimensions.We sincerely appreciate the financial support of Newton Caldas Institutional Link grant funded by British Council (grant no. 172727857). The paper is a result of the collaboration between University of Exeter, UK and University of Los Andes in Colombia

Interactive Medical Image Segmentation using Deep Learning with Image-specific Fine-tuning

Convolutional neural networks (CNNs) have achieved state-of-the-art performance for automatic medical image segmentation. However, they have not demonstrated sufficiently accurate and robust results for clinical use. In addition, they are limited by the lack of image-specific adaptation and the lack of generalizability to previously unseen object classes. To address these problems, we propose a novel deep learning-based framework for interactive segmentation by incorporating CNNs into a bounding box and scribble-based segmentation pipeline. We propose image-specific fine-tuning to make a CNN model adaptive to a specific test image, which can be either unsupervised (without additional user interactions) or supervised (with additional scribbles). We also propose a weighted loss function considering network and interaction-based uncertainty for the fine-tuning. We applied this framework to two applications: 2D segmentation of multiple organs from fetal MR slices, where only two types of these organs were annotated for training; and 3D segmentation of brain tumor core (excluding edema) and whole brain tumor (including edema) from different MR sequences, where only tumor cores in one MR sequence were annotated for training. Experimental results show that 1) our model is more robust to segment previously unseen objects than state-of-the-art CNNs; 2) image-specific fine-tuning with the proposed weighted loss function significantly improves segmentation accuracy; and 3) our method leads to accurate results with fewer user interactions and less user time than traditional interactive segmentation methods.Comment: 11 pages, 11 figure

CIAT research on improving livelihoods of smallholder coffee producers in Nicaragua

The results of CIAT’s studies have provided the scientific basis for the collaborative design and implementation of a series of CRS-led projects, also providing recommendations and lessons learned from each project into the proposal and implementation of the next. In this study, we specifically evaluate the short-term impacts of a project for the improvement of smallholder coffee producers’ livelihoods carried out in Nicaragua by CRS with collaboration from CIAT between 2011 and 2014. The project, called “BRIDGES: Bridges from Scarcity to Sufficiency’’ was the latest in a chain of interventions in Nicaragua led by CRS, and to which CIAT has contributed since 2009. Based on data collected in 2014 to help design and to assign treatment and control groups for a new CRS project (Resilience to Rust), which include information on BRIDGES participants, our findings show that participation in the BRIDGES project has increased months of adequate food provision (MAHFP) for project beneficiaries by 0.3 months, by increasing economic access to food via increased production. Participation in BRIDGES appears associated with an increase in bean yields, of about 230 kg per hectare, and in an increase of almost one income source, however these results are sensitive to different model specifications. Finally, participations in BRIDGES appears associated with a 6% reduction in household dependency from coffee income