Results 51 to 60 of about 133,463 (288)
A Relation between the Protocol Partition Number and the Quasi-Additive Bound [PDF]
, 2010 In this note, we show that the linear programming for computing the quasi-additive bound of the formula size of a Boolean function presented by Ueno [MFCS'10] is equivalent to the dual problem of the linear programming relaxation of an integer ...
Kamiyama, Naoyuki
core
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
Advanced Functional Materials, EarlyView.Edible electronics needs integrated logic circuits for computation and control. This work presents a potentially edible printed chitosan‐gated transistor with a design optimized for integration in circuits. Its implementation in integrated logic gates and circuits operating at low voltage (0.7 V) is demonstrated, as well as the compatibility with an ...
Giulia Coco +8 more
wiley +1 more source
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
Advanced Functional Materials, EarlyView.A chiral photodetector capable of selectively distinguishing left‐ and right‐handed circularly polarized light is experimentally demonstrated. The device, which features a nanopatterned electrode inverse‐designed by a genetic algorithm within a metal–dielectric–metal nanocavity that incorporates a vacuum‐deposited small‐molecule multilayer, exhibits ...
Kyung Ryoul Park +3 more
wiley +1 more source
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
Advanced Materials, EarlyView.The perspective presents an integrated view of neuromorphic technologies, from device physics to real‐time applicability, while highlighting the necessity of full‐stack co‐optimization. By outlining practical hardware‐level strategies to exploit device behavior and mitigate non‐idealities, it shows pathways for building efficient, scalable, and ...
Kapil Bhardwaj +8 more
wiley +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
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
Applying Formal Methods to Networking: Theory, Techniques and Applications [PDF]
, 2013 Despite its great importance, modern network infrastructure is remarkable for the lack of rigor in its engineering. The Internet which began as a research experiment was never designed to handle the users and applications it hosts today.
Hasan, Osman, Qadir, Junaid
core +1 more source