Results 1 to 10 of about 40,553 (242)
Nonlinearity of incomplete Boolean functions: prioritizing spectra calculation [PDF]
Archives of Control Sciences, 2022 In this paper, a class of linear Boolean functions is analyzed. The Boolean function can be represented as disjoint cubes or in the form of a truth vector.
Piotr Porwik
doaj +1 more source
On Bounding the Behavior of a Neuron
Proceedings of the International Florida Artificial Intelligence Research Society Conference, 2023 A neuron with binary inputs and a binary output represents a Boolean function. Our goal is to extract this Boolean function into a tractable representation that will facilitate the explanation and formal verification of a neuron's behavior. Unfortunately,
Richard Borowski, Arthur Choi
doaj +1 more source
The Stochastic Boolean Function Evaluation problem for symmetric Boolean functions [PDF]
Discrete Applied Mathematics, 2022 Preliminary versions of these results appeared on Arxiv in arXiv:1806.10660. That paper contains results for both arbitrary costs and unit costs. This paper considers only arbitrary costs.
Dimitrios Gkenosis +3 more
openaire +4 more sources
Testing Boolean Functions Properties [PDF]
Fundamenta Informaticae, 2021 The goal in the area of functions property testing is to determine whether a given black-box Boolean function has a particular given property or is ɛ-far from having that property. We investigate here several types of properties testing for Boolean functions (identity, correlations and balancedness) using the Deutsch-Jozsa algorithm (for the Deutsch ...
Zhengwei, Xie +4 more
openaire +3 more sources
Findings Annihilator(s) via Fault Injection Attack (FIA) on Boolean Function of Grain v0 [PDF]
ITM Web of Conferences, 2019 In developing stream cipher algorithms, Boolean function is one of vital elements. Attacks on LFSR-based stream cipher is the challenge for the cryptanalyst to get low-degree annihilator(s).
Ariffin Muhammad Rezal Kamel +4 more
doaj +1 more source
Lietuvos Matematikos Rinkinys, 2005 This paper provides analysis on Dirichlet series with an coefficients obtained from MAJm (x1,..., xm) function known in theoretical computer science.
Algirdas Javtokas
doaj +3 more sources
Quantum algorithms for testing Boolean functions [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 We discuss quantum algorithms, based on the Bernstein-Vazirani algorithm, for finding which variables a Boolean function depends on. There are 2^n possible linear Boolean functions of n variables; given a linear Boolean function, the Bernstein-Vazirani ...
Erika Andersson +2 more
doaj +1 more source
A heuristic method for bi-decomposition of partial Boolean functions
Informatika, 2020 The problem of decomposition of a Boolean function is to represent a given Boolean function in the form of a superposition of some Boolean functions whose number of arguments are less than the number of given function.
Yu. V. Pottosin
doaj +1 more source
Switch lists in the landscape of knowledge representation languages
Proceedings of the International Florida Artificial Intelligence Research Society Conference, 2022 A switch-list representation (SLR) of a Boolean function is a compressed truth table representation of a Boolean function in which only the function value of the first row in the truth table and an ordered list of switches are stored.
Ondrej Cepek
doaj +1 more source
Atomic Formulation of the Boolean Curve Fitting Problem [PDF]
International Journal of Mathematical, Engineering and Management Sciences, 2022 Boolean curve fitting is the process of finding a Boolean function that takes given values at certain points in its Boolean domain. The problem boils down to solving a set of ‘big’ Boolean equations that may or may not be consistent.
Ahmed S. Balamesh, Ali M. Rushdi
doaj +1 more source