Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics

This work provides proof-search algorithms and automated counter-model extraction for a class of STIT logics. With this, we answer an open problem concerning syntactic decision procedures and cut-free calculi for STIT logics. A new class of cut-free complete labelled sequent calculi G3LdmL^m_n, for multi-agent STIT with at most n-many choices, is introduced. We refine the calculi G3LdmL^m_n through the use of propagation rules and demonstrate the admissibility of their structural rules, resulting in auxiliary calculi Ldm^m_nL. In the single-agent case, we show that the refined calculi Ldm^m_nL derive theorems within a restricted class of (forestlike) sequents, allowing us to provide proof-search algorithms that decide single-agent STIT logics. We prove that the proof-search algorithms are correct and terminate

Coarse-grained reconfigurable array architectures

Coarse-Grained Reconfigurable Array (CGRA) architectures accelerate the same inner loops that benefit from the high ILP support in VLIW architectures. By executing non-loop code on other cores, however, CGRAs can focus on such loops to execute them more efficiently. This chapter discusses the basic principles of CGRAs, and the wide range of design options available to a CGRA designer, covering a large number of existing CGRA designs. The impact of different options on flexibility, performance, and power-efficiency is discussed, as well as the need for compiler support. The ADRES CGRA design template is studied in more detail as a use case to illustrate the need for design space exploration, for compiler support and for the manual fine-tuning of source code

Rodent herpesvirus Peru encodes a secreted chemokine decoy receptor

Viruses have long been studied not only for their pathology and associated disease but also as model systems for understanding cellular and immunological processes. Rodent herpesvirus Peru (RHVP) is a recently characterized rhadinovirus related to murine gammaherpesvirus 68 (MHV68) and Kaposi's sarcoma-associated herpesvirus (KSHV) that establishes acute and latent infection in laboratory mice. RHVP encodes numerous unique proteins that we hypothesize might facilitate host immune evasion during infection. We report here that open reading frame (ORF) R17 encodes a high-affinity chemokine binding protein that broadly recognizes human and murine CC and C chemokines. The interaction of R17 with chemokines is generally characterized by rapid association kinetics, and in the case of CCL3, CCL4, CCL5, CCL24, and XCL1, extremely stable complexes are formed. Functionally, R17 potently inhibited CCL2-driven chemotaxis of the human monocytic cell line THP-1, CCL3-driven chemotaxis of peripheral blood mononuclear cells, and CCL2-mediated calcium flux. Our studies also reveal that R17 binds to glycosaminoglycans (GAGs) in a process dependent upon two BBXB motifs and that chemokine and GAG binding can occur simultaneously at distinct sites. Collectively, these studies suggest that R17 may play a role in RHVP immune evasion through the targeted sabotage of chemokine-mediated immune surveillance

CD13/Aminopeptidase N overexpression by basic fibroblast growth factor mediates enhanced invasiveness of 1F6 human melanoma cells

CD13/Aminopeptidase N (CD13) is known to play an important role in tumour cell invasion. We examined whether basic fibroblast growth factor (bFGF) is involved in the regulation of CD13 expression in human melanoma cells. 1F6 human melanoma cells were stably transfected with constructs encoding either the 18 kDa (18kD) or all (ALL) bFGF isoform proteins. We observed highly increased CD13 mRNA and protein expression in the 1F6 clones regardless of the overexpression of either the 18kD or all isoform proteins. Neutral aminopeptidase activity was increased five-fold and could be inhibited by bestatin and the CD13-neutralising antibody WM15. The enhanced invasion through Matrigel, but not migration in a wound assay, was efficiently abrogated by both bestatin and WM15. Upregulation of CD13 expression was the result of increased epithelial and myeloid promoter activity up to 4.5-fold in 1F6-18kD and 1F6-ALL clones. Interestingly, in a panel of human melanoma cell lines, a significant correlation (r2=0.883, P<0.05) between bFGF and CD13 mRNA and protein expression was detected. High bFGF and CD13 expression were clearly related with an aggressive phenotype. Taken together, our data indicate that high bFGF expression upregulates CD13 expression in human melanoma cells by activating both the myeloid and the epithelial CD13 promoter. In addition, we show that high bFGF and CD13 expression results in enhanced invasive capacity and metastatic behaviour of human melanoma cells

Genetic defects in common variable immunodeficiency

Common variable immunodeficiency (CVID) is the most frequent clinically manifested primary immunodeficiency. According to clinical and laboratory findings, CVID is a heterogeneous group of diseases. Recently, the defects of molecules regulating activation and terminal differentiation of B lymphocytes have been described in some patients with CVID. In this study, we show the overview of deficiencies of inducible costimulator, transmembrane activator and calcium-modulator and cytophilin ligand interactor, CD19 molecules, their genetic basis, pathogenesis and clinical manifestations