Results 31 to 40 of about 1,728 (218)
Quantum Period Finding against Symmetric Primitives in Practice
Transactions on Cryptographic Hardware and Embedded Systems, 2021 We present the first complete descriptions of quantum circuits for the offline Simon’s algorithm, and estimate their cost to attack the MAC Chaskey, the block cipher PRINCE and the NIST lightweight finalist AEAD scheme Elephant.
Xavier Bonnetain, Samuel Jaques
doaj +1 more source
Atom structures of cylindric algebras and relation algebras [PDF]
, 1997 Accepted ...
Hodkinson, I, Hodkinson, Ian
core +1 more source
On $p$-convexification of the Banach-Kantorovich lattice [PDF]
E-Journal of Analysis and Applied MathematicsLet $B$ be a complete Boolean algebra, $Q(B)$ the Stone compact of $B$, and let $C_\infty (Q(B))$ be the commutative unital algebra of all continuous functions $x: Q(B) \to [-\infty, +\infty]$, assuming possibly the values $\pm\infty$ on nowhere-dense ...
Gavhar B. Zakirova
doaj +1 more source
Automated Reasoning over Deontic Action Logics with Finite Vocabularies [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 In this paper we investigate further the tableaux system for a deontic action logic we presented in previous work. This tableaux system uses atoms (of a given boolean algebra of action terms) as labels of formulae, this allows us to embrace parallel ...
Pablo F. Castro, Thomas S. E. Maibaum
doaj +1 more source
A model for reliability analysis and calculation applied in an example from chemical industry [PDF]
Hemijska Industrija, 2010 The subject of the paper is reliability design in polymerization processes that occur in reactors of a chemical industry. The designed model is used to determine the characteristics and indicators of reliability, which enabled the determination of basic ...
Pejović Branko B. +4 more
doaj +1 more source
Some properties of complete Boolean algebras
Sahand Communications in Mathematical Analysis, 2021 Summary: The main result of this paper is a characterization of the strongly algebraically closed algebras in the lattice of all real-valued continuous functions and the equivalence classes of \(\lambda\)-measurable. We shall provide conditions which strongly algebraically closed algebras carry a strictly positive Maharam submeasure.
openaire +3 more sources
Archimedean Atomic Lattice Effect Algebras with Complete Lattice of Sharp Elements
Symmetry, Integrability and Geometry: Methods and Applications, 2010 We study Archimedean atomic lattice effect algebras whose set of sharp elements is a complete lattice. We show properties of centers, compatibility centers and central atoms of such lattice effect algebras.
Zdenka Riecanová
doaj +1 more source
Complete Boolean Algebras [PDF]
, 2002 By now, we have assumed only that in every algebra we encounter there are a supremum and an infimum of each finite subset (likewise in a general lattice). We now strengthen the requirements on an algebra.
openaire +2 more sources
Generalized co-annihilator of BL-algebras
Open Mathematics, 2015 In BL-algebras we introduce the concept of generalized co-annihilators as a generalization of coannihilator and the set of the form x-1F where F is a filter, and study basic properties of generalized co-annihilators.
Meng Biao Long, Xin Xiao Long
doaj +1 more source
Corporate Social Responsibility and Environmental Management, EarlyView.ABSTRACT Sustainability‐oriented collaborations are inter‐organisational arrangements where the competencies of multiple companies are pooled together to tackle environmental challenges. These collaborations differ from traditional strategic alliances in that they tackle complex goals amidst greater uncertainties that extend beyond economic performance,
Vittorio Maria Garibbo +3 more
wiley +1 more source