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.

Aerobic training reverses airway inflammation and remodelling in an asthma murine model

Aerobic training (AT) decreases dyspnoea and exercise-induced bronchospasm, and improves aerobic capacity and quality of life; however, the mechanisms for such benefits remain poorly understood. The aim of the present study was to evaluate the AT effects in a chronic model of allergic lung inflammation in mice after the establishment of airway inflammation and remodelling. Mice were divided into the control group, AT group, ovalbumin (OVA) group or OVA+AT group and exposed to saline or OVA. AT was started on day 28 for 60 min five times per week for 4 weeks. Respiratory mechanics, specific immunoglobulin (Ig)E and IgG(1), collagen and elastic fibres deposition, smooth muscle thickness, epithelial mucus, and peribronchial density of eosinophils, CD3+ and CD4+, IL-4, IL-5, IL-13, interferon-gamma, IL-2, IL-1ra, IL-10, nuclear factor (NF)-kappa B and Foxp3 were evaluated. The OVA group showed an increase in IgE and IgG1, eosinophils, CD3+, CD4+, IL-4, IL-5, IL-13, NF-kappa B, collagen and elastic, mucus synthesis, smooth muscle thickness and lung tissue resistance and elastance. The OVA+AT group demonstrated an increase of IgE and IgG(1), and reduction of eosinophils, CD3+, CD4+, IL-4, IL-5, IL-13, NF-kappa B, airway remodelling, mucus synthesis, smooth muscle thickness and tissue resistance and elastance compared with the OVA roup (p < 0.05). The OVA+AT group also showed an increase in IL-10 and IL-1ra (p < 0.05), independently of Foxp3. AT reversed airway inflammation and remodelling and T-helper cell 2 response, and improved respiratory mechanics. These results seem to occur due to an increase in the expression of IL-10 and IL-1ra and a decrease of NF-kappa B.

Effects of proportional assisted ventilation on exercise performance in idiopathic pulmonary fibrosis patients

