Concurreny based transition refinement for the verification of distributed algorithms

We suggest a new notion of behaviour preserving transition refinement based on partial order semantics. This notion is called transition refinement. We introduced transition refinement for elementary (low-level) Petri Nets earlier. For modelling and verifying complex distributed algorithms, high-level (Algebraic) Petri nets are usually used. In this paper, we define transition refinement for Algebraic Petri Nets. This notion is more powerful than transition refinement for elementary Petri nets because it corresponds to the simultaneous refinement of several transitions in an elementary Petri net. Transition refinement is particularly suitable for refinement steps that increase the degree of distribution of an algorithm, e.g. when synchronous communication is replaced by asynchronous message passing. We study how to prove that a replacement of a transition is a transition refinement.

ELECTROMYOGRAPHIC AMPLITUDE RATIO OF SERRATUS ANTERIOR AND UPPER TRAPEZIUS MUSCLES DURING MODIFIED PUSH-UPS AND BENCH PRESS EXERCISES

Imbalance and weakness of the serratus anterior and upper trapezius force couple have been described in patients with shoulder dysfunction. There is interest in identifying exercises that selectively activate these muscles and including it in rehabilitation protocols. This study aims to verify the UT/SA electromyographic (EMG) amplitude ratio, performed in different upper limb exercises and on two bases of support. Twelve healthy men were tested (average age = 22.8 +/- 3.1 years), and surface EMG was recorded from the upper trapezius and serratus anterior using single differential surface electrodes. Volunteers performed isometric contractions over a stable base of support and on a Swiss ball during the wall push-up (WP), bench press (BP), and push-up (PU) exercises. All SEMG data are reported as a percentage of root mean square or integral of linear envelope from the maximal value obtained in one of three maximal voluntary contractions for each muscle studied. A linear mixed-effect model was performed to compare UT/SA ratio values. The WP, BP, and PU exercises showed UT/SA ratio mean +/- SD values of 0.69 +/- 0.72, 0.14 +/- 0.12, and 0.39 +/- 0.37 for stable surfaces, respectively, whereas for unstable surfaces, the values were 0.73 +/- 0.67, 0.43 +/- 0.39, and 0.32 +/- 0.30. The results demonstrate that UT/SA ratio was influenced by the exercises and by the upper limb base of support. The practical application is to show that BP on a stable surface is the exercise preferred over WP and PU on either surfaces for serratus anterior muscle training in patients with imbalance between the UT/SA force couple or serratus anterior weakness.

Inhibition of Snake Venoms and Phospholipases A(2) by Extracts from Native and Genetically Modified Eclipta alba: Isolation of Active Coumestans

We genetically modified Eclipta alba using Agrobacterium rhizogenes LBA 9402, with the aim of producing secondary metabolites with pharmacological properties against phospholipase A(2) and the myotoxic activities of snake venom. Extracts from in natura aerial parts and roots, both native and genetically modified (in vitro), were prepared and analysed by high-performance liquid chromatography. In natura materials showed the coumestan wedelolactone at higher concentration in the aerial parts, while demethylwedelolactone appeared at higher concentration in roots. Among the modified roots, clone 19 showed higher concentrations of these coumestans. Our results show that the in natura extracts of plants collected from Botucatu and Ribeirao Preto were efficient in inhibiting snake venom phospholipase A(2) activity. Regarding in vitro material, the best effect against Crotalus durissus terrificus venom was that of clone 19. Clone 19 and isolated coumestans (wedelolactone and demethylwedelolactone) inhibited the myotoxic activity induced by basic phospholipases A(2) isolated from the venoms of Crotalus durissus terrificus (CB) and Bothrops jararacussu (BthTX-I and II). The search for antivenom is justified by the need of finding active principles that are more efficient in neutralizing snake venoms and also as an attempt to complement serum therapy.

Validation of the National Institutes of Health Stroke Scale, Modified Rankin Scale and Barthel Index in Brazil: The Role of Cultural Adaptation and Structured Interviewing

Background: We aimed to validate three widely used scales in stroke research in a multiethnic Brazilian population. Methods: The National Institutes of Health Stroke Scale (NIHSS), modified Rankin Scale (mRS) and Barthel Index (BI) were translated, culturally adapted and applied by two independent investigators. The mRS was applied with or without a previously validated structured interview. Interobserver agreement (kappa statistics) and intraclass correlation coefficients were calculated. Results: 84 patients underwent mRS (56 with and 28 without a structured interview), 57 BI and 62 NIHSS scoring. Intraclass correlation coefficient was 0.902 for NIHSS and 0.967 for BI. For BI, interobserver agreement was good (kappa = 0.70). For mRS, the structured interview improved interobserver agreement (kappa = 0.34 without a structured interview; 0.75 with a structured interview). Conclusion: The NIHSS, BI and mRS show good validity when translated and culturally adapted. Using a structured interview for the mRS improves interobserver concordance rates. Copyright (C) 2008 S. Karger AG, Basel

