Evaluation of the Primary Care Mental Health Specialist role: Final Report

This report details an evaluation to assess the impact of the new primary care mental health specialist (PCMHS) role in Kent and Medway. The evaluation was undertaken by the Centre for Health Services Studies (CHSS) at the University of Kent and was conducted June 2013 to December 2014. The evaluation was commissioned by NHS Kent and Medway and supported by Kent and Medway Commissioning Support. The evaluation encompasses six CCG areas across Kent and Medway, with 13 PCMHS employed in these areas (see Table 1-1 for breakdown). The number of posts per CCG is dependent on the amount CCGs invest (roughly equating to population size), rather than prevalence of illness. The PCMHS have been seconded from Kent and Medway NHS and Social Care Partnership Trust (KMPT) for the duration of the pilot, and are either community psychiatric nurses (CPN) or occupational therapists (OT) by profession. The majority of PCMHS are hosted by a voluntary organisation (mcch); three are hosted by GP practices and two by a community Interest Company, Invicta CIC. The main objectives of the evaluation are: 1. To assess the impact on patients by capturing their experience of the service; 2. To assess the impact by capturing experiences of those delivering the service (i.e., PCMHS); 3. To assess the impact by capturing experiences of other professions who work alongside the service (i.e., mental health professionals in secondary care, GPs); 4. To assess the economic cost of the new service via a unit cost analysis

The yellow European eel (Anguilla anguilla L.) may adopt a sedentary lifestyle in inland freshwaters

We analysed the movements of the growing yellow phase using a long-term mark–recapture programme on European eels in a small catchment (the Frémur, France). The results showed that of the yellow eels (>200 mm) recaptured, more than 90% were recaptured at the original marking site over a long period before the silvering metamorphosis and downstream migration. We conclude that yellow European eels >200 mm may adopt a sedentary lifestyle in freshwater area, especially in small catchment

Age and growth of longfinned eels (Anguilla dieffenbachii) in pastoral and forested streams in the Waikato River basin, and in two hydro-electric lakes in the North Island, New Zealand

Growth rates of New Zealand endemic longfinned eels (Anguilla dieffenbachii) from streams in pasture and indigenous forest, and from two hydroelectric lakes (Lakes Karapiro and Matahina), were estimated by otolith examination. Habitat-specific growth was further investigated with measurement of widths of annual bands in otoliths. Longfinned eels 170-1095 mm in length ranged between 4 and 60 years old (N=252). Eels in pastoral streams grew faster (mean annual length increment ±95% CL = 24 ± 3 mm to 36 ± 7 mm) than eels in streams in indigenous forest (annual length increment 12 ± 2 mm to 15 ± 3 mm). Eels from the hydro-electric lakes had growth rates (annual length increments 19 ± 4 and 19 + 7 mm) similar to eels from pastoral streams. Otoliths of most eels showed annual band widths that indicated growth in several different habitats, corresponding to growth during upstream migration, and limited movement among adult habitats. Estimated age at marketable size (220 g) ranged between 7 and 26 years. The particularly slow growth of longfinned eels in streams in indigenous forest has considerable implications for management. The fast growth rates of eels in hydro-electric lakes provides evidence for the potential of increased eel production by stocking. The probable selective production of female eels in these lakes may be nationally important to allow enhancement of breeding stocks

External perceptions of successful university brands

Branding in universities has become an increasingly topical issue, with some institutions committing substantial financial resources to branding activities. The particular characteristics of the sector present challenges for those seeking to build brands and it therefore seems to be timely and appropriate to investigate the common approaches of those institutions perceived as having successful brands. This study is exploratory in nature, seeking to investigate how successfully UK universities brand themselves, whether they are distinct and if the sector overall communicates effectively. This is approached through examining the perspective of opinion formers external to universities but closely involved with the sector – a key stakeholder group in UK higher education Overall, the research’s exploratory nature aims to further the debate on effective branding in UK higher education. The findings and conclusions identify some issues surrounding university branding activity; most UK universities were considered to be distinct from one another, but few were seen to have real fully formed brands. Although a number of institutions that were seen as having more ‘successful’ brands were identified, it was argued that whilst many UK universities communicate their brand well enough to key stakeholders, they fail to consistently do this across all audiences. It was also suggested that UK universities may concentrate on areas of perceived immediate strategic importance (in terms of branding) to an extent where others are neglected

