Zero-One Designs Produce Small Hard SAT Instances

Some basics of combinatorial block design are combined with certain constraint satisfaction problems of interest to the satisfiability community. The paper shows how such combinations lead to satisfiability problems, and shows empirically that these are some of the smallest very hard satisfiability problems ever constructed. Partially balanced (0,1) designs (PB01Ds) are introduced as an extension of balanced incomplete block designs (BIBDs) and (0,1) designs. Also, (0,1) difference sets are introduced as an extension of certain cyclical difference sets. Constructions based on (0,1) difference sets enable generation of PB01Ds over a much wider range of parameters than is possible for BIBDs. Building upon previous work of Spence, it is shown how PB01Ds lead to small, very hard, unsatisfiable formulas. A new three-dimensional form of combinatorial block design is introduced, and leads to small, very hard, satisfiable formulas. The methods are validated on solvers that performed well in the SAT 2009 and earlier competitions.

Direct, positive feedbacks produce instability in models of interrelationships among soil structure, plants and arbuscular mycorrhizal fungi

Current conceptual models of reciprocal interactions linking soil structure, plants and arbuscular mycorrhizal fungi emphasise positive feedbacks among the components of the system. However, dynamical systems with high dimensionality and several positive feedbacks (i.e. mutualism) are prone to instability. Further, organisms such as arbuscular mycorrhizal fungi (AMF) are obligate biotrophs of plants and are considered major biological agents in soil aggregate stabilization. With these considerations in mind, we developed dynamical models of soil ecosystems that reflect the main features of current conceptual models and empirical data, especially positive feedbacks and linear interactions among plants, AMF and the component of soil structure dependent on aggregates. We found that systems become increasingly unstable the more positive effects with Type I functional response (i.e., the growth rate of a mutualist is modified by the density of its partner through linear proportionality) are added to the model, to the point that increasing the realism of models by adding linear effects produces the most unstable systems. The present theoretical analysis thus offers a framework for modelling and suggests new directions for experimental studies on the interrelationship between soil structure, plants and AMF. Non-linearity in functional responses, spatial and temporal heterogeneity, and indirect effects can be invoked on a theoretical basis and experimentally tested in laboratory and field experiments in order to account for and buffer the local instability of the simplest of current scenarios. This first model presented here may generate interest in more explicitly representing the role of biota in soil physical structure, a phenomenon that is typically viewed in a more process- and management-focused context. (C) 2011 Elsevier Ltd. All rights reserved.

Hybrid Organic–Inorganic Polyoxometalates: Functionalization of VIV/ VV Nanosized Clusters to Produce Molecular Capsules

Functionalization of polyoxovanadate clusters using phosphonate and arsonate ligands results in molecular capsules (see structure; green V, purple P, red O, black C). Through the use of extended homologous ligands, these hybrid organic-inorganic capsules can be successively elongated into tubular molecules.

Potential impacts of climate change on veterinary medicinal residues in livestock produce: An island of Ireland perspective

Residues of veterinary medicines are a food safety issue regulated by European legislation. The occurrence of animal diseases necessitating application of veterinary medicines is significantly affected by global and local climate changes. This review assesses potential impacts of climate change on residues in food produced on the island of Ireland. Use of various classes of veterinary drugs in light of predicted local climate change is reviewed with particular emphasis on anthelmintic drugs and consideration is given to residues accumulating in the environment. Veterinary medicine use is predicted to increase as disease burdens increase due to varied climate effects. Locally relevant mitigation and adaptation strategies are suggested to ensure climate change does not adversely affect food safety via increasing drug residues.

Modification of Fluorescent Photoinduced Electron Transfer (PET) Sensors/Switches To Produce Molecular Photo-Ionic Triode Action

The fluorophore-spacer₁-receptor₁-spacer₂-receptor₂ system (where receptor₂ alone is photoredox-inactive) shows ionically tunable proton-induced fluorescence off-on switching, which is reminiscent of thermionic triode behavior. This also represents a new extension to modular switch systems based on photoinduced electron transfer (PET) towards the emulation of analogue electronic devices.

Arsenic Speciation and Localization in Horticultural Produce Grown in a Historically Impacted Mining Region

A field and market basket study (similar to 1300 samples) of locally grown fruits and vegetables from historically mined regions of southwest (SW) England (Cornwall and Devon), and as reference, a market basket study of similarly locally grown produce from the northeast (NE) of Scotland (Aberdeenshire) was conducted to determine the concentration of total and inorganic arsenic present in produce from these two geogenically different areas of the U.K. On average 98.5% of the total arsenic found was present in the inorganic form. For both the market basket and the field survey, the highest total arsenic was present in open leaf structure produce (i.e., kale, chard, lettuce, greens, and spinach) being most likely to soil/dust contamination of the open leaf structure. The concentration of total arsenic in potatoes, swedes, and carrots was lower in peeled produce compared to unpeeled produce. For baked potatoes, the concentration of total arsenic in the skin was higher compared to the total arsenic concentration of the potato flesh, this difference in localization being confirmed by laser ablation inductively coupled plasma mass spectroscopy (LA-ICP-MS). For all above ground produce (e.g., apples), peeling did not have a significant effect on the concentration of total arsenic present.

Fractal species distributions do not produce power-law species-area relationships

We derive the species-area relationship (SAR) expected from an assemblage of fractally distributed species. If species have truly fractal spatial distributions with different fractal dimensions, we show that the expected SAR is not the classical power-law function, as suggested recently in the literature. This analytically derived SAR has a distinctive shape that is not commonly observed in nature: upward-accelerating richness with increasing area (when plotted on log-log axes). This suggests that, in reality, most species depart from true fractal spatial structure. We demonstrate the fitting of a fractal SAR using two plant assemblages (Alaskan trees and British grasses). We show that in both cases, when modelled as fractal patterns, the modelled SAR departs from the observed SAR in the same way, in accord with the theory developed here. The challenge is to identify how species depart from fractality, either individually or within assemblages, and more importantly to suggest reasons why species distributions are not self-similar and what, if anything, this can tell us about the spatial processes involved in their generation.

Cadmium and lead in vegetable and fruit produce selected from specific regional areas of the UK

Cadmium and lead were determined in fruit and vegetable produce (~1300 samples) collected from a field and market basket study of locally grown produce from the South-West of Britain (Devon and Cornwall). These were compared with similarly locally grown produce from the North-East of Britain (Aberdeenshire). The concentrations of cadmium and lead in the market basket produce were compared to the maximum levels (ML) set by the European Union (EU). For cadmium 0.2% of the samples exceeded the ML, and 0.6% of the samples exceeded the ML for lead. The location of cadmium and lead in potatoes was performed using laser ablation ICP-MS. All tested samples exhibited higher lead concentrations, and most exhibited increased concentrations of cadmium in the potato skin compared to the flesh. The concentrations of cadmium and lead found in fruits and vegetables sampled during this study do not increase concern about risk to human health.

Failure to produce an anti-poverty strategy: The Committee on the Administration’s Application [2015] NIQB 59, June 30, 2015

This is a note on the Northern Ireland High Court decision of 30 June 2015 that the Northern Ireland Executive had acted unlawfully in failing to fulfil its statutory duty to adopt a strategy setting out proposals for tackling poverty, social exclusion and patterns of deprivation based on objective need.