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.

Fear of heights: cognitive performance and postural control

Fear of heights, or acrophobia, is one of the most frequent subtypes of specific phobia frequently associated to depression and other anxiety disorders. Previous evidence suggests a correlation between acrophobia and abnormalities in balance control, particularly involving the use of visual information to keep postural stability. This study investigates the hypotheses that (1) abnormalities in balance control are more frequent in individuals with acrophobia even when not exposed to heights, that (2) acrophobic symptoms are associated to abnormalities in visual perception of movement; and that (3) individuals with acrophobia are more sensitive to balance-cognition interactions. Thirty-one individuals with specific phobia of heights and thirty one non-phobic controls were compared using dynamic posturography and a manual tracking task. Acrophobics had poorer performance in both tasks, especially when carried out simultaneously. Previously described interference between posture control and cognitive activity seems to play a major role in these individuals. The presence of physiologic abnormalities is compatible with the hypothesis of a non-associative acquisition of fear of heights, i.e., not associated to previous traumatic events or other learning experiences. Clinically, this preliminary study corroborates the hypothesis that vestibular physical therapy can be particularly useful in treating individuals with fear of heights.

Changes in slow and fast alpha bands in subjects submitted to different amounts of functional electrostimulation

Objective: To examine the changes in slow (8-10 Hz)and fast (10-12 Hz) alpha bands of EEG in three groups of subjects submitted to different amounts of functional electrostimulation (FES). Our hypothesis is that different amounts of electrostimulation may cause different patterns of activation in the sensorimotor cortex. In particular, we expect to see an increase in alpha power due to habituation effects. We examine the two bands comprised by alpha rhythm (i.e., slow and fast alpha), since these two sub-rhythms are related to distinct aspects: general energy demands and specific motor aspects, respectively. Methods: The sample was composed of 27 students, both sexes, aging between 25 and 40 years old. The subjects were randomly distributed in three groups: control (n = 9), G24 (n = 9) and G36 (n = 9). A FES equipment (Neuro Compact-2462) was used to stimulate the right index finger extension. Simultaneously, the electroencephalographic signal was acquired. We investigated the absolute power in slow and fast alpha bands in the sensorimotor cortex. Results: The G36 indicated a significant increasing in absolute power values in lower and higher alpha components, respectively, when compared with the control group. Particularly, in the following regions: pre-motor cortex and primary motor cortex. Discussion: FES seems to promote cortical adaptations that are similar to those observed when someone learns a procedural task. FES application in the G36 was more effective in promoting such neural changes. The lower and higher components of alpha rhythms behave differently in their topographical distribution during FES application. These results suggest a somatotopic organization in primary motor cortex which can be represented by the fast alpha component. (C) 2008 Elsevier Ireland Ltd. All rights reserved.

Association of EGFR c.2073A > T polymorphism with decreased risk of diffusely infiltrating astrocytoma in a Brazilian case-control study

Epidermal growth factor receptor (EGFR) gene overexpression has been implicated in the development of many types of tumors, including glioblastomas, the most frequent diffusely infiltrating astrocytomas. However, little is known about the influence of the polymorphisms of EGFR on EGFR production and/or activity, possibly modulating the susceptibility to astrocytomas. This study aimed to examine the association of two EGFR promoter polymorphisms (c.-191C > A and c.-216G > T) and the c.2073A > T polymorphism located in exon 16 with susceptibility to astrocytomas, EGFR gene expression and survival in a case-control study of 193 astrocytoma patients and 200 cancer-free controls. We found that the variant TT genotype of the EGFR c.2073A > T polymorphism was associated with a significantly decreased risk of astrocytoma when compared with the AA genotype [sex- and age-adjusted odds ratio 0.51, 95% confidence interval 0.26-0.98]. No association of the two promoter EGFR polymorphisms (or combinations of these polymorphisms) and risk of astrocytomas, EGFR expression or survival was found. Our findings suggest that modulation of the EGFR c.2073A > T polymorphism could play a role in future therapeutic approaches to astrocytoma. (Int J Biol Markers 2008; 23: 140-6)

A randomized, double-blind clinical trial on the efficacy of cortical direct current stimulation for the treatment of major depression

