Results 11 to 20 of about 133,438 (232)

BooLSPLG: A Library with Parallel Algorithms for Boolean Functions and S-Boxes for GPU

open access: yesMathematics, 2023
In this paper, we present a library with sequential and parallel functions for computing some of the most important cryptographic characteristics of Boolean and vectorial Boolean functions. The library implements algorithms to calculate the nonlinearity,
Dushan Bikov   +2 more
doaj   +1 more source

Modification of the random search method

open access: yesТехнічна інженерія, 2020
The paper considers linear programming problems with Boolean variables. This is a part of mathematical programming focused on solving practical optimization problems, which could be solved and correctly described with a mathematical model of the problem ...
S.I. Yaremchuk, O.A. Shupikov
doaj   +1 more source

An ASP-based Approach for Attractor Enumeration in Synchronous and Asynchronous Boolean Networks [PDF]

open access: yesElectronic Proceedings in Theoretical Computer Science, 2019
Boolean networks are conventionally used to represent and simulate gene regulatory networks. In the analysis of the dynamic of a Boolean network, the attractors are the objects of a special attention.
Tarek Khaled, Belaïd Benhamou
doaj   +1 more source

Neutral Rewrite Mutation Operator for Genetic Programming applied to Boolean Domain Problems

open access: yesProceedings of the International Florida Artificial Intelligence Research Society Conference, 2021
The effect of semantically neutral tree rewrites is analyzed in the context of genetic programming applied to Boolean domain problems. Different setups of the proposed Neutral Rewrite Operator are studied from the perspective of improving performance.
Dmytro Vitel   +2 more
doaj   +1 more source

Deterministic Algorithms for Solving Boolean Polynomial Equations Based on Channel Coding Theory

open access: yesIEEE Access, 2020
Solving the satisfiability problems of Boolean polynomial equations is still an open challenge in the fields of mathematics and computer science.
Guangfu Wu   +5 more
doaj   +1 more source

Using the NEOS Server for Solving Two Classes of Optimization Problems

open access: yesКібернетика та комп'ютерні технології, 2022
NEOS server provides free access to the library of necessary software for solving optimization problems. The effective numerical methods developed can be used for a specific application or for solving a wide range of mathematical programming problems ...
Halyna Bila   +4 more
doaj   +1 more source

Discovering Non-Linear Boolean Functions by Evolving Walsh Transforms with Genetic Programming

open access: yesAlgorithms, 2023
Stream ciphers usually rely on highly secure Boolean functions to ensure safe communication within unsafe channels. However, discovering secure Boolean functions is a non-trivial optimization problem that has been addressed by many optimization ...
Luigi Rovito   +2 more
doaj   +1 more source

Hardware implementation of Boolean functions based on the automaton model

open access: yesInformatika, 2023
Objectives. Currently, electronic control devices are increasingly being introduced into various household and production products. Microcontrollers of a wide variety of configurations are widely used as such devices.
A. A. Butov
doaj   +1 more source

On complexity of optimized crossover for binary representations [PDF]

open access: yes, 2006
We consider the computational complexity of producing the best possible offspring in a crossover, given two solutions of the parents. The crossover operators are studied on the class of Boolean linear programming problems, where the Boolean vector of ...
Eremeev, Anton
core   +3 more sources

Terse Integer Linear Programs for Boolean Optimization [PDF]

open access: yesJournal on Satisfiability, Boolean Modeling and Computation, 2009
We present a new polyhedral approach to nonlinear Boolean optimization. Compared to other methods, it produces much smaller integer programming models, making it more efficient from a practical point of view. We mainly obtain this by two different ideas: first, we do not require the objective function to be in any normal form. The transformation into a
Buchheim C, Rinaldi G
openaire   +4 more sources

Home - About - Disclaimer - Privacy