The Blueprints for Violence Prevention initiative, developed by the Center for the Study and Prevention of Violence at the University of Colorado–Boulder and sup­ ported by the Office of Juvenile Justice and Delinquency Prevention, is a leader in identifying effective violence prevention and drug prevention programs that have been evaluated in rigorous, controlled tri­ als. However, the identif...

BACKGROUND Fidelity monitoring is essential with implementation of complex health interventions, but there is little description of how to use results of fidelity monitoring to improve the draft program package prior to widespread dissemination. Root cause analysis (RCA) provides a systematic approach to identifying underlying causes and devising solutions to prevent errors in complex processes...

We describe a software framework for prescribing the trajectory path of a mobile sink in a wireless sensor network under an extensible set of optimization criteria. The framework relies on an integrated mobility manager that continuously advises the sink using application-specific network statistics. We focus on a reference implementation for TinyOS. Through extensive physical experimentation, ...

This paper describes how to verify cryptographic protocols by a general-purpose program transformation technique with unfolding. The questions of representation and analysis of the protocols as prefix rewriting grammars are discussed. In these aspects Higman and Turchin embeddings on computational paths are considered, and a refinement of Turchin’s relation is presented that allows to algorithm...

For a long time, Tcl users and developers have requested some kind of coordinated package repository; CANTCL defines a standard web based interface to such a repository and provides a reference implementation. This paper will describe some details of the reference implementation and develop some ideas for applications that might be built on top of the capabilities of CANTCL.

We present the side-effect free programming course environment GUPU that seamlessly guides and supports students during all phases of program development covering specification, implementation, and program debugging. GUPU features several innovations in this area. The specification phase is supported by reference implementations augmented with diagnostic facilities. During implementation, immed...

background: the family physician program and referral system considered as one of the important programs of country’s health that has been implemented since 2005.considerng that health is a spontaneous phenomenon and information in this regard should be given to individuals, the present study was conducted to determine the relationship between knowledge and attitudes of rural people with inform...

This paper reports the findings of a case study in which a curriculum-based positive youth development program (Project P.A.T.H.S.) was implemented by the class teachers in a school. School-related factors which contributed to the success of program implementation were identified in the study. Results showed that factors facilitating the program implementation were closely related to the "5Ps" ...