Results 21 to 30 of about 52,731 (268)
Topological Properties of Generalized Rough Approximation Operators Based on Objects [PDF]
Jisuanji kexue, 2023 Rough set theory is a mathematical tool to deal with uncertain problems.The core notion of rough set theory is appro-ximation operators.Pawlak approximation operators based on equivalence relations cab be extended to generalized rough approximation ...
LI Yanyan, QIN Keyun
doaj +1 more source
L-Recursion and a new Logic for Logarithmic Space [PDF]
, 2011 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.
, , Grohe, Martin, Laubner, Bastian
core +1 more source
On Generalized Transitive Matrices
Journal of Applied Mathematics, 2011 Transitivity of generalized fuzzy matrices over a special type of semiring is considered. The semiring is called incline algebra which generalizes Boolean algebra, fuzzy algebra, and distributive lattice.
Jing Jiang, Lan Shu, Xinan Tian
doaj +1 more source
Merotopies associated with quasi-uniformities
Applied General Topology, 2000 To an arbitrary quasi-uniformity on the set X, a merotopy on X is assigned. There are results concerning the question whether this merotopy is compatible with the topology induced by the quasi-uniformity end whether the closure operation induced by the ...
Ákos Császár
doaj +1 more source
Algebraic optimization of recursive queries [PDF]
, 1992 Over the past few years, much attention has been paid to deductive databases. They offer a logic-based interface, and allow formulation of complex recursive queries.
Apers, Peter M.G. +2 more
core +5 more sources
On Invoking Transitivity to Enhance the
IEEE Access, 2018 From the earliest studies in graph theory, the phenomenon of transitivity has been used to design and analyze problems that can be mapped onto graphs. Some of the practical examples of this phenomenon are the “Transitive Closure”algorithm ...
Abdolreza Shirvani, B. John Oommen
doaj +1 more source
The tiered Aubry set for autonomous Lagrangian functions [PDF]
, 2008 If L is a Tonelli Lagrangian defined on the tangent bundle of a compact and connected manifold whose dimension is at least 2, we associate to L the tiered Aubry set and the tiered Mane set (defined in the article).
Arnaud, Marie-Claude
core +3 more sources
Spatiality of Derivations of Operator Algebras in Banach Spaces
Abstract and Applied Analysis, 2011 Suppose that A is a transitive subalgebra of B(X) and its norm closure A¯ contains a nonzero minimal left ideal I. It is shown that if δ is a bounded reflexive transitive derivation from A into B(X), then δ is spatial and implemented uniquely; that is ...
Quanyuan Chen, Xiaochun Fang
doaj +1 more source
Tiling arbitrarily nested loops by means of the transitive
International Journal of Applied Mathematics and Computer Science, 2016 A novel approach to generation of tiled code for arbitrarily nested loops is presented. It is derived via a combination of the polyhedral and iteration space slicing frameworks. Instead of program transformations represented by a set of affine functions,
Bielecki Włodzimierz, Pałkowski Marek
doaj +1 more source
Lattice structure of Grassmann-Tamari orders [PDF]
Discrete Mathematics & Theoretical Computer Science, 2015 The Tamari order is a central object in algebraic combinatorics and many other areas. Defined as the transitive closure of an associativity law, the Tamari order possesses a surprisingly rich structure: it is a congruence-uniform lattice.
Thomas McConville
doaj +1 more source