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.

Generation and phenotypic characterization of new human ovarian cancer cell lines with the identification of antigens potentially recognizable by HLA-restricted cytotoxic T cells

This study describes a simple method for long-term establishment of human ovarian tumor lines and prediction of T-cell epitopes that could be potentially useful in the generation of tumor-specific cytotoxic T lymphocytes (CTLs), Nine ovarian tumor lines (INT.Ov) were generated from solid primary or metastatic tumors as well as from ascitic fluid, Notably all lines expressed HLA class I, intercellular adhesion molecule-1 (ICAM-1), polymorphic epithelial mucin (PEM) and cytokeratin (CK), but not HLA class II, B7.1 (CD80) or BAGE, While of the 9 lines tested 4 (INT.Ov1, 2, 5 and 6) expressed the folate receptor (FR-alpha) and 6 (INT.Ov1, 2, 5, 6, 7 and 9) expressed the epidermal growth factor receptor (EGFR); MAGE-1 and p185(HER-2/neu) were only found in 2 lines (INT.Ov1 and 2) and GAGE-1 expression in 1 line (INT.Ov2). The identification of class I MHC ligands and T-cell epitopes within protein antigens was achieved by applying several theoretical methods including: 1) similarity or homology searches to MHCPEP; 2) BIMAS and 3) artificial neural network-based predictions of proteins MACE, GAGE, EGFR, p185(HER-2/neu) and FR-alpha expressed in INT.Ov lines, Because of the high frequency of expression of some of these proteins in ovarian cancer and the ability to determine HLA binding peptides efficiently, it is expected that after appropriate screening, a large cohort of ovarian cancer patients may become candidates to receive peptide based vaccines. (C) 1997 Wiley-Liss, Inc.

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.

The generation of H-1-NMR-detectable mobile lipid in stimulated lymphocytes: Relationship ts cellular activation, the cell cycle, and phosphatidylcholine-specific phospholipase C

Mobile Lipids detected using H-1-NMR in stimulated lymphocytes were correlated with cell cycle phase, expression of the interleukin-2 receptor alpha and proliferation to assess the activation status of the lymphocytes. Mobile lipid levels, IL-2R alpha expression and proliferation increased after treatment with PMA and ionomycin. PMA or ionomycin stimulation alone induced increased IL-2R alpha expressiom but not proliferation, PMA- but not ionomycin-stimulation generated mobile lipid, Treatment with anti-CD3 antibody did not increase IL-2R alpha expression or proliferation but did generate increased amounts of mobile lipid, The cell cycle status of thymocytes treated with anti-CD3, PMA or ionomycin alone indicated an. accumulation of the cells in the G(1) phase of the cell cycle, The generation of mobile lipid was abrogated in anti-CD3 antibody-stimulated thymic lymphocytes but not in splenic lymphocytes, using a phosphatidylcholine-specific phospholipase C (PC-PLC) inhibitor which blocked cells in the G(1)/S phase of the cell cycle, This suggests that the H-1-NMR-detectable mobile Lipid may be generated in anti-CD3 antibody-stimulated thymic lymphocytes by the action of PC-PLC activity via the catabolism of PC, in the absence of classical signs of activation. (C) 1997 Academic Press.

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.

Time to rehospitalization in patients with schizophrenia discharged on first generation antipsychotics, non-clozapine second generation antipsychotics, or clozapine

Rehospitalization is an important outcome of drug effectiveness in schizophrenia. In this study, the hypothesis that clozapine and some second generation antipsychotics (SGA) were superior to first generation antipsychotics (FGA) in preventing rehospitalization of patients with schizophrenia discharged from a university hospital in Brazil was tested. A retrospective observational study was conducted designed to evaluate time to rehospitalization of patients with schizophrenia discharged on a regimen of oral FGA, depot FGA, risperidone, olanzapine and amisulpride, other SGA, or clozapine, during a three-year follow-up period. Risk factors associated with rehospitalization were examined. Of the 464 patients with schizophrenia discharged from hospital, 242 met criteria for study entry. Higher rehospitalization rates were observed in patients treated with depot FGA (30%), risperidone (30%) and other SGA groups (28.5%), respectively. Clozapine was significantly associated with lower rehospitalization risk compared with risperidone. The risk of rehospitalization in patients on olanzapine and amisulpride, and oral FGA, was similar to that of patients in use of clozapine. These results however, are limited by the heterogeneity of illness severity across the groups. (C) 2011 Elsevier Ireland Ltd. 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.

Corneal myofibroblast generation from bone marrow-derived cells

The purpose of this study was to determine whether bone marrow-derived cells can differentiate into myofibroblasts, as defined by alpha-smooth muscle actin (SMA) expression, that arise in the corneal stroma after irregular phototherapeutic keratectomy and whose presence within the cornea is associated with corneal stromal haze. C578L/6J-GFP chimeric mice were generated through bone marrow transplantation from donor mice that expressed enhanced green fluorescent protein (GFP) in a high proportion of their bone marrow-derived cells. Twenty-four GFP chimeric mice underwent haze-generating corneal epithelial scrape followed by irregular phototherapeutic keratectomy (PTK) with an excimer laser in one eye. Mice were euthanized at 2 weeks or 4 weeks after PTK and the treated and control contralateral eyes were removed and cryo-preserved for sectioning for immunocytochemistry. Double immunocytochemistry for GFP and myofibroblast marker alpha-smooth muscle actin (SMA) were performed and the number of SMA+GFP+, SMA+GFP, SMA-GFP+ and SMA GFP cells, as well as the number of DAPI+ cell nuclei, per 400x field of stroma was determined in the central, mid-peripheral and peri-limbal cornea. In this mouse model, there were no SMA+ cells and only a few GFP+ cells detected in unwounded control corneas. No SMA+ cells were detected in the stroma at two weeks after irregular PTK, even though there were numerous GFP+ cells present. At 4 weeks after irregular PTK, all corneas developed mild to moderately severe corneal haze. In each of the three regions of the corneas examined, there were on average more than 9x more SMA+GFP+ than SMA+GFP myofibroblasts. This difference was significant (p < 0.01). There were significantly more (p < 0.01) SMA GFP+ cells, which likely include inflammatory cells, than SMA+GFP+ or SMA+GFP cells, although SMA GFP cells represent the largest population of cells in the corneas. In this mouse model, the majority of myofibroblasts developed from bone marrow-derived cells. It is possible that all myofibroblasts in these animals developed from bone marrow-derived cells since mouse chimeras produced using this method had only 60-95% of bone marrow-derived cells that were GFP+ and it is not possible to achieve 100% chimerization. This model, therefore, cannot exclude the possibility of myofibroblasts also developed from keratocytes and/or corneal fibroblasts. (C) 2010 Elsevier Ltd. All rights reserved.