Results 21 to 30 of about 2,112 (254)
Reconstruction Method of Ocean Front Model Based on Fuzzy Cluster Analysis of Sound Speed Profile
IEEE Access, 2021 Ocean fronts are mostly determined according to the horizontal temperature gradient, and various selection criteria may lead to different frontal zones. This study proposes a frontal zone delineation method based on sound speed profile.
Yuyao Liu +5 more
doaj +1 more source
L-Recursion and a new Logic for Logarithmic Space [PDF]
Logical Methods in Computer Science, 2013 We extend first-order logic with counting by a new operator that allows it to formalise a limited form of recursion which can be evaluated in logarithmic space.
Martin Grohe +3 more
doaj +1 more source
Transitive Closure of Interval-valued Fuzzy Relations [PDF]
International Journal of Computational Intelligence Systems, 2013 In this paper are introduced some concepts of interval-valued fuzzy relations and some of their properties: reflexivity, symmetry, T-transitivity, composition and local reflexivity.
Ramón González-del-Campo +2 more
doaj +1 more source
Characterization of Transitivity in L-Tolerance Spaces by Convergence and Closure
Axioms, 2021 We show that the category of quantale-valued tolerance spaces is isomorphic to a category of quantale-valued convergence spaces. We define suitable quantale-valued closure functions and use them to characterize transitivity axioms.
Gunther Jäger, T. M. G. Ahsanullah
doaj +1 more source
Transitive closure in a polluted environment
The Annals of Applied Probability, 2023 We introduce and study a new percolation model, inspired by recent works on jigsaw percolation, graph bootstrap percolation, and percolation in polluted environments. Start with an oriented graph $G_0$ of initially occupied edges on $n$ vertices, and iteratively occupy additional (oriented) edges by transitivity, with the constraint that only open ...
Gravner, Janko, Kolesnik, Brett
openaire +2 more sources
Causal Pathway Extraction from Web-Board Documents
Applied Sciences, 2021 This research aim is to extract causal pathways, particularly disease causal pathways, through cause-effect relation (CErel) extraction from web-board documents.
Chaveevan Pechsiri, Rapepun Piriyakul
doaj +1 more source
buTCS: An Optimized Algorithm for Estimating the Size of Transitive Closure
IEEE Access, 2021 Given a directed graph and a node $v$ , the transitive closure (TC) of $v$ is the set of nodes that $v$ can reach in the graph. TC size is very important in many applications but the cost of TC size computation is high in both time and space, which ...
Xiaozhe Li +3 more
doaj +1 more source
Model Checking Synchronized Products of Infinite Transition Systems [PDF]
Logical Methods in Computer Science, 2007 Formal verification using the model checking paradigm has to deal with two aspects: The system models are structured, often as products of components, and the specification logic has to be expressive enough to allow the formalization of reachability ...
Stefan Wöhrle, Wolfgang Thomas
doaj +1 more source
Complements and transitive closures
Discrete Mathematics, 1972 AbstractThe complement of the transitive closure of the complement of a transitive relation is transitive. We prove this fact in three ways, analyze the underlying structure and consider various refinement's and applications.
Donald E. Knuth +2 more
openaire +2 more sources
Dual digraphs of finite semidistributive lattices
Cubo, 2022 Dual digraphs of finite join-semidistributive lattices, meet-semidistributive lattices and semidistributive lattices are characterised. The vertices of the dual digraphs are maximal disjoint filter-ideal pairs of the lattice.
Andrew Craig +2 more
doaj +1 more source