Results 91 to 100 of about 2,215 (299)
Quasivarieties of distributive lattices with a quantifier
Discrete Mathematics, 1994 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
M. E. Adams, Wieslaw Dziobiak
openaire +2 more sources
The PRIMA Thesaurus for Materials Science and Engineering
Advanced Engineering Materials, EarlyView.The PRIMA Thesaurus is a structured vocabulary designed to improve how materials science data is described and shared. Developed with input from multiple experts, it enables clear documentation of research workflows, data exchange, and reuse across platforms.
Rossella Aversa +8 more
wiley +1 more source
Entailment Relations and Distributive Lattices [PDF]
, 1998 . To any entailment relation [Sco74] we associate a distributive lattice. We use this to give a construction of the product of lattices over an arbitrary index set, of the Vietoris construction, of the embedding of a distributive lattice in a boolean ...
Thierry Coquand, Jan Cederquist
core
Microstructure Evolution of a VMnFeCoNi High‐Entropy Alloy After Synthesis, Swaging, and Annealing
Advanced Engineering Materials, EarlyView.The synthesis and processing (rotary swaging and annealing) of the novel VMnFeCoNi alloy is investigated, alongside the estimation of the grain size effect on hardness. Analysis of a wide grain size range of recrystallized microstructures (12–210 µm) reveals a low annealing twin density.
Aditya Srinivasan Tirunilai +6 more
wiley +1 more source
Principal congruences of pseudocomplemented distributive lattices [PDF]
, 1973 Principal congruences of pseudocomplemented distributive lattices are characterized. This characterization is used to give a new proof of the congruence extension property and to show that the meet of two principal congruences is always principal in an ...
Harry Lakser
core +1 more source
Hydrogen‐Assisted Fracture of Iron‐Based Fe–Ni–Al Alloys
Advanced Engineering Materials, EarlyView.Principal relations and fracture mechanisms of single‐phase and precipitate‐strengthened Fe–Ni–Al alloys subjected to prior electrochemical hydrogen charging are identified. The mechanisms of hydrogen effect on strength and microhardness are discussed, including hydrogen‐induced increase in microhardness and the role of hydrogen in fracture behavior ...
Nataliya Yadzhak +3 more
wiley +1 more source
Group Semirings Using Distributive Lattices As Semirings [PDF]
, 2014 In this paper group semirings using distributive lattices as semirings is studied. The condition on the distributive lattices as well as on the groups are given for the group semiring to have zero ivisors, idempotents, S-zero divisors, S-anti zero ...
K. JAYSHREE, P. GAJIVARADHAN
core +1 more source
β-Prime Spectrum of Stone Almost Distributive Lattices
Discussiones Mathematicae - General Algebra and Applications, 2020 The notion of boosters and β-filters in stone Almost Distributive Lattices are introduced and their properties are studied, utilizing boosters to characterize the β-filters.
Rafi N., Bandaru Ravi Kumar
doaj +1 more source
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
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