Results 41 to 50 of about 2,786,322 (296)
Generalized rotation symmetric and dihedral symmetric boolean functions - 9 variable boolean functions with nonlinearity 242 [PDF]
Recently, 9-variable Boolean functions having nonlinearity 241, which is strictly greater than the bent concatenation bound of 240, have been discovered in the class of Rotation Symmetric Boolean Functions (RSBFs) by Kavut, Maitra and Yucel.
Yucel, Melek Diker +3 more
core
nodef/extra-boolean: A collection of common boolean functions
<p>A collection of common boolean functions.<br> <a href="https://www.npmjs.com/package/extra-boolean">Node.js</a>, <a href="https://www.npmjs.com/package/extra-boolean.web">Web</a>, <a href="https://unpkg.com ...
Subhajit Sahu, George Pickering
core +1 more source
The OntOMat ontology establishes a structured framework for polymer matrix fiber reinforced composite materials, integrating manufacturing processes, characterization methods, and multiscale design through the VDI/VDE 3682 formalized process description standard.
Nicolas Christ +19 more
wiley +1 more source
Cryptographic properties of monotone Boolean functions
We prove various results on monotone Boolean functions. In particular, we prove a conjecture proposed recently, stating that there are no monotone bent Boolean functions.
Carlet Claude +3 more
doaj +1 more source
Analysis of Boolean Functions [PDF]
Boolean functions are perhaps the most basic objects of study in theoretical computer science. They also arise in other areas of mathematics, including combinatorics, statistical physics, and mathematical social choice. The field of analysis of Boolean functions seeks to understand them via their Fourier transform and other analytic methods.
openaire +2 more sources
Dirichlet product for boolean functions [PDF]
Boolean functions play an important role in many symmetric cryp-tosystems and are crucial for their security. It is important to design boolean functions with reliable cryptographic properties such as balanced-ness and nonlinearity. Most of these properties are based on specific structures such as Möbius transform and Algebraic Normal Form.
Nitaj, Abderrahmane +2 more
openaire +5 more sources
An Anytime Symmetry Detection Algorithm for ROBDDs [PDF]
Detecting symmetries is crucial to logic synthesis, technology mapping, detecting function equivalence under unknown input correspondence, and ROBDD minimization. State-of-the-art is represented by Mishchenko's algorithm.
Kettle, Neil +3 more
core +1 more source
This article explores the transformative potential of symbolic artificial intelligence (AI) in the field of materials science, particularly in leveraging experimental data. The article presents several symbolic AI models and discusses their applications in materials science.
Ahmed Amrani +7 more
wiley +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
An Isomorphism between Abstract Polyhedral Cones and Definite Boolean Functions [PDF]
Polyhedral cones can be represented by sets of linear inequalities that express inter-variable relationships. These inequalities express inter-variable relationships that are quantified by the ratios between the variable coefficients.
Benoy, Florence, King, Andy
core

