Results 31 to 40 of about 14,682 (204)
Boolean Differential Operators
, 2012 We consider four combinatorial interpretations for the algebra of Boolean differential operators. We show that each interpretation yields an explicit matrix representation for Boolean differential operators.
Catumba, Jorge, Díaz, Rafael
openaire +3 more sources
Современные информационные технологии и 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
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
Formulation for the computation of Boolean operations
, 2001 Boolean or switching equations are powertul mathematical tools for digital logic. Several problems in digital circuit design, such as automatic test pattern generation, could be efficiently solved if fast procedures for solving Boolean equations were ...
Sánchez, JM, Imaña Pascual, José Luis
core +1 more source
The expressibility of functions on the Boolean domain, with applications to Counting CSPs [PDF]
, 2013 An important tool in the study of the complexity of Constraint Satisfaction Problems (CSPs) is the notion of a relational clone, which is the set of all relations expressible using primitive positive formulas over a particular set of base relations. Post'
Bulatov, AA +6 more
core +1 more source
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
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