The physical activity loyalty card scheme:Development and application of a novel system for incentivizing behaviour change

In the Public Health White Paper "Healthy Lives, Healthy People" (2010), the UK Government emphasised using incentives and "nudging" to encourage positive, healthy behaviour changes. However, there is little evidence that nudging is effective, in particular for increasing physical activity. We have created a platform to research the effectiveness of health-related behaviour change interventions and incentive schemes. The system consists of an outward-facing website, incorporating tools for incentivizing behaviour change, and a novel physical activity monitoring system. The monitoring system consists of the "Physical Activity Loyalty Card", which contains a passive RFID tag, and a contactless sensor network to detect the cards. This paper describes the application of this novel web-based system to investigate the effectiveness of non-cash incentives to "nudge" adults to undertake more physical activity. © 2012 ICST Institute for Computer Science, Social Informatics and Telecommunications Engineering.

Exploring the use of physical activity loyalty cards for behaviour change in public health: randomised controlled trial

Abstract
Background Physical inactivity is a major public health concern, and more innovative approaches are urgently needed to address it. The UK Government supports the use of incentives and so-called nudges to encourage healthy behaviour changes, and has encouraged business sector involvement in public health through the Public Health Responsibility Deal. To test the effectiveness of provision of incentives to encourage adults to increase their physical activity, we
recruited 406 adults from a workplace setting (office-based) to take part in an assessor-blind randomised controlled trial.
Methods
We developed the physical activity loyalty card scheme, which integrates a novel physical activity tracking system with web-based monitoring (palcard). Participants were recruited from two buildings at Northern Ireland’s main
government offices and were randomly allocated (grouped by building [n=2] to reduce contamination) to either incentive group (n=199) or no incentive group (n=207). We included participants aged 16–65 years, based at the worksite 4 days or more per week and for 6 h or more per day, and able to complete 15 min of moderate-paced walking (self-report). Exclusion criteria included having received specific advice by a general practitioner not to exercise. A statistician not involved in administration of the trial prepared a computer-generated random allocation sequence. Random assignments were placed in individually numbered, sealed envelopes by the statistician to ensure concealment of allocation. Only the assessor was masked to assignment. Sensors were placed along footpaths and the gym in the workplace. Participants scanned their loyalty card at the sensor when undertaking physical activity (eg, walking), which logged activity. Participants in the incentive group monitored their physical activity, collected points, and received rewards (retail vouchers) for minutes of physical activity completed over the 12-week intervention. Rewards were vouchers sponsored by local retailers. Participants in the no incentive group used their loyalty card to self-monitor their physical activity but were not able to earn points or receive rewards. The primary outcome was change in minutes of moderate to vigorous physical activity with the Global Physical Activity Questionnaire, measured at baseline, week 12, and 6 months. Activity was objectively measured with the tracking system over the 12-week intervention. Mann Whitney U tests were done to assess change between groups.
Findings
The mean age of participants was 43·32 years (SD 9·37), and 272 (67%) were women. We obtained follow-up data from 353 (87%) participants at week 12 and 341 (84%) at 6 months. At week 12, participants in the incentive group increased moderate to vigorous physical activity by a median of 60 min per week (IQR –10 to 120) compared with 30 min per week (–60 to 90) in the no incentive group (p=0·05). At 6 months, participants in the incentive group had
increased their moderate to vigorous physical activity by 30 min per week (–60 to 100) from baseline compared with 0 min per week (–115 to 1110) in the no incentive group (p=0·099). We noted no significant differences between groups
for use of loyalty card (p=0·18). Participants in the incentive group recorded a mean of 60·22 min (95% CI 50·90–69·55) of physical activity per week with their loyalty card on week 1 and 23·56 min (17·06–30·06) at week 12, which was similar to that for those in the no incentive group (59·74 min, 51·24–68·23, at week 1; 20·25 min, 14·45–26·06, at week 12; p=0·94 for differences between groups at week 1; p=0·45 for differences between groups at week 12).
Interpretation:
Financial incentives showed a short-term behaviour change in physical activity. This innovative study contributes to the necessary evidence base, and has important implications for physical activity promotion and business engagement in health. The optimum incentive-based approach needs to be established. Results should be interpreted with some caution as the analyses of secondary outcomes were not adjusted for multiple comparisons.