Background: Patients with idiopathic pulmonary fibrosis (IPF) present an important ventilatory (imitation reducing their exercise capacity. Non-invasive ventilatory support has been shown to improve exercise capacity in patients with obstructive diseases; however, its effect on IPF patients remains unknown. Objective: The present study assessed the effect of ventilatory support using proportional, assist ventilation (PAV) on exercise capacity in patients with IPF. Methods: Ten patients (61.2 +/- 9.2 year-old) were submitted to a cardiopulmonary exercise testing, plethysmography and three submaximal. exercise tests (60% of maximum load): without ventilatory support, with continuous positive airway pressure (CPAP) and PAV. Submaximal tests were performed randomly and exercise capacity, cardiovascular and ventilatory response as well as breathlessness subjective perception were evaluated. Lactate plasmatic levels were obtained before and after submaximal. exercise. Results: Our data show that patients presented a limited exercise capacity (9.7 +/- 3.8 mL O(2)/kg/min). Submaximal. test was increased in patients with PAV compared with CPAP and without ventilatory support (respectively, 11.1 +/- 8.8 min, 5.6 +/- 4.7 and 4.5 +/- 3.8 min; p < 0.05). An improved arterial oxygenation and lower subjective perception to effort was also observed in patients with IPF when exercise was performed with PAV (p < 0.05). IPF patients performing submaximal exercise with PAV also presented a lower heart rate during exercise, although systolic and diastolic pressures were not different among submaximal tests. Our results suggest that PAV can increase exercise tolerance and decrease dyspnoea and cardiac effort in patients with idiopathic pulmonary fibrosis. (C) 2009 Elsevier Ltd. All rights reserved.

Aerobic conditioning and allergic pulmonary inflammation in mice. II. Effects on lung vascular and parenchymal inflammation and remodeling

Vieira RP, de Andrade VF, Duarte AC, dos Santos AB, Mauad T, Martins MA, Dolhnikoff M, Carvalho CR. Aerobic conditioning and allergic pulmonary inflammation in mice. II. Effects on lung vascular and parenchymal inflammation and remodeling. Am J Physiol Lung Cell Mol Physiol 295: L670-L679, 2008. First published August 29, 2008; doi: 10.1152/ajplung.00465.2007.-Recent evidence suggests that asthma leads to inflammation and remodeling not only in the airways but also in pulmonary vessels and parenchyma. In addition, some studies demonstrated that aerobic training decreases chronic allergic inflammation in the airways; however, its effects on the pulmonary vessels and parenchyma have not been previously evaluated. Our objective was to test the hypothesis that aerobic conditioning reduces inflammation and remodeling in pulmonary vessels and parenchyma in a model of chronic allergic lung inflammation. Balb/c mice were sensitized at days 0, 14, 28, and 42 and challenged with ovalbumin ( OVA) from day 21 to day 50. Aerobic training started on day 21 and continued until day 50. Pulmonary vessel and parenchyma inflammation and remodeling were evaluated by quantitative analysis of eosinophils and mononuclear cells and by collagen and elastin contents and smooth muscle thickness. Immunohistochemistry was performed to quantify the density of positive cells to interleukin (IL)-2, IL-4, IL-5, interferon-gamma, IL-10, monocyte chemotatic protein (MCP)-1, nuclear factor (NF)-kappa B p65, and insulin-like growth factor (IGF)-I. OVA exposure induced pulmonary blood vessels and parenchyma inflammation as well as increased expression of IL-4, IL-5, MCP-1, NF-kappa B p65, and IGF-I by inflammatory cells were reduced by aerobic conditioning. OVA exposure also induced an increase in smooth muscle thickness and elastic and collagen contents in pulmonary vessels, which were reduced by aerobic conditioning. Aerobic conditioning increased the expression of IL-10 in sensitized mice. We conclude that aerobic conditioning decreases pulmonary vascular and parenchymal inflammation and remodeling in this experimental model of chronic allergic lung inflammation in mice.

Stuttering treatment control using P300 event-related potentials

Positron emission tomography studies during speech have indicated a failure to show the normal activation of auditory cortical areas in stuttering individuals. In the present study, P300 event-related potentials were used to investigate possible effects of behavioral treatment on the pattern of signal amplitude and latency between waves. In order to compare variations in P300 measurements, a control group paired by age and gender to the group of stutterers, was included in the study. Findings suggest that the group of stutterers presented a significant decrease in stuttering severity after the fluency treatment program. Regarding P300 measurements, stutterers and their controls presented results within normal limits in all testing situations and no significant statistical variations between pre and post treatment testing. When comparing individual results between the testing situations, stutterers presented a higher average decrease in wave latency for the right ear following treatment. The results are discussed in light of previous P300 event-related potentials and functional imaging studies with stuttering adults. Educational objectives: The reader will learn about and be able to describe the: (1) use of P300 event-related potentials in the study of stuttering; (2) differences between stuttering and non-stuttering adults; and (3) effects of behavioral fluency treatment on cerebral activity in stuttering speakers. (C) 2011 Elsevier Inc. All rights reserved.

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.

Effects of Aerobic Training on Airway Inflammation in Asthmatic Patients

MENDES, F. A. R., F. M. ALMEIDA, A. CUKIER, R. STELMACH, W. JACOB-FILHO, M. A. MARTINS, and C. R. F. CARVALHO. Effects of Aerobic Training on Airway Inflammation in Asthmatic Patients. Med. Sci. Sports Exerc., Vol. 43, No. 2, pp. 197-203, 2011. Purpose: There is evidence suggesting that physical activity has anti-inflammatory effects in many chronic diseases; however, the role of exercise in airway inflammation in asthma is poorly understood. We aimed to evaluate the effects of an aerobic training program on eosinophil inflammation (primary aim) and nitric oxide (secondary aim) in patients with moderate or severe persistent asthma. Methods: Sixty-eight patients randomly assigned to either control (CG) or aerobic training (TG) groups were studied during the period between medical consultations. Patients in the CG (educational program + breathing exercises; N = 34) and TG (educational program + breathing exercises + aerobic training; N = 34) were examined twice a week during a 3-month period. Before and after the intervention, patients underwent induced sputum, fractional exhaled nitric oxide (FeNO), pulmonary function, and cardiopulmonary exercise testing. Asthma symptom-free days were quantified monthly, and asthma exacerbation was monitored during 3 months of intervention. Results: At 3 months, decreases in the total and eosinophil cell counts in induced sputum (P = 0.004) and in the levels of FeNO (P = 0.009) were observed after intervention only in the TG. The number of asthma symptom-free days and (V) over dotO(2max) also significantly improved (P < 0.001), and lower asthma exacerbation occurred in the TG (P < 0.01). In addition, the TG presented a strong positive relationship between baseline FeNO and eosinophil counts as well as their improvement after training (r = 0.77 and r = 0.9, respectively). Conclusions: Aerobic training reduces sputum eosinophil and FeNO in patients with moderate or severe asthma, and these benefits were more significant in subjects with higher levels of inflammation. These results suggest that aerobic training might be useful as an adjuvant therapy in asthmatic patients under optimized medical treatment.

FibroTest is an independent predictor of virologic response in chronic hepatitis C patients retreated with pegylated interferon alfa-2b and ribavirin in the EPIC(3) program

Background & Aims: EPIC-3 is a prospective, international study that has demonstrated the efficacy of PEG-IFN alfa-2b plus weight-based ribavirin in patients with chronic hepatitis C and significant fibrosis who previously failed any interferon-alfa/ribavirin therapy. The aim of the present study was to assess FibroTest (FT), a validated non-invasive marker of fibrosis in treatment-naive patients, as a possible alternative to biopsy as the baseline predictor of subsequent early virologic (EVR) and sustained virologic response (SVR) in previously treated patients. Methods: Of 2312 patients enrolled, 1459 had an available baseline FT, biopsy, and complete data. Uni- (UV) and multi-variable (MV) analyses were performed using FT and biopsy. Results: Baseline characteristics were similar as in the overall population; METAVIR stage: 28% F2, 29% F3, and 43% F4, previous relapsers 29%, previous PEG-IFN regimen 41%, high baseline viral load (BVL) 64%. 506 patients (35%) had undetectable HCV-RNA at TW12 (TW12neg), with 58% achieving SVR. The accuracy of FT was similar to that in naive patients: AUROC curve for the diagnosis of F4 vs F2 = 0.80 (p<0.00001). Five baseline factors were associated (p<0.001) with SVR in UV and MV analyses (odds ratio: UV/MV): fibrosis stage estimated using FT (4.5/5.9) or biopsy (1.5/1.6), genotype 2/3 (4.5/5.1), BVL (1.5/1.3), prior relapse (1.6/1.6), previous treatment with non-PEG-IFN (2.6/2.0). These same factors were associated (p <= 0.001) with EVR. Among patients TW12neg, two independent factors remained highly predictive of SVR by MV analysis (p <= 0.001): genotype 2/3 (odds ratio = 2.9), fibrosis estimated with FT (4.3) or by biopsy (1.5). Conclusions: FibroTest at baseline is a possible non-invasive alternative to biopsy for the prediction of EVR at 12 weeks and SVR, in patients with previous failures and advanced fibrosis, retreated with PEG-IFN alfa-2b and ribavirin. (C) 2010 European Association for the Study of the Liver. Published by Elsevier B.V. All rights reserved.

Surgical Outcomes after Preceptored Laparoscopic Colorectal Surgery: Results of a Brazilian Preceptorship Program

Background/Aims: Safety of laparoscopic colectomy education methods remains unknown. This study aimed at comparing the outcomes of patients undergoing preceptored laparoscopic colectomy with patients operated on by the same preceptor. Methodology: A prospective analysis of 30 preceptored operations performed by nine surgeons (PD group) between 2006 and 2008 was conducted. Data of 30 operations matched for diagnosis and surgery type conducted by the same preceptor (P group) were evaluated. Results: Median age was 56.2 (26-80) and 55.2 (22-81) respectively in P and PD group (p=0.804). Eleven (36.7%) were male in P group, 16 (53.3%) in PD group (p=0.194). Preceptored operations were not significantly longer than operations performed by the preceptor (198 vs. 156 min) - p=0.072. Length of hospital stay did not differ [4 days (3-12) in P group, and 5 (3-15) in PD group, p=0.296]. Conversion occurred in 4 cases in PD and in 2 in P group (p=0.389). Morbidity was similar (23.3% in P and 26.7% in PD group). One patient from P and two from PD group needed re-operation. No deaths occurred. Conclusions: Laparoscopic colorectal surgery preceptorship programs in surgeon learner`s place are safe. Surgeons` introduction through basic and hands-on courses is required for skills acquisition needed to minimize adverse outcomes.

Detection of nosocomial malnutrition is improved in Amazon region by a standard clinical nutrition education program

Background: In Brazil hospital malnutrition is highly prevalent. physician awareness of malnutrition is low, and nutrition therapy is underprescribed. One alternative to approach this problem is to educate health care providers in clinical nutrition. The present study aims to evaluate the effect of an intensive education course given to health care professionals and students on the diagnosis ability concerning to hospital malnutrition. Materials and methods: An intervention study based on a clinical nutrition educational program, offered to medical and nursing students and professionals, was held in a hospital of the Amazon region. Participants were evaluated through improvement of diagnostic ability, according to agreement of malnutrition diagnosis using Subjective Global Assessment before and after the workshop, as compared to independent evaluations (Kappa Index, k). To evaluate the impact of the educational intervention on the hospital malnutrition diagnosis, medical records were reviewed for documentation of parameters associated with nutritional status of in-patients. The SPSS statistical software package was used for data analysis. Results: A total of 165 participants concluded the program. The majority (76.4%) were medical and nursing students. Malnutrition diagnosis improved after the course (before k = 0.5; after k = 0.64; p < 0.05). A reduction of false negatives from 50% to 33.3% was observed. During the course, concern of nutritional diagnosis was increased W = 17.57; p < 0.001) and even after the course, improvement on the height measurement was detected chi(2) 12.87;p < 0.001). Conclusions: Clinical nutrition education improved the ability of diagnosing malnutrition; however the primary impact was on medical and nursing students. To sustain diagnostic capacity a clinical nutrition program should be part of health professional curricula and be coupled with continuing education for health care providers.

