Results 11 to 20 of about 329,027 (236)

Quantified CTL: Expressiveness and Complexity [PDF]

Logical Methods in Computer Science, 2014
While it was defined long ago, the extension of CTL with quantification over atomic propositions has never been studied extensively. Considering two different semantics (depending whether propositional quantification refers to the Kripke structure or to its unwinding tree), we study its expressiveness (showing in particular that QCTL coincides with ...
Laroussinie, François, Markey, Nicolas
openaire   +5 more sources

Specification in CTL+Past for Verification in CTL

Information and Computation, 2000
AbstractWe describe PCTL, a temporal logic extending CTL with connectives allowing to refer to the past of a current state. This incorporates the new N, “from now on,” combinator we recently introduced. PCTL has a branching future, but a determined, finite, and cumulative past.
Ph. Schnoebelen, François Laroussinie
openaire   +2 more sources

Satisfiability Games for Branching-Time Logics [PDF]

, 2013
The satisfiability problem for branching-time temporal logics like CTL*, CTL and CTL+ has important applications in program specification and verification. Their computational complexities are known: CTL* and CTL+ are complete for doubly exponential time,
Friedmann, Oliver, Lange, Martin, Latte, Markus   +2 more
core   +2 more sources

A Swiss Army Knife for CTLs [PDF]

Immunity, 2014
Granzyme B released by leukocytes cleaves multiple intracellular substrates required for target cell lysis. In this issue of Immunity, Prakash et al. (2014) demonstrate that granzyme B cleaves basement membrane proteins and promotes cytotoxic T cell diapedesis into inflamed tissue.
Bettina Weigelin, Peter Friedl, Peter Friedl   +2 more
openaire   +4 more sources

Model Checking CTL is Almost Always Inherently Sequential [PDF]

, 2009
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 ...
Beyersdorff, Olaf, Meier, Arne, Mundhenk, Martin, Schneiden, Thomas, Schneider, Thomas, Thomas, Michael, Vollmer, Heribert   +6 more
core   +4 more sources

Protein kinase B controls transcriptional programs that direct cytotoxic T cell fate but is dispensable for T cell metabolism [PDF]

, 2011
SummaryIn cytotoxic T cells (CTL), Akt, also known as protein kinase B, is activated by the T cell antigen receptor (TCR) and the cytokine interleukin 2 (IL-2). Akt can control cell metabolism in many cell types but whether this role is important for CTL
Ahmed, Andrew N. Macintyre, Araki, Bachmann, Bain, Bayascas, Bayascas, Carlson, Carmen Feijoo, Caryll M. Waugh, Castellino, Cham, Cornish, Cruz-Guilloty, D'Souza, David Finlay, Doreen A. Cantrell, Fabre, Finlay, Fox, Garçon, Gavin Preston, Green, Hand, Hendriks, Jacobs, Janas, Jarmin, Juntilla, Kaech, Kalia, Kelly, Kerdiles, Klaus Okkenhaug, Kurts, Lin, Linda V. Sinclair, Liu, Maciver, Malek, Manjunath, Mao, Obar, Ouyang, Pearce, Peter Tamas, Pipkin, Pircher, Prlic, Rao, Rathmell, Saeed, Saibil, Sinclair, Soond, Tamás, Waugh, Williams, Williams   +58 more
core   +3 more sources

CTLs: Killers of intracellular bacteria

Frontiers in Cellular and Infection Microbiology, 2022
Many microbial pathogens have evolved a range of capabilities to evade host immune defense mechanisms and to survive and multiply in host cells. The presence of host intracellular bacteria makes it difficult for specific antibodies to function. After the intracellular bacteria escape the attack of the innate immune system, such as phagocytes, they ...
Li Tian, Wei Zhou, Xianwei Wu, Zhuannan Hu, Lei Qiu, Huiyong Zhang, Xue Chen, Shaoyan Zhang, Zhenhui Lu   +8 more
openaire   +3 more sources

Sequential anti-cytomegalovirus response monitoring may allow prediction of cytomegalovirus reactivation after allogeneic stem cell transplantation [PDF]

, 2012
Background: Reconstitution of cytomegalovirus-specific CD3+CD8+ T cells (CMV-CTLs) after allogeneic hematopoietic stem cell transplantation (HSCT) is necessary to bring cytomegalovirus (CMV) reactivation under control. However, the parameters determining
Bader, Peter, Borchers, Sylvia, Bremm, Melanie, Dammann, Elke, Eder, Matthias, Esser, Ruth, Ganser, Arnold, Jarisch, Andrea, Klingebiel, Thomas, Köhl, Ulrike, Lehrnbecher, Thomas, Martin, Hans, Mischak-Weissinger, Eva Maria, Pabst, Brigitte, Schneider, Gisbert, Stadler, Michael, Wölk, Benno, Yildiz, Meral   +17 more
core   +3 more sources

CTL-Derived Exosomes Enhance the Activation of CTLs Stimulated by Low-Affinity Peptides [PDF]

Frontiers in Immunology, 2019
Abstract Cytotoxic T cells (CTLs) of low TCR affinity play an important role in the control of intracellular pathogens and cancers; however, the mechanisms by which lower-affinity CTLs are activated and maintained are not well understood.
Zhengguo Xiao, Yan Wang, Lei Li, Shu-Wei Wu   +3 more
openaire   +4 more sources

The cytolytic T lymphocyte response to the murine cytomegalovirus [PDF]

, 1984
Limiting dilution (LD) analysis with two modifications, the expansion and the restimulation LD assay, led to the detection and quantification of two distinct in vivo maturation stages within the lineage of virus- specific self-restricted CTL after ...
Keil, Günther M., Koszinowski, Ulrich H., Reddehase, Matthias J.   +2 more
core   +4 more sources