Results 21 to 30 of about 11,224 (163)
Современные информационные технологии и IT-образование, 2019 We consider vector mappings over the set of 0 and 1 given by the set of Boolean functions. Boolean functions included in the map are given in ANF. Having fixed the rule according to which the binary vectors are associated with the elements of a finite ...
Sergey A. Belov
doaj +1 more source
Index sets and Boolean operations [PDF]
Proceedings of the American Mathematical Society, 1982 Hay’s thesis asserts that every naturally defined class of sets of natural numbers contains an index set which is 1 1 -complete for that class and that every index set is 1 1 -complete for some naturally defined class. We formalize "naturally defined" as "effective Boolean" and establish the thesis as a Metatheorem.
openaire +1 more source
Correlated Boolean Operators for Uncertainty Logic
, 2022 We present a correlated \textit{and} gate which may be used to propagate uncertainty and dependence through Boolean functions, since any Boolean function may be expressed as a combination of \textit{and} and \textit{not} operations. We argue that the \textit{and} gate is a bivariate copula family, which has the interpretation of constructing bivariate ...
Enrique Miralles-Dolz +3 more
openaire +4 more sources
PolygonTailor: A Parallel Algorithm for Polygon Boolean Operations in IC Layout Processing
AlgorithmsPolygon Boolean operations are widely used in integrated circuit (IC) layout processing tasks such as design rule checking (DRC) and optical proximity correction (OPC).
Zhirui Niu +5 more
doaj +1 more source
Hierarchies of resources for measurement-based quantum computation
New Journal of Physics, 2023 For certain restricted computational tasks, quantum mechanics provides a provable advantage over any possible classical implementation. Several of these results have been proven using the framework of measurement-based quantum computation (MBQC), where ...
Markus Frembs +3 more
doaj +1 more source
A Method for Determining the Affine Equivalence of Boolean Functions
IEEE Access, 2019 Determining the affine equivalence of Boolean functions has significant applications in circuit and cryptography. Previous methods for determining this require a large amount of computation when Boolean functions are bent functions or when the truth ...
Ziyu Wang +3 more
doaj +1 more source
Brownian reservoir computing realized using geometrically confined skyrmion dynamics
Nature Communications, 2022 Magnetic skyrmions, due to their strongly nonlinearity and multiscale dynamics, are promising for implementing reservoir computing. Here, the authors experimentally demonstrate skyrmion-based spatially multiplexed reservoir computing able to perform ...
Klaus Raab +7 more
doaj +1 more source
Nondeterminism and boolean operations in pda's
Journal of Computer and System Sciences, 1978 AbstractThere are nondeterministic context-free languages that cannot be expressed as a Boolean formula over deterministic context-free languages. The closure of the context-free languages under intersection does not yield closure under complementation.
openaire +1 more source
A topological characterization of an almost Boolean algebra
Extracta MathematicaeFor any Boolean space X and a discrete almost distributive lattice D, it is proved that the set C(X, D) of all continuous mappings of X into D, when D is equipped with the discrete topology, is an almost Boolean algebra under pointwise operations ...
K. Ramanuja Rao +3 more
doaj +1 more source
An Oracle-Based Framework for Implementing a Quantum Parallel Decoder/Multiplexer
IEEE Access, 2023 Quantum computers excel at solving complex computational problems more efficiently than conventional supercomputers. However, a significant challenge in quantum computing is implementing key operations of conventional computers, such as arithmetic ...
Stavros Souravlas +2 more
doaj +1 more source