Evaluation of a risk assessment system for heritage railway earthworks

There are currently over 100 heritage railways in the UK carrying 6.8 million passengers on 15 million passenger journeys and contributing an estimated £579 million to the UK economy. Many of these lines include significant earthworks, which present a considerable risk to their safe operation. In the last decade there have been major slips at several heritage railways causing major disruption to operations and a serious threat to business continuity. This research describes the application of a risk assessment system based on that used by Network Rail but specifically adapted for heritage railway conditions. Adaptations include significant alterations to the consequence categories used in prioritization of earthwork issues and a simple low-cost method of implementation based on paper forms and Excel spreadsheets. Use of the system on two heritage railways, the Bo’ness and Kinneil Railway and the Strathspey Railway is evaluated by means of discussion with railway engineering staff and civil engineering volunteers. It is concluded that whilst the system represents a realistic and useful approach to management of earthwork assets, the system could not be used by heritage railway volunteer staff without targeted training. Such training, however, would be straightforward to provide, perhaps under the auspices of the Heritage Railway Association

Compensation methods to support cooperative applications: A case study in automated verification of schema requirements for an advanced transaction model

Compensation plays an important role in advanced transaction models, cooperative work and workflow systems. A schema designer is typically required to supply for each transaction another transaction to semantically undo the effects of . Little attention has been paid to the verification of the desirable properties of such operations, however. This paper demonstrates the use of a higher-order logic theorem prover for verifying that compensating transactions return a database to its original state. It is shown how an OODB schema is translated to the language of the theorem prover so that proofs can be performed on the compensating transactions

Supporting security-oriented, collaborative nanoCMOS electronics research

Grid technologies support collaborative e-Research typified by multiple institutions and resources seamlessly shared to tackle common research problems. The rules for collaboration and resource sharing are commonly achieved through establishment and management of virtual organizations (VOs) where policies on access and usage of resources by collaborators are defined and enforced by sites involved in the collaboration. The expression and enforcement of these rules is made through access control systems where roles/privileges are defined and associated with individuals as digitally signed attribute certificates which collaborating sites then use to authorize access to resources. Key to this approach is that the roles are assigned to the right individuals in the VO; the attribute certificates are only presented to the appropriate resources in the VO; it is transparent to the end user researchers, and finally that it is manageable for resource providers and administrators in the collaboration. In this paper, we present a security model and implementation improving the overall usability and security of resources used in Grid-based e-Research collaborations through exploitation of the Internet2 Shibboleth technology. This is explored in the context of a major new security focused project at the National e-Science Centre (NeSC) at the University of Glasgow in the nanoCMOS electronics domain

Federated authentication and authorisation for e-science

The Grid and Web service community are defining a range of standards for a complete solution for security. The National e-Science Centre (NeSC) at the University of Glasgow is investigating how the various pre-integration components work together in a variety of e-Science projects. The EPSRC-funded nanoCMOS project aims to allow electronics designers and manufacturers to use e-Science technologies and expertise to solve problems of device variability and its impact on system design. To support the security requirements of nanoCMOS, two NeSC projects (VPMan and OMII-SP) are providing tools to allow easy configuration of security infrastructures, exploiting previous successful projects using Shibboleth and PERMIS. This paper presents the model in which these tools interoperate to provide secure and simple access to Grid resources for non-technical users

Measurable quantum geometric phase from a rotating single spin

We demonstrate that the internal magnetic states of a single nitrogen-vacancy defect, within a rotating diamond crystal, acquire geometric phases. The geometric phase shift is manifest as a relative phase between components of a superposition of magnetic substates. We demonstrate that under reasonable experimental conditions a phase shift of up to four radians could be measured. Such a measurement of the accumulation of a geometric phase, due to macroscopic rotation, would be the first for a single atom-scale quantum system.Comment: 5 pages, 2 figures: Accepted for publication in Physical Review Letter

Integrating security solutions to support nanoCMOS electronics research

