Homeomorphic Embedding for Online Termination of Symbolic Methods

Well-quasi orders in general, and homeomorphic embedding in particular, have gained popularity to ensure the termination of techniques for program analysis, specialisation, transformation, and verification. In this paper we survey and discuss this use of homeomorphic embedding and clarify the advantages of such an approach over one using well-founded orders. We also discuss various extensions of the homeomorphic embedding relation. We conclude with a study of homeomorphic embedding in the context of metaprogramming, presenting some new (positive and negative) results and open problems

Routine activities and proactive police activity: a macro-scale analysis of police searches in London and New York City

This paper explored how city-level changes in routine activities were associated with changes in frequencies of police searches using six years of police records from the London Metropolitan Police Service and the New York City Police Department. Routine activities were operationalised through selecting events that potentially impacted on (a) the street population, (b) the frequency of crime or (c) the level of police activity. OLS regression results indicated that routine activity variables (e.g. day of the week, periods of high demand for police service) can explain a large proportion of the variance in search frequency throughout the year. A complex set of results emerged, revealing cross-national dissimilarities and the differential impact of certain activities (e.g. public holidays). Importantly, temporal frequencies in searches are not reducible to associations between searches and recorded street crime, nor changes in on-street population. Based on the routine activity approach, a theoretical police-action model is proposed

Use of SMS texts for facilitating access to online alcohol interventions: a feasibility study

A41 Use of SMS texts for facilitating access to online alcohol interventions: a feasibility study In: Addiction Science & Clinical Practice 2017, 12(Suppl 1): A4