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.

Anxiolytic-like effects observed in rats exposed to the elevated zero-maze following treatment with 5-HT2/5-HT3/5-HT4 ligands

The present study examined the effects of administering selective 5-HT antagonists and agonists to rats tested in the elevated zero-maze (EZM) model of anxiety. The EZM paradigm has advantages over the elevated plus-maze (EPM) paradigm with respect to measuring anxiety, yet has been utilized less frequently. Three experiments were conducted each with a diazepam control (0.25, 0.5 and 0.75 mg/kg). In the first experiment, we administered the 5-HT_2C antagonist RS 102221 (0.5, 1.0, and 2.0 mg/kg) and 5-HT_2C agonist MK-212 (0.25, 0.5 and 0.75 mg/kg); in the second experiment, we administered the 5-HT₃ antagonist Y-25130 (0.1, 1.0 and 3.0 mg/kg) and 5-HT₃ agonist SR 57227A (0.1, 1.0 and 3.0 mg/kg), and in the third experiment, we administered the 5-HT₄ antagonist RS 39604 (0.01, 0.1, 1.0 mg/kg) and 5-HT₄ agonist RS 67333 (0.01, 0.1 and 0.5 mg/kg). The administration of 5-HT_2/3/4 subtype antagonists all generated behavioral profiles indicative of anxiolytic-like effects in the EZM, which was apparent from examination of both traditional and ethological measures. While little effect was observed from 5-HT₂ and 5-HT₃ agonists, the 5-HT₄ agonist RS 67333 was found to produce a paradoxical anxiolytic-like effect similar to that produced by the 5-HT₄ antagonist RS 39604. We conclude by discussing the implications of these findings.

Impact of sample preparation on mineralogical analysis of zero-valent iron reactive barrier materials

Permeable reactive barriers (PRBs) of zero-valent iron (Fe⁰) are increasingly being used to remediate contaminated ground water. Corrosion of Fe⁰ filings and tbe formation of precipitates can occur when the PRB material comes in contact with ground water and may reduce the lifespan and effectiveness of the barrier. At present, there are no routine procedures for preparing and analyzing the mineral precipitates from Fe⁰ PRB material. These procedures are needed because mineralogical composition of corrosion products used to interpret the barrier processes can change with iron oxidation and sample preparation. The objectives of this study were (i) to investigate a method of preparing Fe⁰ reactive barrier material for mineralogical analysis by X-ray diffraction (XRD), and (ii) to identify Fe mineral phases and rates of transformations induced by different mineralogical preparation techniques. Materials from an in situ Fe⁰ PRB were collected by undisturbed coring and processed for XRD analysis after different times since sampling for three size fractions and by various drying treatments. We found that whole-sample preparation for analysis was necessary because mineral precipitates occurred within the PRB material in different size fractions of the samples. Green rusts quickly disappeared from acetone-dried samples and were not present in air-dried and oven-dried samples Maghemite/magnetite content increased over time and in oven-dried samples, especially after heating to 105°C. We conclude that care must be taken during sample preparation of Fe⁰ PRB material, especially for detection of green rusts, to ensure accurate identification of minerals present within the barrier system.

Topographical optimisation of single-storey non-domestic steel framed buildings using photovoltaic panels for net-zero carbon impact

A methodology is presented that combines a multi-objective evolutionary algorithm and artificial neural networks to optimise single-storey steel commercial buildings for net-zero carbon impact. Both symmetric and asymmetric geometries are considered in conjunction with regulated, unregulated and embodied carbon. Offsetting is achieved through photovoltaic (PV) panels integrated into the roof. Asymmetric geometries can increase the south facing surface area and consequently allow for improved PV energy production. An exemplar carbon and energy breakdown of a retail unit located in Belfast UK with a south facing PV roof is considered. It was found in most cases that regulated energy offsetting can be achieved with symmetric geometries. However, asymmetric geometries were necessary to account for the unregulated and embodied carbon. For buildings where the volume is large due to high eaves, carbon offsetting became increasingly more difficult, and not possible in certain cases. The use of asymmetric geometries was found to allow for lower embodied energy structures with similar carbon performance to symmetrical structures.

Topographical optimisation of single-storey non-domestic steel framed buildings using photovoltaic panels for zero carbon impact

The optimisation is based on a combination of neural networks and evolutionary algorithm. It has selected buildings with different midpoint configurations with zero carbon impacts. With operational energy included the structures could be offset with asymmetry.

Zero-Reflectance Metafilms for Optimal Plasmonic Sensing

An ultrathin layer of metasurface that almost completely annihilates the reflection of light (>99.5%) over a wide range of incident angles (>80°) is experimentally demonstrated. Such zero-reflectance metafilms exhibit optimal performance for plasmonic sensing, since their sensitivity to changes of local refractive index is far superior to films of nonzero reflectance. Since both main detection mechanisms tracking intensity changes and wavelength shifts are improved, zero-reflectance metafilms are optimal for localized surface plasmon resonance molecular sensing. Such nanostructures have significant opportunities in many areas, including enhanced light harvesting as well as in developing high-performance molecular sensors for a wide range of chemical and biomedical applications.