The UK Engineering and Physical Sciences Research Council (EPSRC) funded Meeting the Design Challenges of nanoCMOS Electronics (nanoCMOS) is developing a research infrastructure for collaborative electronics research across multiple institutions in the UK with especially strong industrial and commercial involvement. Unlike other domains, the electronics industry is driven by the necessity of protecting the intellectual property of the data, designs and software associated with next generation electronics devices and therefore requires fine-grained security. Similarly, the project also demands seamless access to large scale high performance compute resources for atomic scale device simulations and the capability to manage the hundreds of thousands of files and the metadata associated with these simulations. Within this context, the project has explored a wide range of authentication and authorization infrastructures facilitating compute resource access and providing fine-grained security over numerous distributed file stores and files. We conclude that no single security solution meets the needs of the project. This paper describes the experiences of applying X.509-based certificates and public key infrastructures, VOMS, PERMIS, Kerberos and the Internet2 Shibboleth technologies for nanoCMOS security. We outline how we are integrating these solutions to provide a complete end-end security framework meeting the demands of the nanoCMOS electronics domain

Optical control of scattering, absorption and lineshape in nanoparticles

We find exact conditions for the enhancement or suppression of internal and/or scattered fields in any smooth particle and the determination of their spatial distribution or angular momentum through the combination of simple fields. The incident fields can be generated by a single monochromatic or broad band light source, or by several sources, which may also be impurities embedded in the nanoparticle. We can design the lineshape of a particle introducing very narrow features in its spectral response

Decellularised extracellular matrix-derived peptides from neural retina and retinal pigment epithelium enhance the expression of synaptic markers and light responsiveness of human pluripotent stem cell derived retinal organoids

Tissue specific extracellular matrices (ECM) provide structural support and enable access to molecular signals and metabolites, which are essential for directing stem cell renewal and differentiation. To mimic this phenomenon in vitro, tissue decellularisation approaches have been developed, resulting in the generation of natural ECM scaffolds that have comparable physical and biochemical properties of the natural tissues and are currently gaining traction in tissue engineering and regenerative therapies due to the ease of standardised production, and constant availability. In this manuscript we report the successful generation of decellularised ECM-derived peptides from neural retina (decel NR) and retinal pigment epithelium (decel RPE), and their impact on differentiation of human pluripotent stem cells (hPSCs) to retinal organoids. We show that culture media supplementation with decel RPE and RPE-conditioned media (CM RPE) significantly increases the generation of rod photoreceptors, whilst addition of decel NR and decel RPE significantly enhances ribbon synapse marker expression and the light responsiveness of retinal organoids. Photoreceptor maturation, formation of correct synapses between retinal cells and recording of robust light responses from hPSC-derived retinal organoids remain unresolved challenges for the field of regenerative medicine. Enhanced rod photoreceptor differentiation, synaptogenesis and light response in response to addition of decellularised matrices from RPE and neural retina as shown herein provide a novel and substantial advance in generation of retinal organoids for drug screening, tissue engineering and regenerative medicine

On the Renormalization of the Kardar-Parisi-Zhang equation

The Kardar-Parisi-Zhang (KPZ) equation of nonlinear stochastic growth in d dimensions is studied using the mapping onto a system of directed polymers in a quenched random medium. The polymer problem is renormalized exactly in a minimally subtracted perturbation expansion about d = 2. For the KPZ roughening transition in dimensions d > 2, this renormalization group yields the dynamic exponent z* = 2 and the roughness exponent chi* = 0, which are exact to all orders in epsilon = (2 - d)/2. The expansion becomes singular in d = 4, which is hence identified with the upper critical dimension of the KPZ equation. The implications of this perturbation theory for the strong-coupling phase are discussed. In particular, it is shown that the correlation functions and the coupling constant defined in minimal subtraction develop an essential singularity at the strong-coupling fixed point.Comment: 21 pp. (latex, now texable everywhere, no other changes), with 2 fig