On twisted forms and relative algebraic K-theory

This paper introduces a new approach to the study of certain aspects of Galois module theory by combining ideas arising from the study of the Galois structure of torsors of finite group schemes with techniques coming from relative algebraic $K$-theory.Comment: Final version. To appear in the Proceedings of the London Mathematical Societ

Development and Verification of a Flight Stack for a High-Altitude Glider in Ada/SPARK 2014

SPARK 2014 is a modern programming language and a new state-of-the-art tool set for development and verification of high-integrity software. In this paper, we explore the capabilities and limitations of its latest version in the context of building a flight stack for a high-altitude unmanned glider. Towards that, we deliberately applied static analysis early and continuously during implementation, to give verification the possibility to steer the software design. In this process we have identified several limitations and pitfalls of software design and verification in SPARK, for which we give workarounds and protective actions to avoid them. Finally, we give design recommendations that have proven effective for verification, and summarize our experiences with this new language

The low frequency cutoff of ELF emissions

Extremely low and very low frequency radio noises observed by satellites in ionospher

The low frequency cutoff of ELF emissions Progress report, May 1968

Low frequency cutoff of extremely low radio frequency emission

The 2^-+ assignment for the X(3872)

Very recently the BaBar collaboration has put forward a claim that the X(3872) is not a 1^++ resonance, as most of the phenomenological work on the subject was relying on, but rather a 2^-+ one. We examine the consequences of this quantum number assignment for the solution of the X(3872) puzzle. The molecular interpretation appears less likely, and the conventional charmonium interpretation should be reconsidered. There are several well-known difficulties with this interpretation, to which we add a new one: the production cross section at CDF is predicted to be much smaller than that observed. We also confirm, using a relativistic string model, the conclusion from potential models that the mass of the state is not consistent with expectations. In the tetraquark interpretation the 2^-+ assignment implies a rich spectrum of partner states, although the X(3872) may be among the few which are narrow enough to be observable.Comment: 18 pages, 6 figures, 4 tables; minor style corrections. Version to appear in PR

A note on the comparison of three near infrared reflectance spectroscopy calibration strategies for assessing herbage quality of ryegrass

peer-reviewedPerennial ryegrass (n = 1,836), Italian ryegrass (n = 137) and hybrid ryegrass (n = 103) herbage was taken from harvested plots from the Irish national variety evaluation scheme and analysed for in vitro dry matter digestibility, water soluble carbohydrate concentration, crude protein concentration and buffering capacity. Spectral data were obtained using near infrared reflectance spectroscopy and three calibration strategies (global, species-specific or local) were utilised to relate the reference values to the spectral data. The local strategy generally provided the poorest estimation of herbage composition, with global and species-specific calibration strategies producing similarly accurate estimates of each quality trait. The higher accuracy and easier maintenance of the global strategy make it the recommended calibration method for analysing quality of ryegrass.Department of Agriculture, Food and the Marine Research Stimulus Fund (07 526

Cluster Winds Blow along Supercluster Axes

Within Abell galaxy clusters containing wide-angle tailed radio sources, there is evidence of a ``prevailing wind'' which directs the WAT jets. We study the alignment of WAT jets and nearby clusters to test the idea that this wind may be a fossil of drainage along large-scale supercluster axes. We also test this idea with a study of the alignment of WAT jets and supercluster axes. Statistical test neighbours indicate no alignment of WAT jets towards nearest clusters, but do indicate approximately 98% confidence in alignment with the long axis of the supercluster in which the cluster lies. We find a preferred scale for such superclusters of order 25 Mpc $h^{-1}$.Comment: Latex, 5 pages, with 5 postscript figures. To be published in MNRAS. Slight revisions to coincide with journal text. Linked to color image at http://kusmos.phsx.ukans.edu/~melott/images/A2634SUW.jp

Quantum size effect in Pb(100) films: the role of symmetry and implication for film growth

We show from density-functional calculations that Pb(100) thin films exhibit quantum size effect with a bilayer periodicity in film energies, film relaxations, and work functions, which originate from different symmetry of the stacking geometry of odd and even layer films. The bilayer periodicity of the film energy is argued to survive on a semiconductor substrate, which should allow the growth of ``magically'' thick even-layer Pb(100) films. Furthermore, it is found that the quantum well states in a simple metal film can be classified into $\sigma$-bonded and $\pi$-bonded states, which quantize independently