Results 121 to 130 of about 18,279 (288)
An Equational Approach to Enriched Distrubitivity
, 2021 The familiar adjunction between ordered sets and completely distributive lattices can be extended to generalised metric spaces, that is, categories enriched over a quantale (a lattice of \truth values ), via an appropriate distributive law between the ...
Kurz, Alexander, Balan, Adriana
core
Comparison of Triply Periodic Minimal Surface Energy Absorbers Under Uniaxial Compressive Loading
Advanced Engineering Materials, EarlyView.This study investigates LCD 3D printed Triply Periodic Minimal Surface (TPMS) structures as mechanical energy absorbers. By comparing various base designs and layered combinations under uniaxial compression, it identifies that a Diamond‐Gyroid sandwich structure offers superior performance.
Sergej Grednev +2 more
wiley +1 more source
On the eigenproblem of matrices over distributive lattices
, 2003 Let (L,⩽,∨,∧) be a complete and completely distributive lattice. A vector ξ is said to be an eigenvector of a square matrix A over the lattice L if Aξ=λξ for some λ in L. The elements λ are called the associated eigenvalues.
Tan, Yijia
core +1 more source
Advanced Engineering Materials, EarlyView.Si‐doped AlCoCrFeNi high‐entropy alloys are synthesized by mechanical alloying to reveal the effect of Si content and milling time on phase evolution, microstructural refinement, and tribological behavior. A transition from FCC to BCC structure, significant grain refinement, and enhanced hardness and wear resistance are achieved, with the 4 at% Si ...
Mustafa Okumuş +2 more
wiley +1 more source
The Subquasivariety Lattice of a Discriminator Variety
, 2001 Let V be a discriminator variety such that the class B={A∈V: A is simple and has no trivial subalgebra} is closed under ultraproducts. This property holds, for example, if V is locally finite or if the language is finite.
Campercholi, Miguel +2 more
core +1 more source
On the completion by cuts of distributive lattices
Proceedings of the Japan Academy, Series A, Mathematical Sciences, 1944 Not ...
openaire +2 more sources
Advanced Engineering Materials, EarlyView.Sol–gel‐derived ZnO–rGO hybrid nanoparticles enable Al7075 powder‐metallurgy composites to achieve concurrent gains in hardness and thermal conductivity while markedly lowering friction and wear. The hybrid architecture couples ZnO‐based load support with rGO‐assisted lamellar sliding and heat spreading, revealing a promising route toward lightweight ...
Bunyamin Aksakal +3 more
wiley +1 more source
Advanced Engineering Materials, EarlyView.Experiments and thermophysical simulations were conducted to investigate the electron beam powder bed fusion electron beam (PBF‐EB/M) process for the γ′‐strengthened nickel‐based superalloy Inconel 738LC. The results demonstrate the impact of process‐induced microstructural variations on high‐temperature mechanical behavior, providing a basis for ...
Jan Niklas Petenati +11 more
wiley +1 more source
Completely prime L-filters, irreducible L-filters and sobriety
, 2016 In this paper, for a frame L, we characterize modified sobriety in stratified L-topological spaces and strong L-topological spaces internally using certain classes of stratied L-filters.
Jäger, Gunther, Yao, Wei
core
Toward an Infinitary Logic of Domains: Abramsky Logic for Transition Systems
, 1999 We give a new characterization of sober spaces in terms of their completely distributive lattice of saturated sets. This characterization is used to extend Abramsky's results about a domain logic for transition systems.
Bonsangue, Marcello M. +3 more
core +1 more source