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.

A Voxel-Based Morphometry Study of Frontal Gray Matter Correlates of Impulsivity

Impulsivity is a personality trait exhibited by healthy individuals, but excessive impulsivity is associated with some mental disorders. Lesion and functional, neuroimaging Studies indicate that the ventromedial prefrontal region (VMPFC), including the orbitofrontal cortex (OFC), anterior cingulate cortex (ACC) and medial prefrontal cortex, and the amygdala may modulate impulsivity and aggression. However, no morphometric study has examined the association between VMPFC and impulsivity. We hypothesized that healthy subjects with high impulsivity would have smaller volumes in these brain regions compared with those with low impulsivity. Sixty-two healthy Subjects were Studied (age 35.4 +/- 12.1 years) using a 1.5-T MRI system. The Barratt impulsiveness scale (BIS) was used to assess impulsivity. Images were processed using an optimized voxel-based morphometry (VBM) protocol. We calculated the correlations between BIS scale scores and the gray matter (GM) and white matter (WM) volumes of VMPFC and amygdala. GM volumes of the left and right OFC were inversely correlated with the BIS total score (P = 0.04 and 0.02, respectively). Left ACC GM Volumes had a tendency to be inversely correlated with the BIS total score (P = 0.05. Right OFC GM Volumes were inversely correlated with BIS nonplanning impulsivity, and left OFC GM volumes were inversely correlated with motor impulsivity. There were no significant WM volume correlations with impulsivity. The results Of this morphometry Study indicate that small OFC volume relate to high impulsivity and extend the prior finding that the VMPFC is involved in the circuit modulating impulsivity. HUM Brain Mapp 30:1188-1195, 2009. (C) 2008 Wiley-Liss, Inc.

Elevated left and reduced right orbitomedial prefrontal fractional anisotropy in adults with bipolar disorder revealed by tract-based spatial statistics

Context Diffusion tensor imaging (DTI) studies in adults with bipolar disorder (BD) indicate altered white matter (WM) in the orbitomedial prefrontal cortex (OMPFC), potentially underlying abnormal prefrontal corticolimbic connectivity and mood dysregulatioin in BD. Objective: To use tract-based spatial statistics (TBSS) to examine VVM skeleton (ie, the most compact whole-brain WM) in subjects with BD vs healthy control subjects. Design: Cross-sectional, case-control, whole-brain DTI using TBSS. Setting: University research institute. Participants: Fifty-six individuals, 31 having a DSM-IV diagnosis of BD type 1 (mean age, 35.9 years [age range, 24-52 years]) and 25 controls (mean age, 29.5 years [age range, 19-52 years]). Main Outcome Measures: Fractional anisotropy (FA) longitudinal and radial diffusivities in subjects with BD vs controls (covarying for age) and their relationships with clinical and demographic variables. Results: Subjects with BD vs controls had significantly greater FA (t > 3.0, P <=.05 corrected) in the left uncinate fasciculus (reduced radial diffusivity distally and increased longitudinal diffusivity centrally), left optic radiation (increased longitudinal diffusivity), and right anterothalamic radiation (no significant diffusivity change). Subjects with BD vs controls had significantly reduced FA (t > 3.0, P <=.05 corrected) in the right uncinate fasciculus (greater radial diffusivity). Among subjects with BD, significant negative correlations (P <.01) were found between age and FA in bilateral uncinate fasciculi and in the right anterothalamic radiation, as well as between medication load and FA in the left optic radiation. Decreased FA (P <.01) was observed in the left optic radiation and in the right anterothalamic radiation among subjects with BD taking vs those not taking mood stabilizers, as well as in the left optic radiation among depressed vs remitted subjects with BD. Subjects having BD with vs without lifetime alcohol or other drug abuse had significantly decreased FA in the left uncinate fasciculus. Conclusions: To our knowledge, this is the first study to use TBSS to examine WM in subjects with BD. Subjects with BD vs controls showed greater WM FA in the left OMPFC that diminished with age and with alcohol or other drug abuse, as well as reduced WM FA in the right OMPFC. Mood stabilizers and depressed episode reduced WM FA in left-sided sensory visual processing regions among subjects with BD. Abnormal right vs left asymmetry in FA in OMPFC WM among subjects with BD, likely reflecting increased proportions of left-sided longitudinally aligned and right-sided obliquely aligned myelinated fibers, may represent a biologic mechanism for mood dysregulation in BD.

High frequency of submicroscopic chromosomal imbalances in patients with syndromic craniosynostosis detected by a combined approach of microsatellite segregation analysis, multiplex ligation-dependent probe amplification and array-based comparative genome hybridisation

We present the first comprehensive study, to our knowledge, on genomic chromosomal analysis in syndromic craniosynostosis. In total, 45 patients with craniosynostotic disorders were screened with a variety of methods including conventional karyotype, microsatellite segregation analysis, subtelomeric multiplex ligation-dependent probe amplification) and whole-genome array-based comparative genome hybridisation. Causative abnormalities were present in 42.2% (19/45) of the samples, and 27.8% (10/36) of the patients with normal conventional karyotype carried submicroscopic imbalances. Our results include a wide variety of imbalances and point to novel chromosomal regions associated with craniosynostosis. The high incidence of pure duplications or trisomies suggests that these are important mechanisms in craniosynostosis, particularly in cases involving the metopic suture.

