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.

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.

Hip fracture prognosis: could bioimpedance be an alternative to conventional nutritional assessment?

Background: Risk-factors for mortality in hip fractures encompass nutritional status, nominally body mass index, but not body composition. Given the difficulty of anthropometric assessment in bedridden patients a prospective study with bioimpedance analysis was designed. Methods: Elderly patients with hip fracture were consecutively recruited. Biochemical tests, primitive bioimpedance measurements (resistance, reactance and phase angle) and follow-up till one year were targeted. Results: Patients (N = 69, 81.2 +/- 8.1 years old, 72.5% females) stayed in the hospital for 15.5 +/- 17.1 days, and 18.8 %(13/69) required further hospitalization during the ensuing months. Mortality was 11.6% within 30 days, coinciding with hospital mortality, and an additional 11.6% till one year, thus reaching 23.2%. Anemia, hypoalbuminemia and low transferrin, along with elevated glucose and urea were frequent, suggesting undernutrition with metabolic derangements. Reactance, urea and creatinine were different in patients suffering both early and late demise. Resistance, white blood cell count and osteoporosis were risk factors for early mortality only, and anemia exclusively for late mortality. Conclusions: Primitive bioimpedance measurements, which had not been hitherto investigated, were prognostically related to early and late mortality. These markers of disease-related malnutrition and especially reactance should be further studied in patients unfit for anthropometric evaluation due to fracture and immobility.

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.

Long-term follow-up of children with extrahepatic portal vein obstruction: impact of an endoscopic sclerotherapy program on bleeding episodes, hepatic function, hypersplenism, and mortality

Background: Endoscopic sclerotherapy (ES) has been the standard treatment for children with idiopathic extrahepatic portal vein obstruction (EHPVO). Portosystemic shunts are indicated when variceal bleeding cannot be controlled by ES. Recently, mesenteric left portal vein bypass was indicated as a surgical intervention and preventative measure for hepatic dysfunction in children with long-term EHPVO. Nevertheless, there is a lack Of published data confirming the extent of hepatic dysfunction, hypersplenism, and physical development in children with long-term follow-up. Method: We retrospectively verified the long-term outcomes in 82 children with EHPVO treated with ES protocol, focusing on mortality, control of bleeding, hypersplenism, and consequent hepatic dysfunction. Results: Of the children, 56% were free from bleeding after the initiation of ES. The most frequent cause of rebleeding was gastric varices (30%). Four patients had recurrent bleeding from esophageal varices (4.6%). Four patients underwent surgery as a consequence of uncontrolled gastric varices. There were no deaths. Most patients showed good physical development. We observed a mild but statistically significant drop in factor V motion, as well as leukocyte and platelet count. Conclusion: Endoscopic sclerotherapy is an efficient treatment for children with EHPVO. The incidence of rebleeding is low, and there was no mortality. Children develop mild liver dysfunction and hypersplenism with long-term follow-up. Only a few patients manifest symptoms of hypersplenism, portal biliopathy, or liver dysfunction before adolescence. (C) 2009 Elsevier Inc. All rights reserved.

The Alzheimer`s Association external quality control program for cerebrospinal fluid biomarkers

Background: The cerebrospinal fluid (CSF) biomarkers amyloid beta (A beta)-42, total-tau (T-tau), and phosphorylated-tau (P-tau) demonstrate good diagnostic accuracy for Alzheimer`s disease (AD). However, there are large variations in biomarker measurements between studies, and between and within laboratories. The Alzheimer`s Association has initiated a global quality control program to estimate and monitor variability of measurements, quantify batch-to-batch assay variations, and identify sources of variability. In this article, we present the results from the first two rounds of the program. Methods: The program is open for laboratories using commercially available kits for A beta, T-tau, or P-tau. CSF samples (aliquots of pooled CSF) are sent for analysis several times a year from the Clinical Neurochemistry Laboratory at the Molndal campus of the University of Gothenburg, Sweden. Each round consists of three quality control samples. Results: Forty laboratories participated. Twenty-six used INNOTEST enzyme-linked immunosorbent assay kits, 14 used Luminex xMAP with the INNO-BIA AlzBio3 kit (both measure A beta-(1-42), P-tau(181P), and T-tau), and 5 used Mesa Scale Discovery with the A beta triplex (A beta N-42, A beta N-40, and A beta N-38) or T-tau kits. The total coefficients of variation between the laboratories were 13% to 36%. Five laboratories analyzed the samples six times on different occasions. Within-laboratory precisions differed considerably between biomarkers within individual laboratories. Conclusions: Measurements of CSF AD biomarkers show large between-laboratory variability, likely caused by factors related to analytical procedures and the analytical kits. Standardization of laboratory procedures and efforts by kit vendors to increase kit performance might lower variability, and will likely increase the usefulness of CSF AD biomarkers. (C) 2011 The Alzheimer`s Association. All rights reserved.

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.

Program for Prostate Cancer Screening Using a Mobile Unit: Results From Brazil

OBJECTIVES To evaluate the initial results of a prostate cancer screening program using mobile units in Brazil. METHODS Since 2004, we have conducted a program of prostate cancer screening using mobile units across 231 municipalities from 6 Brazilian states. RESULTS A total of 17 571 men were evaluated by clinical history, digital rectal examination (DRE), and serum free and total prostate-specific antigen (PSA) levels. The recommendations for biopsy were a PSA level of >= 4.0 ng/mL, DRE findings suspicious for cancer, or a PSA level of 2.5-4.0 ng/mL with a percent-free PSA level <15%. The biopsy protocol included 12 biopsy cores from the peripheral zone, 2 from the transition zone, and additional sampling of suspicious areas. The cumulative cancer detection rate was 3.7%. The main indication for biopsy was a PSA level of >= 4.0 ng/mL (51.2%), with a positive predictive value (PPV) of 44.1%. Another 19.7% of biopsied men had suspicious DRE findings with a normal PSA level (PPV 23.5%). A percent-free PSA level of <15% in men with a PSA level of 2.5-4.0 ng/mL and normal DRE findings yielded a PPV of 31.1%. The PPV was greater (70.9%) for the 7.1% of men with both suspicious DRE findings and a PSA level of >4.0 ng/mL. Most cancers were Stage T1-T2 (93.4%), and the percentage of Gleason score of >= 7 was 32.5%. The proportion of insignificant cancers according to Epstein`s criteria was 13.5%. CONCLUSIONS A mobile prostate cancer screening unit enabled an underserved population to gain access to specialized care through the public healthcare system. The cancer detection rate in this population was similar to those from international studies. UROLOGY 76: 1052-1057, 2010. (C) 2010 Published by Elsevier Inc.