Results 31 to 40 of about 804,554 (168)
Representation of Cubic Lattices by Symmetric Implication Algebras
A lattice \(L\) is called cubic [\textit{J. S. Oliveira}, The theory of cubic lattices. PhD thesis, MIT (1992)] if (1) for \(x \in L\), there is an order-preserving map \(\Delta_x:(x]\to(x]\); (2) \(\Delta^2_x=\text{Id}_{(x]}\); (3) for ...
Abad, Manuel +1 more
openaire +2 more sources
The prime filter theorem of lattice implication algebras
Using a special set x−1F, we give an equivalent condition for a filter to be prime, and applying this result, we provide the prime filter theorem in lattice implication ...
Young Bae Jun
doaj +1 more source
Ultra $LI$-ideals in lattice implication algebras [PDF]
summary:We define an ultra $LI$-ideal of a lattice implication algebra and give equivalent conditions for an $LI$-ideal to be ultra. We show that every subset of a lattice implication algebra which has the finite additive property can be extended to an ...
Xu, Yang, Jun, Young Bae, Qin, Keyun
core +1 more source
On Relationships of Filters in Lattice Implication Algebra
In this paper, we focus on the properties of filters in lattice implication algebra. We study the relationship of associative filter and implicative filter, n-fold associative filter and n-fold implicative filter in detail. And a sufficient condition of involution filter in lattice implication algebra is proved. Then the relationship of some filters is
Jiajun Lai +4 more
openaire +2 more sources
The variety generated by order algebras [PDF]
Every ordered set can be considered as an algebra in a natural way. We investigate the variety generated by order algebras. We prove, among other things, that this variety is not finitely based and, although locally finite, it is not contained in any ...
Maróti, Miklós +5 more
core +1 more source
A conversion‐resolved constitutive framework is developed for the hydrogen‐based direct reduction of iron oxide pellets. Effective reaction and transport timescales are inferred directly from measured trajectories and mapped against operating conditions, pellet architecture, and composition. The analysis reveals how late‐stage transport control emerges
Anurag Bajpai +3 more
wiley +1 more source
Symmetry‐Imposed Selection Rules for Excitations of Nontrivial Plasmonic Topologies
A unified group‐theory selection rule governs the excitation of vectorial nearfield topologies across three plasmonic spin states. Derived from first principles, it predicts spin–orbit vortex splitting and multidimensional nested vortices, confirmed by phase‐resolved in situ measurements.
Jie Yang +14 more
wiley +1 more source
Sr1−xBaxCo2V2O8 is established as a magnetic‐ion‐based proper displacive ferroelectric whose transition is continuously suppressed by Ba substitution to a ferroelectric quantum critical point. In the resulting quantum paraelectric regime, a transverse magnetic field induces magnetic quantum criticality, realizing multiferroic quantum criticality and ...
Takayuki Nagai +3 more
wiley +1 more source
SPICE‐Compatible Compact Modeling of Cuprate‐Based Memristors Across a Wide Temperature Range
A physics‐guided compact model for YBCO memristors is introduced, incorporating carrier trapping, field‐induced detrapping, and a differential balance equation to describe their switching dynamics. The model is compared with experiments and implemented in LTspice, allowing realistic circuit‐level simulations.
Thomas Günkel +6 more
wiley +1 more source
ABSTRACT Conceptual process design combines discrete configuration choices with continuous operating decisions, often yielding difficult mixed‐integer nonlinear or simulation‐based optimization problems. This work presents an exploratory computational assessment of Ising‐based solvers, simulated annealing, quantum annealing, and entropy computing, as ...
Yirang Park, David E. Bernal Neira
wiley +1 more source