Formal Analysis of MPI-based Parallel Programs

Most parallel computing applications in highperformance computing use the Message Passing Interface (MPI) API. Given the fundamental importance of parallel computing to science and engineering research, application correctness is paramount. MPI was originally developed around 1993 by the MPI Forum, a group of vendors, parallel programming researchers, and computational scientists. However, the document defining the standard is not issued by an official standards organization but has become a de facto standard © 2011 ACM.

Large Scale Verification of MPI Programs Using Lamport Clocks with Lazy Update

We propose a dynamic verification approach for large-scale message passing programs to locate correctness bugs caused by unforeseen nondeterministic interactions. This approach hinges on an efficient protocol to track the causality between nondeterministic message receive operations and potentially matching send operations. We show that causality tracking protocols that rely solely on logical clocks fail to capture all nuances of MPI program behavior, including the variety of ways in which nonblocking calls can complete. Our approach is hinged on formally defining the matches-before relation underlying the MPI standard, and devising lazy update logical clock based algorithms that can correctly discover all potential outcomes of nondeterministic receives in practice. can achieve the same coverage as a vector clock based algorithm while maintaining good scalability. LLCP allows us to analyze realistic MPI programs involving a thousand MPI processes, incurring only modest overheads in terms of communication bandwidth, latency, and memory consumption. © 2011 IEEE.

Ethics in neuroscience graduate training programs:Views and models from Canada

Consideration of the ethical, social, and policy implications of research has become increasingly important to scientists and scholars whose work focuses on brain and mind, but limited empirical data exist on the education in ethics available to them. We examined the current landscape of ethics training in neuroscience programs, beginning with the Canadian context specifically, to elucidate the perceived needs of mentors and trainees and offer recommendations for resource development to meet those needs. We surveyed neuroscientists at all training levels and interviewed directors of neuroscience programs and training grants. A total of 88% of survey respondents reported general interest in ethics, and 96% indicated a desire for more ethics content as it applies to brain research and clinical translation. Expert interviews revealed formal ethics education in over half of programs and in 90% of grants-based programs. Lack of time, resources, and expertise, however, are major barriers to expanding ethics content in neuroscience education. We conclude with an initial set of recommendations to address these barriers which includes the development of flexible, tailored ethics education tools, increased financial support for ethics training, and strategies for fostering collaboration between ethics experts, neuroscience program directors, and funding agencies. © 2010 the Authors. Journal Compilation © 2010 International Mind, Brain, and Education Society and Blackwell Publishing, Inc.

Detection of visual-field deterioration by Glaucoma Progression Analysis and Threshold Noiseless Trend programs

BACKGROUND: To compare the ability of Glaucoma Progression Analysis (GPA) and Threshold Noiseless Trend (TNT) programs to detect visual-field deterioration.

METHODS: Patients with open-angle glaucoma followed for a minimum of 2 years and a minimum of seven reliable visual fields were included. Progression was assessed subjectively by four masked glaucoma experts, and compared with GPA and TNT results. Each case was judged to be stable, deteriorated or suspicious of deterioration

RESULTS: A total of 56 eyes of 42 patients were followed with a mean of 7.8 (SD 1.0) tests over an average of 5.5 (1.04) years. Interobserver agreement to detect progression was good (mean kappa = 0.57). Progression was detected in 10-19 eyes by the experts, in six by GPA and in 24 by TNT. Using the consensus expert opinion as the gold standard (four clinicians detected progression), the GPA sensitivity and specificity were 75% and 83%, respectively, while the TNT sensitivity and specificity was 100% and 77%, respectively.

CONCLUSION: TNT showed greater concordance with the experts than GPA in the detection of visual-field deterioration. GPA showed a high specificity but lower sensitivity, mainly detecting cases of high focality and pronounced mean defect slopes.

Physical Activity Loyalty Cards for Behavior Change:A Quasi-Experimental Study

