A Symmetric Approach to Compilation and Decompilation

Just as specializing a source interpreter can achieve compilation from a source language to a target language, we observe that specializing a target interpreter can achieve compilation from the target language to the source language. In both cases, the key issue is the choice of whether to perform an evaluation or to emit code that represents this evaluation. We substantiate this observation by specializing two source interpreters and two target interpreters. We first consider a source language of arithmetic expressions and a target language for a stack machine, and then the lambda-calculus and the SECD-machine language. In each case, we prove that the target-to-source compiler is a left inverse of the source-to-target compiler, i.e., it is a decompiler. In the context of partial evaluation, compilation by source-interpreter specialization is classically referred to as a Futamura projection. By symmetry, it seems logical to refer to decompilation by target-interpreter specialization as a Futamura embedding

Implementing street triage: a qualitative study of collaboration between police and mental health services.

BACKGROUND: Street Triage is a collaborative service between mental health workers and police which aims to improve the emergency response to individuals experiencing crisis, but peer reviewed evidence of the effectiveness of these services is limited. We examined the design and potential impact of two services, along with factors that hindered and facilitated the implementation of the services. METHODS: We conducted 14 semi-structured interviews with mental health and police stakeholders with experience of a Street Triage service in two locations of the UK. Framework analysis identified themes related to key aspects of the Street Triage service, perceived benefits of Street Triage, and ways in which the service could be developed in the future. RESULTS: Stakeholders endorsed the Street Triage services which utilised different operating models. These models had several components including a joint response vehicle or a mental health worker in a police control room. Operating models were developed with consideration of the local geographical and population density. The ability to make referrals to the existing mental health service was perceived as key to the success of the service yet there was evidence to suggest Street Triage had the potential to increase pressure on already stretched mental health and police services. Identifying staff with skills and experience for Street Triage work was important, and their joint response resulted in shared decision making which was less risk averse for the police and regarded as in the interest of patient care by mental health professionals. Collaboration during Street Triage improved the understanding of roles and responsibilities in the 'other' agency and led to the development of local information sharing agreements. Views about the future direction of the service focused on expansion of Street Triage to address other shared priorities such as frequent users of police and mental health services, and a reduction in the police involvement in crisis response. CONCLUSION: The Street Triage service received strong support from stakeholders involved in it. Referral to existing health services is a key function of Street Triage, and its impact on referral behaviour requires rigorous evaluation. Street Triage may result in improvement to collaborative working but competing demands for resources within mental health and police services presented challenges for implementation

Landslides Triggered by the MW 7.8 14 November 2016 Kaikoura Earthquake, New Zealand

The MW 7.8 14 November 2016 Kaikoura earthquake generated more than 10000 landslides over a total area of about 10000 km2, with the majority concentrated in a smaller area of about 3600 km2. The largest landslide triggered by the earthquake had an approximate volume of 20 (±2) M m3, with a runout distance of about 2.7 km, forming a dam on the Hapuku River. In this paper, we present version 1.0 of the landslide inventory we have created for this event. We use the inventory presented in this paper to identify and discuss some of the controls on the spatial distribution of landslides triggered by the Kaikoura earthquake. Our main findings are (1) the number of medium to large landslides (source area ≥10000 m2) triggered by the Kaikoura earthquake is smaller than for similar sized landslides triggered by similar magnitude earthquakes in New Zealand; (2) seven of the largest eight landslides (from 5 to 20 x 106 m3) occurred on faults that ruptured to the surface during the earthquake; (3) the average landslide density within 200 m of a mapped surface fault rupture is three times that at a distance of 2500 m or more from a mapped surface fault rupture ; (4) the “distance to fault” predictor variable, when used as a proxy for ground-motion intensity, and when combined with slope angle, geology and elevation variables, has more power in predicting landslide probability than the modelled peak ground acceleration or peak ground velocity; and (5) for the same slope angles, the coastal slopes have landslide point densities that are an order of magnitude greater than those in similar materials on the inland slopes, but their source areas are significantly smaller

Silyl Enol Ether Radical Cations: Generation and Recent Synthetic Applications

Bunte JO, Mattay J. Silyl Enol Ether Radical Cations: Generation and Recent Synthetic Applications. In: Horspool WM, ed. CRC Handbook on Photochemistry and Photobiology. 2nd Ed. USA/Boca Raton: CRC Press; 2004: 10-1-10-16