Cell Therapy for Type 1 Diabetes

Acknowledgements The work described in this review was supported by a grant from the MRC. K.R.M. is supported by a fellowship from the Scottish Translational Medicines and Therapeutics Initiative through the Wellcome Trust.Peer reviewedPublisher PD

Transport in a sustainable urban future

Transport is acknowledged as a vital ingredient of any credible strategy for the sustainable city because of the key role it plays in promoting economic development, quality of life and wellbeing. Yet managing urban transport effectively, given its complex and intersecting economic, environmental and social impacts, is also precisely the kind of ‘wicked problem’ that policy makers consistently find hard to resolve (Docherty and Shaw, 2011a; Conklin, 2006; Rittel and Webber, 1973). Many of the reasons for this are longstanding and emanate in particular from the dominance of the private car in meeting the demand for mobility, which has built up over many decades in the developed world, but which is now being reproduced at a much higher pace in the fast growing cities of the Pacific Rim and elsewhere (Newman and Kenworthy, 1999; Lyons and Loo, 2008). Although it has undoubtedly transformed our patterns of travel and consumption, concerns over the limitations and externalities of private car transport – primarily traffic congestion, environmental degradation and social exclusion – have for many years stimulated various initiatives designed to mitigate these externalities (Feitelson and Verhoef, 2001; Knowles et al, 2008). The conflict between the car, long promoted by neoliberal voices as a potent weapon of the free market and individual liberty, and competing visions of a more ‘public’ transport system based on collective modes such as the bus and train, and active travel by walking and cycling, has been played out over many years. Nowhere has this conflict been more intense than in cities, as it is here that the problems such as congestion, poor local air quality and mobility deprivation are often at their most intense (Cahill, 2010; Docherty et al, 2008)

MISSED: an environment for mixed-signal microsystem testing and diagnosis

A tight link between design and test data is proposed for speeding up test-pattern generation and diagnosis during mixed-signal prototype verification. Test requirements are already incorporated at the behavioral level and specified with increased detail at lower hierarchical levels. A strict distinction between generic routines and implementation data makes reuse of software possible. A testability-analysis tool and test and DFT libraries support the designer to guarantee testability. Hierarchical backtrace procedures in combination with an expert system and fault libraries assist the designer during mixed-signal chip debuggin

Stone-Type Dualities for Separation Logics

Stone-type duality theorems, which relate algebraic and relational/topological models, are important tools in logic because -- in addition to elegant abstraction -- they strengthen soundness and completeness to a categorical equivalence, yielding a framework through which both algebraic and topological methods can be brought to bear on a logic. We give a systematic treatment of Stone-type duality for the structures that interpret bunched logics, starting with the weakest systems, recovering the familiar BI and Boolean BI (BBI), and extending to both classical and intuitionistic Separation Logic. We demonstrate the uniformity and modularity of this analysis by additionally capturing the bunched logics obtained by extending BI and BBI with modalities and multiplicative connectives corresponding to disjunction, negation and falsum. This includes the logic of separating modalities (LSM), De Morgan BI (DMBI), Classical BI (CBI), and the sub-classical family of logics extending Bi-intuitionistic (B)BI (Bi(B)BI). We additionally obtain as corollaries soundness and completeness theorems for the specific Kripke-style models of these logics as presented in the literature: for DMBI, the sub-classical logics extending BiBI and a new bunched logic, Concurrent Kleene BI (connecting our work to Concurrent Separation Logic), this is the first time soundness and completeness theorems have been proved. We thus obtain a comprehensive semantic account of the multiplicative variants of all standard propositional connectives in the bunched logic setting. This approach synthesises a variety of techniques from modal, substructural and categorical logic and contextualizes the "resource semantics" interpretation underpinning Separation Logic amongst them

A disintegrating cosmic string

We present a simple sandwich gravitational wave of the Robinson-Trautman family. This is interpreted as representing a shock wave with a spherical wavefront which propagates into a Minkowski background minus a wedge. (i.e. the background contains a cosmic string.) The deficit angle (the tension) of the string decreases through the gravitational wave, which then ceases. This leaves an expanding spherical region of Minkowski space behind it. The decay of the cosmic string over a finite interval of retarded time may be considered to generate the gravitational wave.Comment: 3 pages, 1 figure, to appear in Class. Quantum Gra

Alignment verification for electron beam lithography

Alignment between lithography layers is essential for device fabrication. A minor defect in a single marker can lead to incorrect alignment and this can be the source of wafer reworks. In this paper we show that this can be prevented by using extra alignment markers to check the alignment during patterning, rather than inspecting vernier patterns after the exposure is completed. Accurate vernier patterns can often only be read after pattern transfer has been carried out. We also show that by using a Penrose tile as a marker it is possible to locate the marker to about 1 nm without fully exposing the resist. This means that the marker can be reused with full accuracy, thus improving the layer to layer alignment accuracy. Lithography tool noise limits the process

Devolution as process: institutional structures, state personnel and transport policy in the United Kingdom

Devolution has been described as a key ‘global trend’ over recent decades as governments have decentralised power and responsibilities to subordinate regional institutions (Rodriguez-Pose and Gill, 2003). UK devolution is characterised by its asymmetrical nature with different territories granted different institutional arrangements and powers. In this paper, we seek examine the role of state personnel in mobilising the new institutional machinery and managing the process of devolution, focusing on transport policy. Our research shows a clear contrast between London and Northern Ireland, on the one hand, and Scotland and Wales, on the other, in terms of the effectiveness of political leaders in creating clear policy priorities and momentum in transport

Quality delivery of mobile video: In-depth understanding of user requirements

The increase of powerful mobile devices has accelerated the demand for mobile videos. Previous studies in mobile video have focused on understanding of mobile video usage, improvement of video quality, and user interface design in video browsing. However, research focusing on a deep understanding of users’ needs for a pleasing quality delivery of mobile video is lacking. In particular, what quality-delivery mode users prefer and what information relevant to video quality they need requires attention. This paper presents a qualitative interview study with 38 participants to gain an insight into three aspects: influencing factors of user-desired video quality, user-preferred quality-delivery modes, and user-required interaction information of mobile video. The results show that user requirements for video quality are related to personal preference, technology background and video viewing experience, and the preferred quality-delivery mode and interactive mode are diverse. These complex user requirements call for flexible and personalised quality delivery and interaction of mobile video