CheriRTOS: A Capability Model for Embedded Devices

Embedded systems are deployed ubiquitously among various sectors including automotive, medical, robotics and avionics. As these devices become increasingly connected, the attack surface also increases tremendously; new mechanisms must be deployed to defend against more sophisticated attacks while not violating resource constraints. In this paper we present CheriRTOS on CHERI-64, a hardware-software platform atop Capability Hardware Enhanced RISC Instructions (CHERI) for embedded systems. Our system provides efficient and scalable task isolation, fast and secure inter-task communication, fine-grained memory safety, and real-time guarantees, using hardware capabilities as the sole protection mechanism. We summarize state-of-the-art se- curity and memory safety for embedded systems for comparison with our platform, illustrating the superior substrate provided by CHERI’s capabilities. Finally, our evaluations show that a capability system can be implemented within the constraints of embedded systems

Efficient tagged memory

We characterize the cache behavior of an in-memory tag table and demonstrate that an optimized implementation can typically achieve a near-zero memory traffic overhead. Both industry and academia have repeatedly demonstrated tagged memory as a key mechanism to enable enforcement of powerful security invariants, including capabilities pointer integrity, watchpoints, and information-flow tracking. A single-bit tag shadowspace is the most commonly proposed requirement, as one bit is the minimum metadata needed to distinguish between an untyped data word and any number of new hardware-enforced types. We survey various tag shadowspace approaches and identify their common requirements and positive features of their implementations. To avoid non-standard memory widths, we identify the most practical implementation for tag storage to be an in-memory table managed next to the DRAM controller. We characterize the caching performance of such a tag table and demonstrate a DRAM traffic overhead below 5\% for the vast majority of applications. We identify spatial locality on a page scale as the primary factor that enables surprisingly high table cache-ability. We then demonstrate tag-table compression for a set of common applications. A hierarchical structure with elegantly simple optimizations reduces DRAM traffic overhead to below 1\% for most applications. These insights and optimizations pave the way for commercial applications making use of single-bit tags stored in commodity memory

Fast Protection-Domain Crossing in the CHERI Capability-System Architecture

Capability Hardware Enhanced RISC Instructions (CHERI) supplement the conventional memory management unit (MMU) with instruction-set architecture (ISA) extensions that implement a capability system model in the address space. CHERI can also underpin a hardware-software object-capability model for scalable application compartmentalization that can mitigate broader classes of attack. This article describes ISA additions to CHERI that support fast protection-domain switching, not only in terms of low cycle count, but also efficient memory sharing with mutual distrust. The authors propose ISA support for sealed capabilities, hardware-assisted checking during protection-domain switching, a lightweight capability flow-control model, and fast register clearing, while retaining the flexibility of a software-defined protection-domain transition model. They validate this approach through a full-system experimental design, including ISA extensions, a field-programmable gate array prototype (implemented in Bluespec SystemVerilog), and a software stack including an OS (based on FreeBSD), compiler (based on LLVM), software compartmentalization model, and open-source applications.This work is part of the CTSRD and MRC2 projects sponsored by the Defense Advanced Research Projects Agency (DARPA) and the Air Force Research Laboratory (AFRL), under contracts FA8750-10-C-0237 and FA8750-11-C-0249. We also acknowledge the Engineering and Physical Sciences Research Council (EPSRC) REMS Programme Grant [EP/K008528/1], the EPSRC Impact Acceleration Account [EP/K503757/1], EPSRC/ARM iCASE studentship [13220009], Microsoft studentship [MRS2011-031], the Isaac Newton Trust, the UK Higher Education Innovation Fund (HEIF), Thales E-Security, and Google, Inc.This is the author accepted manuscript. The final version of the article can be found at: http://ieeexplore.ieee.org/document/7723791