Brain structure and symptom dimension relationships in obsessive-compulsive disorder: A voxel-based morphometry study

Background: Obsessive-compulsive disorder (OCD) is a clinically heterogenous disorder characterized by temporally stable symptom dimensions. Past inconsistent results from structural neuroimaging studies of OCD may have resulted from the effects of these specific symptom dimensions as well as other socio-demographic and clinical variables upon gray matter (GM) volume. Methods: GM volume was measured in 25 adult OCD patients and 20 adult healthy controls using voxel-based morphometry (VBM), controlling for age and total brain GM volume. Univariate and multivariate regression analyses were carried out between regions of GM difference and age, age of onset, medication load, OCD severity, depression severity, and separate symptom dimension scores. Results: Significant GM volumetric differences in OCD patients relative to controls were found in dorsal cortical regions, including bilateral BA6, BA46, BA9 and right BA8 (controls > patients), and bilateral midbrain (patients > controls). Stepwise regression analyses revealed highly significant relationships between greater total OCD symptom severity and smaller GM volumes in dorsal cortical regions and larger GM volumes in bilateral midbrain. Greater age was independently associated with smaller GM volumes in right BA6, left BA9, left BA46 and larger GM volumes in right midbrain. Greater washing symptom severity was independently associated with smaller GM volume in right BA6, while there was a trend association between greater hoarding symptom severity and lower GM volume in left BA6. Limitations: The sample was relatively small to examine the relationship between symptom scores and GM volumes. Multiple patients were taking medication and had comorbid disorders. Conclusions: These analyses suggest dorsal prefrontal cortical and bilateral midbrain GM abnormalities in OCD that appear to be primarily driven by the effects of total OCD symptom severity. The results regarding the relationship between GM volumes and symptom dimension scores require examination in larger samples. (C) 2008 Elsevier B.V. All rights reserved.

Proton spectroscopy in Alzheimer`s disease and cognitive impairment no dementia: A community-based study

Objective: To describe the findings of proton magnetic resonance spectroscopy (H-1-MRS) in Alzheimer`s disease (AD) and cognitive impairment, no dementia (CIND) elderly from a community-based sample. Methods: Thirteen patients with AD, 12 with CIND and 15 normal individuals were evaluated. The H-1-MRS was performed in the right temporal, left parietal and medial occipital regions studying the metabolites N-acetylaspartate (NAA), creatine (Cr), choline (Cho) and myoinositol (ml). The clinical diagnosis was based on standardized cognitive tests - MMSE and CAMDEX - and the results correlated with the H-1-MRS. Results: Parietal Cho was higher in control individuals and lower in CIND subjects. AD and control groups were better identified by temporal and parietal ml combined with the temporal NAA/Cr ratio. CIND was better identified by parietal Cho. Conclusion: The H-1-MRS findings confirmed the hypothesis that metabolic alterations are present since the first symptoms of cognitively impaired elderly subjects. These results suggest that combining MRS from different cerebral regions can help in the diagnosis and follow-up of community elderly individuals with memory complaints and AD. Copyright (C) 2008 S. Karger AG, Basel.

