Results 11 to 20 of about 436,571 (380)
Satisfiability of CTL* with constraints [PDF]
, 2013 We show that satisfiability for CTL* with equality-, order-, and modulo-constraints over Z is decidable. Previously, decidability was only known for certain fragments of CTL*, e.g., the existential and positive fragments and EF.Comment: To appear at ...
B. Courcelle +8 more
core +3 more sources
On the Hybrid Extension of CTL and CTL+ [PDF]
, 2009 The paper studies the expressivity, relative succinctness and complexity of satisfiability for hybrid extensions of the branching-time logics CTL and CTL+ by variables.
B. Cate ten +19 more
core +5 more sources
Cell, 1995 The potent and specific lytic activity of CTLs can occur by at least two distinct pathways. In the secretion and perforin-mediated pathway, the direct effect(s) on the target cell membrane of the pore-forming agent perforin, probably in conjunction with granzymes, also secreted from the CTLs, causes the target's demise.
G. Berke
semanticscholar +4 more sources
, 2005 CTL is the dominant temporal specification language in practice mainly due to the fact that it admits model checking in linear time. Logic programming and the database query language Datalog are often used as an implementation platform for logic ...
Afrati, Foto +4 more
core +3 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 +9 more sources
THE COMPLEXITY OF SATISFIABILITY FOR FRAGMENTS OF CTL AND CTL⋆ [PDF]
International Journal of Foundations of Computer Science, 2008 The satisfiability problems for [Formula: see text] and [Formula: see text] are known to be EXPTIME-complete, resp. 2EXPTIME-complete (Fischer and Ladner (1979), Vardi and Stockmeyer (1985)). For fragments that use less temporal or propositional operators, the complexity may decrease.
Heribert Vollmer +3 more
openaire +2 more sources
Integrated RNA-sequencing and network analysis approach to identify the Hub genes and vital pathways associated with gastric cancer [PDF]
Journal of Pharmacy & Pharmacognosy Research, 2023 Context: Gastric cancer is one of the most prevalent types of cancer in developing countries and ranks fourth in terms of death causes. Helicobacter pylori infection is a significant contributor to the emergence of gastric cancer. Lack of early diagnosis
Karthick Vasudevan +12 more
doaj +1 more source
Diagnostic Pathology, 2023 Background Clear cell renal cell carcinoma (ccRCC) is the dominant subtype of kidney cancer. Dysregulation of long-chain acyl-CoA synthetase 1 (ACSL1) is strongly implicated in undesirable results in varieties of cancers.
Yang Yang +11 more
doaj +1 more source
Investment Evaluation of CCUS Retrofitting for Coal-to-Liquid Industry in China
Atmosphere, 2023 Coal-to-oil (CTL) combined with carbon capture, utilization and storage (CCUS) can significantly reduce the CO2 emissions generated in the production process to achieve clean coal utilization.
Min Dai, Jingjing Xie, Xiaoyu Li, Xu Gao
doaj +1 more source
Pharmaceuticals, 2020 Choline transporter-like protein 1 (CTL1) is highly expressed in glioma cells, and inhibition of CTL1 function induces apoptotic cell death. Therefore, CTL1 is a potential target molecule for glioma therapy.
Saiichiro Watanabe +6 more
doaj +1 more source