Cytotoxic T lymphocytes (CTLs) are important immune effectors against intra-cellular pathogens. These cells search for infected cells and kill them. Recently developed experimental methods in combination with mathematical models allow for the quantification of the efficacy of CTL killing in vivo and, hence, for the estimation of parameters that characterize the effect of CTL killing on the targ...

A small group of HIV-1-infected subjects who either do not progress to AIDS or progress only slowly have sustained HIV-1-specific CTL responses. It has been suggested that the specificities of these responses differ from the CTL responses of rapid progressors due to recognition of epitopes that are under structural or functional constraints. We have, in this respect, studied the CTL response to...

We investigated here the effects of perforin on CTL responses during interaction of dendritic cells (DC) with cytotoxic T lymphocytes in vivo. Using MHC class I tetramers complexed with the immunodominant CTL epitope of the lymphocytic choriomeningitis virus glycoprotein (LCMV-GP33), we followed the kinetics of DC-induced CTL responses. GP33-presenting DC induced rapid primary expansion of both...

The discussion of the relative merits of linearversus branching-time frameworks goes back to early 1980s. One of the beliefs dominating this discussion has been that “while specifying is easier in LTL (linear-temporal logic), verification is easier for CTL (branching-temporal logic)”. Indeed, the restricted syntax of CTL limits its expressive power and many important behaviors (e.g., strong fai...

Herpes simplex virus (HSV) establishes a lifelong infection in humans. Reactivation of latent virus occurs intermittently so that the immune system is frequently exposed to viral Ag, providing an opportunity to evaluate memory T cells to a persistent human pathogen. We studied the persistence of genital herpes lesion-derived HSV-specific CD8+ CTL from three immunocompetent individuals with freq...

Cytotoxic T Lymphocytes (CTLs) play a central role in controlling HIV-replication. Although numerous CTL epitopes have been described, most are in subtype B or C infection. Little is known about CTL responses in CRF01_AE infection. Gag CTL responses were investigated in a cohort of 137 treatment-naïve HIV-1 infected Thai patients with high CD4+ T cell counts, using gIFN Enzyme-Linked Immunospot...

Minimal change is a fundamental principle for modeling system dynamics. In this paper, we study the issue of minimal change for Computational Tree Logic (CTL) model update. We first propose five primitive operations which capture the basic update of the CTL model, and then define the minimal change criteria for CTL model update based on these primitive operations. We provide essential semantic ...

We investigated the prognostic value of cytotoxic T-lymphocyte precursor frequencies (CTL-p-f) for the development of graft-versus-host disease (GvHD) in a cohort of 92 recipients of a hematopoietic stem cell transplantation from HLA-matched sibling donors. CTL-p-f and clinical variables were correlated with acute GvHD and chronic GvHD in univariate and multivariate analyses. CTL-p-f resulted a...