Results 41 to 50 of about 95,031 (330)
Free-Algebraic Characterizations of Primal and Independent Algebras [PDF]
In the study of many-valued logics, one is led to consider a (finitary) algebra (A, 0j, * , ?On), or simply A, with a finite number of primitive operations that generate by composition all functions in AAm for each m < X . Such algebras are called primal. For example, the algebra ({0, 1 }, A, --) of truth-values in 2-valued logic and, more generally, ({
openaire +1 more source
Demonstration of an All‐Optical AND Gate Mediated by Photochromic Molecules
A logic AND gate that runs on photons is demonstrated. It relies on two spatially separated photochromic molecules that work in tandem. Abstract The realization of a photonic logic AND gate, i.e. a logic AND gate that runs on photons rather than electrons, and where all steps are controlled by light, is demonstrated. In a proof‐of‐principle experiment,
Heyou Zhang +7 more
wiley +1 more source
Indefinite integrals of products of exponential functions, power functions and generalized hypergeometric functions of some types are considered. Necessary and sufficient conditions are established for the algebraic independence of large sets of such ...
Vasily Gorelov, Gennady Voronov
doaj +1 more source
New Inner Product Quasilinear Spaces on Interval Numbers
Primarily we examine the new example of quasilinear spaces, namely, “IRn interval space.” We obtain some new theorems and results related to this new quasilinear space.
Hacer Bozkurt, Yılmaz Yilmaz
doaj +1 more source
Deformed Algebras and Generalizations of Independence on Deformed Exponential Families
A deformed exponential family is a generalization of exponential families. Since the useful classes of power law tailed distributions are described by the deformed exponential families, they are important objects in the theory of complex systems.
Hiroshi Matsuzoe, Tatsuaki Wada
doaj +1 more source
A Strong Hybrid S-Box Scheme Based on Chaos, 2D Cellular Automata and Algebraic Structure
Substitution-boxes are the main deciding components in symmetric-key cryptosystems for resisting many cryptanalytic attacks. It has been a challenging task for the designers to construct strong S-box which satisfies multiple cryptographic properties ...
Amirul Haque +4 more
doaj +1 more source
A stress‐normalised sensitivity metric (S = G/Y) is introduced as a materials‐level benchmark for intrinsically piezoresistive nanocomposites. By decoupling electromechanical response (G) from stiffness (Y), the framework enables direct comparison across diverse systems and clarifies design trade‐offs for wearable sensors.
Conor S. Boland
wiley +1 more source
Spatial‐Wavelength Multiplexing Error‐Controlled Photonic Analog Computing System
A novel photonic integrated circuit prototype implementing the concept of general‐purpose analog computing and demonstrate its capability in radio frequency applications. The chip features a multichannel architecture and performs fully optical analog computation with frequency‐domain parallel processing. An FPGA‐based error‐correction algorithm aims to
Tao Zhu +15 more
wiley +1 more source
A Perspective on Interactive Theorem Provers in Physics
Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley +1 more source
Dimension independence in exterior algebra. [PDF]
The identities between homogeneous expressions in rank 1 vectors and rank n - 1 covectors in a Grassmann-Cayley algebra of rank n, in which one set occurs multilinearly, are shown to represent a set of dimension-independent identities. The theorem yields an infinite set of nontrivial geometric identities from a given identity.
openaire +3 more sources