Experimental selective choriocapillaris photothrombosis using a modified indocyanine green formulation

Background: This in vivo study assessed and compared the effectiveness of an aqueous indocyanine green (ICG) formulation (R-ICG) and a lipid ICG formulation (L-ICG) in occluding the rabbit choriocapillaris, and determined the singlet oxygen quantum yields and aggregation properties of both formulations in vitro. Methods: Singlet oxygen production and aggregation were compared. The eye fundus of 30 albino rabbits was irradiated 0-15 min after dye injection using an 810 nm diode laser. Fluorescein angiography and light microscopy were used to evaluate the safety and efficacy of R-ICG and L-ICG. Results: L-ICG decreased the dimerisation constant and the tendency of ICG to form aggregates, and increased the efficiency of ICG in generating singlet oxygen (R-ICG, Phi Delta= 0.120 and L-ICG, Phi Delta= 0.210). Using a 10 mg/kg dose, choriocapillaris occlusion was achieved at a light dose of 35.8 J/cm(2) with L-ICG and 71.6 J/cm(2) with R-ICG with minimal damage to the neurosensory retina. Conclusion: Restrictions to the use of ICG in aqueous solution, low singlet oxygen quantum yields and high aggregation tendency, were overcome with L-ICG. The lower laser irradiance required to obtain choriocapillaris occlusion may suggest that L-ICG is a more potent and selective photosensitiser than R-ICG.

Determination of temperature variation during the individual steps of the production of hospital diets of modified consistency

Background & aim: Many disease outbreaks of food origin are caused by foods prepared in Food Service and Nutrition Units of hospitals, affecting hospitalized patients who, in most cases, are immunocompromised and therefore at a higher risk of severe worsening of their clinical status. The aim of this study was to determine the variations in temperature and the time-temperature factor of hospital diets. Methods: The time and temperature for the preparation of 4 diets of modified consistency were determined on 5 nonconsecutive days in a hospital Diet and Nutrition Unit at the end of preparation and during the maintenance period, portioning and distribution at 3 sites, i.e., the first, the middle and the last to receive the diets. Results and discussion: All foods reached an adequate temperature at the end of cooking, but temperature varied significantly from the maintenance period to the final distribution, characterizing critical periods for microorganism proliferation. During holding, temperatures that presented a risk were reached by 16.7% of the meats and 59% of the salads of the general diet, by 16.7% of the garnishes in the bland diet and by 20% of the meats and garnishes in the viscous diet. The same occurred at the end of distribution for 100% of the hot samples and of the salads and for 61% of the desserts. None of the preparations remained at risk temperature for a time exceeding that established by law. Conclusion: The exposure to inadequate temperature did not last long enough to pose risks to the patient.

Inter-rater reliability study of the modified Oxford Grading Scale and the Peritron manometer

Objective To evaluate the inter-rater reliability of the modified Oxford Grading Scale and the Peritron manometer. Design All participants were evaluated twice, first by one examiner and 30 days later by a second examiner. Measurements of vaginal squeeze pressure were compared with the results from the palpation test. Participants Nineteen women with a mean age of 23.7 years (range 21 to 28 years). Results Inter-rater reliability for vaginal palpation was fair (kappa = 0.33, 95% confidence interval 0.09 to 0.57). Using the Peritron manometer, the difference between examiners was less than 10 cmH(2)O in 11 of the 19 (58%) cases. The palpation test did not differentiate between weak, moderate, good and strong muscle contractions. This study found fair inter-rater reliability for the modified Oxford Grading Scale and moderate inter-rater reliability for the Peritron manometer. Conclusions The inter-rater reliability of vaginal squeeze pressure measurement using the Peritron manometer is acceptable and can be used in re-evaluations performed by different examiners in clinical practice. However, for research purposes, the ideal situation would be for a single examiner to assess and re-assess the subject. Vaginal palpation is important in the clinical assessment of correctness of a pelvic floor muscle contraction, but this study does not support the use of the modified Oxford Grading Scale as a reliable and valid method to measure and differentiate pelvic floor muscle strength. (C) 2010 Chartered Society of Physiotherapy. Published by Elsevier Ltd. All rights reserved.

