Results 71 to 80 of about 2,011 (184)
Principia: An International Journal of Epistemology, 2009 In order to measure the degree of dissimilarity between elements of a Boolean algebra, the author’s (1984) proposed to use pseudometrics satisfying generalizations of the usual axioms for identity.
David Miller
doaj
Safe Stabilization Using Non‐Smooth Control Lyapunov Barrier Function
International Journal of Robust and Nonlinear Control, Volume 36, Issue 11, Page 5823-5835, 25 July 2026.ABSTRACT This paper addresses the challenge of safe stabilization, ensuring the system state reaches the origin while avoiding unsafe state regions. Existing approaches that rely on smooth Lyapunov barrier functions often fail to guarantee a feasible controller. To overcome this limitation, we introduce the non‐smooth control Lyapunov barrier function (
Jianglin Lan +3 more
wiley +1 more source
The Boolean algebra and central Galois algebras
International Journal of Mathematics and Mathematical Sciences, 2001 Let B be a Galois algebra with Galois group G, Jg={b∈B∣bx=g(x)b for all x∈B} for g∈G, and BJg=Beg for a central idempotent eg. Then a relation is given between the set of elements in the Boolean algebra (Ba,≤) generated by {0,eg∣g∈G} and a set of ...
George Szeto, Lianyong Xue
doaj +1 more source
Учёные записки Казанского университета: Серия Физико-математические науки, 2020 The step Boolean function is a function of the algebra of logic of n Boolean variables, n = 1, 2, … , reducing to 1 on all of the sets of an n -dimensional unit cube, the ordinal numbers of which are not lower than the given set.
S.A. Lozhkin, D.S. Kinzhikeyeva
doaj +1 more source
SiOx‐Based Probabilistic Bits Enabling Invertible Logic Gate for Cryptographic Applications
Advanced Intelligent Systems, Volume 8, Issue 7, July 2026.To enable lightweight hardware encryption and decryption, a Ti/SiOx/Ti threshold switching device is engineered to generate controllable stochastic oscillations. By tuning the input voltage, the device produces a programmable spike probability governed by intrinsic switching dynamics, enabling probabilistic bits that construct an invertible ...
Jihyun Kim, Hyeonsik Choi, Jiyong Woo
wiley +1 more source
Интеллект. Инновации. Инвестиции, 2019 The description of complex structured systems involves the use of various logical-mathematical and formal-logical methods. Due to them, it becomes possible to identify common patterns that arise when combining, crossing, supplementing multi-person sets ...
A.B. Ilin
doaj +1 more source
Corporate Social Responsibility and Environmental Management, Volume 33, Issue 4, Page 5398-5417, July 2026.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
Logical Methods in Computer ScienceThe author has recently introduced an abstract algebraic framework of analogical proportions within the general setting of universal algebra. This paper studies analogical proportions in the boolean domain consisting of two elements 0 and 1 within his ...
Christian Antić
doaj +1 more source
ROUGH LATTICE OVER BOOLEAN ALGEBRA
Journal of New Theory, 2015 − Rough Set Theory (RST) is a mathematical formalism for representing uncertainty thatcan be considered as an extension of the classical set theory. It has been used in many differentresearch areas, including those related to inductive machine learning ...
Dipankar Rana, Sankar Kumar Roy
doaj
Is Quantum Field Theory Necessarily “Quantum”?
Quantum ReportsThe mathematical universe of the quantum topos, which is formulated on the basis of classical Boolean snapshots, delivers a neo-realist description of quantum mechanics that preserves realism.
Ali Shojaei-Fard
doaj +1 more source