Results 71 to 80 of about 133,438 (232)

New Dependencies of Hierarchies in Polynomial Optimization

, 2019
We compare four key hierarchies for solving Constrained Polynomial Optimization Problems (CPOP): Sum of Squares (SOS), Sum of Diagonally Dominant Polynomials (SDSOS), Sum of Nonnegative Circuits (SONC), and the Sherali Adams (SA) hierarchies.
Ahmadi A. A., Barak B., Barak B., Beame P., Cygan M., de Wolff T., Dressler M., Grigoriev D., Krivine J.-L., Kuang X., Laurent M., Marshall M., Mastrolilli M., O'Donnell R., Peni T., Potechin A., Raghavendra P., Schramm T.   +17 more
core   +1 more source

Deriving a Boolean dynamics to reveal macrophage activation with in vitro temporal cytokine expression profiles

BMC Bioinformatics, 2019
Background Macrophages show versatile functions in innate immunity, infectious diseases, and progression of cancers and cardiovascular diseases. These versatile functions of macrophages are conducted by different macrophage phenotypes classified as ...
Ricardo Ramirez, Allen Michael Herrera, Joshua Ramirez, Chunjiang Qian, David W. Melton, Paula K. Shireman, Yu-Fang Jin   +6 more
doaj   +1 more source

TREE STRUCTURE DATA CHANGE DETECTION METHOD

Information and Telecommunication Sciences, 2014
The new method, increasing efficiency and reliability of change detection in three structures in the Internet data under indetermination of data structure (DTD, XML-Schema) is proposed in this paper.
Yuriy Molchanov, Larysa Globa, Nikolay Alexeyev   +2 more
doaj   +1 more source

DNA logic programming: From concept to construction

View
DNA programming, which is based on the principle of base complementary pairing and Boolean operations, exhibits organizational structures and algorithms similar to those observed in machine language.
Yi Zhang, Ning Hu, Jiajie Xu, Zhen Wang
doaj   +1 more source

Supermodular Programming on Lattices [PDF]

Computer Science Journal of Moldova, 2003
Questions, concerning the optimization of supermodular functions on finite lattices are considered in the paper. The systematic summary of main authors' and other researchers' results known before, new authors' results are given.
Vladimir R. Khachaturov , Roman V. Khachaturov, Ruben V. Khachaturov   +2 more
doaj  

Identification of Boolean Network Models From Time Series Data Incorporating Prior Knowledge

Frontiers in Physiology, 2018
Motivation: Mathematical models take an important place in science and engineering. A model can help scientists to explain dynamic behavior of a system and to understand the functionality of system components.
Thomas Leifeld, Zhihua Zhang, Ping Zhang
doaj   +1 more source

Boole's probability bounding problem, linear programming aggregations, and nonnegative quadratic pseudo-Boolean functions [PDF]

, 2021
Endre Boros, Joonhee Lee
openalex   +1 more source

Propositional PSPACE Reasoning with Boolean Programs Versus Quantified Boolean Formulas [PDF]

, 2004
We present a new propositional proof system based on a somewhat recent characterization of polynomial space (PSPACE) called Boolean programs, due to Cook and Soltys. The Boolean programs are like generalized extension atoms, providing a parallel to extended Frege.
openaire   +1 more source

Joint Selection of Transmitters and Receivers in Distributed Multi-input Multi-output Radar Network for Multiple Targets Tracking

Leida xuebao, 2017
Only a subset of transmitters and receivers in a distributed Multi-Input Multi-Output (MIMO) radar network is allowed to actively track a target at a particular instance due to the limited time and energy resource of a MIMO radar network. It is therefore
Lu Yanxi, He Zishu, Cheng Ziyang, Liu Shuangli   +3 more
doaj   +1 more source

Efficient Enumeration of Fixed Points in Complex Boolean Networks Using Answer Set Programming [PDF]

, 2023
Van-Giang Trinh, Belaïd Benhamou, Sylvain Soliman   +2 more
openalex   +1 more source