Search Results - (( key words. boolean function complexity ) OR ( Key york. boolean function complexity ))

Refine Results
  1. 1

    Privacy-Preserving Boolean Range Query With Temporal Access Control in Mobile Computing by Tong, Qiuyun, Li, Xinghua, Miao, Yinbin, Liu, Ximeng, Weng, Jian, Deng, Robert H.

    ISSN: 1041-4347, 1558-2191
    Published: New York IEEE 01.05.2023
    “…), massive spatio-textual data has been outsourced to cloud servers for storage and analysis such as spatial keyword search…”
    Get full text
    Journal Article
  2. 2

    Minimum complexity drives regulatory logic in Boolean models of living systems by Subbaroyan, Ajay, Martin, Olivier C, Samal, Areejit

    ISSN: 2752-6542, 2752-6542
    Published: England Oxford University Press 01.03.2022
    Published in PNAS nexus (01.03.2022)
    “… However, the Boolean functions (BFs) specifying the associated logical update rules should not be expected to be random…”
    Get full text
    Journal Article
  3. 3

    An improved test of Boolean functions for k-dimensionality by Alekseychuk, A. N., Konyushok, S. N.

    ISSN: 1060-0396, 1573-8337
    Published: Boston Springer US 01.03.2013
    Published in Cybernetics and systems analysis (01.03.2013)
    “…A probabilistic test of Boolean functions for k -dimensionality is constructed. The test has a less time complexity and a smaller first kind error probability…”
    Get full text
    Journal Article
  4. 4

    An Algorithm for Constructing Reduced DNFs of Order-Convex Boolean Functions by Timoshkin, A. I.

    ISSN: 1060-0396, 1573-8337
    Published: New York Springer US 01.01.2019
    Published in Cybernetics and systems analysis (01.01.2019)
    “…This paper considers the problem of constructing reduced disjunctive normal forms of order-convex Boolean functions…”
    Get full text
    Journal Article
  5. 5

    Critical Properties and Complexity Measures of Read-Once Boolean Functions by Lozin, Vadim, Moshkov, Mikhail

    ISSN: 1012-2443, 1573-7470
    Published: Cham Springer International Publishing 01.06.2021
    “…In this paper, we define a quasi-order on the set of read-once Boolean functions and show that this is a well-quasi-order…”
    Get full text
    Journal Article
  6. 6

    Incremental polynomial time dualization of quadratic functions and a subclass of degree-k functions by Karasan, O. Ekin

    ISSN: 0254-5330, 1572-9338
    Published: Boston Springer US 01.08.2011
    Published in Annals of operations research (01.08.2011)
    “…We consider the problem of dualizing a Boolean function f represented by a DNF. In its most general form, this problem is commonly believed not to be solvable by a quasi-polynomial total time algorithm…”
    Get full text
    Journal Article
  7. 7

    Improved Bounds for Wireless Localization by Christ, Tobias, Hoffmann, Michael, Okamoto, Yoshio, Uno, Takeaki

    ISSN: 0178-4617, 1432-0541
    Published: New York Springer-Verlag 01.07.2010
    Published in Algorithmica (01.07.2010)
    “… In other words, the interior of the polygon must be described by a monotone Boolean formula composed from the keys…”
    Get full text
    Journal Article Conference Proceeding
  8. 8

    Perfect Tabular Hashing in Pseudolinear Time by Palit, Shekhar, Wortman, Kevin A.

    Published: IEEE 27.01.2021
    “… Given n keys of word size W, we show how to compute a perfect hash function in O(nW) worst-case time. This is competitive with other perfect hashing methods, and the resultant hash functions are simple and performant…”
    Get full text
    Conference Proceeding
  9. 9

    Progressive decomposition: a heuristic to structure arithmetic circuits by Verma, Ajay K., Brisk, Philip, Ienne, Paolo

    ISBN: 1595936270, 9781595936271
    ISSN: 0738-100X
    Published: New York, NY, USA ACM 04.06.2007
    “… In other words, logic synthesis optimisations hardly change the architecture of the given circuit…”
    Get full text
    Conference Proceeding
  10. 10

    EKV-VBQ: Ensuring Verifiable Boolean Queries in Encrypted Key-Value Stores by Li, Yuxi, Chen, Jingjing, Zhou, Fucai, Ji, Dong

    ISSN: 1424-8220, 1424-8220
    Published: Switzerland MDPI AG 22.10.2024
    Published in Sensors (Basel, Switzerland) (22.10.2024)
    “… queries over encrypted key-value data. We have integrated blockchain and homomorphic Xor operations and pseudo-random functions to create a secure and verifiable datastore, while enabling efficient encrypted Boolean queries…”
    Get full text
    Journal Article
  11. 11

    Fast Algebraic Attacks and Decomposition of Symmetric Boolean Functions by Liu, Meicheng, Lin, Dongdai, Pei, Dingyi

    ISSN: 0018-9448, 1557-9654
    Published: New York, NY IEEE 01.07.2011
    Published in IEEE transactions on information theory (01.07.2011)
    “…In this correspondence, first we give a decomposition of symmetric Boolean functions, then we show that almost all symmetric Boolean functions, including these functions with good algebraic immunity…”
    Get full text
    Journal Article
  12. 12

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

    ISSN: 1000-9000, 1860-4749
    Published: Singapore Springer Nature Singapore 01.12.2023
    Published in Journal of computer science and technology (01.12.2023)
    “…? 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
    Journal Article
  13. 13

    Two function algebras defining functions in NC k boolean circuits by Bonfante, Guillaume, Kahle, Reinhard, Marion, Jean-Yves, Oitavem, Isabel

    ISSN: 0890-5401, 1090-2651
    Published: Elsevier 01.06.2016
    Published in Information and computation (01.06.2016)
    “…We describe the functions computed by boolean circuits in NCk by means of func- tions algebra for k…”
    Get full text
    Journal Article
  14. 14

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

    ISSN: 2689-1808, 2689-1808
    Published: New York IEEE 2025
    “…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
    Journal Article
  15. 15

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

    ISSN: 0018-9448, 1557-9654
    Published: New York, NY IEEE 01.07.2006
    Published in IEEE transactions on information theory (01.07.2006)
    “… 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
    Journal Article
  16. 16

    On the expressivity of elementary linear logic: Characterizing Ptime and an exponential time hierarchy by Baillot, Patrick

    ISSN: 0890-5401, 1090-2651
    Published: Elsevier Inc 01.04.2015
    Published in Information and computation (01.04.2015)
    “… way the more interesting complexity class of polynomial time functions, but at the price of either…”
    Get full text
    Journal Article
  17. 17

    Level-Based Analysis of Genetic Algorithms and Other Search Processes by Corus, Dogan, Dang, Duc-Cuong, Eremeev, Anton V., Lehre, Per Kristian

    ISSN: 1089-778X, 1941-0026
    Published: New York IEEE 01.10.2018
    “…Understanding how the time complexity of evolutionary algorithms (EAs) depend on their parameter settings and characteristics of fitness landscapes is a fundamental problem in evolutionary computation…”
    Get full text
    Journal Article
  18. 18

    Network Classification Based on Reducibility With Respect to the Stability of Canalizing Power of Genes in a Gene Regulatory Network - A Boolean Network Modeling Perspective by Kim, Eunji, Ivanov, Ivan, Dougherty, Edward R.

    ISSN: 1545-5963, 1557-9964, 1557-9964
    Published: United States IEEE 01.01.2022
    “…A key objective of studying biological systems is to design therapeutic intervention strategies for beneficially altering cell dynamics…”
    Get full text
    Journal Article
  19. 19

    Dichotomy for Holant∗ Problems on the Boolean Domain by Cai, Jin-Yi, Lu, Pinyan, Xia, Mingji

    ISSN: 1432-4350, 1433-0490
    Published: New York Springer US 01.11.2020
    Published in Theory of computing systems (01.11.2020)
    “… ) , where F is a set of constraint functions on Boolean variables and taking complex values…”
    Get full text
    Journal Article
  20. 20

    Complexity Analysis of the SAT Attack on Logic Locking by Zhong, Yadi, Guin, Ujjwal

    ISSN: 0278-0070, 1937-4151
    Published: New York IEEE 01.10.2023
    “… Logic locking emerges as a primary design-for-security measure to counter these threats, where ICs become fully functional only when unlocked with a secret key…”
    Get full text
    Journal Article