Preliminary findings suggest that transcranial direct current stimulation (tDCS) can have antidepressant effects. We sought to test this further in a parallel-group, double-blind clinical trial with 40 patients with major depression, medication-free randomized into three groups of treatment: anodal tDCS of the left dorsolateral prefrontal cortex (active group-`DLPFC`); anodal tDCS of the occipital cortex (active control group-`occipital`) and sham tDCS (placebo control group-`sham`). tDCS was applied for 10 sessions during a 2-wk period. Mood was evaluated by a blinded rater using the Hamilton Depression Rating Scale (HDRS) and Beck Depression Inventory (BDI). The treatment was well tolerated with minimal side-effects that were distributed equally across all treatment groups. We found significantly larger reductions in depression scores after DLPFC tDCS [HDRS reduction of 40.4 % (+/-25.8%)] compared to occipital [HDRS reduction of 21.3 % ( +/-12.9%)] and sham tDCS [HDRS reduction of 10.4 % (+/-36.6%)]. The beneficial effects of tDCS in the DLPFC group persisted for 1 month after the end of treatment. Our findings support further investigation on the effects of this novel potential therapeutic approach - tDCS - for the treatment of major depression.

Ultrasound features of carpal tunnel syndrome: a prospective case-control study

Purpose The purpose of the study was to examine the most adequate cut-off point for median nerve cross-sectional area and additional ultrasound features supporting the diagnosis of carpal tunnel syndrome (CTS). Material and methods Forty wrists from 31 CTS patients and 63 wrists from 37 asymptomatic volunteers were evaluated by ultrasound. All patients were women. The mean age was 49.1 years (range: 29-78) in the symptomatic and 45.1 years (range 24-82) in the asymptomatic group. Median nerve cross-sectional area was obtained using direct (DT) and indirect (IT) techniques. Median nerve echogenicity, mobility, flexor retinaculum measurement and the anteroposterior (AP) carpal tunnel distance were assessed. This study was IRB-approved and all patients gave informed consent prior to examination. Results In CTS the median nerve cross-sectional area was increased compared with the control group. Median nerve cross-sectional area of 10 mm(2) (DT) and 9 mm(2) (IT) had high sensitivity (85% and 88.5%, respectively), specificity (92.1% and 82.5%) and accuracy (89.3% and 82.5%) in the diagnosis of CTS. CTS patients had an increased carpal tunnel AP diameter, flexor retinaculum thickening, reduced median nerve mobility and decreased median nerve echogenicity. Conclusion Ultrasound assists in the diagnosis of CTS using the median nerve diameter cut-off point of 10 mm(2) (DT) and 9 mm(2) (IT) and several additional findings.

Effects of low level laser therapy (808 nm) on physical strength training in humans

Recent studies have investigated whether low level laser therapy (LLLT) can optimize human muscle performance in physical exercise. This study tested the effect of LLLT on muscle performance in physical strength training in humans compared with strength training only. The study involved 36 men (20.8 +/- 2.2 years old), clinically healthy, with a beginner and/or moderate physical activity training pattern. The subjects were randomly distributed into three groups: TLG (training with LLLT), TG (training only) and CG (control). The training for TG and TLG subjects involved the leg-press exercise with a load equal to 80% of one repetition maximum (1RM) in the leg-press test over 12 consecutive weeks. The LLLT was applied to the quadriceps muscle of both lower limbs of the TLG subjects immediately after the end of each training session. Using an infrared laser device (808 nm) with six diodes of 60 mW each a total energy of 50.4 J of LLLT was administered over 140 s. Muscle strength was assessed using the 1RM leg-press test and the isokinetic dynamometer test. The muscle volume of the thigh of the dominant limb was assessed by thigh perimetry. The TLG subjects showed an increase of 55% in the 1RM leg-press test, which was significantly higher than the increases in the TG subjects (26%, P = 0.033) and in the CG subjects (0.27%, P < 0.001). The TLG was the only group to show an increase in muscle performance in the isokinetic dynamometry test compared with baseline. The increases in thigh perimeter in the TLG subjects and TG subjects were not significantly different (4.52% and 2.75%, respectively; P = 0.775). Strength training associated with LLLT can increase muscle performance compared with strength training only.

Evaluation of the influence of different types of seats on postural control in individuals with paraplegia

