The women made it work: fuzzy transitive closure of the results chain in a dengue prevention trial in Mexico [PDF]
BMC Public Health, 2017 Background A modified theory of planned behaviour (acronym CASCADA) proposes that Conscious knowledge precedes a change in Attitude, which in turn precedes positive deviations from negative Subjective norms, intention to Change, perception of Agency to ...
Neil Andersson +4 more
doaj +2 more sources
Parallel Transitive Closure Algorithm for Heterogeneous Architecture [PDF]
Jisuanji gongcheng, 2021 The traditional method for obtaining the transitive closure of the graphs faces the large amount of calculation and long calculation time. In order to improve the computing speed of the transitive closure algorithm for dealing with large amounts of data,
XIAO Han, GUO Baoyun, LI Cailin, ZHOU Qinglei
doaj +1 more source
Automata with Nested Pebbles Capture First-Order Logic with Transitive Closure [PDF]
Logical Methods in Computer Science, 2007 String languages recognizable in (deterministic) log-space are characterized either by two-way (deterministic) multi-head automata, or following Immerman, by first-order logic with (deterministic) transitive closure.
Joost Engelfriet, Hendrik Jan Hoogeboom
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
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
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
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