Results 21 to 30 of about 1,074,720 (325)
Predicative theories of continuous lattices [PDF]
Logical Methods in Computer Science, 2021 We introduce a notion of strong proximity join-semilattice, a predicative notion of continuous lattice which arises as the Karoubi envelop of the category of algebraic lattices. Strong proximity join-semilattices can be characterised by the coalgebras of
Tatsuji Kawai
doaj +1 more source
Reflectional topology in MV-algebras [PDF]
Categories and General Algebraic Structures with Applications, 2022 In this paper, we define soaker ideals in an MV-algebra, and study the relationships between soaker ideals and the other ideals in an involutive MV -algebras.
Fereshteh Forouzesh, Naser Hosseini
doaj +1 more source
Wake up and join me! An energy-efficient algorithm for maximal matching in radio networks [PDF]
Distributed computing, 2021 We consider networks of small, autonomous devices that communicate with each other wirelessly. Minimizing energy usage is an important consideration in designing algorithms for such networks, as battery life is a crucial and limited resource.
Varsha Dani +3 more
semanticscholar +1 more source
Universal extensions of specialization semilattices [PDF]
Categories and General Algebraic Structures with Applications, 2022 A specialization semilattice is a join semilattice together with a coarser preorder ⊑ satisfying an appropriate compatibility condition. If X is a topological space, then (P(X),∪,⊑) is a specialization semilattice, where x ⊑ y if x ⊆ Ky, for x, y ⊆ X ...
Paolo Lipparini
doaj +1 more source
Fuzzy Ideals and Fuzzy Filters on Topologies Generated by Fuzzy Relations
International Journal of Analysis and Applications, 2022 Recently, Mishra and Srivastava have introduced and studied the notion of fuzzy topology generated by fuzzy relation and several properties were proved.
Kheir Saadaoui +2 more
doaj +1 more source
Computers, 2023 Due to increasing digitization, the amount of data in the Internet of Things (IoT) is constantly increasing. In order to be able to process queries efficiently, strategies must, therefore, be found to reduce the transmitted data as much as possible ...
Benjamin Warnke +2 more
doaj +1 more source
New Types of Neutrosophic Crisp Closed Sets [PDF]
Neutrosophic Sets and Systems, 2020 The neutrosophic sets were known since 1999, and because of their wide applications and their great flexibility to solve the problems, we used these the concepts to define a new types of neutrosophic crisp closed sets and limit points in neutrosophic ...
Ahmed B. Al-Nafee +2 more
doaj +1 more source
Joins of topologies homeomorphic to the rationals [PDF]
Journal of the Australian Mathematical Society. Series A. Pure Mathematics and Statistics, 1989 AbstractLet Q be the space of all rational numbers and (X, τ) be a topological space where X is countably infinite. Here we prove that (1) τ is the join of two topologies on X both homeomorphic to Q if and only if τ is non-compact and metrizable, and (2) τ is the join of topologies on X each homeomorphic to Q if and only if τ is Tychonoff and ...
A. J. Jayanthan, V. Kannan
openaire +1 more source
Formal Algebraic Model of an Edge Data Center with a Redundant Ring Topology
Network, 2023 Data center organization and optimization presents the opportunity to try and design systems with specific characteristics. In this sense, the combination of artificial intelligence methodology and sustainability may lead to achieve optimal topologies ...
Pedro Juan Roig +4 more
doaj +1 more source
Categorical Join and Generating Families in Diffeological Spaces
, 2023 We prove that a diffeological space is diffeomorphic to the categorical join of any generating family of ...
E. Macías, R. Mehrabi
core +1 more source