Exploring rationales for branding a university: Should we be seeking to measure branding in UK universities?

Although branding is now widespread among UK universities, the application of branding principles in the higher education sector is comparatively recent and may be controversial for internal audiences who question its suitability and efficiency. This paper seeks to investigate how and whether the effectiveness of branding activity in the higher education sector should be evaluated and measured, through exploratory interviews with those who often drive it; UK University marketing professionals. Conclusions suggest that university branding is inherently complex and therefore application of commercial approaches may be over simplistic. Whilst marketing professionals discuss challenges they do not necessarily have a consistent view of the objectives of branding activity although all were able to clearly articulate branding objectives for their university, including both qualitative and, to some extent, quantitative metrics. Some measures of the real value of branding activity are therefore suggested but a key debate is perhaps whether the objectives and role of branding in higher education needs to be clarified, and a more consistent view of appropriate metrics reached? Various challenges in implementing branding approaches are also highlighted

Cornucopia: Temporal safety for CHERI heaps

Use-after-free violations of temporal memory safety continue to plague software systems, underpinning many high-impact exploits. The CHERI capability system shows great promise in achieving C and C++ language spatial memory safety, preventing out-of-bounds accesses. Enforcing language-level temporal safety on CHERI requires capability revocation, traditionally achieved either via table lookups (avoided for performance in the CHERI design) or by identifying capabilities in memory to revoke them (similar to a garbage-collector sweep). CHERIvoke, a prior feasibility study, suggested that CHERI’s tagged capabilities could make this latter strategy viable, but modeled only architectural limits and did not consider the full implementation or evaluation of the approach. Cornucopia is a lightweight capability revocation system for CHERI that implements non-probabilistic C/C++ temporal memory safety for standard heap allocations. It extends the CheriBSD virtual-memory subsystem to track capability flow through memory and provides a concurrent kernel-resident revocation service that is amenable to multi-processor and hardware acceleration. We demonstrate an average overhead of less than 2% and a worst-case of 8.9% for concurrent revocation on compatible SPEC CPU2006 benchmarks on a multi-core CHERI CPU on FPGA, and we validate Cornucopia against the Juliet test suite’s corpus of temporally unsafe programs. We test its compatibility with a large corpus of C programs by using a revoking allocator as the system allocator while booting multi-user CheriBSD. Cornucopia is a viable strategy for always-on temporal heap memory safety, suitable for production environments.This work was supported by the Defense Advanced Research Projects Agency (DARPA) and the Air Force Research Laboratory (AFRL), under contracts FA8750-10-C-0237 (“CTSRD”) and HR0011-18-C-0016 (“ECATS”). We also acknowledge the EPSRC REMS Programme Grant (EP/K008528/1), the ABP Grant (EP/P020011/1), the ERC ELVER Advanced Grant (789108), the Gates Cambridge Trust, Arm Limited, HP Enterprise, and Google, Inc

On the Multi-Language Construction

Modern software is no more developed in a single programming language. Instead, programmers tend to exploit cross-language interoperability mechanisms to combine code stemming from different languages, and thus yielding fully-fledged multi-language programs. Whilst this approach enables developers to benefit from the strengths of each single-language, on the other hand it complicates the semantics of such programs. Indeed, the resulting multi-language does not meet any of the semantics of the combined languages. In this paper, we broaden the boundary functions-based approach a la Matthews and Findler to propose an algebraic framework that provides a constructive mathematical notion of multi-language able to determine its semantics. The aim of this work is to overcome the lack of a formal method (resp., model) to design (resp., represent) a multi-language, regardless of the inherent nature of the underlying languages. We show that our construction ensures the uniqueness of the semantic function (i.e., the multi-language semantics induced by the combined languages) by proving the initiality of the term model (i.e., the abstract syntax of the multi-language) in its category