Search results for "CTL"

Asymptotic Equivalence of Difference Equations in Banach Space

2014

Conjugacy technique is applied to analysis asymptotic equivalence of nonautonomous linear and semilinear difference equations in Banach space.

Characterization of Human γδ T Lymphocytes Infiltrating Primary Malignant Melanomas

2012

T lymphocytes are often induced naturally in melanoma patients and infiltrate tumors. Given that gamma delta T cells mediate antigen-specific killing of tumor cells, we studied the representation and the in vitro cytokine production and cytotoxic activity of tumor infiltrating gamma delta T cells from 74 patients with primary melanoma. We found that gamma delta T cells represent the major lymphocyte population infiltrating melanoma, and both V delta 1(+) and V delta 2(+) cells are involved. The majority of melanoma-infiltrating gamma delta cells showed effector memory and terminally-differentiated phenotypes and, accordingly, polyclonal gamma delta T cell lines obtained from tumor-infiltrat…

T-bet as a possible therapeutic target in autoimmune disease

2002

The prominent role of pro-inflammatory cytokines produced by T helper-1 (T(H1)) cells in regulating autoimmune responses in vitro and in vivo has been demonstrated. Recent observations of T cell polarisation by regulatory transcription factors--especially T-bet (T-box expressed in T cells)--raise the question of their influence in controlling autoimmune diseases. Here, the authors summarise recent observations of the role of T-bet in controlling chronic inflammatory and autoimmune diseases and discuss the implications of these findings for future therapeutic approaches.

Generation of immune responses against hepatitis C virus by dendritic cells containing NS5 protein-coated microparticles.

2009

ABSTRACTDendritic cells (DCs) internalize and process antigens as well as activate cellular immune responses. The aim of this study was to determine the capacity of DCs that contain antigen-coated magnetic beads to induce immunity against the nonstructural hepatitis C virus (HCV) antigen 5 (NS5). Splenocytes derived from Fms-like tyrosine kinase receptor 3 (Flt3) ligand-pretreated BALB/c mice were incubated with magnetic beads coated with HCV NS5, lipopolysaccharide (LPS), and/or anti-CD40; purified; and used for immunization. Cellular immunity was measured using cytotoxic T-lymphocyte (CTL) and T-cell proliferation assays, intracellular cytokine staining, and a syngeneic tumor challenge us…

Proliferation and MHC-unrestricted bystander lysis by virus-specific cytotoxic T cells following antigen self-presentation.

1998

Cytotoxic T cells (CTL) not only act as effector cells, but can also serve as antigen-presenting cells (APC) for other CTL due to their expression of major histocompatibility complex (MHC) class I molecules. In the present study we show that independently derived CTL lines (CTLL) with specificity for an L(d)-presented nonapeptide corresponding to amino acids 168-176 of the immediate-early 1 (IE1) protein of murine cytomegalovirus not only lyse syngeneic but also allogeneic target cells, if the peptide is present during the cytolytic assay. Whereas a short peptide pulse is sufficient to render syngeneic cells susceptible to lysis, continued presence of soluble peptide is mandatory for the ly…

Building a new CTL model checker using Web services

2013

This Computation Tree Logic (CTL) is widely used to capture compositions of reactive systems. Model checking is particularly well-suited for the automated verification of finite-state systems, both for software and for hardware. A CTL model checker tool allows designers to automatically verify that systems satisfy specifications expressed in the language of CTL logic. In this paper we present a new CTL model checker implemented in client-server paradigm. CTL Designer, the client tool, allows an interactive construction of the CTL models as state-transition graphs. Java and C# APIs are provided for programmatic construction of large models. The server part of our tool embeds the core of the …

Deciding properties of integral relational automata

1994

This paper investigates automated model checking possibilities for CTL* formulae over infinite transition systems represented by relational automata (RA). The general model checking problem for CTL* formulae over RA is shown undecidable, the undecidability being observed already on the class of Restricted CTL formulae. The decidability result, however, is obtained for another substantial subset of the logic, called A-CTL*+, which includes all ”linear time” formulae.

Antigen processing influences HIV-specific cytotoxic T lymphocyte immunodominance

2016

Udgivelsesdato: 2009-May-03 Although cytotoxic T lymphocytes (CTLs) in people infected with human immunodeficiency virus type 1 can potentially target multiple virus epitopes, the same few are recognized repeatedly. We show here that CTL immunodominance in regions of the human immunodeficiency virus type 1 group-associated antigen proteins p17 and p24 correlated with epitope abundance, which was strongly influenced by proteasomal digestion profiles, affinity for the transporter protein TAP, and trimming mediated by the endoplasmatic reticulum aminopeptidase ERAAP, and was moderately influenced by HLA affinity. Structural and functional analyses demonstrated that proteasomal cleavage 'prefer…

Regulatory T Cells and IL-10 Independently Counterregulate Cytotoxic T Lymphocyte Responses Induced by Transcutaneous Immunization

2011

Background: The imidazoquinoline derivate imiquimod induces inflammatory responses and protection against transplanted tumors when applied to the skin in combination with a cognate peptide epitope (transcutaneous immunization, TCI). Here we investigated the role of regulatory T cells (Treg) and the suppressive cytokine IL-10 in restricting TCI-induced cytotoxic T lymphocyte (CTL) responses. Methodology/Principal Findings: TCI was performed with an ointment containing the TLR7 agonist imiquimod and a CTL epitope was applied to the depilated back skin of C57BL/6 mice. Using specific antibodies and FoxP3-diphteria toxin receptor transgenic (DEREG) mice, we interrogated inhibiting factors after…

2014

Background Transcutaneous immunization (TCI) approaches utilize skin associated lymphatic tissues to elicit specific immune responses. In this context, the imidazoquinoline derivative imiquimod formulated in Aldara applied onto intact skin together with a cytotoxic T lymphocyte (CTL) epitope induces potent CTL responses. However, the feasibility and efficacy of the commercial imiquimod formulation Aldara is limited by its physicochemical properties as well as its immunogenicity. Methodology/Principal Findings To overcome these obstacles, we developed an imiquimod-containing emulsion gel (IMI-Gel) and characterized it in comparison to Aldara for rheological properties and in vitro mouse skin…