Results 21 to 30 of about 559,747 (351)
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 and transitive reduction in bidirected graphs [PDF]
Czechoslovak Mathematical Journal, 2019 In a bidirected graph an edge has a direction at each end, so bidirected graphs generalize directed graphs. We generalize the definitions of transitive closure and transitive reduction from directed graphs to bidirected graphs by introducing new notions of bipath and bicircuit that generalize directed paths and cycles.
Bessouf, Ouahiba +2 more
openaire +2 more sources
Complex transitive closure queries on a fragmented graph [PDF]
, 1990 In this paper we study the reformulation of transitive closure queries on a fragmented graph. We split a query into several subqueries, each requiring only a fragment of the graph.
M.A.W. Houtsma +2 more
openalex +5 more sources
Parallel transitive closure algorithm [PDF]
Journal of the Brazilian Computer Society, 2012 Abstract Using the BSP/CGM model, with $$p$$ processors, where $$p \ll n$$ , we present a parallel algorithm to compute the transitive closure of a digraph $$D$$ with $$n$$ vertices and $$m$$ edges.
C. E. R. Alves +4 more
openaire +1 more source
Transitive closure and recursive Datalog implemented on clusters
International Conference on Extending Database Technology, 2012 Foto Afrati, Jeffrey D. Ullman
openalex +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
A survey of parallel execution strategies for transitive closure and logic programs [PDF]
, 1993 An important feature of database technology of the nineties is the use of parallelism for speeding up the execution of complex queries. This technology is being tested in several experimental database architectures and a few commercial systems for ...
Cacace, F., Ceri, S., Houtsma, M.A.W.
core +4 more sources
On the Cost of Transitive Closures in Relational Databases [PDF]
, 1993 We consider the question of taking transitive closures on top of pure relational systems (Sybase and Ingres in this case). We developed three kinds of transitive closure programs, one using a stored procedure to simulate a built-in transitive closure ...
Li, Zhe, Ross, Kenneth A.
core +2 more sources
Service oriented transitive closure solution [PDF]
, 2008 The goal of this project is a service based solution that utilizes parallel and distributed processing algorithms to solve the transitive closure problem for a large dataset.
Jonathan Baran
openalex +3 more sources