Leptospirosis pulmonary haemorrhage syndrome is associated with linear deposition of immunoglobulin and complement on the alveolar surface

Leptospirosis is a zoonotic infection associated with severe diseases such as leptospirosis pulmonary haemorrhage syndrome (LPHS). The cause of pulmonary haemorrhage is unclear. Understanding which mechanisms and processes are involved in LPHS will be important in treatment regimens under development for this life-threatening syndrome. In the present study, we evaluated 30 lung specimens from LPHS patients and seven controls using histology and immunohistochemistry (detection of IgM, IgG, IgA and C3) in order to describe the pathological features associated with this syndrome. Immunoglobulin deposits were detected on the alveolar surface in 18/30 LPHS patients. Three staining patterns were observed for the immunoglobulins and C3 in the lung tissues of LPHS patients: AS, delicate linear staining adjacent to the alveolar surface, which was indicative of a membrane covering the luminal surface of type I and II pneumocyte cells; S, heterogeneous staining which was sporadically distributed along the alveolar septum; and IA, weak, focal intra-alveolar granular staining. Human LPHS is associated with individual and unique histological patterns that differ from those of other causes of pulmonary haemorrhage. In the present study, it was found that the linear deposition of immunoglobulins (IgA, IgG and IgM) and complement on the alveolar surface may play a role in the pathogenesis of pulmonary haemorrhage in human leptospirosis.

