Relationship Between Human Leucocyte Antigen Class I and Class II and Chronic Idiopathic Urticaria Associated With Aspirin and/or NSAIDs Hypersensitivity

Background. HLA genes play a role in the predisposition of several diseases. The aim was to analyze the prevalence of HLA class I phenotypes and HLA-DRB1* genotype in patients with CIU associated with ASA and NSAIDs hypersensitivity (AICU). Methods. 69 patients with AICU, and 200 healthy subjects. Results. Subjects with HLA-B44 and HLA-Cw5 antigens were more represented in patients with AICU than in control group. Subjects with HLA-A11, HLA-B13, HLACw4, and HLA-Cw7 antigen were more represented in control group than in patients with AICU. Multiple logistic regression demonstrated an association of HLA-Cw4 and HLA-Cw7 with a lower risk of AICU, whereas carriers of HLA-B44 phenotype had a higher risk of AICU. No differences were found between patients and controls as regards to HLA-DRB1* genotype. Conclusions. We observed an association between some HLA class-I antigens and AICU. To the best of our knowledge this is the first description of such association

Identification of genetic variants associated with Huntington's disease progression: a genome-wide association study

Background Huntington's disease is caused by a CAG repeat expansion in the huntingtin gene, HTT. Age at onset has been used as a quantitative phenotype in genetic analysis looking for Huntington's disease modifiers, but is hard to define and not always available. Therefore, we aimed to generate a novel measure of disease progression and to identify genetic markers associated with this progression measure. Methods We generated a progression score on the basis of principal component analysis of prospectively acquired longitudinal changes in motor, cognitive, and imaging measures in the 218 indivduals in the TRACK-HD cohort of Huntington's disease gene mutation carriers (data collected 2008–11). We generated a parallel progression score using data from 1773 previously genotyped participants from the European Huntington's Disease Network REGISTRY study of Huntington's disease mutation carriers (data collected 2003–13). We did a genome-wide association analyses in terms of progression for 216 TRACK-HD participants and 1773 REGISTRY participants, then a meta-analysis of these results was undertaken. Findings Longitudinal motor, cognitive, and imaging scores were correlated with each other in TRACK-HD participants, justifying use of a single, cross-domain measure of disease progression in both studies. The TRACK-HD and REGISTRY progression measures were correlated with each other (r=0·674), and with age at onset (TRACK-HD, r=0·315; REGISTRY, r=0·234). The meta-analysis of progression in TRACK-HD and REGISTRY gave a genome-wide significant signal (p=1·12 × 10−10) on chromosome 5 spanning three genes: MSH3, DHFR, and MTRNR2L2. The genes in this locus were associated with progression in TRACK-HD (MSH3 p=2·94 × 10−8 DHFR p=8·37 × 10−7 MTRNR2L2 p=2·15 × 10−9) and to a lesser extent in REGISTRY (MSH3 p=9·36 × 10−4 DHFR p=8·45 × 10−4 MTRNR2L2 p=1·20 × 10−3). The lead single nucleotide polymorphism (SNP) in TRACK-HD (rs557874766) was genome-wide significant in the meta-analysis (p=1·58 × 10−8), and encodes an aminoacid change (Pro67Ala) in MSH3. In TRACK-HD, each copy of the minor allele at this SNP was associated with a 0·4 units per year (95% CI 0·16–0·66) reduction in the rate of change of the Unified Huntington's Disease Rating Scale (UHDRS) Total Motor Score, and a reduction of 0·12 units per year (95% CI 0·06–0·18) in the rate of change of UHDRS Total Functional Capacity score. These associations remained significant after adjusting for age of onset. Interpretation The multidomain progression measure in TRACK-HD was associated with a functional variant that was genome-wide significant in our meta-analysis. The association in only 216 participants implies that the progression measure is a sensitive reflection of disease burden, that the effect size at this locus is large, or both. Knockout of Msh3 reduces somatic expansion in Huntington's disease mouse models, suggesting this mechanism as an area for future therapeutic investigation

SAM68: Signal Transduction and RNA Metabolism in Human Cancer

