Constraint Satisfaction with Counting Quantifiers

We initiate the study of constraint satisfaction problems (CSPs) in the presence of counting quantifiers, which may be seen as variants of CSPs in the mould of quantified CSPs (QCSPs). We show that a single counting quantifier strictly between exists^1:=exists and exists^n:=forall (the domain being of size n) already affords the maximal possible complexity of QCSPs (which have both exists and forall), being Pspace-complete for a suitably chosen template. Next, we focus on the complexity of subsets of counting quantifiers on clique and cycle templates. For cycles we give a full trichotomy -- all such problems are in L, NP-complete or Pspace-complete. For cliques we come close to a similar trichotomy, but one case remains outstanding. Afterwards, we consider the generalisation of CSPs in which we augment the extant quantifier exists^1:=exists with the quantifier exists^j (j not 1). Such a CSP is already NP-hard on non-bipartite graph templates. We explore the situation of this generalised CSP on bipartite templates, giving various conditions for both tractability and hardness -- culminating in a classification theorem for general graphs. Finally, we use counting quantifiers to solve the complexity of a concrete QCSP whose complexity was previously open

Recruiting patients to medical research: double blind randomised trial of "opt-in" versus "opt-out" strategies

Objective To evaluate the effect of opt-in compared with opt-out recruitment strategies on response rate and selection bias. Design Double blind randomised controlled trial. Setting Two general practices in England. Participants 510 patients with angina. Intervention Patients were randomly allocated to an opt-in (asked to actively signal willingness to participate in research) or opt-out (contacted repeatedly unless they signalled unwillingness to participate) approach for recruitment to an observational prognostic study of patients with angina. Main outcome measures Recruitment rate and clinical characteristics of patients. Results The recruitment rate, defined by clinic attendance, was 38% (96/252) in the opt-in arm and 50% (128/258) in the opt-out arm (P = 0.014). Once an appointment had been made, non-attendance at the clinic was similar (20% opt-in arm v 17% opt-out arm; P = 0.86). Patients in the opt-in arm had fewer risk factors (44% v 60%; P = 0.053), less treatment for angina (69% v 82%; P = 0.010), and less functional impairment (9% v 20%; P = 0.023) than patients in the opt-out arm. Conclusions The opt-in approach to participant recruitment, increasingly required by ethics committees, resulted in lower response rates and a biased sample. We propose that the opt-out approach should be the default recruitment strategy for studies with low risk to participants

Duct-lining materials and concepts

Acoustic characteristics evaluation of duct lining materials and design of acoustically absorptive aircraft inlets and fan duct

Optical guiding in meter-scale plasma waveguides

We demonstrate a new highly tunable technique for generating meter-scale low density plasma waveguides. Such guides can enable electron acceleration to tens of GeV in a single stage. Plasma waveguides are imprinted in hydrogen gas by optical field ionization induced by two time-separated Bessel beam pulses: The first pulse, a J_0 beam, generates the core of the waveguide, while the delayed second pulse, here a J_8 or J_16 beam, generates the waveguide cladding. We demonstrate guiding of intense laser pulses over hundreds of Rayleigh lengths with on axis plasma densities as low as N_e0=5x10^16 cm^-3

Locomotion in Response to Shifting Climate Zones: Not So Fast

Although a species’ locomotor capacity is suggestive of its ability to escape global climate change, such a suggestion is not necessarily straightforward. Species vary substantially in locomotor capacity, both ontogenetically and within/among populations, and much of this variation has a genetic basis. Accordingly, locomotor capacity can and does evolve rapidly, as selection experiments demonstrate. Importantly, even though this evolution of locomotor capacity may be rapid enough to escape changing climate, genetic correlations among traits (often due to pleiotropy) are such that successful or rapid dispersers are often limited in colonization or reproductive ability, which may be viewed as a trade-off. The nuanced assessment of this variation and evolution is reviewed for well-studied models: salmon, flying versus flightless insects, rodents undergoing experimental evolution, and metapopulations of butterflies. This work reveals how integration of physiology with population biology and functional genomics can be especially informative

Compaction dynamics in ductile granular media

Ductile compaction is common in many natural systems, but the temporal evolution of such systems is rarely studied. We observe surprising oscillations in the weight measured at the bottom of a self-compacting ensemble of ductile grains. The oscillations develop during the first ten hours of the experiment, and usually persist through the length of an experiment (one week). The weight oscillations are connected to the grain--wall contacts, and are directly correlated with the observed strain evolution and the dynamics of grain--wall contacts during the compaction. Here, we present the experimental results and characteristic time constants of the system, and discuss possible reasons for the measured weight oscillations.Comment: 11 pages, 14 figure

Assessment of the effectiveness of head only and back-of-the-head electrical stunning of chickens

The study assesses the effectiveness of reversible head-only and back-of-the-head electrical stunning of chickens using 130–950 mA per bird at 50 Hz AC