Challenges and Recommendations for Placebo Controls in Randomized Trials in Physical and Rehabilitation Medicine A Report of the International Placebo Symposium Working Group

Compared with other specialties, the field of physical and rehabilitation medicine has not received the deserved recognition from clinicians and researchers in the scientific community. One of the reasons is the lack of sound evidence to support the traditional physical and rehabilitation medicine treatments. The best way to change this disadvantage is through a well conducted clinical research, such as standard placebo- or sham-controlled randomized clinical trials. Therefore, having placebo groups in clinical trials is essential to improve the level of evidence-based practice in physical and rehabilitation medicine that ultimately translates to better clinical care. To address the challenges for the use of placebo in physical and rehabilitation medicine and randomized clinical trials and to create useful recommendations, we convened a working group during the inaugural International Symposium in Placebo (February 2009, in Sao Paulo, Brazil) in which the following topics were discussed: (1) current status of randomized clinical trials in physical and rehabilitation medicine, (2) challenges for the use of placebo in physical and rehabilitation medicine, (3) bioethics, (4) use of placebo in acupuncture trials and for the treatment of low-back pain, (5) mechanisms of placebo, and (6) insights from other specialties. The current article represents the consensus report from the working group.

The Potential Impact of Using Donations After Cardiac Death on the Liver Transplantation Program and Waiting List in the State of Sao Paulo, Brazil

