The undecidability of arbitrary arrow update logic

Arbitrary Arrow Update Logic is a dynamic modal logic with a modality to quantify over arrow updates. Some properties of this logic have already been established, but until now it remained an open question whether the logic's satisfiability problem is decidable. Here, we show by a reduction of the tiling problem that the satisfiability problem of Arbitrary Arrow Update Logic is co-RE hard, and therefore undecidable

A Framework for analyzing socioeconomic, health and environmental impacts of wastewater use in agriculture in developing countries

Waste water management / Environmental degradation / Waterborne diseases / Water quality / Irrigation practices / Aquaculture / Economic analysis / Social aspects / Health / Environmental aspects / Agriculture / Developing countries / Policy

The evolution of the stellar populations in low surface brightness galaxies

We investigate the star formation history and chemical evolution of low surface brightness (LSB) disk galaxies by modelling their observed spectro-photometric and chemical properties using a galactic chemical and photometric evolution model incorporating a detailed metallicity depen dent set of stellar input data. For a large fraction of the LSB galaxies in our sample, observed properties are best explained by models incorporating an exponentially decreasing global star formation rate (SFR) ending at a present-day gas fraction (M_{gas}/(M_{gas}+M_{stars}) = 0.5 for a galaxy age of 14 Gyr. For some galaxies small amplitude star formation bursts are required to explain the contribution of the young (5-50 Myr old) stellar population to the galaxy integrated luminosity. This suggests that star formation has proceeded in a stochastic manner. The presence of an old stellar population in many late-type LSB galaxies suggests that LSB galaxies roughly follow the same evolutionary history as HSB galaxies, except at a much lower rate. In particular, our results imply that LSB galaxies do not form late, nor have a delayed onset of star formation, but simply evolve slowly.Comment: To be published in A&

Application of habitat thresholds in conservation: Considerations, limitations, and future directions

AbstractHabitat thresholds are often interpreted as the minimum required area of habitat, and subsequently promoted as conservation targets in natural resource policies and planning. Unfortunately, several recent reviews and messages of caution on the application of habitat thresholds in conservation have largely fallen on deaf ears, leading to a dangerous oversimplification and generalization of the concept. We highlight the prevalence of oversimplification/over-generalization of results from habitat threshold studies in policy documentation, the consequences of such over-generalization, and directions for habitat threshold studies that have conservation applications without risking overgeneralization. We argue that in order to steer away from misapplication of habitat thresholds in conservation, we should not focus on generalized nominal habitat values (i.e., amounts or percentages of habitat), but on the use of habitat threshold modeling for comparative exercises of area-sensitivity or the identification of environmental dangers. In addition, we should remain focused on understanding the processes and mechanisms underlying species responses to habitat change. Finally, studies could that focus on deriving nominal value threshold amounts should do so only if the thresholds are detailed, species-specific, and translated to conservation targets particular to the study area only

Assessment of Cryptosporidium in wastewater reuse for drinking water purposes: A case study for the city of Amsterdam, The Netherlands

Wastewater reuse is becoming increasingly important for supplementing drinking water supply needs and/or to reduce costs in many communities around the world. However, wastewater reuse can result in a potential transmission route for infectious agents. Therefore, the occurrence of Cryptosporidium was assessed in a treatment plant geared for the production of drinking water from wastewater effluent and the results were compared to those on an existing typical drinking water treatment plant operated by Waternet, the water cycle company of Amsterdam, The Netherlands, and its surrounding areas. The assessment was done using Monte-Carlo simulation and probability density functions to determine the occurrence of Cryptosporidium in raw surface water and wastewater effluent and the removal in different treatment steps. From the research conducted, it was concluded that under normal conditions, drinking water that meets Dutch drinking water quality standards could also be produced from treated wastewater effluent. However, additional redundancy should be built in to meet the standards under extreme operating conditions

Malaria and land use: a spatial and temporal risk analysis in Southern Sri Lanka

Malaria / Waterborne diseases / Disease vectors / Land use / Water use / GIS / Statistical analysis / Risks / Mapping / Public health / Sri Lanka / Uda Walawe / Thanamalvila / Embilipitiya