Study design: Cross-sectional study. Objectives: To assess the importance of proprioceptive and vision information on different types of wheelchair seats with regard to postural control in paraplegic individuals during static posture. Setting: Centre of Rehabilitation at the University Hospital/FMRP-USP and Rehabilitation Outpatient Clinic at University Hospital/UNICAMP, Brazil. Methods: This study involved 11 individuals with paraplegia. All individuals were submitted to an evaluation of static balance with their eyes open and closed in three different types of seats: wheelchair seat, foam seat and gel seat. Balance evaluation was performed by using the Polhemus system, in which body displacements and anteroposterior and mediolateral speeds were assessed in a static seated position in the different types of seats. Data were analyzed using analysis of variance. The differences were considered at P<0.05. Results: No statistical differences were found between the three types of seats in terms of displacements and anteroposterior and mediolateral speeds, or between seats with individuals keeping their eyes open or closed (P>0.05). However, it was observed that body displacements were more prominent toward an anteroposterior than a mediolateral direction. Conclusion: This study suggests that individuals with paraplegia tend to exhibit a more anteroposterior body displacement than a mediolateral one, with no significant differences between the types of seats in both situations of eyes open and closed. Spinal Cord (2010) 48, 825-827; doi:10.1038/sc.2010.30; published online 30 March 2010

MECHANICAL PROPERTIES OF GASTROCNEMIUS ELETROSTIMULATED AFTER IMMOBILIZATION

Introduction: Mechanical properties (MP) are clinically applicable tools for healthcare professionals working on the musculoskeletal system. Objectives: The aim of this study was to evaluate two protocols of neuromuscular electric stimulation (NMES) to improve MP regeneration of the myotendinous complex after segment immobilization in female rats. Materials and Methods: Fifty animals were equally distributed into five groups: Control (CG, n=10); Immobilized (IG, n=10); Immobilized and freely remobilized (IFG, n=10); Immobilized and NMES once/day (IEG1, n=10); Immobilized and MNES twice/day (IEG2, n=10). Immobilization was kept for 14 days, and remobilization was subsequently released for 10 days. NMES was applied for 10 days, post-immobilization, every morning for 10 minutes to IEG1 animals and every morning and afternoon (total 20 minutes) to the IEG2 group. After these procedures, the gastrocnemius muscle was submitted to the mechanical traction assay to evaluate stiffness, resilience, load and stretching at maximum limit MPs. Results: Immobilization reduced the MP values concerning load and stiffness (p 0.05). Results for NMES applied twice a day were less satisfactory than the ones obtained with one application or in the remobilized group (p>0.05). Conclusion: It is concluded that the gastrocnemius muscle became structurally better organized through a single NMES application and by remobilization.

Major histocompatibility complex (MHC) class II but not MHC class I molecules are required for efficient control of Strongyloides venezuelensis infection in mice

P>Strongyloides stercoralis is an intestinal nematode capable of chronic, persistent infection and hyperinfection of the host; this can lead to dissemination, mainly in immunosuppressive states, in which the infection can become severe and result in the death of the host. In this study, we investigated the immune response against Strongyloides venezuelensis infection in major histocompatibility complex (MHC) class I or class II deficient mice. We found that MHC II(-/-) animals were more susceptible to S. venezuelensis infection as a result of the presence of an elevated number of eggs in the faeces and a delay in the elimination of adult worms compared with wild-type (WT) and MHC I(-/-) mice. Histopathological analysis revealed that MHC II(-/-) mice had a mild inflammatory infiltration in the small intestine with a reduction in tissue eosinophilia. These mice also presented a significantly lower frequency of eosinophils and mononuclear cells in the blood, together with reduced T helper type 2 (Th2) cytokines in small intestine homogenates and sera compared with WT and MHC I(-/-) animals. Additionally, levels of parasite-specific immunoglobulin M (IgM), IgA, IgE, total IgG and IgG1 were also significantly reduced in the sera of MHC II(-/-) infected mice, while a non-significant increase in the level of IgG2a was found in comparison to WT or MHC I(-/-) infected mice. Together, these data demonstrate that expression of MHC class II but not class I molecules is required to induce a predominantly Th2 response and to achieve efficient control of S. venezuelensis infection in mice.