Liver transplantation was first performed at the University of Sao Paulo School of Medicine in 1968. Since then, the patient waiting list for liver transplantation has increased at a rate of 150 new cases per month. Liver transplantation itself rose 1.84-fold (from 160 to 295) from 1988 to 2004. However, the number of patients on the liver waiting list jumped 2.71-fold (from 553 to 1500). Consequently, the number of deaths on the liver waiting list moved to a higher level, from 321 to 671, increasing 2.09-fold. We have applied a mathematical model to analyze the potential impact of using a donation after cardiac death (DCD) policy on our liver transplantation program and on the waiting list. Five thousand one hundred people died because of accidents and other violent causes in our state in 2004; of these, only 295 were donors of liver grafts that were transplanted. The model assumed that 5% of these grafts would have been DCD. We found a relative reduction of 27% in the size of the liver transplantation waiting list if DCD had been used by assuming that 248 additional liver transplants would have been performed annually. In conclusion, the use of DCD in our transplantation program would reduce the pressure on our liver transplantation waiting list, reducing it by at least 27%. On the basis of this model, the projected number of averted deaths is about 41,487 in the next 20 years. Liver Transpl 14:1732-1736, 2008. (C) 2008 AASLD.

Rehabilitation of executive dysfunction: A controlled trial of an attention and problem solving treatment group

In this study, the effectiveness of a group-based attention and problem solving (APS) treatment approach to executive impairments in patients with frontal lobe lesions was investigated. Thirty participants with lesions in the frontal lobes, 16 with left frontal (LF) and 14 with right frontal (RF) lesions, were allocated into three groups, each with 10 participants. The APS treatment was initially compared to two other control conditions, an information/education (IE) approach and treatment-as-usual or traditional rehabilitation (TR), with each of the control groups subsequently receiving the APS intervention in a crossover design. This design allowed for an evaluation of the treatment through assessment before and after treatment and on follow up, six months later. There was an improvement on some executive and functional measures after the implementation of the APS programme in the three groups. Size, and to a lesser extent laterality, of lesion affected baseline performance on measures of executive function, but there was no apparent relationship between size, laterality or site of lesion and level of benefit from the treatment intervention. The results were discussed in terms of models of executive functioning and the effectiveness of domain specific interventions in the rehabilitation of executive dysfunction.