Results 41 to 50 of about 62,053 (196)
SiOx‐Based Probabilistic Bits Enabling Invertible Logic Gate for Cryptographic Applications
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
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
Perfect disjunctive normal forms in a class of algebras
The methods of constructing normal forms in the class of algebras are considered. Formulas of algebra describe Boolean images.
І. А. Мич +1 more
doaj +1 more source
We present a necessary and sufficient condition for a Boolean algebra to carry a finitely additive ...
Jech, Thomas
core +1 more source
We define Boolean algebras in the linear context and study its symmetric powers. We give explicit formulae for products in symmetric Boolean algebras of various dimensions. We formulate symmetric forms of the inclusion-exclusion principle.
Díaz, Rafael, Rivas, Mariolys
openaire +3 more sources
Precision Restoration to Minimize Soil Loss in a Watershed in the Atlantic Forest Domain
ABSTRACT The Turvo River Watershed, located in the Zona da Mata region of Minas Gerais and part of the Doce River Basin, faces serious problems of erosion and soil degradation, which compromise and reduce the quality of local water resources. Given this scenario, it is essential to implement environmental recovery strategies that prioritize the ...
Rodrigo Nobre Santana +6 more
wiley +1 more source
For an arbitrary undirected graph G, we are designing a logical model for the Hamiltonian Cycle Problem (HCP), using tools of Boolean algebra only. The obtained model is a logic formulation of the conditions for the existence of the Hamiltonian cycle ...
Anatoly D. Plotnikov
doaj +1 more source
A general characteristics of a car hydraulic braking system (CHBS) is presented in this publication. A graphical model of properties-component objects is developed for the above-mentioned system.
A. Idzikowski, S. Salamon
doaj +1 more source
A representation theorem for MV-algebras
An {\em MV-pair} is a pair $(B,G)$ where $B$ is a Boolean algebra and $G$ is a subgroup of the automorphism group of $B$ satisfying certain conditions. Let $\sim_G$ be the equivalence relation on $B$ naturally associated with $G$. We prove that for every
A Dvurečenskij +19 more
core +2 more sources
Robust Linearization and Eigenvalue Analysis of General Complex Constrained Multibody Systems
ABSTRACT The derivation of linearized equations and subsequent eigenvalue analysis is the basis for tasks such as frequency‐domain response analysis, control design, and stability assessment for mechanical systems. However, for general multibody systems with redundant or nonholonomic constraints, practical challenges persist in achieving numerically ...
Zhiwen Xiao, Gexue Ren
wiley +1 more source

