Results 21 to 30 of about 329,027 (236)
Cytolytic T lymphocyte recognition of the murine cytomegalovirus nonstructural immediate-early protein pp89 expressed by recombinant vaccinia virus [PDF]
, 1987 The murine immediate-early (IE) protein pp89 is a nonstructural virus- encoded phosphoprotein residing in the nucleus of infected cells, where it acts as transcriptional activator.
Bertholet, Christine +4 more
core +4 more sources
Conditional Superagonist CTL Ligands for the Promotion of Tumor-Specific CTL Responses [PDF]
The Journal of Immunology, 2010 Abstract Although it has been demonstrated that CTLs can be raised against tumor-associated self-antigens, achieving consistent and effective clinical responses has proven challenging. Superagonist altered peptide ligands (APLs) can often elicit potent antitumor CTL responses where the native tumor-associated epitope fails.
C. Siddiq Abdul-Alim +2 more
openaire +3 more sources
Model Checking CTL is Almost Always Inherently Sequential [PDF]
, 2011 The model checking problem for CTL is known to be P-complete (Clarke, Emerson, and Sistla (1986), see Schnoebelen (2002)). We consider fragments of CTL obtained by restricting the use of temporal modalities or the use of negations---restrictions already ...
A. L. Selman +20 more
core +4 more sources
On CTL* with Graded Path Modalities [PDF]
Information and Computation, 2015 Graded path modalities count the number of paths satisfying a property, and generalize the existential $$\mathsf {E}$$ and universal $$\mathsf {A}$$ path modalities of $$\textsc {CTL}^{*}$$. The resulting logic is denoted $$\textsc {G}\textsc {CTL}^{*}$$, and is a very powerful logic since as we show it is equivalent, over trees, to monadic path logic.
Aminof, Benjamin +2 more
openaire +6 more sources
A single amino acid substitution in the alpha 3 domain of an H-2 class I molecule abrogates reactivity with CTL. [PDF]
, 1987 We previously described a somatic cell expressing a variant H-2Dd molecule that did not serve as a target for alloreactive anti-Dd CTL. The mutant cell line had been isolated by its failure to express a serological epitope present on the H-2Dd alpha 3 ...
Bluestone, JA, Potter, TA, Rajan, TV
core +2 more sources
On the Complexity of ATL and ATL* Module Checking
, 2017 Module checking has been introduced in late 1990s to verify open systems, i.e., systems whose behavior depends on the continuous interaction with the environment.
Bozzelli, Laura, Murano, Aniello
core +1 more source
Shared determinants between virus-infected and trinitrophenyl-conjugated H-2-identical target cells detected in cell-mediated lympholysis [PDF]
, 1976 Infection of H-2-identical mice with either lymphocytic choriomeningitis (LCM) virus, vaccinia virus, or paramyxo (Sendai) virus resulted in the generation of specifically sensitized cytotoxic T lymphocytes (CTL).
Bevan +16 more
core +1 more source
The cooperative competitive citizen [PDF]
, 2013 Each human group and each society is a complex system of cooperative and competitive relationships. These two relations are intertwined, however, it is not indifferent in what way and to what extent.
Fülöp, Márta, Takács, Szabolcs
core +1 more source
The Satisfiability Problem for Probabilistic CTL [PDF]
2008 23rd Annual IEEE Symposium on Logic in Computer Science, 2008 We study the satisfiability problem for qualitative PCTL (probabilistic computation tree logic), which is obtained from "ordinary" CTL by replacing the EX, AX, EU, and AU operators with their qualitative counterparts X > 0, X = 1, U > 0, and U = 1, respectively.
Brázdil, T +3 more
openaire +3 more sources
FEBS Letters, EarlyView.In vivo IL‐10 produced by tissue‐resident tolDC is involved in maintaining/inducing tolerance. Depending on the agent used for ex vivo tolDC generation, cells acquire common features but prime T cells towards anergy, FOXP3+ Tregs, or Tr1 cells according to the levels of IL‐10 produced. Ex vivo‐induced tolDC were administered to patients to re‐establish/
Konstantina Morali +3 more
wiley +1 more source