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.

Airborne pollen of Brisbane, Australia: a five-year record, 1994-1999

The seasonal incidence of pollen in the atmosphere of Brisbane has been established from a near continuous. volumetric trapping program over the five-year period, July 1994-June 1999. Grass pollen accounts for 71.6% of the average annual pollen load with highest densities (up to 150 grains/m(3)) recorded in summer and autumn. Significant contributions were also made by taxa of the Cupressaceae (8.7%) and Urticaceae (1.8%) during spring and of the Pinaceae (4.5%) during winter. Pollen seasons of the Casuarinaceae (6.5%) and Myrtaceae (3.2%) are more extended, the former peaking in late winter and the latter in late spring. The onset and duration of the Poaceae and Urticaceae seasons varied from year to year, being later when precipitation levels were low in the late spring-early summer months. Total pollen numbers and grass pollen densities are substantially less than those recorded from southern Australia. Nevertheless, respiratory disease in Brisbane affects up to 10% of the population, and airborne pollen of Poaceae, Urticaceae, Cupressaceae, Pinaceae, and Myrtaceae have been implicated in the release of allergens.

An evaluation of a family psychoeducation program in community mental health

The aim of the research project was to identify the efficacy of the family psychoeducation program as a strategy for reducing the hospital admissions of young people. It also aimed to determine if the family psychoeducation program had an impact on the experience of caregiving and knowledge and satisfaction of services provided by the mental health service. A retrospective chart audit compared readmission history of 27 clients whose families attended a psychoeducation program with readmission history of a matched group of young people whose families did not attend the program. A telephone survey was conducted for both groups of families to investigate knowledge and understanding of services and burden of care. The results indicated that family participation in a brief multiple family psychoeducation program did not reduce the number or duration of admissions of the young people. There was no impact on the level of care for families who attended the psychoeducation program, however, this group showed some evidence of increased knowledge and understanding of services as compared to the control group.

On-line writing: a link to learning in a teacher education program

This paper examines the use of on-line discussion as a medium for learning in a pre-service teacher education program. As part of an Education Studies course student teachers engaged in a discussion of issues related to technology and equity in schools. The design of the task and the subsequent analysis of the on-line text were part of a research project investigating whether and how communications technology can be used to integrate and extend the learning of teacher education students. The main argument developed in the paper is that through the on-line activity distinctive sets of writing practices were created. These practices enabled students to make connections between the often disparate parts of teacher education programs-theory and practice, campus and school, research and experience. (C) 2002 Elsevier Science Ltd. All rights reserved.

Immunological changes after cancer treatment and participation in an exercise program

Purpose: The purpose of this investigation was to evaluate the impact of undertaking peripheral blood stem cell transplantation (PBST) on T-cell number and function, and to determine the role of a mixed type, moderate intensity exercise program in facilitating the recovery of T-cell number and function. Methods: Immunological measures of white blood cell, lymphocyte, CD3(+), CD4(+), and CD8(+) counts, and CD3(+) cell function were assessed pretransplant (PI), immediately posttransplant (PII), and 1 month (II), 2 months (12) and 3 months (PIII) posttransplant. After PII, 12 patients were divided equally into a control group (CG) or exercise intervention group (EG). Results: Lower total T-cell, helper T-cell, and suppressor T-cell counts (P < 0.01), as well as lower T-cell function (P < 0.01), when compared with normative data, were found at PI. More specifically, 88% of the group had CD3(+), CD4(+), and CD8(+) counts that were more than 40%, 20%, and 50% below normal at PI, respectively. Undertaking a PBST caused further adverse changes to the total leukocyte, lymphocyte, CD3(+), CD4(+) and CD8(+) count. and the helper/suppressor ratio. Although CD8(+) counts had returned to normal by PIII, CD3(+), CD4(+), and the CD4(+)/CD8(+) ratio remained significantly lower than normative data (P < 0.01), with 66%, 100%, and 100% of the subject group reporting counts and ratios, respectively, below the normal range. Conclusion: The PBST patients were immunocompromised before undertaking the transplant, and the transplant procedure imposed further adverse changes to the leukocyte and lymphocyte counts. The leukocyte and CD8(+) counts returned to normal within 3 months posttransplant; however, the other immunological parameters assessed demonstrated a delayed recovery. Although participation in the exercise program did not facilitate a faster immune cell recovery, neither did the exercise program hinder or delay recovery.

Reestrutura????o e expans??o do ensino superior p??blico: o programa Reuni na Universidade Federal do Cear?? sob a vis??o dos alunos

Com a institui????o do Programa de Apoio ao Plano de Reestrutura????o e Expans??o das Universidades Federais (Reuni), o governo federal tenta criar condi????es para ampliar o acesso e a perman??ncia dos estudantes na educa????o superior. Nesse contexto, esta pesquisa objetiva investigar a percep????o dos estudantes dos dez centros acad??micos da Universidade Federal do Cear?? (UFC), regularmente matriculados no 2?? semestre de 2008, em rela????o ao Reuni e ?? proposta de ades??o da UFC ao mencionado programa, a partir de uma perspectiva mercadol??gica. Para a determina????o da amostra de entrevistados foi utilizada a f??rmula de Cochran, para popula????es finitas, e amostras aleat??rias estratificadas, resultando em uma amostra de 378 estudantes para um n??vel de confian??a de 95%. Foram utilizadas vari??veis que influenciam o comportamento do p??blico-alvo, tais como renda, grupo social e idade, com foco no marketing educacional. Trata-se de uma pesquisa quantitativa quanto ?? sua natureza, descritiva quanto aos fins e realizada mediante survey. Constatou-se grande desconhecimento sobre o Reuni ??? 50,5% dos entrevistados nunca ouviram falar sobre o programa. Percebeu-se ainda que os estudantes que possuem uma atitude negativa sobre o Reuni aprovam o conte??do da proposta da UFC, da mesma maneira que os estudantes que n??o possuem essa atitude.

Mapping the Obama administration's response to the Arab Spring

When the Arab Spring broke out, the United States was in a quandary over how to handle the crisis in its attempt to balance its moral obligations and ideals without undercutting its strategic interests and those of its close allies. Flaws in US diplomatic approach have contributed to one of the most serious foreign policy crisis for a US administration to date with consequential upheaval and erosion of the US-built balance of power. The reactions and policy responses of the Obama administration highlight the difficulties in grasping with the new reality in the Middle East and in enunciating a policy platform that could combine American interests and values.