The paper studies the expressivity, relative succinctness and complexity of satisfiability for hybrid extensions of the branching-time logics CTL and CTL by variables. Previous complexity results show that only fragments with one variable do have elementary complexity. It is shown that HCTL and HCTL, the hybrid extensions with one variable of CTL and CTL, respectively, are expressively equivale...

This study was designed to determine the role of CD25(+)CD4(+) regulatory T (Tr) cells in CTL maturation and effector functions using a murine CTL line and in vitro MLC. Tr cells inhibited CTL functional maturation, but had no effect on CTL effector functions. In CD4(+) responder T cell-depleted MLC supplemented with IL-2, Tr cells suppressed mature CTL generation only when added within the fir...

Brain-inspired neuromorphic computing has drawn significant attraction as a promising technology beyond von Neumann architecture by using the parallel structure of synapses and neurons. Various artificial synapse configurations materials have been proposed to emulate synaptic behaviors for human brain functions such memorizing, learning, visual processing. Especially, memory type indium-gallium...

Human cytomegalovirus (HCMV)-specific CD8(+) cytotoxic T lymphocytes (CTL) appear to play an important role in the control of virus replication and in protection against HCMV-related disease. We have previously reported high frequencies of memory CTL precursors (CTLp) specific to the HCMV tegument protein pp65 in the peripheral blood of healthy virus carriers. In some individuals, the CTL respo...

In order to directly assess the distribution of cytolytic T lymphocytes (CTL) and their precursors (CTL-P) in the two major subsets of human T cells, we have used limiting dilution microculture systems to determine their frequencies. The two subsets were defined according to their reactivity (or lack thereof) with B9.4 monoclonal antibody (the specificity of which is similar, if not identical, ...

HLA-B57 has been shown to be strongly associated with slow disease progression in human immunodeficiency virus type 1 (HIV-1)-infected patients from the Amsterdam Cohort. Since HIV-1-specific CTL can control and eliminate virus-infected cells, we sought to characterize the dominant HLA-B57-restricted CTL responses at the epitope level. It was found that HLA-B57-restricted CTL responses were tar...

The specificities of cloned cytolytic T lymphocytes (CTL) were studied for the analysis of CTL populations generated against murine leukemia viruses (MuLV) in H-2 congenic BALB/c (H-2d) and BALB.B (H-2b) mice. In particular, CTL generated in response to tumors induced by Gross MuLV and Friend MuLV were studied; these tumors expressed virus-induced antigens that do not cross-react and that can b...

This study was performed to test the hypothesis that cytotoxic T lymphocyte (CTL) selection of hepatitis C virus (HCV) escape variants plays a role in HCV persistence. The peripheral blood CTL responsiveness of patients with well-established chronic hepatitis C to a panel of 10 prototype HCV peptides (genotype 1a) was compared with the corresponding sequences encoded by the infecting viruses in...

Experimental data suggest that negative selection of thymocytes can occur as a result of supraoptimal antigenic stimulation. It is unknown, however, whether such mechanisms are at work in mature CD8+ T lymphocytes. Here, we show that CD8+ effector cytotoxic T lymphocytes (CTL) are susceptible to proliferative inhibition by high dose peptide antigen, leading to apoptotic death mediated by TNF-al...

The human cytotoxic T-lymphocyte (CTL) response to human immunodeficiency virus type 1 (HIV-1) has been intensely studied, and hundreds of CTL epitopes have been experimentally defined, published, and compiled in the HIV Molecular Immunology Database. Maps of CTL epitopes on HIV-1 protein sequences reveal that defined epitopes tend to cluster. Here we integrate the global sequence and immunolog...