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.

Effect of aquatic respiratory exercise-based program in patients with fibromyalgia

Objective: This study assessed the effects of an aquatic respiratory exercise-based program in patients with fibromyalgia (FMS). Methods: Forty women, aged between 20 and 60 years, were randomly assigned into two groups of 20 patients: the aquatic respiratory exercise-based program (ARG) and the control group (CTL). The ARG group performed the exercise program for 1 h, four times a week, for 4 weeks which included: (i) warming-Lip; (ii) respiratory exercises, consisting of five different breathing patterns, along With upper, lower limbs and trunk movements (45 min); and (iii) relaxation exercises. Both groups were included in supervised recreational activities of 1 h, once a week, for 4 weeks. Questionnaires were applied before and after intervention to assess quality of life and functional capacity (SF-36, Fibromyalgia Impact Questionnaire [FIQ]), anxiety (Hamilton Anxiety Scale [HAS]), and quality of sleep (Pittsburg Sleep Quality Index [PSQI]). Number of tender points and pain (Visual Analogue Scale [VAS]) were also evaluated. Results: At baseline there was no difference between the two groups, including number of tender points and questionnaire responses. After intervention, the ARG group, compared with the CTL group, showed improvement in SF-36 scores (physical functioning P = 0.001, bodily pain 1) = 0.001, vitality P = 0.009, social functioning P = 0.001, emotional role P = 0.001), in FIQ (total score P = 0.049, work missed P = 0.036, fatigue P = 0.013, morning tiredness P = 0.007) plus in VAS-pain (P = 0.029), VAS-dyspnea (P = 0.04), anxiety (HAS P = 0.005) and quality of sleep (PSQI P = 0.004). Conclusions: The short-term aquatic respiratory exercise-based program improved pain, quality of life, functional capacity, anxiety and quality of sleep in patients with FMS and may be a relevant addition to the treatment of these patients.

Different Patterns in a Cohort of Patients with Severe Leptospirosis (Weil Syndrome): Effects of an Educational Program in an Endemic Area

The aim of this study is to investigate the changes in clinical pattern and therapeutic measures in leptospirosis-associated acute kidney injury; a retrospective study with 318 patients in Brazil. Patients were divided according to the time of admission: 1985-1996 (group I) and 1997-2010 (group II). Patients were younger in group I (36 +/- 13 versus 41 +/- 16 years, P = 0.005) and the numbers of oliguria increased (21% versus 41% in group II, P = 0.014). Higher frequency of lung manifestations was observed in group II (P<0.0001). Although increased severity, there was a significant reduction in mortality (20% in group I versus 12% in group II, P = 0.03). Mortality was associated with advanced age, low diastolic blood pressure, oliguria, arrhythmia, and peritoneal dialysis, besides a trend to better mortality with penicillin administration. Leptospirosis is occurring in an older population, with a higher number of oliguria and lung manifestations. However, mortality is decreasing and can be the result of changes in treatment.

Pharmacy Asthma Care Program. Final Report.

The purpose of the project is to identify the role and value of professional services that community pharmacy can provide to people who are at risk of asthma or present with the disease. A literature review has been conducted to inform the development of a Pharmacy Asthma Care Module to pilot in the project

Low-density koala (Phascolarctos cinereus) populations in the mulgalands of south-west Queensland. I. Faecal pellet sampling protocol

Koala (Phascolarctos cinereus) populations in eastern Australia are threatened by land clearing for agricultural and urban development. At the same time, conservation efforts are hindered by a dearth of information about inland populations. Faecal deposits offer a source of information that is readily available and easily collected non-invasively. We detail a faecal pellet sampling protocol that was developed for use in a large rangeland biogeographic region. The method samples trees in belt transects, uses a thorough search at the tree base to quickly identify trees with koala pellets under them, then estimates the abundance of faecal pellets under those trees using 1-m(2) quadrats. There was a strong linear relationship between these estimates and a complete enumeration of pellet abundance under the same trees. We evaluated the accuracy of our method in detecting trees where pellets were present by means of a misclassification index that was weighed more heavily for missed trees that had high numbers of pellets under them. This showed acceptable accuracy in all landforms except riverine, where some trees with large numbers of pellets were missed. Here, accuracy in detecting pellet presence was improved by sampling with quadrats, rather than basal searches. Finally, we developed a method to reliably age pellets and demonstrate how this protocol could be used with the faecal-standing-crop method to derive a regional estimate of absolute koala abundance.