Alterations in expression and/or activity of splicing factors as well as mutations in cis-acting splicing regulatory sequences contribute to cancer phenotypes. Genome-wide studies have revealed more than 15,000 tumor-associated splice variants derived from genes involved in almost every aspect of cancer cell biology, including proliferation, differentiation, cell cycle control, metabolism, apoptosis, motility, invasion, and angiogenesis. In the past decades, several RNA binding proteins (RBPs) have been implicated in tumorigenesis. SAM68 (SRC associated in mitosis of 68 kDa) belongs to the STAR (signal transduction and activation of RNA metabolism) family of RBPs. SAM68 is involved in several steps of mRNA metabolism, from transcription to alternative splicing and then to nuclear export. Moreover, SAM68 participates in signaling pathways associated with cell response to stimuli, cell cycle transitions, and viral infections. Recent evidence has linked this RBP to the onset and progression of different tumors, highlighting misregulation of SAM68-regulated splicing events as a key step in neoplastic transformation and tumor progression. Here we review recent studies on the role of SAM68 in splicing regulation and we discuss its contribution to aberrant pre-mRNA processing in cancer

P.za Leonardo da Vinci 32,

Abstract. We present a novel application on model checking through SPIN as a means for verifying purely descriptive specifications written in TRIO, a first order, linear-time temporal logic with both future and past operators and a quantitative metric on time. The approach is based on the translation of TRIO formulas into Promela programs guided by an equivalence between TRIO and 2-way alternating Büchi automata. An optimization technique based on the concept of modularized TRIO specifications is also shown. The results of our experimentation are quite encouraging, as we are able to verify properties of the Railway Crossing Problem, a well-known benchmark used in the Formal Methods community, for values of the temporal constants that make the verification totally infeasible with traditional tools and approaches. Keywords: temporal logic, model checking, modular specifications, Spin. Theoretical paper 1

Model checking temporal metric specifications with Trio2Promela

Abstract. We present Trio2Promela, a tool for model checking TRIO specifications by means of Spin. TRIO is a linear-time temporal logic with both future and past operators and a quantitative metric on time. Our approach is based on the translation of TRIO formulae into Promela programs guided by equivalence between TRIO and alternating Büchi automata. Trio2Promela may be used to check both purely descriptive TRIO specifications, a distinguishing difference with other model checking tools, and usual Promela programs for which the user needs to verify complex temporal properties. Then, we report on extensive and encouraging experimentation results, and compare Trio2Promela with similar tools. Keywords: temporal logic, model checking, Spin.

Model checking temporal metric specification with Trio2Promela

Abstract. We present Trio2Promela, a tool for model checking TRIO specifications by means of Spin. TRIO is a linear-time temporal logic with both future and past operators and a quantitative metric on time. Our approach is based on the translation of TRIO formulae into Promela programs guided by equivalence between TRIO and alternating Büchi automata. Trio2Promela may be used to check both purely descriptive TRIO specifications, a distinguishing difference with other model checking tools, and usual Promela programs for which the user needs to verify complex temporal properties. Then, we report on extensive and encouraging experimentation results, and compare Trio2Promela with similar tools. Keywords: temporal logic, model checking, Spin.

Lupus anticoagulant: A multicenter study for a standardized and harmonized reporting

Laboratory assessment of Lupus anticoagulant (LAC) is very challenging because of inter and intralaboratory variability, which makes it difficult to standardize and harmonize results expression. Five hospital laboratories in North-eastern Italy shared their efforts and their experience in a cross-laboratory study, conducting the diagnostic process as homogeneously as possible and providing a better interpretation for LAC positivity. Hundred normal samples from healthy subjects (20 from each center) were processed to confirm negative upper limits and calculate positivity cutoffs of LAC integrated assays, that is dilute Russell's viper venom time (dRVVT) and silica clotting time (SCT). Moreover, 311 samples previously diagnosed by the laboratories as positive for LAC were analyzed to characterize different positivity levels for each assay. As far as the analysis of healthy subjects is concerned, negative upper limits are set at 1.17 and 1.19 for dRVVT and SCT screen ratio, respectively. Positivity cutoffs are set at 1.20 for dRVVT and 1.23 for SCT, expressed as Test Ratio calculated on screen and confirm integrated tests. Positive results for each integrated assay are subsequently divided into three subgroups: weak, moderate and strong; the results obtained are presented as a score proposal that can provide LAC interpretation. The combined use of both dRVVT and SCT assays and the definition of different positivity levels may lead to clearer, more objective LAC reporting. An interpretative table for LAC-proposed score provides LAC-positive results and it is now adopted by all centers involved in the study