UCL University College London Eprints
UCL Eprints collects the work of UCL researchers and makes it freely available over the web, helping the worldwide scholarly community to discover UCL research. Institutional repositories like UCL Eprints complement the traditional academic publishing and scholarly communications processes. They raise the visibility of research and help to maximise its impact. UCL researchers are encouraged to deposit a copy of each journal article, conference paper, working paper, and any other research output, in the UCL Eprints at the earliest opportunity, ensuring that their research reaches as wide an audience as possible.
Mostrando recursos 181 - 200 de 333,903
A decision procedure for satisfiability in separation logic with inductive predicates - Brotherston, J; Fuhs, C; Pérez, JAN; Gorogiannis, N
We show that the satisfiability problem for the "symbolic heap" fragment of separation logic with general inductively defined predicates- which includes most fragments employed in program verification - is decidable. Our decision procedure is based on the computation of a certain fixed point from the definition of an inductive predicate, called its "base", that exactly characterises its satisfiability. A complexity analysis of our decision procedure shows that it runs, in the worst case, in exponential time. In fact, we show that the satisfiability problem for our inductive predicates is EXPTIME- complete, and becomes NP-complete when the maximum arity over all...
Hrs- and CD63-dependent competing mechanisms make different sized endosomal intraluminal vesicles - Edgar, JR; Eden, ER; Futter, CE
Multivesicular endosomes/bodies (MVBs) contain intraluminal vesicles (ILVs) that bud away from the cytoplasm. Multiple mechanisms of ILV formation have been identified, but the relationship between different populations of ILVs and MVBs remains unclear. Here we show in HeLa cells that different ILV subpopulations can be distinguished by size. EGF stimulation promotes the formation of large ESCRT-dependent ILVs, while depletion of the ESCRT-0 component, Hrs, promotes the formation of a uniformly sized population of small ILVs, the formation of which requires CD63. CD63 has previously been implicated in ESCRT-independent sorting of PMEL in MVBs and transfected PMEL is present on the...
Ethical considerations in determining standard of prevention packages for HIV prevention trials: Examining PrEP - Haire, B; Folayan, MO; Hankins, C; Sugarman, J; McCormack, S; Ramjee, G; Warren, M
The successful demonstration that antiretroviral (ARV) drugs can be used in diverse ways to reduce HIV acquisition or transmission risks – either taken as pre-exposure prophylaxis (PrEP) by those who are uninfected or as early treatment for prevention (T4P) by those living with HIV – expands the armamentarium of existing HIV prevention tools. These findings have implications for the design of future HIV prevention research trials. With the advent of multiple effective HIV prevention tools, discussions about the ethics and the feasibility of future HIV prevention trial designs have intensified.
This article outlines arguments concerning the inclusion of newly established ARV-based...
Utopian visions and real estate dreams: The eco-city past, present and future - Rapoport, E
This article traces the evolution of the eco-city as a concept and an urban planning model over the last 40 years, outlining the various definitions, applications and critiques of the term historically and today. What distinguishes the eco-city from work on sustainable urbanism more broadly, the article argues, is its attempt to create a comprehensive and transferable model of sustainable urban development. Over the years, the eco-city, in both theory and application, has evolved along with broader trends in environmental thought. The idea of the eco-city originally emerged out of counterculture movements of the 1960s and 1970s as an approach to...
Open Scholarship for doctoral studies - Ayris, P
This paper examines the emerging concepts of Open Scholarship, Open Knowledge and the European Commission’s advocacy of Science 2.0. It then looks at how this vision can be delivered via Open Access to research publications, soundly-based research data management practice and Open Data. The paper then examines what tools and services are available to support the researcher in this new endeavour, and looks at new developments in university-based Open Access publishing, repository services for the LERU Legal Community in their new Open Access portal, the DART-Europe portal for European research theses, and tools for copyright management. For research data training,...
Globalising sustainable urbanism: the role of international masterplanners - Rapoport, E
How do you design a sustainable urban area from scratch? A growing number of urban development projects, marketing themselves as sustainable or ‘eco’ cities, claim to have the answer. This paper focuses on the companies who create the masterplans that guide the development of such sustainable urban projects. While these projects are appearing in a diverse array of locations around the world, they are largely conceived and designed by a small, elite group of international architecture, engineering and planning firms based in North America and Europe sometimes referred to as the global intelligence corps (GIC). Drawing on research into these...
Towards zero latency photonic switching in shared memory networks - Van Laer, A; Mardarbux, MR; Watts, P
Photonic networks-on-chip based on silicon photonics have been proposed to reduce latency and power consumption in future chip multi-core processors (CMP). However, high performance CMPs use a shared memory model which generates large numbers of short messages, creating high arbitration latency overhead for photonic switching networks. In this paper we explore techniques which intelligently use information from the memory hierarchy to predict communication in order to setup photonic circuits with reduced or eliminated arbitration latency. Firstly, we present a switch scheduling algorithm which arbitrates on a per memory transaction basis and holds open photonic circuits to exploit temporal locality. We...
Social isolation in childhood and adult inflammation: evidence from the National Child Development Study - Lacey, RE; Kumari, M; Bartley, M
Background Social isolation is known to be associated with poorer health amongst adults, including coronary heart disease. It is hypothesized that this association may be mediated by inflammation. There has been little prospective research on the long-term impact of social isolation in childhood on adult health or the pathways which might be involved. The aim of this study was to investigate whether social isolation in childhood is associated with increased adult inflammation and the mechanisms involved across the life course. Methods This study used multiply-imputed data on 7,462 participants of the National Child Development Study in Great Britain. The association...
Cardiopulmonary exercise capacity and preoperative markers of inflammation. - Sultan, P; Edwards, MR; Gutierrez del Arroyo, A; Cain, D; Sneyd, JR; Struthers, R; Minto, G; Ackland, GL
Explanatory mechanisms for the association between poor exercise capacity and infections following surgery are underexplored. We hypothesized that aerobic fitness-assessed by cardiopulmonary exercise testing (CPET)-would be associated with circulating inflammatory markers, as quantified by the neutrophil-lymphocyte ratio (NLR) and monocyte subsets. The association between cardiopulmonary reserve and inflammation was tested by multivariable regression analysis with covariates including anaerobic threshold (AT) and malignancy. In a first cohort of 240 colorectal patients, AT was identified as the sole factor associated with higher NLR (P = 0.03) and absolute and relative lymphopenia (P = 0.01). Preoperative leukocyte subsets and monocyte CD14(+) expression (downregulated...
Polymorphisms in MMP family and TIMP genes and carotid artery intima-media thickness. - Armstrong, C; Abilleira, S; Sitzer, M; Markus, HS; Bevan, S
Genetic variation in a number of MMP and TIMP genes have been implicated as risk factors for atherosclerosis, although such studies have been generally small and produced conflicting results. We have therefore sought to address this issue in a large, well-phenotyped community population to assess the effect of a number of polymorphisms in both MMP and TIMP genes on carotid artery intima-media thickness (IMT).