Relationship between correlation immune and weight of H Boolean functions
The Boolean function derivative and e-derivative which together with the derivative so that the weight of Boolean functions can be directly clear characterized and defined as the tools for research and deep into the internal structure of Boolean function
Jing-lian HUANG, Zhuo WANG
doaj +2 more sources
Partial Boolean Functions With Exact Quantum Query Complexity One
We provide two sufficient and necessary conditions to characterize any n-bit partial Boolean function with exact quantum query complexity 1. Using the first characterization, we present all n-bit partial Boolean functions that depend on n bits and can be
Guoliang Xu, Daowen Qiu
doaj +1 more source
On connected Boolean functions
Various classes of Boolean functions are introduced: connected, strongly connected, geodetic, convex, strongly convex and concordant. They are characterized by some properties of the subgraph of the Boolean hypercube induced by the (false) true points of a function.
Ekin, O., Hammer, P. L., Kogan, A.
openaire +3 more sources
The Zhegalkin Polynomial of Multiseat Sole Sufficient Operator
Among functionally complete sets of Boolean functions, sole sufficient operators are of particular interest. They have a wide range of applicability and are not limited to the two-seat case.
Leonid Y. Bystrov, Egor V. Kuzmin
doaj +1 more source
On the q-bentness of Boolean functions [PDF]
For each non-constant $q$ in the set of $n$-variable Boolean functions, the {\em $q$-transform} of a Boolean function $f$ is related to the Hamming distances from $f$ to the functions obtainable from $q$ by nonsingular linear change of basis. Klapper conjectured that no Boolean function exists with its $q$-transform coefficients equal to $\pm 2^{n/2}$ (
Zhixiong Chen 0002 +2 more
openaire +4 more sources
Widening ROBDDs with Prime Implicants: 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings [PDF]
Despite the ubiquity of ROBDDs in program analysis, and extensive literature on ROBDD minimisation, there is a dearth of work on approximating ROBDDs.
Kettle, Neil +5 more
core +1 more source
A Method for Determining the Affine Equivalence of Boolean Functions
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
First edition originally published April 2014, in hardcover book format by Cambridge University Press, and electronically on the author's website.
openaire +3 more sources
Symmetry‐Guided Multifunctional Acoustic System Based on Mechanically Actuated Sonic Crystals
This study presents the design, simulation, and experimental validation of amultifunctional acoustic metamaterial based on rotationally engineered sonic crystals.By tuning cylinder orientations, controllable band gaps and six distinct functionalities—including switching, topological insulation, beam splitting, and logic operations—areachieved ...
Yuanyan Zhao +2 more
wiley +1 more source
A Characterization of Generalized Boolean Functions Employed in CDMA Communications [PDF]
In design of secure cryptosystems and CDMA communications, the negabent functions play a significant role. The generalized Boolean functions have been extensively studied by Schmidt and established several important results in this setup.
Deep Singh +3 more
doaj +1 more source

