Using Theory to Understand the Multiple Determinants of Low Participation in Worksite Health Promotion Programs

Low participation at the employee or worksite level limits the potential public health impact of worksite-based interventions. Ecological models suggest that multiple levels of influence operate to determine participation patterns in worksite health promotion programs. Most investigations into the determinants of low participation study the intrapersonal, interpersonal, and institutional influences on employee participation. Community- and policy-level influences have not received attention, nor has consideration been given to worksite-level participation issues. The purpose of this article is to discuss one macrosocial theoretical perspective—political economy of health—that may guide practitioners and researchers interested in addressing the community- and policy-level determinants of participation in worksite health promotion programs. The authors argue that using theory to investigate the full spectrum of determinants offers a more complete range of intervention and research options for maximizing employee and worksite levels of participation.

Specification, refinement and verification of concurrent systems - An integration of Object-Z and CSP

This paper presents a method of formally specifying, refining and verifying concurrent systems which uses the object-oriented state-based specification language Object-Z together with the process algebra CSP. Object-Z provides a convenient way of modelling complex data structures needed to define the component processes of such systems, and CSP enables the concise specification of process interactions. The basis of the integration is a semantics of Object-Z classes identical to that of CSP processes. This allows classes specified in Object-Z to he used directly within the CSP part of the specification. In addition to specification, we also discuss refinement and verification in this model. The common semantic basis enables a unified method of refinement to be used, based upon CSP refinement. To enable state-based techniques to be used fur the Object-Z components of a specification we develop state-based refinement relations which are sound and complete with respect to CSP refinement. In addition, a verification method for static and dynamic properties is presented. The method allows us to verify properties of the CSP system specification in terms of its component Object-Z classes by using the laws of the the CSP operators together with the logic for Object-Z.

Youth unemployment outflow rates and labor market programs: Australian evidence

A matching function methodology is used to investigate the macroeconomic effects of labor market program (LMP) commencements on youth unemployment outflows in Australia using unpublished data that classify commencements and outflows by duration of unemployment. The results indicate that LMPs have had significant effects on outflows from short-term unemployment. There is a net positive effect from LMP commencements on short-term unemployed female outflow rates. However; females experienced negative spillover effects from male LMP commencements. These spillover effects appear to be associated with wage subsidy programs and suggest the net impact Of such programs may have been overstated in previous studies.

A refinement calculus for logic programs

Existing refinement calculi provide frameworks for the stepwise development of imperative programs from specifications. This paper presents a refinement calculus for deriving logic programs. The calculus contains a wide-spectrum logic programming language, including executable constructs such as sequential conjunction, disjunction, and existential quantification, as well as specification constructs such as general predicates, assumptions and universal quantification. A declarative semantics is defined for this wide-spectrum language based on executions. Executions are partial functions from states to states, where a state is represented as a set of bindings. The semantics is used to define the meaning of programs and specifications, including parameters and recursion. To complete the calculus, a notion of correctness-preserving refinement over programs in the wide-spectrum language is defined and refinement laws for developing programs are introduced. The refinement calculus is illustrated using example derivations and prototype tool support is discussed.

Renal pathology of polycystic kidney disease and concurrent hereditary nephritis in Bull Terriers

Objective To describe the renal lesions in Bull Terrier polycystic kidney disease (BTPKD), to confirm that the renal cysts in BTPKD arise from the nephron or collecting tubule, an to identify lesions consistent with concurrent BTPKD and Bull Terrier hereditary nephritis (BTHN). Design Renal tissue from five Bull Terriers with BTPKD and eight control dogs was examined by light and transmission electron microscopy. Clinical data were collected from all dogs, and family history of BTPKD and BTHN for all Bull Terriers. Results In BTPKD the renal cysts were lined by epithelial cells of nephron or collecting duct origin that were usually squamous or cuboidal, with few organelles. They had normal junctional complexes, and basal laminae of varying thicknesses. Glomeruli with small, atrophic tufts and dilated Bowman's capsules, tubular loss and dilation, and interstitial inflammation and fibrosis were common. Whereas the lesions seen in BTHN by light microscope were nonspecific, the presence of characteristic ultrastructural glomerular basement membrane (GMB) lesions and a family history of this disease indicated concurrent BTHN was likely in three of five cases of BTPKD. Conclusion This paper provides evidence that renal cysts in BTPKD are of nephron or collecting duct origin. In addition, GBM lesions are described that strongly suggest that BTPKD and BTHN may occur simultaneously.

The influence of a concurrent cognitive task on the compensatory stepping response to a perturbation in balance-impaired and healthy elders

This study investigated the influence of a concurrent cognitive task on the compensatory stepping response in balance-impaired elders and the attentional demand of the stepping response. Kinetic, kinematic and neuromuscular measures of a forward recovery step were investigated in 15 young adults, 15 healthy elders and 13 balance-impaired elders in a single task (postural recovery only) and dual task (postural recovery and vocal reaction time task) situation. Results revealed that reaction times were longer in all subjects when performed concurrently with a compensatory step, they were longer for a step than an in-place response and longer for balance-impaired older adults compared with young adults. An interesting finding was that the latter group difference may be related to prioritization between the two tasks rather than attentional demand, as the older adults completed the step before the reaction time, whereas the young adults could perform both concurrently. Few differences in step characteristics were found between tasks, with the most notable being a delayed latency and reduced magnitude of the early automatic postural response in healthy and balance-impaired elders with a concurrent task. (C) 2002 Elsevier Science B.V. All rights reserved.

Comparison of two population pharmacokinetic programs, NONMEM and P-PHARM, for tacrolimus

Objectives: To compare the population modelling programs NONMEM and P-PHARM during investigation of the pharmacokinetics of tacrolimus in paediatric liver-transplant recipients. Methods: Population pharmacokinetic analysis was performed using NONMEM and P-PHARM on retrospective data from 35 paediatric liver-transplant patients receiving tacrolimus therapy. The same data were presented to both programs. Maximum likelihood estimates were sought for apparent clearance (CL/F) and apparent volume of distribution (V/F). Covariates screened for influence on these parameters were weight, age, gender, post-operative day, days of tacrolimus therapy, transplant type, biliary reconstructive procedure, liver function tests, creatinine clearance, haematocrit, corticosteroid dose, and potential interacting drugs. Results: A satisfactory model was developed in both programs with a single categorical covariate - transplant type - providing stable parameter estimates and small, normally distributed (weighted) residuals. In NONMEM, the continuous covariates - age and liver function tests - improved modelling further. Mean parameter estimates were CL/F (whole liver) = 16.3 1/h, CL/F (cut-down liver) = 8.5 1/h and V/F = 565 1 in NONMEM, and CL/F = 8.3 1/h and V/F = 155 1 in P-PHARM. Individual Bayesian parameter estimates were CL/F (whole liver) = 17.9 +/- 8.8 1/h, CL/F (cutdown liver) = 11.6 +/- 18.8 1/h and V/F = 712 792 1 in NONMEM, and CL/F (whole liver) = 12.8 +/- 3.5 1/h, CL/F (cut-down liver) = 8.2 +/- 3.4 1/h and V/F = 221 1641 in P-PHARM. Marked interindividual kinetic variability (38-108%) and residual random error (approximately 3 ng/ml) were observed. P-PHARM was more user friendly and readily provided informative graphical presentation of results. NONMEM allowed a wider choice of errors for statistical modelling and coped better with complex covariate data sets. Conclusion: Results from parametric modelling programs can vary due to different algorithms employed to estimate parameters, alternative methods of covariate analysis and variations and limitations in the software itself.