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

  1. 1

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

    ISSN: 1041-4347, 1558-2191
    Veröffentlicht: New York IEEE 01.05.2023
    Veröffentlicht in IEEE transactions on knowledge and data engineering (01.05.2023)
    “… ), massive spatio-textual data has been outsourced to cloud servers for storage and analysis such as spatial keyword search …”
    Volltext
    Journal Article
  2. 2

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

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

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

    ISSN: 1060-0396, 1573-8337
    Veröffentlicht: Boston Springer US 01.03.2013
    Veröffentlicht 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 …”
    Volltext
    Journal Article
  4. 4

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

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

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

    ISSN: 1012-2443, 1573-7470
    Veröffentlicht: Cham Springer International Publishing 01.06.2021
    Veröffentlicht in Annals of mathematics and artificial intelligence (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 …”
    Volltext
    Journal Article
  6. 6

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

    ISSN: 0254-5330, 1572-9338
    Veröffentlicht: Boston Springer US 01.08.2011
    Veröffentlicht 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 …”
    Volltext
    Journal Article
  7. 7

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

    ISSN: 0178-4617, 1432-0541
    Veröffentlicht: New York Springer-Verlag 01.07.2010
    Veröffentlicht 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 …”
    Volltext
    Journal Article Tagungsbericht
  8. 8

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

    Veröffentlicht: 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 …”
    Volltext
    Tagungsbericht
  9. 9

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

    ISBN: 1595936270, 9781595936271
    ISSN: 0738-100X
    Veröffentlicht: New York, NY, USA ACM 04.06.2007
    Veröffentlicht in 2007 44th ACM/IEEE Design Automation Conference (04.06.2007)
    “… In other words, logic synthesis optimisations hardly change the architecture of the given circuit …”
    Volltext
    Tagungsbericht
  10. 10

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

    ISSN: 1424-8220, 1424-8220
    Veröffentlicht: Switzerland MDPI AG 22.10.2024
    Veröffentlicht 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 …”
    Volltext
    Journal Article
  11. 11

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

    ISSN: 0018-9448, 1557-9654
    Veröffentlicht: New York, NY IEEE 01.07.2011
    Veröffentlicht 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 …”
    Volltext
    Journal Article
  12. 12

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

    ISSN: 1000-9000, 1860-4749
    Veröffentlicht: Singapore Springer Nature Singapore 01.12.2023
    Veröffentlicht 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 …”
    Volltext
    Journal Article
  13. 13

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

    ISSN: 0890-5401, 1090-2651
    Veröffentlicht: Elsevier 01.06.2016
    Veröffentlicht 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 …”
    Volltext
    Journal Article
  14. 14

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

    ISSN: 2689-1808, 2689-1808
    Veröffentlicht: New York IEEE 2025
    Veröffentlicht in IEEE transactions on quantum engineering (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 …”
    Volltext
    Journal Article
  15. 15

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

    ISSN: 0018-9448, 1557-9654
    Veröffentlicht: New York, NY IEEE 01.07.2006
    Veröffentlicht 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 …”
    Volltext
    Journal Article
  16. 16

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

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

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

    ISSN: 1089-778X, 1941-0026
    Veröffentlicht: New York IEEE 01.10.2018
    Veröffentlicht in IEEE transactions on evolutionary computation (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 …”
    Volltext
    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 von Kim, Eunji, Ivanov, Ivan, Dougherty, Edward R.

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

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

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

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

    ISSN: 0278-0070, 1937-4151
    Veröffentlicht: 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 …”
    Volltext
    Journal Article