Results 121 to 130 of about 343 (169)
A secured accreditation and equivalency certification using Merkle mountain range and transformer based deep learning model for the education ecosystem. [PDF]
Sci RepKrishnan S, Rajendran S, Zakariah M.
europepmc +1 more source
In-line rate encrypted links using pre-shared post-quantum keys and DPUs. [PDF]
Sci RepCano Aguilera A +5 more
europepmc +1 more source
Chip-integrated quantum signature network over 200 km. [PDF]
Light Sci ApplDu Y +9 more
europepmc +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Mathematical Logic Quarterly, 1999
AbstractThe concept of Galois connection between power sets is generalized from the point of view of fuzzy logic. Studied is the case where the structure of truth values forms a complete residuated lattice. It is proved that fuzzy Galois connections are in one‐to‐one correspondence with binary fuzzy relations.
Radim Belohlavek
exaly +2 more sources
AbstractThe concept of Galois connection between power sets is generalized from the point of view of fuzzy logic. Studied is the case where the structure of truth values forms a complete residuated lattice. It is proved that fuzzy Galois connections are in one‐to‐one correspondence with binary fuzzy relations.
Radim Belohlavek
exaly +2 more sources
Logica Universalis, 2007
The connection presented in this paper mirror-links two metamathematical structures, the finitary closure operators, and the compact consistency properties, in such a way that a specification of one structure induces a provably equivalent specification of the other.
exaly +2 more sources
The connection presented in this paper mirror-links two metamathematical structures, the finitary closure operators, and the compact consistency properties, in such a way that a specification of one structure induces a provably equivalent specification of the other.
exaly +2 more sources
A Primer on Galois Connections
Annals of the New York Academy of Sciences, 1993ABSTRACT. The rudiments of the theory of Galois connections (or residuation theory, as it is sometimes called) are provided, together with many examples and applications. Galois connections occur in profusion and are well known to most mathematicians who deal with order theory; they seem to be less known to topologists.
M. ERNÉ +3 more
exaly +2 more sources
Galois Connection for Hyperclones
2010 40th IEEE International Symposium on Multiple-Valued Logic, 2010This paper is inspired by the paper of Tarasov in which he investigates maximal partial clones on a two-element set. It happens that the approach of Tarasov can be translated into the language of hyperclone theory. He introduced a notion of quasicomposition which assigns to extended hyperoperations extension of their composition.
Hajime Machida +2 more
openaire +1 more source
Duality for Quasilattices and Galois Connections
Fundamenta Informaticae, 2017The primary goal of the paper is to establish a duality for quasilattices. The main ingredients are duality for semilattices and their representations, the structural analysis of quasilattices as Płonka sums of lattices, and the duality for lattices developed by Hartonas and Dunn.
Anna B. Romanowska, Jonathan D. H. Smith
openaire +2 more sources