Prospects for Extrasolar "Earths" in Habitable Zones

We have shown that Earth-mass planets could survive in variously restricted regions of the habitable zones (HZs) of most of a sample of nine of the 102 main-sequence exoplanetary systems confirmed by 19 November 2003. In a preliminary extrapolation of our results to the other systems, we estimate that roughly a half of these systems could have had an Earth-mass planet confined to the HZ for at least the most recent 1000 Ma. The HZ migrates outwards during the main-sequence lifetime, and so this proportion varies with stellar age. About two thirds of the systems could have such a planet confined to the HZ for at least 1000 Ma at sometime during the main-sequence lifetime. Clearly, these systems should be high on the target list for exploration for terrestrial planets. We have reached this conclusion by launching putative Earth-mass planets in various orbits and following their fate with mixed-variable symplectic and hybrid integrators. Whether the Earth-mass planets could form in the HZs of the exoplanetary systems is an urgent question that needs further study.Comment: 7 pages, 2 figure

Designing Secure Ethereum Smart Contracts: A Finite State Machine Based Approach

The adoption of blockchain-based distributed computation platforms is growing fast. Some of these platforms, such as Ethereum, provide support for implementing smart contracts, which are envisioned to have novel applications in a broad range of areas, including finance and Internet-of-Things. However, a significant number of smart contracts deployed in practice suffer from security vulnerabilities, which enable malicious users to steal assets from a contract or to cause damage. Vulnerabilities present a serious issue since contracts may handle financial assets of considerable value, and contract bugs are non-fixable by design. To help developers create more secure smart contracts, we introduce FSolidM, a framework rooted in rigorous semantics for designing con- tracts as Finite State Machines (FSM). We present a tool for creating FSM on an easy-to-use graphical interface and for automatically generating Ethereum contracts. Further, we introduce a set of design patterns, which we implement as plugins that developers can easily add to their contracts to enhance security and functionality

International Space Station Payload Training Overview

This paper describes payload crew training-related activities performed by NASA and the U.S. Payload Developer (PD) community for the International Space Station (ISS) Program. It describes how payloads will be trained and the overall training planning and integration process. The overall concept, definition, and template for payload training are described. The roles and responsibilities of individuals, organizations, and groups involved are discussed. The facilities utilized during payload training and the primary processes and activities performed to plan, develop, implement, and administer payload training for ISS crews are briefly described. Areas of improvement to crew training processes that have been achieved or are currently being worked are identified

Whole home exercise intervention for depression in older care home residents (the OPERA study) : a process evaluation

Background: The ‘Older People’s Exercise intervention in Residential and nursing Accommodation’ (OPERA) cluster randomised trial evaluated the impact of training for care home staff together with twice-weekly, physiotherapist-led exercise classes on depressive symptoms in care home residents, but found no effect. We report a process evaluation exploring potential explanations for the lack of effect. Methods: The OPERA trial included over 1,000 residents in 78 care homes in the UK. We used a mixed methods approach including quantitative data collected from all homes. In eight case study homes, we carried out repeated periods of observation and interviews with residents, care staff and managers. At the end of the intervention, we held focus groups with OPERA research staff. We reported our first findings before the trial outcome was known. Results: Homes showed large variations in activity at baseline and throughout the trial. Overall attendance rate at the group exercise sessions was low (50%). We considered two issues that might explain the negative outcome: whether the intervention changed the culture of the homes, and whether the residents engaged with the intervention. We found low levels of staff training, few home champions for the intervention and a culture that prioritised protecting residents from harm over encouraging activity. The trial team delivered 3,191 exercise groups but only 36% of participants attended at least 1 group per week and depressed residents attended significantly fewer groups than those who were not depressed. Residents were very frail and therefore most groups only included seated exercises. Conclusions: The intervention did not change the culture of the homes and, in the case study homes, activity levels did not change outside the exercise groups. Residents did not engage in the exercise groups at a sufficient level, and this was particularly true for those with depressive symptoms at baseline. The physical and mental frailty of care home residents may make it impossible to deliver a sufficiently intense exercise intervention to impact on depressive symptoms

Two-photon state selection and angular momentum polarization probed by velocity map imaging: Application to H atom photofragment angular distributions from the photodissociation of two-photon state selected HCl and HBr

A formalism for calculating the angular momentum polarization of an atom or a molecule following two-photon excitation of a J-selected state is presented. This formalism is used to interpret the H atom photofragment angular distributions from single-photon dissociation of two-photon rovibronically state selected HCl and HBr prepared via a Q-branch transition. By comparison of the angular distributions measured using the velocity map imaging technique with the theoretical model it is shown that single-photon dissociation of two-photon prepared states can be used for pathway identification, allowing for the identification of the virtual state symmetry in the two-photon absorption and/or the symmetry of the dissociative state. It is also shown that under conditions of excitation with circularly polarized light, or for excitation via non-Q-branch transitions with linearly polarized light the angular momentum polarization is independent of the dynamics of the two-photon transition and analytically computable.©2004 American Institute of Physics

Beam Performance of Tracking Detectors with Industrially Produced GEM Foils

Three Gas-Electron-Multiplier tracking detectors with an active area of 10 cm x 10 cm and a two-dimensional, laser-etched orthogonal strip readout have been tested extensively in particle beams at the Meson Test Beam Facility at Fermilab. These detectors used GEM foils produced by Tech-Etch, Inc. They showed an efficiency in excess of 95% and spatial resolution better than 70 um. The influence of the angle of incidence of particles on efficiency and spatial resolution was studied in detail.Comment: 8 pages, 9 figures, accepted by Nuclear Instruments and Methods in Physics Research

Sharks of the order Carcharhiniformes from the British Coniacian, Santonian and Campanian (Upper Cretaceous).

Bulk sampling of phosphate-rich horizons within the British Coniacian to Campanian (Upper Cretaceous) yielded very large samples of shark and ray teeth. All of these samples yielded teeth of diverse members of the Carcharhiniformes, which commonly dominate the fauna. The following species are recorded and described: Pseudoscyliorhinus reussi (Herman, 1977) comb. nov., Crassescyliorhinus germanicus (Herman, 1982) gen. nov., Scyliorhinus elongatus (Davis, 1887), Scyliorhinus brumarivulensis sp. nov., ? Palaeoscyllium sp., Prohaploblepharus riegrafi (Müller, 1989) gen. nov., ? Cretascyliorhinus sp., Scyliorhinidae inc. sedis 1, Scyliorhinidae inc. sedis 2, Pteroscyllium hermani sp. nov., Protoscyliorhinus sp., Leptocharias cretaceus sp. nov., Palaeogaleus havreensis Herman, 1977, Paratriakis subserratus sp. nov., Paratriakis tenuis sp. nov., Paratriakis sp. indet. and ? Loxodon sp. Taxa belonging to the families ?Proscylliidae, Leptochariidae, and Carcharhinidae are described from the Cretaceous for the first time. The evolutionary and palaeoecological implications of these newly recognised faunas are discussed