Results 191 to 200 of about 133,374 (215)

Robustness Analysis of Fuzzy Computation Tree Logic

2016
Fuzzy computation tree logic is an extension of classical temporal logic computation tree logic, which is used to specify the properties of systems with uncertain information content. This paper investigates the robustness of fuzzy computation tree logic.
Hai-Yu Pan, Hai-Yu Pan, Li Li, Hong-Juan Yuan   +3 more
openaire   +2 more sources

Model Checking Quantified Computation Tree Logic

2006
Propositional temporal logic is not suitable for expressing properties on the evolution of dynamically allocated entities over time. In particular, it is not possible to trace such entities through computation steps, since this requires the ability to freely mix quantification and temporal operators.
openaire   +2 more sources

Model Checking for Multi-valued Computation Tree Logics

2003
A multi-valued version of CTL* (mv-CTL*), where both the propositions and the accessibility relation are multi-valued taking values in a finite quasi-Boolean algebra, is defined. A translation from mv-CTL* model checking to CTL* model checking is investigated.
Wojciech Penczek, Beata Konikowska
openaire   +2 more sources

Computation tree logic and regular ω-languages

1989
The expressive power of branching time logics is studied in the framework of the theory of ω-automata and ω-languages. The systems CTL* (computation tree logic) and ECTL* (extended computation tree logic) are characterized in terms of star-free, resp. regular ω-languages. A further characterization of CTL* by a "non-counting property" for sets of trees
openaire   +1 more source

Interactive Tree Of Life (iTOL) v5: an online tool for phylogenetic tree display and annotation

Nucleic Acids Research, 2021
Ivica Letunic, Peer Bork
exaly  

Trees in Linguistics, Logic, and Computer Science

Research on Language and Computation, 2003
Dov M. Gabbay, Valentin Goranko
openaire   +2 more sources

Structure–property–function relationships of natural and engineered wood

Nature Reviews Materials, 2020
Chaoji Chen, Yudi Kuang, Shuze Zhu
exaly  

Sensitive protein alignments at tree-of-life scale using DIAMOND

Nature Methods, 2021
Benjamin Buchfink, Klaus Reuter, Hajk-Georg Drost   +2 more
exaly  

Root of the Tree: The Significance, Evolution, and Origins of the Ribosome

Chemical Reviews, 2020
Jessica C Bowman, Anton S Petrov, Moran Frenkel-Pinter   +2 more
exaly  

Microbial diversity in extreme environments

Nature Reviews Microbiology, 2021
Wen-Sheng Shu, Li-Nan Huang
exaly