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]

open access: yes, 2007
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

open access: yes, 2022
<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

OntOMat: Toward Ontology‐Based Product and Process Design Engineering and Optimization Solutions Fueling Circular Value Chains

open access: yesAdvanced Engineering Materials, EarlyView.
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

open access: yesJournal of Mathematical Cryptology, 2016
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]

open access: yes, 2014
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]

open access: yesJournal of Applied Mathematics and Computing, 2016
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]

open access: yes, 2006
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

Leveraging Symbolic Artificial Intelligence and Fuzzy Logic for Materials Science: A Review of Methods, Challenges, and Applications to Scarce and Imperfect Experimental Data

open access: yesAdvanced Engineering Materials, EarlyView.
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

open access: yesIEEE 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

An Isomorphism between Abstract Polyhedral Cones and Definite Boolean Functions [PDF]

open access: yes, 1999
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  

Home - About - Disclaimer - Privacy