Results 361 to 370 of about 436,571 (380)

Reducing Model Checking from Multi-valued CTL* to CTL*

2002
A multi-valued version of CTL* (mv-CTL*), where both the propositions and the accessibility relation are multi-valued taking values in a finite quasi-boolean algebra, is considered. A general translation from mv-CTL* to CTL* model checking is defined. An application of the translation is shown for the most commonly used quasi-boolean algebras.
Beata Konikowska, Wojciech Penczek
openaire   +2 more sources

Temporal logic CTL + PROLOG

Journal of Automated Reasoning, 1989
Let T denote closure of the set of formulas of the form P \((term_ 1,...,term_ n)\) under operation of conjunction and temporal operators of some kind (f. E. operators ``always'', ``until'' and so on), and TR be the set of formulas (rules) of the form \(f_ 1 \&...\& f_ m\to f_{m+1}\), where \(f_ i\) belongs to T.
openaire   +2 more sources

Antiviral pressure exerted by HIV-l-specific cytotoxic T lymphocytes (CTLs) during primary infection demonstrated by rapid selection of CTL escape virus

Nature Network Boston, 1997
P. Borrow, H. Lewicki, Xiping Wei, M. Horwitz, N. Peffer, Heather L. Meyers, J. Nelson, J. Gairin, B. Hahn, M. Oldstone, G. Shaw   +10 more
semanticscholar   +1 more source

T-cell Receptor (TCR) Phenotype of Nodal Epstein-Barr Virus (EBV)-positive Cytotoxic T-cell Lymphoma (CTL): A Clinicopathologic Study of 39 Cases

American Journal of Surgical Pathology, 2015
Seiichi Kato, N. Asano, T. Miyata‐Takata, K. Takata, A. Elsayed, A. Satou, Emiko Takahashi, T. Kinoshita, S. Nakamura   +8 more
semanticscholar   +1 more source

HIV evolution: CTL escape mutation and reversion after transmission

Nature Network Boston, 2004
A. Leslie, K. Pfafferott, P. Chetty, R. Draenert, M. Addo, M. Feeney, Yanhua Tang, E. Holmes, Todd M. Allen, J. Prado, M. Altfeld, C. Brander, C. Dixon, D. Ramduth, P. Jeena, S. Thomas, A. John, T. Roach, B. Kupfer, G. Luzzi, A. Edwards, G. Taylor, H. Lyall, G. Tudor-Williams, V. Novelli, J. Martinez-Picado, P. Kiepiela, B. Walker, P. Goulder, P. Goulder   +29 more
semanticscholar   +1 more source

Tumor lactic acidosis suppresses CTL function by inhibition of p38 and JNK/c‐Jun activation

International Journal of Cancer, 2012
Anna N. Mendler, Bin Hu, Petra U. Prinz, M. Kreutz, E. Gottfried, E. Noessner   +5 more
semanticscholar   +1 more source

Viral dynamics model with CTL immune response incorporating antiretroviral therapy

Journal of Mathematical Biology, 2013
Yan Wang, Yicang Zhou, F. Brauer, J. Heffernan   +3 more
semanticscholar   +1 more source

Towards a CTL* Tableau

2005
We present a sound, complete and relatively straightforward tableau method for deciding valid formulas in the propositional version of the bundled (or suffix and fusion closed) computation tree logic BCTL*. This proves that BCTL* is decidable. It is also moderately useful to have a tableau available for a reasonably expressive branching time temporal ...
openaire   +2 more sources

Evolution and transmission of stable CTL escape mutations in HIV infection

Nature, 2001
P. Goulder, C. Brander, Yanhua Tang, C. Tremblay, R. Colbert, M. Addo, E. Rosenberg, Thi H. O. Nguyen, R. Allen, A. Trocha, M. Altfeld, Suqin He, M. Bunce, R. Funkhouser, S. Pelton, S. Burchett, K. Mcintosh, B. Korber, B. Walker   +18 more
semanticscholar   +1 more source

HIV and SIV CTL escape: implications for vaccine design

Nature reviews. Immunology, 2004
P. Goulder, D. Watkins
semanticscholar   +1 more source