A subunit vaccine based on biodegradable microspheres carrying rHsp65 protein and KLK protects BALB/c mice against tuberculosis infection

Of the hundreds of new tuberculosis ( TB) vaccine candidates some have therapeutic value in addition to their prophylactic properties. This is the case for the DNA vaccine encoding heat-shock protein 65 (DNAhsp65) from Mycobacterium leprae. However, there are concerns about the use of DNA vaccines in certain populations such as newborns and pregnant women. Thus, the optimization of vaccination strategies that circumvent this limitation is a priority. This study evaluated the efficacy of a single dose subunit vaccine based on recombinant Hsp65 protein against infection with M. tuberculosis H37Rv. The Hsp65 protein in this study was either associated or not with immunostimulants, and was encapsulated in biodegradable PLGA microspheres. Our results demonstrate that the protein was entrapped in microspheres of adequate diameter to be engulfed by phagocytes. Mice vaccinated with a single dose of Hsp65-microspheres or Hsp65 + CpG-microspheres developed both humoral and cellular-specific immune responses. However, they did not protect mice against challenge with M. tuberculosis. By contrast, Hsp65+KLK-microspheres induced specific immune responses that reduced bacilli loads and minimized lung parenchyma damage. These data suggest that a subunit vaccine based on recombinant protein Hsp65 is feasible.

In vivo electrochemical characterization and inflammatory response of multiwalled carbon nanotube-based electrodes in rat hippocampus

Stimulating neural electrodes are required to deliver charge to an environment that presents itself as hostile. The electrodes need to maintain their electrical characteristics (charge and impedance) in vivo for a proper functioning of neural prostheses. Here we design implantable multi-walled carbon nanotubes coating for stainless steel substrate electrodes, targeted at wide frequency stimulation of deep brain structures. In well-controlled, low-frequency stimulation acute experiments, we show that multi-walled carbon nanotube electrodes maintain their charge storage capacity (CSC) and impedance in vivo. The difference in average CSCs (n = 4) between the in vivo (1.111 mC cm(-2)) and in vitro (1.008 mC cm(-2)) model was statistically insignificant (p > 0.05 or P-value = 0.715, two tailed). We also report on the transcription levels of the pro-inflammatory cytokine IL-1 beta and TLR2 receptor as an immediate response to low-frequency stimulation using RT-PCR. We show here that the IL-1 beta is part of the inflammatory response to low-frequency stimulation, but TLR2 is not significantly increased in stimulated tissue when compared to controls. The early stages of neuroinflammation due to mechanical and electrical trauma induced by implants can be better understood by detection of pro-inflammatory molecules rather than by histological studies. Tracking of such quantitative response profits from better analysis methods over several temporal and spatial scales. Our results concerning the evaluation of such inflammatory molecules revealed that transcripts for the cytokine IL-1 beta are upregulated in response to low-frequency stimulation, whereas no modulation was observed for TLR2. This result indicates that the early response of the brain to mechanical trauma and low-frequency stimulation activates the IL-1 beta signaling cascade but not that of TLR2.

Molecular cloning, sequencing, and expression analysis of presenilin cDNA from Schistosoma mansoni

Presenilins (PS) are integral membrane proteins involved, among other functions, in regulated intramembrane proteolysis. In this study, we report the identification and characterization of a complementary DNA from Schistosoma mansoni exhibiting a significant homology to human and nonvertebrate presinilins. S. mansoni contained a 1,485 bp open reading frame encoding a predicted protein of 494 amino acids. Alignment of predicted amino acid sequence of S. mansoni with PS (SmPS) from other species revealed up to 40% similarity shared among the investigated organisms. In addition, phylogenetic analyses demonstrated SmPS being closely related to its orthologues found in Schistosoma japonicum and Caenorhabditis elegans. Expression analysis of SmPS using quantitative real-time PCR revealed that the transcript is up-regulated in the egg stage. We hypothesize that the high level of SmPS in the S. mansoni embryo correlates to an important role during cellular signaling associated to larval development. To our knowledge, this study represents the first attempt to investigate the existence and abundance of PS from a helminth parasite.

