Results 21 to 30 of about 180,278 (321)
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
Biomarker Discovery with Quantum Neural Networks: A Case-study in CTLA4-Activation Pathways [PDF]
, 2023 Biomarker discovery is a challenging task due to the massive search space. Quantum computing and quantum Artificial Intelligence (quantum AI) can be used to address the computational problem of biomarker discovery tasks. We propose a Quantum Neural Networks (QNNs) architecture to discover biomarkers for input activation pathways. The Maximum Relevance,
arxiv +1 more source
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 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.
Markus Lohrey +2 more
openaire +3 more sources
Hopf bifurcation in a CTL-inclusive HIV-1 infection model with two time delays
Mathematical Biosciences and Engineering, 2019 In this paper, we investigate a delayed HIV-1 infection model with immune response. Though a logistic growth is incorporated in the growth of the target cells, our focus is on the effect of delays on the infection dynamics.
Juan Wang +3 more
doaj +1 more source
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
MATEC Web of Conferences, 2017 Model checking and theorem proving are two key vertification techniques in the formal method, but each has its advantages and disadvantages. In this paper, we first try to present the general model transformation rules from Event-B to SMV in order to ...
Sen Liang, Xiangyu Luo, Zuxi Chen
doaj +1 more source
Humanist Studies & The Digital Age, 2013 The aim of this paper is to present the activities and research methodologies of CTL (Centro di Elaborazione Informatica di Testi e Immagini nella Tradizione Letteraria), a laboratory of the Scuola Normale Superiore of Pisa, founded and directed by Lina ...
Serena Pezzini
doaj +1 more source
The roles of exosomal immune checkpoint proteins in tumors
Military Medical Research, 2021 Targeting immune checkpoints has achieved great therapeutic effects in the treatment of early-stage tumors. However, most patients develop adaptive resistance to this therapy.
Cheng Xing +9 more
doaj +1 more source
Improving the Performance of Charge Trapping Memtransistor as Synaptic Device by Ti-Doped HfO2
IEEE Journal of the Electron Devices Society, 2021 In this work, we improved the performance of germanium (Ge) channel Charge Trapping MemTransistors (CTMTs) as synaptic device by using Ti-doped HfO2 as charge trapping layer (CTL). We manipulated the amount of Ti dopant within the HfO2 CTL to perform the
Yu-Che Chou +4 more
doaj +1 more source