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...

In this paper, we investigate an in-host model for the viral dynamics of HIV-1 infection and its interaction with CTL immune response. The is sufficiently general to allow nonlinear forms both Threshold parameters are identified that completely determine global outcomes virus-target cell-CTL interactions. Impacts key parameter values functions budding rate on load CD4 count investigated using n...

Epstein-Barr virus (EBV)-specific CTL clones were isolated that recognized A-type EBV transformants but not B-type transformants. These A-type-specific CTL clones (HLA B8 restricted) were used to screen peptides derived from the EBV nuclear antigens (EBNAs) 2, 3, 4, and 6 as potential CTL epitopes. Of the 76 peptides screened, one sequence from EBNA 3 (residues 329-353) was recognized by A-type...

This paper presents a range of quantitative extensions for the temporal logic CTL. We enhance temporal modalities with the ability to constrain the number of states satisfying certain sub-formulas along paths. By selecting the combinations of Boolean and arithmetic operations allowed in constraints, one obtains several distinct logics generalizing CTL. We provide a thorough analysis of their ex...

The existence of two distinct antigenic sites at the surface of simian virus 40 (SV40)-transformed H-2b cells has been previously demonstrated (A. E. Campbell, L. F. Foley, and S. S. Tevethia, J. Immunol. 130:490-492, 1983) by using two independently isolated SV40-specific cytotoxic T-lymphocyte (CTL) clones, K11 and K19. We identified amino acids in the amino-terminal half of SV40 T antigen th...

To study whether the thymic major histocompatibility complex (MHC) imposes a constraint on the receptor repertoire of maturating cytotoxic T lymphocyte (CTL) precursors, the restriction phenotypes of virus-specific CTL of MHC-compatible and of MHC-incompatible thymus- and bone marrow-grafted (A X B)F1 chimeric mice were compared. Dependent on the mode of in vitro sensitization, thymocytes or sp...

Tumors engineered to express the costimulatory molecule B7-1 can elicit CD8+ cytotoxic T lymphocyte (CTL)-dependent antitumor responses in immunocompetent mice. It has been postulated that this result reflects direct priming of CTL by the modified tumor in vivo. Previous studies of the immune response to a B7-1- murine colon carcinoma expressing influenza nucleoprotein (NP) as a model tumor ant...