Results 31 to 40 of about 436,571 (380)
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 +2 more
core +2 more sources
Nature Network Boston, 2015 More than 10% of the world's population is chronically infected with HIV, hepatitis C virus (HCV) or hepatitis B virus (HBV), all of which can cause severe disease and death.
Jonathan H. Chen +7 more
semanticscholar +1 more source
Specification in CTL+Past for Verification in CTL
Information and Computation, 2000 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Ph. Schnoebelen, François Laroussinie
openaire +3 more sources
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, Verification in CTL
Electronic Notes in Theoretical Computer Science, 1997 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 branching future but determined, finite and cumulative past.
Philippe Schnoebelen +1 more
openaire +2 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 +6 more
core +4 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 +2 more
openaire +4 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 +5 more sources
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
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 +17 more
core +3 more sources