Results 11 to 20 of about 53,255 (147)
Symmetric physically unclonable functions of the arbiter type
InformatikaObjectives. The problem of constructing a new class of physically unclonable functions of the arbiter type (APUF) that combines the advantages of both classical and balanced APUF is solved.
V. N. Yarmolik, A. A. Ivaniuk
doaj +2 more sources
Deciding One to One property of Boolean maps: Condition and algorithm in terms of implicants [PDF]
arXiv.org, 2023 This paper addresses the computational problem of deciding invertibility (or one to one-ness) of a Boolean map $F$ in $n$-Boolean variables. This problem is a special case of deciding invertibilty of a map $F:\mathbb{F}_{q}^n\rightarrow\mathbb{F}_{q}^n ...
V. Sule
semanticscholar +1 more source
Extended Boolean algebra for asynchronous quasi-delay-insensitive logic
IET Circuits Devices Syst., 2020 : Asynchronous quasi-delay-insensitive (QDI) circuits have recently become an active research area in digital logic design. In contrast with synchronous paradigms, QDI approaches utilise threshold gates with hysteresis, such as Muller C-element and null ...
L. Tran +4 more
semanticscholar +1 more source
Planar Algebras for the Young graph and the Khovanov Heisenberg category [PDF]
International Journal of Mathematics, 2023 This paper studies planar algebras of Jones'style associated with the Young graph. We first see that, given a positive real valued function on the Young graph, we may obtain a planar algebra whose structure is defined in terms of a state sum over the ...
S. Koshida
semanticscholar +1 more source
Two brief formulations of Boolean algebra
, 1946 This paper presents two new formulations of Boolean algebra which appear to have some direct interest on their own account, and which further take a place among the most economical versions, while also exhibiting more intuitive clarity than other ...
L. Byrne
semanticscholar +1 more source
Postulates for Boolean algebra in terms of Ternary rejection
, 1937 1. Introduction. The operation of ternary rejection {in Boolean algebra is the operation () given by (abc) = a'b' + b'c'-\-c'a'. In this paper, I shall present a set of postulates for Boolean algebras in which ternary rejection is taken as the only ...
A. Whiteman
semanticscholar +1 more source
New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic [PDF]
, 2014 Intuitionistic logic, in which the double negation law not-not-P = P fails, is dominant in categorical logic, notably in topos theory. This paper follows a different direction in which double negation does hold.
Bart Jacobs, Prakash Panangaden
core +4 more sources
Some Banach spaces added by a Cohen real [PDF]
, 2014 We study certain Banach spaces that are added in the extension by one Cohen real. Specifically, we show that adding just one Cohen real to any model adds a Banach space of density $\aleph_1$ which does not embed into any such space in the ground model ...
Bell +11 more
core +3 more sources
The Booleanization of an inverse semigroup
, 2019 We prove that the forgetful functor from the category of Boolean inverse semigroups to inverse semigroups with zero has a left adjoint. This left adjoint is what we term the `Booleanization'.
Lawson, Mark V.
core +1 more source
Noise as a Boolean algebra of $\sigma$-fields
, 2014 A noise is a kind of homomorphism from a Boolean algebra of domains to the lattice of $\sigma$-fields. Leaving aside the homomorphism we examine its image, a Boolean algebra of $\sigma$-fields.
Tsirelson, Boris
core +1 more source