Results 51 to 60 of about 12,924 (263)
Some properties of weakly g-supplemented lattices
Miskolc Mathematical NotesIn this work, all lattices are complete modular lattices with the greatest element 10La,b∈La∨b=1a∧b≪gLbaLLLLLa,b,c∈Lc≪LbaLba∨cLL1=a1∨a2∨⋯∨anai∈L (1≤i≤n)ai∕0i=1,2,…,nLL1∕aa∈LL1∕rg(L)LLa,b∈L1=a∨bacLc≤bLaβ ...
Berna Koşar +2 more
doaj +1 more source
Uniqueness Theorem in Complete Residuated Almost Distributive Lattices
Discussiones Mathematicae - General Algebra and Applications, 2019 Important properties of primary elements in a complete residuated ADL L and the uniqueness theorem in a complete complemented residuated ADL L are proved.
Rao G.C., Raju S.S.
doaj +1 more source
A complete lattice technicolor model [PDF]
International Journal of Modern Physics A, 2014 We construct a lattice gauge theory using reduced staggered fermions and gauge fields which provides a nonperturbative realization of a complete technicolor model; one which treats both strong and weakly coupled gauge sectors on an equal footing. We show that the model is capable of developing a Higgs phase at nonzero lattice spacing via the formation
Catterall, Simon, Veernala, Aarti
openaire +2 more sources
Tailoring Functional Properties of Ti–Ni–Cu Shape Memory Alloy Thin Films for MEMS Actuators
Advanced Engineering Materials, EarlyView.A comprehensive study of critical parameters required to develop well‐performing Ti–Ni–Cu thin film shape memory alloy microactuators is provided. Materials science and device integration aspects are integrated by addressing structural and physical relationships using complementary characterization techniques as well as a practical fabrication solution
Elaheh Akbarnejad +6 more
wiley +1 more source
USING LATTICE TOPOLOGY INFORMATION TO INVESTIGATE PERSISTENT SCATTERERS AT FACADES IN URBAN AREAS [PDF]
The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences, 2013 Modern spaceborne SAR sensors like TerraSAR-X offer ground resolution of up to one meter in range and azimuth direction. Buildings, roads, bridges, and other man-made structures appear in such data often as regular patterns of strong and temporally ...
L. Schack, U. Soergel
doaj +1 more source
Free completely distributive lattices [PDF]
Proceedings of the American Mathematical Society, 1979 We show that the usual construction of the free distributive lattice on n generators generalizes to an arbitrary quantity of generators and actually yields a free completely distributive lattice.
openaire +1 more source
Creep‐Induced Microstructural Evolution in an A2‐B2 Superalloy
Advanced Engineering Materials, EarlyView.A 27.3Ta‐27.3Mo‐27.3Ti‐8Cr‐10Al (at.%) refractory high‐entropy alloy with precipitation‐strengthened A2‐B2 microstructure was studied by creep tests at 1030°C, which demonstrate a transition in deformation mechanisms in the range of 100–150 MPa applied stress. This is associated with changes in dislocation–precipitate interactions. Relevant deformation
Liu Yang +10 more
wiley +1 more source
New topology in residuated lattices
Open Mathematics, 2018 In this paper, by using the notion of upsets in residuated lattices and defining the operator Da(X), for an upset X of a residuated lattice L we construct a new topology denoted by τa and (L, τa) becomes a topological space.
Holdon L.C.
doaj +1 more source
Modular Critical Element Recycling Platform Using a Nanoporous Additively Manufactured Gyroid
Advanced Engineering Materials, EarlyView.A modular recycling platform integrates 3D‐printed nanoporous gyroid structures to enable efficient critical element recovery. This system utilizes a hierarchical architecture, combining macroscopic channels with polymerization‐induced nanoscale porosity. By systematically tuning structural wall thickness and resin formulation, the platform achieves an
Xiangyu Gao +6 more
wiley +1 more source
Advanced Engineering Materials, EarlyView.Reproduction of stacking fault energy calculations from literature with a semi‐automated large language model‐assisted extraction procedure: extraction of simulation protocol, atomistic structures, computational parameters, and reported results, ontology alignment, knowledge graph construction and, finally, recomputation forvalidation.
Sepideh Baghaee Ravari +5 more
wiley +1 more source