Experimental autoimmune encephalomyelitis evolution was not modified by multiple infections with Strongyloides venezuelensis

P>According to the hygiene hypothesis, the increased incidence of allergic and autoimmune diseases in developed countries is mainly explained by the decreased contact between the human population and certain environmental agents as lactobacillus, mycobacteria and helminths. In this study, we evaluated the effect of multiple infections with Strongyloides venezuelensis on the development of experimental autoimmune encephalomyelitis (EAE) in Lewis rats. Multiple infections before EAE induction were not able to change the evolution of the disease. No alterations were observed in weight loss, clinical score and inflammation intensity at the central nervous system. The presence of significant levels of parasite-specific IgG1 but not IgG2b suggested a Th2 polarization. However, the percentage and absolute number of CD4+CD25+Foxp3+ T cells were not changed, being their levels in the spleen and lymph nodes of infected rats comparable to the ones found in normal animals. These results suggest that a Th2-polarized response without concomitant expansion of Foxp3+ regulatory T cells was not able to modify EAE progression. Even though these results do not threaten the hygiene hypothesis, they suggest that this paradigm might be an oversimplification. They also emphasize the need of a study to compare the immunoregulatory ability associated with different helminth spp.

Improved Production of Genetically Modified Fetuses with Homogeneous Transgene Expression After Transgene Integration Site Analysis and Recloning in Cattle

Animal cloning by nuclear transfer (NT) has made the production of transgenic animals using genetically modified donor cells possible and ensures the presence of the gene construct in the offspring. The identification of transgene insertion sites in donor cells before cloning may avoid the production of animals that carry undesirable characteristics due to positional effects. This article compares blastocyst development and competence to establish pregnancies of bovine cloned embryos reconstructed with lentivirus-mediated transgenic fibroblasts containing either random integration of a transgene (random integration group) or nuclear transfer derived transgenic fibroblasts with known transgene insertion sites submitted to recloning (recloned group). In the random integration group, eGFP-expressing bovine fetal fibroblasts were selected by fluorescence activated cell sorting (FACS) and used as nuclei donor cells for NT. In the recloned group, a fibroblast cell line derived from a transgenic cloned fetus was characterized regarding transgene insertion and submitted to recloning. The recloned group had higher blastocyst production (25.38 vs. 14.42%) and higher percentage of 30-day pregnancies (14.29 vs. 2.56%) when compared to the random integration group. Relative eGFP expression analysis in fibroblasts derived from each cloned embryo revealed more homogeneous expression in the recloned group. In conclusion, the use of cell lines recovered from transgenic fetuses after identification of the transgene integration site allowed for the production of cells and fetuses with stable transgene expression, and recloning may improve transgenic animal yields.

Effect of recombinant human bone morphogenetic protein-7 (rhBMP-7) on the viability, proliferation and differentiation of osteoblast-like cells cultured on a chemically modified titanium surface

Aim: The aim of the present study was to assess the influence of the chemical characteristics and roughness of titanium surfaces on the viability, proliferation and differentiation of osteoblast-like cells cultured in a medium supplemented with recombinant human bone morphogenetic protein-7 (rhBMP-7). Material and methods: Osteo-1 cells were grown on titanium disks presenting with the following surfaces: (1) machined, (2) coarse grit-blasted and acid-attacked (SLA) and (3) chemically modified SLA (SLAmod) in the absence or presence of 20 ng/ml rhBMP-7 in culture medium. The viability and number of osteo-1 cells were evaluated after 24 h. Analyses of total protein content (TP) and alkaline phosphatase (AP) activity at 7, 14 and 21 days, collagen content at 7 and 21 days and mineralized matrix formation at 21 days were performed. Results: Cell viability (P=0.5516), cell number (P=0.3485), collagen content (P=0.1165) and mineralized matrix formation (P=0.5319) were not affected by the different surface configurations or by the addition of rhBMP-7 to the medium. Osteo-1 cells cultured on SLA surfaces showed a significant increase in TP at 21 days. The ALPase/TP ratio (P=0.00001) was affected by treatment and time. Conclusion: The results suggest that the addition of rhBMP-7 to the culture medium did not exert any effect on the viability, proliferation or differentiation of osteoblast-like cells grown on the different surfaces tested. All titanium surfaces analyzed allowed the complete expression of the osteoblast phenotype such as matrix mineralization by osteo-1 cells.