Tyrosines in the Carboxyl Terminus Regulate Syk Kinase Activity and Function

The Syk tyrosine kinase family plays an essential role in immunoreceptor tyrosine-based activation motif (ITAM) signaling. The binding of Syk to tyrosine-phosphorylated ITAM subunits of immunoreceptors, such as Fc epsilon RI on mast cells, results in a conformational change, with an increase of enzymatic activity of Syk. This conformational change exposes the COOH-terminal tail of Syk, which has three conserved Tyr residues (Tyr-623, Tyr-624, and Tyr-625 of rat Syk). To understand the role of these residues in signaling, wild-type and mutant Syk with these three Tyr mutated to Phe was expressed in Syk-deficient mast cells. There was decreased Fc epsilon RI-induced degranulation, nuclear factor for T cell activation and NF kappa B activation with the mutated Syk together with reduced phosphorylation of MAP kinases p38 and p42/44 ERK. In non-stimulated cells, the mutated Syk was more tyrosine phosphorylated predominantly as a result of autophosphorylation. In vitro, there was reduced binding of mutated Syk to phosphorylated ITAM due to this increased phosphorylation. This mutated Syk from non-stimulated cells had significantly reduced kinase activity toward an exogenous substrate, whereas its autophosphorylation capacity was not affected. However, the kinase activity and the autophosphorylation capacity of this mutated Syk were dramatically decreased when the protein was dephosphorylated before the in vitro kinase reaction. Furthermore, mutation of these tyrosines in the COOH-terminal region of Syk transforms it to an enzyme, similar to its homolog ZAP-70, which depends on other tyrosine kinases for optimal activation. In testing Syk mutated singly at each one of the tyrosines, Tyr-624 but especially Tyr-625 had the major role in these reactions. Therefore, these results indicate that these tyrosines in the tail region play a critical role in regulating the kinase activity and function of Syk.

Surgical management of glomus jugulare tumors: a proposal for approach selection based on tumor relationships with the facial nerve Clinical article

Object. The goal of this paper is to analyze the extension and relationships of glomus jugulare tumor with the temporal bone and the results of its surgical treatment aiming at preservation of the facial nerve. Based on the tumor extension and its relationships with the facial nerve, new criteria to be used in the selection of different surgical approaches are proposed. Methods. Between December 1997 and December 2007, 34 patients (22 female and 12 male) with glomus jugulare tumors were treated. Their mean age was 48 years. The mean follow-up was 52.5 months. Clinical findings included hearing loss in 88%, swallowing disturbance in 50%, and facial nerve palsy in 41%. Magnetic resonance imaging demonstrated a mass in the jugular foramen in all cases, a mass in the middle ear in 97%, a cervical mass in 85%, and an intradural mass in 41%. The tumor was supplied by the external carotid artery in all cases, the internal carotid artery in 44%, and the vertebral artery in 32%. Preoperative embolization was performed in 15 cases. The approach was tailored to each patient, and 4 types of approaches were designed. The infralabyrinthine retrofacial approach (Type A) was used in 32.5%; infralabyrinthine pre- and retrofacial approach without occlusion of the external acoustic meatus (Type B) in 20.5%; infralabyrinthine pre- and retrofacial approach with occlusion of the external acoustic meatus (Type C) in 41 W. and the infralabyrinthine approach with transposition of the facial nerve and removal of the middle ear structures (Type D) in 6% of the patients. Results. Radical removal was achieved in 91% of the cases and partial removal in 9%. Among 20 patients without preoperative facial nerve dysfunction, the nerve was kept in anatomical position in 19 (95%), and facial nerve function was normal during the immediate postoperative period in 17 (85%). Six patients (17.6%) had a new lower cranial nerve deficit, but recovery of swallowing function was adequate in all cases. Voice disturbance remained in all 6 cases. Cerebrospinal fluid leakage occurred in 6 patients (17.6%), with no need for reoperation in any of them. One patient died in the postoperative period due to pulmonary complications. The global recovery, based on the Karnofsky Performance Scale (KPS), was 100% in 15% of the patients, 90% in 45%, 80% in 33%, and 70% in 6%. Conclusions. Radical removal of glomus jugulare tumor can be achieved without anterior transposition of the facial nerve. The extension of dissection, however, should be tailored to each case based on tumor blood supply, preoperative symptoms, and tumor extension. The operative field provided by the retrofacial infralabyrinthine approach, or the pre- and retrofacial approaches. with or without Closure of the external acoustic meatus, allows a wide exposure of the jugular foramen area. Global functional recovery based on the KPS is acceptable in 94% of the patients. (DOI: 10.3171/2008.10.JNS08612)

