A formal model of real-time program compilation

Program compilation can be formally defined as a sequence of equivalence-preserving transformations, or refinements, from high-level language programs to assembler code, Recent models also incorporate timing properties, but the resulting formalisms are intimidatingly complex. Here we take advantage of a new, simple model of real-time refinement, based on predicate transformer semantics, to present a straightforward compilation formalism that incorporates real-time constraints. (C) 2002 Elsevier Science B.V. All rights reserved.

Interval training program optimization in highly trained endurance cyclists

Purpose: The purpose of this study was to examine the influence of three different high-intensity interval training (HIT) regimens on endurance performance in highly trained endurance athletes. Methods: Before, and after 2 and 4 wk of training, 38 cyclists and triathletes (mean +/- SD; age = 25 +/- 6 yr; mass = 75 +/- 7 kg; (V)over dot O-2peak = 64.5 +/- 5.2 mL.kg(-1).min(-1)) performed: 1) a progressive cycle test to measure peak oxygen consumption ((V)over dotO(2peak)) and peak aerobic power output (PPO), 2) a time to exhaustion test (T-max) at their (V)over dotO(2peak) power output (P-max), as well as 3) a 40-kin time-trial (TT40). Subjects were matched and assigned to one of four training groups (G(1), N = 8, 8 X 60% T-max P-max, 1:2 work:recovery ratio; G(2), N = 9, 8 X 60% T-max at P-max, recovery at 65% HRmax; G(3), N = 10, 12 X 30 s at 175% PPO, 4.5-min recovery; G(CON), N = 11). In addition to G(1) G(2), and G(3) performing HIT twice per week, all athletes maintained their regular low-intensity training throughout the experimental period. Results: All HIT groups improved TT40 performance (+4.4 to +5.8%) and PPO (+3.0 to +6.2%) significantly more than G(CON) (-0.9 to + 1.1 %; P < 0.05). Furthermore, G(1) (+5.4%) and G(2) (+8.1%) improved their (V)over dot O-2peak significantly more than G(CON) (+ 1.0%; P < 0.05). Conclusion: The present study has shown that when HIT incorporates P-max as the interval intensity and 60% of T-max as the interval duration, already highly trained cyclists can significantly improve their 40-km time trial performance. Moreover, the present data confirm prior research, in that repeated supramaximal HIT can significantly improve 40-km time trial performance.

Differences in physical activity between black and white girls living in rural and urban areas

This study examined the relationship of race and rural/urban setting to physical, behavioral, psychosocial, and environmental factors associated with physical activity. Subjects included 1,668 eighth-grade girls from 31 middle schools: 933 from urban settings, and 735 from rural settings. Forty-six percent of urban girls and 59% of rural girls were Black. One-way and two-way ANOVAs with school as a covariate were used to analyze the data. Results indicated that most differences were associated with race rather than setting. Black girls were less active than White girls, reporting significantly fewer 30-minute blocks of both vigorous and moderate-to-vigorous physical activity. Black girls also spent more time watching television, and had higher BMIs and greater prevalence of overweight than White girls. However, enjoyment of physical education and family involvement in physical activity were greater among Black girls titan White girls. Rural White girls and urban Black girls had more favorable attitudes toward physical activity. Access to sports equipment, perceived safety of neighborhood, and physical activity self-efficacy were higher in White girls than Black girls.

Role of the domestic chicken (Gallus gallus) in the epidemiology of urban visceral leishmaniasis in Brazil

Zoonotic visceral leishmaniasis (ZVL) is a serious public health problem in several Brazilian cities. Although the proximity of chicken houses is often cited as a risk factor in studies of urban ZVL, the role chickens play in the epidemiology of the disease has not been defined. Chickens attract both male and female sand flies (Lutzomyia longripalpis) but are unable to sustain Leishmania infections, and their presence may exert a zooprophylactic effect. We discuss environmental, physiologic, socioeconomic, and cultural factors related to chicken raising that could influence Le. infantum transmission in Brazilian cities and evaluate whether this practice significantly affects the risk of acquiring ZVL.

Remitting behaviour of Nepalese rural-to-urban migrants: Implications for theory and policy

This article uses data for Nepal to test contemporary hypotheses about the remitting behaviour and associated motives of rural-to-urban migrants and to consider the likely impact of such remittances on rural development. Possibilities for inheritance, degree of family attachment, likelihood of eventual return to place of origin and family investment in the education of the migrants are found to be significant influences on levels of remittances by Nepalese migrants. However, in Nepal, remittances do not seem to result in long-term capital investment in rural areas and so may not promote long-term development of these areas.