Results 1 to 10 of about 53,255 (147)
Approach to positional logic algebra
Sistemnì Doslìdženâ ta Informacìjnì Tehnologìï, 2023 The method of Boolean function representation in terms of positional logic algebra in compact operator form is offered. Compared with the known method, it uses position operators with a complexity of no more than two and only one type of equivalent ...
Mykola Kovalov
doaj +2 more sources
2D physically unclonable functions of the arbiter type
Informatika, 2023 Objectives. The problem of constructing a new class of physically unclonable functions of the arbiter type (APUF) is being solved, based on the difference in delay times for the inputs of numerous modifications of the base element, due to both an ...
V. N. Yarmolik, A. A. Ivaniuk
doaj +2 more sources
Reinforcement Learning in the Problem of Synthesis of Majority Schemes
Современные информационные технологии и IT-образование, 2021 The article presents an approach to the synthesis of combinational-logic circuits using artificial neural networks (ANNs). The presented method is focused on the use of a perspective basis using the majority function (a Boolean function of three ...
Sergey Gurov +2 more
doaj +1 more source
Physically unclonable functions with controlled propagation delay
Informatika, 2022 O b j e c t i v e s. The problem of constructing a new class of physically uncloneable functions (PUF) based on controlling the signal propagation delay through the elements lying on the path of its propagation is being solved.
V. N. Yarmolik +2 more
doaj +1 more source
On the isomorphism problem of concept algebras [PDF]
, 2010 Weakly dicomplemented lattices are bounded lattices equipped with two unary operations to encode a negation on {\it concepts}. They have been introduced to capture the equational theory of concept algebras \cite{Wi00}.
B Ganter +9 more
core +4 more sources
Boolean Witt vectors and an integral Edrei-Thoma theorem [PDF]
, 2015 A subtraction-free definition of the big Witt vector construction was recently given by the first author. This allows one to define the big Witt vectors of any semiring.
Borger, James, Grinberg, Darij
core +2 more sources
0-Hecke algebra action on the Stanley-Reisner ring of the Boolean algebra [PDF]
, 2013 We define an action of the 0-Hecke algebra of type A on the Stanley-Reisner ring of the Boolean algebra. By studying this action we obtain a family of multivariate noncommutative symmetric functions, which specialize to the noncommutative Hall-Littlewood
Huang, Jia
core +2 more sources
Topos Theory and Consistent Histories: The Internal Logic of the Set of all Consistent Sets [PDF]
, 1996 A major problem in the consistent-histories approach to quantum theory is contending with the potentially large number of consistent sets of history propositions. One possibility is to find a scheme in which a unique set is selected in some way. However,
C. J. Isham +32 more
core +2 more sources
, 2016 Different versions of the notion of a state have been formulated for various so-called quantum structures. In this paper, we investigate the interplay among states on synaptic algebras and on its sub-structures.
Foulis, David J. +2 more
core +1 more source
An obstruction based approach to the Kochen-Specker theorem
, 1999 In [1] it was shown that the Kochen Specker theorem can be written in terms of the non-existence of global elements of a certain varying set over the partially ordered set of boolean subalgebras of projection operators on some Hilbert space.
Bub J +9 more
core +2 more sources