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

Fidelity in complex behaviour change interventions : a standardised approach to evaluate intervention integrity

Objectives: The aim of this study was to (1) demonstrate the development and testing of tools and procedures designed to monitor and assess the integrity of a complex intervention for chronic pain (COping with persistent Pain, Effectiveness Research into Self-management (COPERS) course); and (2) make recommendations based on our experiences. Design: Fidelity assessment of a two-arm randomised controlled trial intervention, assessing the adherence and competence of the facilitators delivering the intervention. Setting: The intervention was delivered in the community in two centres in the UK: one inner city and one a mix of rural and urban locations. Participants: 403 people with chronic musculoskeletal pain were enrolled in the intervention arm and 300 attended the self-management course. Thirty lay and healthcare professionals were trained and 24 delivered the courses (2 per course). We ran 31 courses for up to 16 people per course and all were audio recorded. Interventions: The course was run over three and a half days; facilitators delivered a semistructured manualised course. Outcomes: We designed three measures to evaluate fidelity assessing adherence to the manual, competence and overall impression. Results: We evaluated a random sample of four components from each course (n=122). The evaluation forms were reliable and had good face validity. There were high levels of adherence in the delivery: overall adherence was two (maximum 2, IQR 1.67–2.00), facilitator competence exhibited more variability, and overall competence was 1.5 (maximum 2, IQR 1.25–2.00). Overall impression was three (maximum 4, IQR 2.00–3.00). Conclusions: Monitoring and assessing adherence and competence at the point of intervention delivery can be realised most efficiently by embedding the principles of fidelity measurement within the design stage of complex interventions and the training and assessment of those delivering the intervention. More work is necessary to ensure that more robust systems of fidelity evaluation accompany the growth of complex interventions

Universal quantum computation by discontinuous quantum walk

Quantum walks are the quantum-mechanical analog of random walks, in which a quantum `walker' evolves between initial and final states by traversing the edges of a graph, either in discrete steps from node to node or via continuous evolution under the Hamiltonian furnished by the adjacency matrix of the graph. We present a hybrid scheme for universal quantum computation in which a quantum walker takes discrete steps of continuous evolution. This `discontinuous' quantum walk employs perfect quantum state transfer between two nodes of specific subgraphs chosen to implement a universal gate set, thereby ensuring unitary evolution without requiring the introduction of an ancillary coin space. The run time is linear in the number of simulated qubits and gates. The scheme allows multiple runs of the algorithm to be executed almost simultaneously by starting walkers one timestep apart.Comment: 7 pages, revte

Screening and diagnostic assessment of neurodevelopmental disorders in a male prison

Purpose The purpose of this paper is to identify neurodevelopmental disorders and difficulties (NDD) in a male prison. The study used standardised tools to carry out screening and diagnostic assessment of the attention deficit hyperactivity disorder (ADHD), autism spectrum disorder (ASD) and intellectual disability (ID). Design/methodology/approach The ADHD self-report scale, 20-item autism quotient and the Learning Disability Screening Questionnaire were used to screen 240 male prisoners. Prisoners who screened positive on one or more of these scales or self-reported a diagnosis of ADHD, ASD or ID were further assessed using the diagnostic interview for ADHD in adults, adapted Autism Diagnostic Observation Schedule and the Quick Test. Findings Of the 87 prisoners who screened positive for NDD and were further assessed, 70 met the study’s diagnostic criteria for ADHD, ASD or ID. Most of those with NDD (51 per cent) had previously gone unrecognised and a high proportion (51 per cent) were identified through staff- or self-referral to the study. Originality/value The study demonstrated that improving awareness and providing access to skilled, standardised assessment within a male prison can result in increased recognition and identification of NDD

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

Achilles tendon rupture rehabilitation : a mixed methods investigation of current practice among orthopaedic surgeons in the United Kingdom