An evaluative case study of a psychological skills training program for athletes with intellectual disabilities

The purpose was to develop an evaluative case study of six 3-hr sessions, spaced over 3 months, of psychological skills training (PST) provided to athletes with an intellectual disability who were training for the Basketball Australia State Championships. Participants were 7 males and 7 females, aged 15.8 to 27.1 years, with a receptive language level of 7 to 13.7 years, 2 female coaches, 2 psychologists, and I registered psychologist supervisor. Sessions focused specifically on stress management, with primary attention given to cue words, breathing techniques, and positive thinking. Findings, based on interviews and participant observations, revealed that all participants believed that the PST was appropriate and worthwhile.

Document retrieval for e-mail search and discovery using Formal Concept Analysis

This paper discusses a document discovery tool based on Conceptual Clustering by Formal Concept Analysis. The program allows users to navigate e-mail using a visual lattice metaphor rather than a tree. It implements a virtual. le structure over e-mail where files and entire directories can appear in multiple positions. The content and shape of the lattice formed by the conceptual ontology can assist in e-mail discovery. The system described provides more flexibility in retrieving stored e-mails than what is normally available in e-mail clients. The paper discusses how conceptual ontologies can leverage traditional document retrieval systems and aid knowledge discovery in document collections.

In search of the ultimate ionosonde deduced equator

A further progress has been made in defining the ionosonde deduced equator (IDE) which characterises a latitudinal transition from the northern to southern hemisphere. It is now possible to define the global IDE location as the locus of the average position between geographic and geomagnetic equators. A more complete insight to the phenomenon of the third equator (i.e. after geographic and geomagnetic equators) was made possible due to availability of ionospheric height (h'F) data from three stations positioned close to the IDE in the American and the far-east sectors. The IDE ionospheric signature (or E-type signature), detected at these stations, consists of bi-annual h'F height increases. This signature however is not consistently observed during solar cycle and at times, particularly at sunspot minimum, a weak hemispheric signature is observed (i.e. the northern or southern hemisphere signature). In general, the height increase at the IDE are considerably smaller (by a factor of 4) than at other equatorial locations, indicating that the ionosphere at the IDE location becomes less disturbed. It is suggested that the equatorial longitudinal regions which can be associated with more consistent E-type signature are located in the central Pacific and at the east coast of America, close to the intersection points of the geographic and geomagnetic equators. (C) 2003 Elsevier Ltd. All rights reserved.

M??dulo I - introdu????o: curso or??amento p??blico: vis??o geral

Este documento trata de: or??amento p??blico: conceito, fun????es, t??cnicas, princ??pios e marcos legais; enfoques do or??amento: enfoque fiscal dos or??amentos e enfoque program??tico da despesa; roteiro da elabora????o e execu????o or??ament??ria anual; classifica????es or??ament??rias da despesa e da receita; execu????o dos or??amentos; execu????o or??ament??ria e financeira

Intermittent claudication and physical exercise: effectiveness of a home-based program

Peripheral arterial disease (PAD) as a high incidence in general population and 12% to 20% of population with more than 60 years has already clinical symptoms, such as intermittent claudication (IC), pain, loss of strength and functional incapacity. There are already some studies who refer the possible positive effects of physical exercise in functional consequences of PAD.

Intermittent claudication and physical exercise: effectiveness of a home-based program

Peripheral arterial disease (PAD) as a high incidence in general population and 12% to 20% of population with more than 60 years has already clinical symptoms, such as intermittent claudication (IC), pain, loss of strength and functional incapacity. There are already some studies that refer the possible positive effects of physical exercise in functional consequences of PAD. The purpose of this study was to verify the results of a home-based (HB) weekly supervised physical exercise program in patients with IC in consequence of PAD in lower limbs, and observe the medium number of diary steps walked by the subjects of our study.