Specific binding (conjugation) of cytotoxic T lymphocytes (CTL) to target cells (TC) is the first step in a multistage process ultimately resulting in dissolution of the TC and recycling of the CTL. We examined the position of the microtubule organizing center (MTOC) of immune CTL bound to specific TC. Immunofluorescence labeling of freshly prepared CTL-TC conjugates with tubulin antibodies ind...

The logic CTL can express branching-time attributes that are not expressible with !-automata and conversely the FormalCheck Query Language (FQL) whose semantics is founded on !-automata can express sequentiality and eventuality behaviors that are not expressible with CTL (nor even its extension CTL). Since both CTL and FQL are commonly used in model-checking, it is of interest to compare noneth...

It is well established that granzymes A and B play a role in CTL killing of target cells by the perforin-dependent granule exocytosis pathway. The functions of multiple additional granzymes expressed in CTL are less well defined. In the present studies, CTL generated from mice deficient in dipeptidyl peptidase 1 (DPP1) were used to investigate the contribution of granzyme C to CTL killing of al...

Progressive multifocal leukoencephalopathy (PML) is a fatal demyelinating disease of the CNS of immunosuppressed individuals caused by the polyomavirus JC (JCV). In previous studies, we showed that JCV-specific cytotoxic T lymphocytes (JCV-specific CTL) were associated with a favourable outcome in patients with PML. However, these CTL had been assessed in PML survivors more than 1 year after th...

This paper describes the specificity of AKR anti-(a) [AKR anti-trinitrophenylated AKR (AKR-TNP)] [AKRa (AKRaAKR TNP)] antisera raised in syngeneic AKR mice against AKRaAKR-TNP cell populations enriched for H-2-restricted aTNP cytotoxic lymphocytes (CTL) by blast-cell isolation. The activity of the antisera resided in the Ig fraction. All antisera were shown to reproducibly react with AKRaAKR-TN...

There is an urgent need for a human immunodeficiency virus (HIV) vaccine that induces robust mucosal immunity. CD8(+) cytotoxic T lymphocytes (CTLs) apply substantial antiviral pressure, but CTLs to individual epitopes select for immune escape variants in both HIV in humans and SIV in macaques. Inducing multiple simian immunodeficiency virus (SIV)-specific CTLs may assist in controlling viremia...

The lysis of infected host cells by virus-specific cytolytic T lymphocytes (CTL) is an important factor in host resistance to viral infection. An optimal vaccine against human immunodeficiency virus type 1 (HIV-1) would elicit virus-specific CTL as well as neutralizing antibodies. The induction by a vaccine of HIV-1-specific CD8+ CTL in humans has not been previously reported. In this study, CT...

background: vaccines capable of controlling tumor virus based infections are found difficult to develop due to the consistence latent infection in the host. dna vaccines are attractive tools for the development of hpv vaccines and inducing antigen-specific immunity owing to the stability, simplicity of delivery, safety and cost effectiveness. however, there is a need to increase their potency b...

We present a logic for reasoning about choice. Choice CTL (C-CTL) extends the well-known branching-time temporal logic CTL with choice modalities, “3” and “2”. An example C-CTL formula is 3AFhappy , asserting that there exists a choice that will lead to happiness. C-CTL is related to both STIT logics and temporal cooperation logics such as ATL, but has a much simpler and (we argue) more intuiti...

Existing techno-economic analyses of modern coal chemical technologies (MCCTs) neglect water constraints, which may underestimate the production cost MCCTs and thus mislead investment activities. Considering this background, study incorporated scarcity indirect into a classic evaluation model MCCT. Using model, our work evaluated compared indicators with latest data for four typical MCCTs, incl...