Self-control grows through discipline /

"August 1972"

Cleaning Illinois : status of the state's hazardous waste cleanup programs.

"Spring 1988."

Cleaning Illinois : status of the state's hazardous waste cleanup programs.

"Spring 1986."

Drug abuse programs : an evaluation.

Cover title.

State of Illinois statewide strategy to control drug and violent crime.

"January 1990."

Quality control in AFDC and Medicaid : a report to Congress.

"March 1988."

Pesticide-related illness and injury surveillance : a how-to guide for state-based programs.

"October 2005."

Evaluation of Physical Activity Programs Taking Place at The Pike Market Senior Center

Thesis (Master's)--University of Washington, 2016-06

Randomized control trial of a smoking cessation intervention directed at men whose partners are pregnant

Background. Although smoking cessation programs significantly reduce smoking rates in the general population, some sectors are poorly motivated by them, especially healthy men from lower socioeconomic classes. Methods. By using a significant life event (approaching birth of a child) we exploited a time of increased receptiveness to smoking cessation influences. A multicomponent intervention was conducted and evaluated using a stratified, randomised control trial, with an intention to treat analysis. Results. Five hundred and sixty-one men were enrolled and 505 (90%) followed to the end of their partners' pregnancy. At 6-month follow-up 16.5% of 291 smokers of the intervention group and 9.3% of 270 in the control group reported they had stopped smoking (P = 0.011, OR = 0.52, 95% CI 0.31 - 0.86). The strongest predictors of smoking cessation were being in a skilled occupation, having a higher number of quit attempts in the previous year and having the first cigarette of the day relatively later. Conclusions. The number of smoking men who had to be treated to achieve one stopping smoking (NNT) during their partner's pregnancy was 13 to 14. Innovative antismoking population health measures for the partners of antenatal patients are effective and perhaps should be more widely adopted. (C) 2003 American Health Foundation and Elsevier Inc. All rights reserved.

Who's really hypertensive? - Quality control issues in the assessment of blood pressure for randomized trials

The characterization of blood pressure in treatment trials assessing the benefits of blood pressure lowering regimens is a critical factor for the appropriate interpretation of study results. With numerous operators involved in the measurement of blood pressure in many thousands of patients being screened for entry into clinical trials, it is essential that operators follow pre-defined measurement protocols involving multiple measurements and standardized techniques. Blood pressure measurement protocols have been developed by international societies and emphasize the importance of appropriate choice of cuff size, identification of Korotkoff sounds, and digit preference. Training of operators and auditing of blood pressure measurement may assist in reducing the operator-related errors in measurement. This paper describes the quality control activities adopted for the screening stage of the 2nd Australian National Blood Pressure Study (ANBP2). ANBP2 is cardiovascular outcome trial of the treatment of hypertension in the elderly that was conducted entirely in general practices in Australia. A total of 54 288 subjects were screened; 3688 previously untreated subjects were identified as having blood pressure >140/90 mmHg at the initial screening visit, 898 (24%) were not eligible for study entry after two further visits due to the elevated reading not being sustained. For both systolic and diastolic blood pressure recording, observed digit preference fell within 7 percentage points of the expected frequency. Protocol adherence, in terms of the required minimum blood pressure difference between the last two successive recordings, was 99.8%. These data suggest that adherence to blood pressure recording protocols and elimination of digit preferences can be achieved through appropriate training programs and quality control activities in large multi-centre community-based trials in general practice. Repeated blood pressure measurement prior to initial diagnosis and study entry is essential to appropriately characterize hypertension in these elderly patients.

A theory for execution-time derivation in real-time programs

We provide an abstract command language for real-time programs and outline how a partial correctness semantics can be used to compute execution times. The notions of a timed command, refinement of a timed command, the command traversal condition, and the worst-case and best-case execution time of a command are formally introduced and investigated with the help of an underlying weakest liberal precondition semantics. The central result is a theory for the computation of worst-case and best-case execution times from the underlying semantics based on supremum and infimum calculations. The framework is applied to the analysis of a message transmitter program and its implementation. (c) 2005 Elsevier B.V. All rights reserved.

Community-based programs to promote care seat restraints in children 0-16 years - A systematic review

Study Objective: Community-based models for injury prevention have become an accepted part of the overall injury control strategy. This systematic review of the scientific literature examines the evidence for their effectiveness in reducing injury due to inadequate car seat restraint use in children 0-16 years of age. Methods: A comprehensive search of the literature was performed using the following study selection criteria: community-based intervention study: target population was children aged 0-16 years of age; outcome measure was either injury rates due to motor vehicle crashes or observed changes in child restraint use; and use of community control or historical control in the study design. Quality assessment and data abstraction was guided by a standardized procedure and performed independently by two authors. Data synthesis was in tabular and text form with meta-analysis not being possible due to the discrepancy in methods and measures between the studies. Results: This review found eight studies, that met all the inclusion criteria. In the studies that measured injury outcomes, significant reductions in risk of motor vehicle occupant injury (33-55%) were reported in the study communities. For those studies reporting observed car seat restraint use the community-based programs were successful in increasing toddler restraint use in 1-5 year aged children by up to 11%; child booster seat use in 4-8 year aged children by up to 13%; rear restraint use in children aged 0-15 years by 8%; a 50% increase in restraint use in pre-school aged children in a high-risk community; and a 44% increase in children aged 5-11 years. Conclusion: While this review highlights that there is some evidence to support the effectiveness of community-based programs to promote car restraint use and/or motor vehicle occupant injury, limitations in the evaluation methodologies of the studies requires the results to be interpreted with caution. There is clearly a need for further high quality program evaluation research to develop an evidence base. (C) 2004 Elsevier Ltd. All rights reserved.

Formal change impact analyses for emulated control software

Processor emulators are a software tool for allowing legacy computer programs to be executed on a modern processor. In the past emulators have been used in trivial applications such as maintenance of video games. Now, however, processor emulation is being applied to safety-critical control systems, including military avionics. These applications demand utmost guarantees of correctness, but no verification techniques exist for proving that an emulated system preserves the original system’s functional and timing properties. Here we show how this can be done by combining concepts previously used for reasoning about real-time program compilation, coupled with an understanding of the new and old software architectures. In particular, we show how both the old and new systems can be given a common semantics, thus allowing their behaviours to be compared directly.

Timing analysis of assembler code control-flow paths

Timinganalysis of assembler code is essential to achieve the strongest possible guarantee of correctness for safety-critical, real-time software. Previous work has shown how timingconstrain ts on controlflow paths through high-level language programs can be formalised using the semantics of the statements comprisingthe path. We extend these results to assembler-level code where it becomes possible to not only determine timingconstrain ts, but also to verify them against the known execution times for each instruction. A minimal formal model is developed with both a weakest liberal precondition and a strongest postcondition semantics. However, despite the formalism’s simplicity, it is shown that complex timingb ehaviour associated with instruction pipeliningand iterative code can be modelled accurately.