Results 21 to 30 of about 399,115 (333)
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
Logical Methods in Computer Science, 2010 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.
Laroussinie, François +2 more
openaire +7 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
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
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
Advances in Targeted Drug Delivery in Melanoma
Asian Pacific Journal of Cancer Biology, 2021 Cancer remains a major killer of mankind. Failure of conventional chemotherapy has resulted in recurrence and development of virulent multi drug resitant (MDR) phenotypes adding to the complexity and diversity of this deadly disease. Melanoma is the most
Pemula Gowtham
doaj +1 more source
CTL and Equivalent Sublanguages of CTL [PDF]
, 1997 Specifications of finite state algorithms with a complex temporal behavior such as protocols or hardware systems are often given in temporal logics as e.g. CTL or CTL*. On the one hand, CTL offers in comparison to CTL* efficient model checking algorithms, but on the other hand, CTL seems to suffer from a limited expressiveness.
Klaus Schneider, D. Schmid
openaire +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
Swimming Exercise Training Attenuates the Lung Inflammatory Response and Injury Induced by Exposing to Waterpipe Tobacco Smoke [PDF]
Addiction and Health, 2020 Background: The use of waterpipe tobacco smoking (WTS) is on the rise throughout the world, especiallyamong young people and even athletes. There is a belief among consumers that exercise prevents the harmfuleffects of hookah smoke on the body.
Mohammad Reza Nakhaee +6 more
doaj +1 more source
Social representation of competition and fraud [PDF]
, 2013 Good citizenship includes fair competitive strategies. Dishonest competitive behaviour – such as fraud – can reflect the absence of one main characteristic of good citizenship as mindfulness of laws and social rules.
Orosz, Gábor, Roland-Lévy, Christine
core +1 more source