Abstract OBJECTIVES: The evidence base to inform the management of Achilles tendon rupture is sparse. The objectives of this research were to establish what current practice is in the United Kingdom and explore clinicians' views on proposed further research in this area. This study was registered with the ISRCTN (ISRCTN68273773) as part of a larger programme of research. METHODS: We report an online survey of current practice in the United Kingdom, approved by the British Orthopaedic Foot and Ankle Society and completed by 181 of its members. A total of ten of these respondents were invited for a subsequent one-to-one interview to explore clinician views on proposed further research in this area. RESULTS: The survey showed wide variations in practice, with patients being managed in plaster cast alone (13%), plaster cast followed by orthoses management (68%), and orthoses alone (19%). Within these categories, further variation existed regarding the individual rehabilitation facets, such as the length of time worn, the foot position within them and weight-bearing status. The subsequent interviews reflected this clinical uncertainty and the pressing need for definitive research. CONCLUSIONS: The gap in evidence in this area has resulted in practice in the United Kingdom becoming varied and based on individual opinion. Future high-quality randomised trials on this subject are supported by the clinical community. Cite this article: Bone Joint Res 2015;4:65-9. ©2015 The British Editorial Society of Bone & Joint Surgery. KEYWORDS: Achilles tendon; Orthotics; Plaster Cast; Rehabilitation; Ruptur

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

Single-qubit unitary gates by graph scattering

We consider the effects of plane-wave states scattering off finite graphs, as an approach to implementing single-qubit unitary operations within the continuous-time quantum walk framework of universal quantum computation. Four semi-infinite tails are attached at arbitrary points of a given graph, representing the input and output registers of a single qubit. For a range of momentum eigenstates, we enumerate all of the graphs with up to $n=9$ vertices for which the scattering implements a single-qubit gate. As $n$ increases, the number of new unitary operations increases exponentially, and for $n>6$ the majority correspond to rotations about axes distributed roughly uniformly across the Bloch sphere. Rotations by both rational and irrational multiples of $\pi$ are found.Comment: 8 pages, 7 figure

Larval dispersal in a changing ocean with an emphasis on upwelling regions

Dispersal of benthic species in the sea is mediated primarily through small, vulnerable larvae that must survive minutes to months as members of the plankton community while being transported by strong, dynamic currents. As climate change alters ocean conditions, the dispersal of these larvae will be affected, with pervasive ecological and evolutionary consequences. We review the impacts of oceanic changes on larval transport, physiology, and behavior. We then discuss the implications for population connectivity and recruitment and evaluate life history strategies that will affect susceptibility to the effects of climate change on their dispersal patterns, with implications for understanding selective regimes in a future ocean. We find that physical oceanographic changes will impact dispersal by transporting larvae in different directions or inhibiting their movements while changing environmental factors, such as temperature, pH, salinity, oxygen, ultraviolet radiation, and turbidity, will affect the survival of larvae and alter their behavior. Reduced dispersal distance may make local adaptation more likely in well-connected populations with high genetic variation while reduced dispersal success will lower recruitment with implications for fishery stocks. Increased dispersal may spur adaptation by increasing genetic diversity among previously disconnected populations as well as increasing the likelihood of range expansions. We hypothesize that species with planktotrophic (feeding), calcifying, or weakly swimming larvae with specialized adult habitats will be most affected by climate change. We also propose that the adaptive value of retentive larval behaviors may decrease where transport trajectories follow changing climate envelopes and increase where transport trajectories drive larvae toward increasingly unsuitable conditions. Our holistic framework, combined with knowledge of regional ocean conditions and larval traits, can be used to produce powerful predictions of expected impacts on larval dispersal as well as the consequences for connectivity, range expansion, or recruitment. Based on our findings, we recommend that future studies take a holistic view of dispersal incorporating biological and oceanographic impacts of climate change rather than solely focusing on oceanography or physiology. Genetic and paleontological techniques can be used to examine evolutionary impacts of altered dispersal in a future ocean, while museum collections and expedition records can inform modern-day range shifts