Recombinant human growth hormone, but not insulin-like growth factor-I, enhances central fat loss in postmenopausal women undergoing a diet and exercise program

We examined the effect of recombinant human growth hormone (rhGH) and/or recombinant human insulin-like growth factor-I (rhIGF-I) on regional fat loss in postmenopausal women undergoing a weight loss regimen of diet plus exercise. Twenty-seven women aged 59-79 years, 20-40% above ideal body weight, completed a 12-week program consisting of resistance training 2 days/week and walking 3 days/week, while consuming a diet that was 500 kcal/day less than that required for weight maintenance, Participants were randomly assigned in a double-blind fashion to receive rhGH (0.025 mg/kg BW/day: n=7), rhIGF-I (0.015 mg/kg BW/day: n=7), rhGH + rhIGF-I (n = 6), or placebo (PL: n = 7). Regional and whole body fat mass were determined by dual X-ray absorptiometry. Body fat distribution was assessed by the ratios of trunk fat-to-limb fat (TrF/LimbF) and trunk fat-to-total fat (TrF/TotF), Limb and trunk fat decreased in all groups (p < 0.01). For both ratios of fat distribution, the rhGH treated group experienced an enhanced loss of truncal compared to peripheral fat (p less than or equal to 0.01), with no significant change for those administered rhIGF-I or FL. There was no association between change in fat distribution and indices of cardiovascular disease risk as determined by serum lipid/lipoprotein levels and maximal aerobic capacity. These results suggest that administration of rhGH facilitates a decrease in central compared to peripheral fat in older women undertaking a weight loss program that combines exercise and moderate caloric restriction, although no beneficial effects are conferred to lipid/lipoprotein profiles, Further, the effect of rhGH is not enhanced by combining rhCH with rhIGF-I administration. In addition, rhIGF-I does not augment the loss of trunk fat when administered alone.

The efficacy of a universal school-based program to prevent adolescent depression

Evaluated whether a universal school-based program, designed to prevent depression in adolescents, could be effectively implemented within the constraints of the school environment. Participants were 260 Year 9 secondary school students. Students completed measures of depressive symptoms and hopelessness and were then assigned to 1 of 3 groups: (a) Resourceful Adolescent Program Adolescents (RAP A), an 11-session school-based resilience building program, as part of the school curriculum; (b) Resourceful Adolescent Program-Family (RAP-F), the same program as in RAP A, but in which each student's parents were also invited to participate in a 3-session parent program; and (c) Adolescent Watch, a comparison group in which adolescents simply completed the measures. The program was implemented with a high recruitment (88%), low attrition rate (5.8%), and satisfactory adherence to program protocol. Adolescents in either of the RAP programs reported significantly lower levels of depressive symptomatology and hopelessness at post-intervention and 10-month follow-up, compared with those in the comparison group. Adolescents also reported high satisfaction with the program. The study provides evidence for the efficacy of a school-based universal program designed to prevent depression in adolescence.

Program sustainability of a community-based intervention to prevent falls among older Australians

Multi-strategy interventions have been demonstrated to prevent falls among older people, but studies have not explored their sustainability. This paper investigates program sustainability of Stay on Your Feet (SOYF), an Australian multi-strategy falls prevention program (1992-1996) that achieved a significant reduction in falls-related hospital admissions. A series of surveys assessed recall, involvement and current falls prevention activities, 5 years post-SOYF in multiple original SOYF stakeholder groups within the study area [general practitioners (GPs), pharmacists, community health (CH) staff shire councils (SCs) and access committees (ACs)]. Focus groups explored possible behavioural changes in the target group. Surveys were mailed, except to CH staff and ACs. who participated in guided group sessions and were contacted via the telephone, respectively. Response rates were: GPs. 67% (139/209); pharmacists, 79% (53/67); CH staff, 63% (129/204); SCs, 90% (9/10); ACs, 80% (8/10). There were 73 older people in eight focus groups. Of 117 GPs who were practising during SOYF 80% recalled SOYF and 74% of these reported an influence on their practice. Of 46 pharmacists operating a business during SOYF, 45% had heard of SOYF and 79% of these reported being 'somewhat' influenced. Of 76 community health staff (59%) in the area at that time, 99% had heard of SOYF and 82% reported involvement. Four SCs retained a SOYF resource, but none thought current activities were related. Seven ACs reported involvement, but no activities were sustained. Thirty-five focus group participants (48%) remembered SOYF and reported a variety of SOYF-initiated behaviour changes. Program sustainability was clearly demonstrated among health practitioners. Further research is required to assess long-term effect sustainability.

A framework for specification-based testing

Test templates and a test template framework are introduced as useful concepts in specification-based testing. The framework can be defined using any model-based specification notation and used to derive tests from model-based specifications-in this paper, it is demonstrated using the Z notation. The framework formally defines test data sets and their relation to the operations in a specification and to other test data sets, providing structure to the testing process. Flexibility is preserved, so that many testing strategies can be used. Important application areas of the framework are discussed, including refinement of test data, regression testing, and test oracles.

Refining specifications to logic programs

The refinement calculus provides a framework for the stepwise development of imperative programs from specifications. In this paper we study a refinement calculus for deriving logic programs. Dealing with logic programs rather than imperative programs has the dual advantages that, due to the expressive power of logic programs, the final program is closer to the original specification, and each refinement step can achieve more. Together these reduce the overall number of derivation steps. We present a logic programming language extended with specification constructs (including general predicates, assertions, and types and invariants) to form a wide-spectrum language. General predicates allow non-executable properties to be included in specifications. Assertions, types and invariants make assumptions about the intended inputs of a procedure explicit, and can be used during refinement to optimize the constructed logic program. We provide a semantics for the extended logic programming language and derive a set of refinement laws. Finally we apply these to an example derivation.

Supporting contexts in program refinement

A program can be refined either by transforming the whole program or by refining one of its components. The refinement of a component is, for the main part, independent of the remainder of the program. However, refinement of a component can depend on the context of the component for information about the variables that are in scope and what their types are. The refinement can also take advantage of additional information, such as any precondition the component can assume. The aim of this paper is to introduce a technique, which we call program window inference, to handle such contextual information during derivations in the refinement calculus. The idea is borrowed from a technique, called window inference, for handling context in theorem proving. Window inference is the primary proof paradigm of the Ergo proof editor. This tool has been extended to mechanize refinement using program window inference. (C) 1997 Elsevier Science B.V.

Specification and Evaluation of Safety Properties in a Component-Based Software Engineering Process

Over the past years, component-based software engineering has become an established paradigm in the area of complex software intensive systems. However, many techniques for analyzing these systems for critical properties currently do not make use of the component orientation. In particular, safety analysis of component-based systems is an open field of research. In this chapter we investigate the problems arising and define a set of requirements that apply when adapting the analysis of safety properties to a component-based software engineering process. Based on these requirements some important component-oriented safety evaluation approaches are examined and compared.