A geometric proof of the Kochen-Specker no-go theorem

We give a short geometric proof of the Kochen-Specker no-go theorem for non-contextual hidden variables models. Note added to this version: I understand from Jan-Aake Larsson that the construction we give here actually contains the original Kochen-Specker construction as well as many others (Bell, Conway and Kochen, Schuette, perhaps also Peres).Comment: This paper appeared some years ago, before the author was aware of quant-ph. It is relevant to recent developments concerning Kochen-Specker theorem

Estimation in a growth study with irregular measurement times

Between 1982 and 1988 a growth study was carried out at the Division of Pediatric Oncology of the University Hospital of Groningen. A special feature of the project was that sample sizes are small and that ages at entry may be very different. In addition the intended design was not fully complied with. This paper highlights some aspects of the statistical analysis which is based on (1) reference scores, (2) statistical procedures allowing for an irregular pattern of measurement times caused by missing data and shifted measurement times

Assessing the cumulative environmental effects of marine renewable energy developments: establishing common ground

Assessing and managing the cumulative impacts of human activities on the environment remains a major challenge to sustainable development. This challenge is highlighted by the worldwide expansion of marine renewable energy developments (MREDs) in areas already subject to multiple activities and climate change. Cumulative effects assessments in theory provide decision makers with adequate information about how the environment will respond to the incremental effects of licensed activities and are a legal requirement in many nations. In practise, however, such assessments are beset by uncertainties resulting in substantial delays during the licensing process that reduce MRED investor confidence and limit progress towards meeting climate change targets. In light of these targets and ambitions to manage the marine environment sustainably, reducing the uncertainty surrounding MRED effects and cumulative effects assessment are timely and vital. This review investigates the origins and evolution of cumulative effects assessment to identify why the multitude of approaches and pertinent research have emerged, and discusses key considerations and challenges relevant to assessing the cumulative effects of MREDs and other activities on ecosystems. The review recommends a shift away from the current reliance on disparate environmental impact assessments and limited strategic environmental assessments, and a move towards establishing a common system of coordinated data and research relative to ecologically meaningful areas, focussed on the needs of decision makers tasked with protecting and conserving marine ecosystems and services

The effects of acceleration stress on human workload and manual control

The effects of +Gz stress on operator task performance and workload were assessed. Subjects were presented a two dimensional maze and were required to solve it as rapidly as possible (by moving a light dot through it via a trim switch on a control stick) while under G-stress at levels from +1 Gz to +6 Gz. The G-stress was provided by a human centrifuge. The effects of this stress were assessed by two techniques; (1) objective performance measures on the primary maze-solving task, and (2) subjective workload measures obtained using the subjective workload assessment technique (SWAT). It was found that while neither moderate (+3 Gz) nor high (+5 Gz and +6 Gz) levels of G-stress affected maze solving performance, the high G levels did increase significantly the subjective workload of the maze task

Thin-film GaAs photovoltaic solar energy cells Final report

Thin film gallium arsenide photovoltaic solar cell

Thin film GaAs photovoltaic solar energy cells

Fabrication process for thin film gallium arsenide photovoltaic solar energy cell

Fibrational induction meets effects

This paper provides several induction rules that can be used to prove properties of effectful data types. Our results are semantic in nature and build upon Hermida and Jacobs’ fibrational formulation of induction for polynomial data types and its extension to all inductive data types by Ghani, Johann, and Fumex. An effectful data type μ(TF) is built from a functor F that describes data, and a monad T that computes effects. Our main contribution is to derive induction rules that are generic over all functors F and monads T such that μ(TF) exists. Along the way, we also derive a principle of definition by structural recursion for effectful data types that is similarly generic. Our induction rule is also generic over the kinds of properties to be proved: like the work on which we build, we work in a general fibrational setting and so can accommodate very general notions of properties, rather than just those of particular syntactic forms. We give examples exploiting the generality of our results, and show how our results specialize to those in the literature, particularly those of Filinski and Støvring

Zeeman Slowers for Strontium based on Permanent Magnets

We present the design, construction, and characterisation of longitudinal- and transverse-field Zeeman slowers, based on arrays of permanent magnets, for slowing thermal beams of atomic Sr. The slowers are optimised for operation with deceleration related to the local laser intensity (by the parameter $\epsilon$), which uses more effectively the available laser power, in contrast to the usual constant deceleration mode. Slowing efficiencies of up to $\approx$ $18$ $$ are realised and compared to those predicted by modelling. We highlight the transverse-field slower, which is compact, highly tunable, light-weight, and requires no electrical power, as a simple solution to slowing Sr, well-suited to spaceborne application. For $^{88}$Sr we achieve a slow-atom flux of around $6\times 10^9$ atoms$\,$s$^{-1}$ at $30$ ms$^{-1}$, loading approximately $5\times 10^8$ atoms in to a magneto-optical-trap (MOT), and capture all isotopes in approximate relative natural abundances

Progress in thin film GaAs solar cells

Solar cells using polycrystalline films of gallium arsenid