Towards a Proof Theory of G\"odel Modal Logics

Analytic proof calculi are introduced for box and diamond fragments of basic modal fuzzy logics that combine the Kripke semantics of modal logic K with the many-valued semantics of G\"odel logic. The calculi are used to establish completeness and complexity results for these fragments

Mol Biol Cell

The exon junction complex (EJC) is loaded onto mRNAs as a consequence of splicing and regulates multiple posttranscriptional events. MLN51, Magoh, Y14, and eIF4A3 form a highly stable EJC core, but where this tetrameric complex is assembled in the cell remains unclear. Here we show that EJC factors are enriched in domains that we term perispeckles and are visible as doughnuts around nuclear speckles. Fluorescence resonance energy transfer analyses and EJC assembly mutants show that perispeckles do not store free subunits, but instead are enriched for assembled cores. At the ultrastructural level, perispeckles are distinct from interchromatin granule clusters that may function as storage sites for splicing factors and intermingle with perichromatin fibrils, where nascent RNAs and active RNA Pol II are present. These results support a model in which perispeckles are major assembly sites for the tetrameric EJC core. This subnuclear territory thus represents an intermediate region important for mRNA maturation, between transcription sites and splicing factor reservoirs and assembly sites

2010 update of the ASAS/EULAR recommendations for the management of ankylosing spondylitis

This first update of the ASAS/EULAR recommendations on the management of ankylosing spondylitis (AS) is based on the original paper, a systematic review of existing recommendations and the literature since 2005 and the discussion and agreement among 21 international experts, 2 patients and 2 physiotherapists in a meeting in February 2010. Each original bullet point was discussed in detail and reworded if necessary. Decisions on new recommendations were made — if necessary after voting. The strength of the recommendations (SOR) was scored on an 11-point numerical rating scale after the meeting by email. These recommendations apply to patients of all ages that fulfill the modified NY criteria for AS, independent of extra-articular manifestations, and they take into account all drug and non-drug interventions related to AS. Four overarching principles were introduced, implying that one bullet has been moved to this section. There are now 11 bullet points including 2 new ones, one related to extra-articular manifestations and one to changes in the disease course. With a mean score of 9.1 (range 8-10) the SOR was generally very good

Effects of Clinically Relevant MPL Mutations in the Transmembrane Domain Revealed at the Atomic Level through Computational Modeling

BACKGROUND: Mutations in the thrombopoietin receptor (MPL) may activate relevant pathways and lead to chronic myeloproliferative neoplasms (MPNs). The mechanisms of MPL activation remain elusive because of a lack of experimental structures. Modern computational biology techniques were utilized to explore the mechanisms of MPL protein activation due to various mutations. RESULTS: Transmembrane (TM) domain predictions, homology modeling, ab initio protein structure prediction, and molecular dynamics (MD) simulations were used to build structural dynamic models of wild-type and four clinically observed mutants of MPL. The simulation results suggest that S505 and W515 are important in keeping the TM domain in its correct position within the membrane. Mutations at either of these two positions cause movement of the TM domain, altering the conformation of the nearby intracellular domain in unexpected ways, and may cause the unwanted constitutive activation of MPL's kinase partner, JAK2. CONCLUSIONS: Our findings represent the first full-scale molecular dynamics simulations of the wild-type and clinically observed mutants of the MPL protein, a critical element of the MPL-JAK2-STAT signaling pathway. In contrast to usual explanations for the activation mechanism that are based on the relative translational movement between rigid domains of MPL, our results suggest that mutations within the TM region could result in conformational changes including tilt and rotation (azimuthal) angles along the membrane axis. Such changes may significantly alter the conformation of the adjacent and intrinsically flexible intracellular domain. Hence, caution should be exercised when interpreting experimental evidence based on rigid models of cytokine receptors or similar systems

Focal dose escalation using FDG-PET-guided intensity-modulated radiation therapy boost for postoperative local recurrent rectal cancer: a planning study with comparison of DVH and NTCP

