Interventions to increase condom use among middle-aged and older adults: asystematic review of theoretical bases, behaviour change techniques, modes of delivery, and treatment fidelity

This systematic review collates, examines and syntheses condom use interventions for middle-aged and older adults. Associations between effectiveness and theoretical basis, behaviour change techniques, mode of delivery and treatment fidelity were explored. Five interventions were included; one was effective. Compared to interventions with non-significant findings, the effective telephone-administered intervention used theory to a greater extent, had a higher number of behaviour change techniques and employed more treatment fidelity strategies. There is a need to develop theory-based interventions targeting condom use among this population and evaluate these in randomised controlled trials that are rigorously designed and reported. Health psychologists have a key role in this endeavour

TAPAs: A Tool for the Analysis of Process Algebras

Process algebras are formalisms for modelling concurrent systems that permit mathematical reasoning with respect to a set of desired properties. TAPAs is a tool that can be used to support the use of process algebras to specify and analyze concurrent systems. It does not aim at guaranteeing high performances, but has been developed as a support to teaching. Systems are described as process algebras terms that are then mapped to labelled transition systems (LTSs). Properties are verified either by checking equivalence of concrete and abstract systems descriptions, or by model checking temporal formulae over the obtained LTS. A key feature of TAPAs, that makes it particularly suitable for teaching, is that it maintains a consistent double representation of each system both as a term and as a graph. Another useful didactical feature is the exhibition of counterexamples in case equivalences are not verified or the proposed formulae are not satisfied

Implementing family involvement in the treatment of patients with psychosis: a systematic review of facilitating and hindering factors

This paper presents independent research and was partially funded by the National Institute for Health Research Collaboration for Leadership in Applied Health Research and Care (NIHR CLAHRC) North Thames at Bart's Health NHS Trust

The Leeds Advanced Driving Simulator: Three Years In Operation

The Leeds Advanced Driving Simulator (LADS) at the University of Leeds is a medium cost fixed-base simulator and its development has been funded by the Science and Engineering Research Council (now EPSRC). It has been fully operational since mid-1993 for rural-road scenes (Carsten and Gallimore, 1993) but currently simulation of urban environments and vehicle interactions are possible too. This paper focuses on the recent development of LADS. Also detailed other recent research projects carried out in the simulator to date