Results 1 to 10 of about 148,474 (293)
Efficient enumeration of solutions produced by closure operations [PDF]
Discrete Mathematics & Theoretical Computer Science, 2019 In this paper we address the problem of generating all elements obtained by the saturation of an initial set by some operations. More precisely, we prove that we can generate the closure of a boolean relation (a set of boolean vectors) by polymorphisms ...
Arnaud Mary, Yann Strozecki
doaj +5 more sources
Simple and Robust Boolean Operations for Triangulated Surfaces
Mathematics, 2023 Boolean operations on geometric models are important in numerical simulation and serve as essential tools in the fields of computer-aided design and computer graphics. The accuracy of these operations is heavily influenced by finite precision arithmetic,
Meijun Zhou +3 more
doaj +3 more sources
Transition Complexity of Incomplete DFAs [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 In this paper, we consider the transition complexity of regular languages based on the incomplete deterministic finite automata. A number of results on Boolean operations have been obtained.
Yuan Gao, Kai Salomaa, Sheng Yu
doaj +4 more sources
Thermal colloid programming [PDF]
Scientific ReportsThis paper investigates the computational capabilities of colloidal systems, focusing on the integration of Boolean logic operations within gold nanoparticle suspensions under varying temperature conditions.
Raphael Fortulan +3 more
doaj +2 more sources
Boolean Matrix Representation of Triadic Concepts [PDF]
Jisuanji kexue, 2023 The Boolean matrix method is introduced into triadic concept analysis to study the Boolean matrix representation me-thod of triadic context and triadic concept.Firstly,the relation matrix of triadic context is defined.The triadic context under each ...
WANG Xia, LI Junyu, WU Weizhi
doaj +1 more source
A Usability Study on Widget Design for Selecting Boolean Operations
Multimodal Technologies and Interaction, 2022 Applying the correct set of Boolean operations is a fundamental task in constructive solid geometry (CSG), which is a staple in automated manufacturing systems.
Diogo Chambel Lopes +5 more
doaj +1 more source
Boolean Algebras with Semigroup Operators: Free Product and Free Objects
Journal of Mathematics, 2023 Two important algebraic structures are S-acts and Boolean algebras. Combining these two structures, one gets S-Boolean algebras, equipped with a compatible right action of a monoid S which is a special case of Boolean algebras with operators.
H. Barzegar
doaj +1 more source
Minimum Round Card-Based Cryptographic Protocols Using Private Operations
Cryptography, 2021 This paper shows new card-based cryptographic protocols with the minimum number of rounds, using private operations under the semi-honest model. Physical cards are used in card-based cryptographic protocols instead of computers to achieve secure ...
Hibiki Ono, Yoshifumi Manabe
doaj +1 more source
Transformation Method for Solving System of Boolean Algebraic Equations
Mathematics, 2021 In recent years, various methods and directions for solving a system of Boolean algebraic equations have been invented, and now they are being very actively investigated. One of these directions is the method of transforming a system of Boolean algebraic
Dostonjon Barotov +6 more
doaj +1 more source
Orthomodular-Valued Models for Quantum Set Theory [PDF]
, 2017 In 1981, Takeuti introduced quantum set theory by constructing a model of set theory based on quantum logic represented by the lattice of closed linear subspaces of a Hilbert space in a manner analogous to Boolean-valued models of set theory, and showed ...
Araki +11 more
core +2 more sources