Results 101 to 110 of about 133,438 (232)

The Past and Future of High Technology

Studia Humana
This interview was given in 2008 by Arkady Zakrevsky (1928–2014), Corresponding Member of the National Academy of Sciences of Belarus (1972), Doctor of Technical Sciences (1967), and Professor (1969).
doaj   +1 more source

The Bipartite Boolean Quadratic Programming Problem

, 2014
We consider the Bipartite Boolean Quadratic Programming Problem (BQP01), which generalizes the well-known Boolean Quadratic Programming Problem (QP01). The model has applications in graph theory, matrix factorization and bioinformatics, among others. BQP01 is NP-hard.
openaire   +2 more sources

Experimental Repository for "Learn to Relax: Integrating 0-1 Integer Linear Programming with Pseudo-Boolean Conflict-Driven Search"

, 2020
Jo Devriendt, Ambros Gleixner, Jakob Nordstr”öm   +2 more
openalex   +2 more sources

Using Background Knowledge and Random Sampling in Genetic Programming: A Case Study in Learning Boolean Parity Functions [PDF]

, 2023
Lappoon R. Tang
openalex   +1 more source

Models, systems, networks in economics, engineering, nature and society

Модели, системы, сети в экономике, технике, природе и обществе
Background. The construction of regression models of various complex objects in accordance with the objectives of the study is sometimes accompanied by the need to split the original data sample into subsamples (groups of observations) or the use of ...
S.I. Noskov, E.S. Popov
doaj   +1 more source

SMT Formulas for Boolean Programs from SLAM

, 2020
Dirk Beyer
openalex   +1 more source

Near-optimal Linear Predictive Clustering in Non-separable Spaces via Mixed Integer Programming and Quadratic Pseudo-Boolean Reductions [PDF]

Jiazhou Liang, Hassan Khurram, Scott Sanner   +2 more
openalex   +1 more source

Dynamic Programming for Symbolic Boolean Realizability and Synthesis

AbstractInspired by recent progress in dynamic programming approaches for weighted model counting, we investigate a dynamic-programming approach in the context of boolean realizability and synthesis, which takes a conjunctive-normal-form boolean formula over input and output variables, and aims at synthesizing witness functions for the output variables
Yi Lin, Lucas Martinelli Tabajara, Moshe Y. Vardi   +2 more
openaire   +2 more sources

Cyber informatics and Contrasting Extreme Programming with Boolean Logic

, 2016
Erick Fernando, Derist Touriano
openalex   +1 more source

FPGA-Based Implementation of Genetically Tuned Fuzzy Logic Controller (GA-FLC)

Journal of Engineering and Sustainable Development, 2012
Fuzzy Logic controller (FLC) contains three operations; the fuzzification of the inputs, the knowledge base (data base and rule base), and the defuzzification of the output. In this paper our fuzzy controller contains two inputs and one output each have
Emad A. Hussein, Ammar G. Samir
doaj