Background: Financial incentives have been advocated by the UK and U.S. governments to encourage adoption of healthy lifestyles. However, evidence to support the use of incentives for changing physical activity (PA) behavior is sparse.
Purpose:To investigate the effectiveness of?nancial incentives to increase PA in adults in the workplace.
Design: Two-arm quasi-experimental design.
Setting/participants: Employees (n¼406) in a workplace setting in Belfast, Northern Ireland, UK.
Intervention: Using a loyalty card to collect points and earn rewards, participants (n¼199) in the Incentive Group monitored their PA levels and received ?nancial incentives (retail vouchers) for minutes of PA completed over the course of a 12-week intervention period. Participants (n¼207) in the comparison group used their loyalty card to self-monitor their PA levels but were not able to earn points or obtain incentives (No Incentive Group).
Main outcome measures:The primary outcome was minutes of PA objectively measured using a novel PA tracking system at baseline (April 2011); Week 6 (June 2011); and Week 12 (July 2011).
Other outcomes, including a self-report measure of PA, were collected at baseline, Week 12, and 6 months (October 2011). Data were analyzed in June 2012.
Results: No signi?cant differences between groups were found for primary or secondary outcomes at the 12-week and 6-month assessments. Participants in the Incentive Group recorded 17.52 minutes of PA/week (95% CI¼12.49, 22.56) compared to 16.63 minutes/week (95% CI¼11.76, 21.51) in the No Incentive Group at Week 12 (p¼0.59). At 6 months, participants in the Incentive Group recorded 26.18 minutes of PA/week (95% CI¼20.06, 32.29) compared to 24.00 minutes/week (95% CI¼17.45, 30.54) in the No Incentive Group (p¼0.45).
Conclusions: Financial incentives did not encourage participants to undertake more PA than selfmonitoring PA. This study contributes to the evidence base and has important implications for increasing participation in physical activity and fostering links with the business sector. (Am J Prev Med 2013;45(1):56–63) © 2013 American Journal of Preventive Medicine

Inference and Declaration of Independence in Task-Parallel Programs

The inherent difficulty of thread-based shared-memory programming has recently motivated research in high-level, task-parallel programming models. Recent advances of Task-Parallel models add implicit synchronization, where the system automatically detects and satisfies data dependencies among spawned tasks. However, dynamic dependence analysis incurs significant runtime overheads, because the runtime must track task resources and use this information to schedule tasks while avoiding conflicts and races.
We present SCOOP, a compiler that effectively integrates static and dynamic analysis in code generation. SCOOP combines context-sensitive points-to, control-flow, escape, and effect analyses to remove redundant dependence checks at runtime. Our static analysis can work in combination with existing dynamic analyses and task-parallel runtimes that use annotations to specify tasks and their memory footprints. We use our static dependence analysis to detect non-conflicting tasks and an existing dynamic analysis to handle the remaining dependencies. We evaluate the resulting hybrid dependence analysis on a set of task-parallel programs.

Digital loyalty card 'Big Data' and small business marketing: Formal versus informal or complementary?

This article proposes that a complementary relationship exists between the formalised nature of digital loyalty card data, and the informal nature of small business market orientation. A longitudinal, case-based research approach analysed this relationship in small firms given access to Tesco Clubcard data. The findings reveal a new-found structure and precision in small firm marketing planning from data exposure; this complemented rather than conflicted with an intuitive feel for markets. In addition, small firm owners were encouraged to include employees in marketing planning.

Paraphrasing:Generating parallel programs using refactoring

Refactoring is the process of changing the structure of a program without changing its behaviour. Refactoring has so far only really been deployed effectively for sequential programs. However, with the increased availability of multicore (and, soon, manycore) systems, refactoring can play an important role in helping both expert and non-expert parallel programmers structure and implement their parallel programs. This paper describes the design of a new refactoring tool that is aimed at increasing the programmability of parallel systems. To motivate our design, we refactor a number of examples in C, C++ and Erlang into good parallel implementations, using a set of formal pattern rewrite rules. © 2013 Springer-Verlag Berlin Heidelberg.