<p>Abstract</p> <p>Background</p> <p>To evaluate the safety of focal dose escalation to regions with standardized uptake value (SUV) >2.0 using intensity-modulated radiation therapy (IMRT) by comparison of radiotherapy plans using dose-volume histograms (DVHs) and normal tissue complication probability (NTCP) for postoperative local recurrent rectal cancer</p> <p>Methods</p> <p>First, we performed conventional radiotherapy with 40 Gy/20 fr. (CRT 40 Gy) for 12 patients with postoperative local recurrent rectal cancer, and then we performed FDG-PET/CT radiotherapy planning for those patients. We defined the regions with SUV > 2.0 as biological target volume (BTV) and made three boost plans for each patient: 1) CRT boost plan, 2) IMRT without dose-painting boost plan, and 3) IMRT with dose-painting boost plan. The total boost dose was 20 Gy. In IMRT with dose-painting boost plan, we increased the dose for BTV+5 mm by 30% of the prescribed dose. We added CRT boost plan to CRT 40 Gy (<it>summed plan 1</it>), IMRT without dose-painting boost plan to CRT 40 Gy (<it>summed plan 2</it>) and IMRT with dose-painting boost plan to CRT 40 Gy (<it>summed plan 3</it>), and we compared those plans using DVHs and NTCP.</p> <p>Results</p> <p>D_meanof PTV-PET and that of PTV-CT were 26.5 Gy and 21.3 Gy, respectively. V₅₀of small bowel PRV in <it>summed plan 1 </it>was significantly higher than those in other plans ((<it>summed plan 1 </it>vs. <it>summed plan 2 </it>vs. <it>summed plan 3</it>: 47.11 ± 45.33 cm³vs. 40.63 ± 39.13 cm³vs. 41.25 ± 39.96 cm³(p < 0.01, respectively)). There were no significant differences in V₃₀, V₄₀, V₆₀, D_meanor NTCP of small bowel PRV.</p> <p>Conclusions</p> <p>FDG-PET-guided IMRT can facilitate focal dose-escalation to regions with SUV above 2.0 for postoperative local recurrent rectal cancer.</p

A case of mistaken identity: HSPs are no DAMPs but DAMPERs

Until recently, the immune system was seen solely as a defense system with its primary task being the elimination of unwanted microbial invaders. Currently, however, the functional significance of the immune system has obtained a much wider perspective, to include among others the maintenance and restoration of homeostasis following tissue damage. In this latter aspect, there is a growing interest in the identification of molecules involved, such as the so-called danger or damage-associated molecular patterns (DAMPs), also called alarmins. Since heat shock proteins are archetypical molecules produced under stressful conditions, such as tissue damage or inflammation, they are frequently mentioned as prime examples of DAMPs (Bianchi, J Leukoc Biol 81:1–5, 2007; Kono and Rock, Nat Rev Immunol 8:279–289, 2008; Martin-Murphy et al., Toxicol Lett 192:387–394, 2010). See for instance also a recent review (Chen and Nunez, Science 298:1395–1401, 2010). Contrary to this description, we recently presented some of the arguments against a role of heat shock protein as DAMPs (Broere et al., Nat Rev Immunol 11:565-c1, 2011). With this perspective and reflection article, we hope to elaborate on this debate and provide additional thoughts to further ignite this discussion on this critical and evolving issue

TRAIL Death Receptor-4, Decoy Receptor-1 and Decoy Receptor-2 Expression on CD8+ T Cells Correlate with the Disease Severity in Patients with Rheumatoid Arthritis

BACKGROUND: Rheumatoid Arthritis (RA) is a chronic autoimmune inflammatory disorder. Although the pathogenesis of disease is unclear, it is well known that T cells play a major role in both development and perpetuation of RA through activating macrophages and B cells. Since the lack of TNF-Related Apoptosis Inducing Ligand (TRAIL) expression resulted in defective thymocyte apoptosis leading to an autoimmune disease, we explored evidence for alterations in TRAIL/TRAIL receptor expression on peripheral T lymphocytes in the molecular mechanism of RA development. METHODS: The expression of TRAIL/TRAIL receptors on T cells in 20 RA patients and 12 control individuals were analyzed using flow cytometry. The correlation of TRAIL and its receptor expression profile was compared with clinical RA parameters (RA activity scored as per DAS28) using Spearman Rho Analysis. RESULTS: While no change was detected in the ratio of CD4+ to CD8+ T cells between controls and RA patient groups, upregulation of TRAIL and its receptors (both death and decoy) was detected on both CD4+ and CD8+ T cells in RA patients compared to control individuals. Death Receptor-4 (DR4) and the decoy receptors DcR1 and DcR2 on CD8+ T cells, but not on CD4+ T cells, were positively correlated with patients' DAS scores. CONCLUSIONS: Our data suggest that TRAIL/TRAIL receptor expression profiles on T cells might be important in revelation of RA pathogenesis

Prolonged Survival of Allografts Induced by Mycobacterial Hsp70 Is Dependent on CD4+CD25+ Regulatory T Cells

Background: Heat shock proteins (Hsps) are stress induced proteins with immunomodulatory properties. The Hsp70 of Mycobacterium tuberculosis (TBHsp70) has been shown to have an anti-inflammatory role on rodent autoimmune arthritis models, and the protective effects were demonstrated to be dependent on interleukin-10 (IL-10). We have previously observed that TBHsp70 inhibited maturation of dendritic cells (DCs) and induced IL-10 production by these cells, as well as in synovial fluid cells. Methodology/Principal Findings: We investigated if TBHsp70 could inhibit allograft rejection in two murine allograft systems, a transplanted allogeneic melanoma and a regular skin allograft. In both systems, treatment with TBHsp70 significantly inhibited rejection of the graft, and correlated with regulatory T cells (Tregs) recruitment. This effect was not tumor mediated because injection of TBHsp70 in tumor-free mice induced an increase of Tregs in the draining lymph nodes as well as inhibition of proliferation of lymph node T cells and an increase in IL-10 production. Finally, TBHsp70 inhibited skin allograft acute rejection, and depletion of Tregs using a monoclonal antibody completely abolished this effect. Conclusions/Significance: We present the first evidence for an immunosuppressive role for this protein in a graft rejection system, using an innovative approach - immersion of the graft tissue in TBHsp70 solution instead of protein injection. Also, this is the first study that demonstrates dependence on Treg cells for the immunosuppressive role of TBHsp70. This finding is relevant for the elucidation of the immunomodulatory mechanism of TBHsp70. We propose that this protein can be used not only for chronic inflammatory diseases, but is also useful for organ transplantation management.Pontificia Universidade Catolica do Rio Grande do Sul (PUCRS)Conselho Nacional de Desenvolvimento Cientifico e Tecnologico (CNPq)Financiadora de Estudos e Projetos (FINEP