Supporting content-based image retrieval and computer-aided diagnosis systems with association rule-based techniques

In this work, we take advantage of association rule mining to support two types of medical systems: the Content-based Image Retrieval (CBIR) systems and the Computer-Aided Diagnosis (CAD) systems. For content-based retrieval, association rules are employed to reduce the dimensionality of the feature vectors that represent the images and to improve the precision of the similarity queries. We refer to the association rule-based method to improve CBIR systems proposed here as Feature selection through Association Rules (FAR). To improve CAD systems, we propose the Image Diagnosis Enhancement through Association rules (IDEA) method. Association rules are employed to suggest a second opinion to the radiologist or a preliminary diagnosis of a new image. A second opinion automatically obtained can either accelerate the process of diagnosing or to strengthen a hypothesis, increasing the probability of a prescribed treatment be successful. Two new algorithms are proposed to support the IDEA method: to pre-process low-level features and to propose a preliminary diagnosis based on association rules. We performed several experiments to validate the proposed methods. The results indicate that association rules can be successfully applied to improve CBIR and CAD systems, empowering the arsenal of techniques to support medical image analysis in medical systems. (C) 2009 Elsevier B.V. All rights reserved.

Evaluation of an Enzyme-Linked Immunosorbent Assay Based on Araraquara Virus Recombinant Nucleocapsid Protein

Laboratory diagnosis of hantavirus cardiopulmonary syndrome (HCPS) in Brazil has been performed mostly by a detection of IgM antibodies to recombinant antigen purified from Sin Nombre virus and Andes Virus (ANDV). Recently, a recombinant nucleocapsid (rN) protein of Argentina virus (ARAV), a Brazilian hantavirus, was Obtained in Escherichia coli. To evaluate ARAV rN as antigen for antibody detection, serum samples from 30 patients front Argentina seropositive for hantavirus were tested. All samples were positive for IgG and IgM by enzyme-linked immunosorbent assay (ELISA) using either ARAV rN or ANDV rN antigens. In Brazil, six of 00 serum samples from patients With suspected HCPS (10%) were positive for IgM by ELISA Using ARAV rN antigen and 7 were positive Using ANDV rN antigen. For results obtained with 90 serum samples analyzed by IgM ELISA with ANDV rN antigen, the sensitivity of the IgM ELISA using ARAV rN antigen was 97.2%,, the specificity was 100%, the positive predictive value was 100% and the negative predictive value was 98.1%. The results show that ARAV rN is a Suitable antigen for diagnosis Of hantavirus infection in Brazil and Argentina.

Transcriptional Response of Peripheral Lymphocytes to Early Fibrosarcoma: A Model System for Cancer Detection Based on Hybridization Signatures

Since circulating leukocytes, mainly B and T cells, continuously maintain vigilant and comprehensive immune surveillance, these cells could be used as reporters for signs of infection or other pathologies, including cancer. Activated lymphocyte clones trigger a sensitive transcriptional response, which could be identified by gene expression profiling. To assess this hypothesis, we conducted microarray analysis of the gene expression profile of lymphocytes isolated from immunocompetent BALB/c mice subcutaneously injected with different numbers of tumorigenic B61 fibrosarcoma cells. Flow cytometry demonstrated that the number of circulating T (CD3(+)CD4(+) or CD3(+)CD8(+)) or B (CD19(+)) cells did not change. However, the lymphocytes isolated from tumor cell-injected animals expressed a unique transcriptional profile that was identifiable before the development of a palpable tumor mass. This finding demonstrates that the transcriptional response appears before alterations in the main lymphocyte subsets and that the gene expression profile of peripheral lymphocytes can serve as a sensitive and accurate method for the early detection of cancer. Exp Biol Med 234:802-812, 2009