Search Results - (( Key works. boolean function complexity ) OR ( Key work. boolean function complexity ))

Boolean semiring key-exchange with BLAKE3 security (BKEX-B3) by Alvary Kefas Kwala, Alpna Mishra, Shri Kant

“… This work presents a new Boolean Semiring Key Exchange Protocol combined with BLAKE3 cryptographic hash function (BKEX-B3…”
Get full text

A Grover-Meets-Simon Approach to Match Vector Boolean Functions by Venere, Marco, Barenghi, Alessandro, Pelosi, Gerardo

“…The Boolean matching problem via NP-equivalence requires determining whether two Boolean functions are equivalent or not up to a permutation and negation of the input binary variables…”
Get full text

Algebraic immunity for cryptographically significant Boolean functions: analysis and construction by Carlet, C., Dalai, D.K., Gupta, K.C., Maitra, S.

“… It has been observed that a Boolean function f used as a cryptographic primitive, and interpreted as a multivariate polynomial over F/sub 2/, should not have low degree multiples obtained…”
Get full text

A direct product theorem for quantum communication complexity with applications to device-independent QKD by Jain, Rahul, Kundu, Srijita

“…). For a two-input boolean function, the best result for interactive quantum communication complexity known previously was due to Sherstov (2018…”
Get full text

Improved bounds on the AN-complexity of O(1)-linear functions by Goldreich, Oded

“…We consider arithmetic circuits with arbitrary gates for computing Boolean functions that are represented by low-degree polynomials over GF(2…”
Get full text

Characterization of Exact One-Query Quantum Algorithms for Partial Boolean Functions by Ye, Ze-Kun, Li, Lv-Zhou

“…? This problem has been addressed in the literature for total Boolean functions and symmetric partial Boolean functions, but is still open for general partial Boolean functions…”
Get full text

Efficient minimization of higher order submodular functions using monotonic Boolean functions by Ramalingam, Srikumar, Russell, Chris, Ladický, L’ubor, Torr, Philip H.S.

“…Submodular function minimization is a key problem in a wide variety of applications in machine learning, economics, game theory, computer vision, and many others…”
Get full text

Alternative approach to calculate the structure matrix of Boolean network with semi-tensor product by Zhang, Xiao Hua, Han, Hua Xiang, Sun, Zhi Jian, Zhang, Wei Dong

“… The key of the proposed new method is applying the superposition and expansion techniques to the initial matrix and the target matrix, which dramatically reduces computational complexity…”
Get full text

Conditional Dichotomy of Boolean Ordered Promise CSPs by Brakensiek, Joshua, Guruswami, Venkatesan, Sandeep, Sai

“…\aa stad, there has been a flurry of works on PCSPs [BBKO19,KO19,WZ20]. The key tool in studying PCSPs is the algebraic framework developed in the context of CSPs…”
Get full text

SMC: Satisfiability Modulo Convex Programming by Shoukry, Yasser, Nuzzo, Pierluigi, Sangiovanni-Vincentelli, Alberto L., Seshia, Sanjit A., Pappas, George J., Tabuada, Paulo

“… Boolean methods such as satisfiability (SAT) solving are successful in tackling large combinatorial search problems for the design and verification of hardware and software components…”
Get full text

An Extended Analysis of the Correlation Extraction Algorithm in the Context of Linear Cryptanalysis by Graebnitz, Christoph, Pickel, Valentin, Eble, Holger, Morgner, Frank, Hattenbach, Hannes, Margraf, Marian

“… Since these linear cryptanalytic techniques require exploitable linear approximations to relate the input and output of vectorial Boolean functions, e.g…”
Get full text

Complex adaptive systems: an introduction to computational models of social life. by Miller, John H, Miller, John H, Page, Scott E

“… Engagingly written, and balancing technical detail with intuitive explanations,Complex Adaptive Systemsfocuses on the key tools and ideas that have emerged in the field since the mid-1990s, as well…”
Get full text

New Techniques for Proving Fine-Grained Average-Case Hardness by Dalirrooyfard, Mina, Lincoln, Andrea, Williams, Virginia Vassilevska

“…The recent emergence of fine-grained cryptography strongly motivates developing an average-case analogue of Fine-Grained Complexity (FGC). Prior work…”
Get full text

A Boolean Network Approach to Estrogen Transcriptional Regulation by Hernández-Lemus, Enrique, Sandoval-Motta, Santiago, Espinal-Enríquez, Jesús, Anda-Jáuregui, Guillermo de

“… Estrogen is a sex hormone known for its roles in cell proliferation. Its expression has been involved in several physiological functions such as regulating the menstrual and reproduction cycles in women…”
Get full text

A simpler counterexample to a long-standing conjecture on the complexity of Bryantʼs apply algorithm by Bollig, Beate

“… functions by a Boolean operator, and equivalence checking. Based on his empirical evaluation he has conjectured that his apply algorithm for the synthesis works in linear time with respect to the input and output size…”
Get full text

A Boolean network model of the double-strand break repair pathway choice by Ayala-Zambrano, Cecilia, Yuste, Mariana, Frias, Sara, Garcia-de-Teresa, Benilde, Mendoza, Luis, Azpeitia, Eugenio, Rodríguez, Alfredo, Torres, Leda

“…•The Boolean network model (BNM) recapitulates HR pathway activity observed in response to DSBs…”
Get full text

On the measurement complexity of differentially private query answering by Wang, LiWei, Zhang, JiaPeng

“…Differentially private query answering is an important problem in machine learning and data anal- ysis. As an example, the users may want to know the empirical…”
Get full text

Variable elimination strategies and construction of nonlinear polynomial invariant attacks on T-310 by Courtois, Nicolas T., Georgiou, Marios

“… We work by progressive elimination of specific variables in polynomial spaces and we show that one can totally eliminate big chunks of the cipher circuit…”
Get full text

Conditional Dichotomy of Boolean Ordered Promise CSPs by Brakensiek, Joshua, Venkatesan Guruswami, Sai Sandeep

“…\aa stad, there has been a flurry of works on PCSPs [BBKO19,KO19,WZ20]. The key tool in studying PCSPs is the algebraic framework developed in the context of CSPs…”
Get full text

Characterizing the Impact of Communication on Cellular and Collective Behavior Using a Three-Dimensional Multiscale Cellular Model by Echlin, Moriah, Aguilar, Boris, Shmulevich, Ilya

“…Communication between cells enables the coordination that drives structural and functional complexity in biological systems…”
Get full text