Results 41 to 50 of about 133,438 (232)
Rewriting Models of Boolean Programs [PDF]
, 2006 We show that rewrite systems can be used to give semantics to imperative programs with boolean variables, a class of programs used in software model-checking as over- or underapproximations of real programs. We study the classes of rewrite systems induced by programs with different features like procedures, concurrency, or dynamic thread creation, and ...
Ahmed Bouajjani, Javier Esparza
openaire +1 more source
Optimization-Based Approaches to Control of Probabilistic Boolean Networks
Algorithms, 2017 Control of gene regulatory networks is one of the fundamental topics in systems biology. In the last decade, control theory of Boolean networks (BNs), which is well known as a model of gene regulatory networks, has been widely studied.
Koichi Kobayashi, Kunihiko Hiraishi
doaj +1 more source
Implementing Groundness Analysis with Definite Boolean Functions [PDF]
, 2000 The domain of definite Boolean functions, Def, can be used to express the groundness of, and trace grounding dependencies between, program variables in (constraint) logic programs. In this paper, previously unexploited computational properties of Def are
A. King +14 more
core +2 more sources
A benchmark generator for boolean quadratic programming [PDF]
2020 Chinese Automation Congress (CAC), 2020 For boolean quadratic programming (BQP), we will show that there is no duality gap between the primal and dual problems under some conditions by using the classical Lagrangian duality. A benchmark generator is given to create random BQP problems which can be solved in polynomial time.
Xiaojun Zhou, Tingwen Huang
openaire +2 more sources
The spherical constraint in Boolean quadratic programs [PDF]
Journal of Global Optimization, 2007 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
PLoS ONE, 2014 In this paper, we consider the Minimum Reaction Insertion (MRI) problem for finding the minimum number of additional reactions from a reference metabolic network to a host metabolic network so that a target compound becomes producible in the revised host
Wei Lu +3 more
doaj +1 more source
A novel Boolean network inference strategy to model early hematopoiesis aging
Computational and Structural Biotechnology Journal, 2023 Hematopoietic stem cell (HSC) aging is a multifactorial event leading to changes in HSC properties and functions, which are intrinsically coordinated and affect the early hematopoiesis.
Léonard Hérault +3 more
doaj +1 more source
A Framework for Fine-Grained Nonlinearity Optimization of Boolean and Vectorial Boolean Functions
IEEE Access, 2021 Boolean functions and vectorial Boolean functions (S-boxes) are widely used cryptographic primitives for achieving cryptanalytic resistance of modern block or stream ciphers.
Miroslav M. Dimitrov
doaj +1 more source
On stability and quasi-stability of a vector lexicographic quadratic boolean programming problem
Journal of Numerical Analysis and Approximation Theory, 2001 We consider a vector Boolean programming problem with the linear-quadratic partial criteria. Formulas of radiuses of two types of stability, necessary and sucient conditions of stability are found.
V.A. Emelichev, V. Nikulin
doaj +2 more sources
SuperBall: A New Approach for MILP Modelings of Boolean Functions
IACR Transactions on Symmetric Cryptology, 2022 Mixed Integer Linear Programming (MILP) solver has become one of the most powerful tools of searching for cryptographic characteristics. It has great significance to study the influencing factors of the efficiency of MILP models.
Ting Li, Yao Sun
doaj +1 more source