Results 51 to 60 of about 769 (267)

On Join-Dense Subsets of Certain Families of Aggregation Functions

Mathematics, 2022
Several important classes of aggregation functions defined on a bounded lattice form a lattice with respect to the pointwise operations of join and meet, respectively. The lattice structure of such classes is usually very complex; thus, it is very useful
Radomír Halaš, Jozef Pócs, Jana Pócsová   +2 more
doaj   +1 more source

Towards Defect Phase Diagrams: From Research Data Management to Automated Workflows

Advanced Engineering Materials, EarlyView.
A research data management infrastructure is presented for the systematic integration of heterogeneous experimental and simulation data required for defect phase diagrams. The approach combines openBIS with a companion application for large‐object storage, automated metadata extraction, provenance tracking and federated data access, thereby supporting ...
Khalil Rejiba, Sang‐Hyeok Lee, Christina Gasper, Martina Freund, Sandra Korte‐Kerzel, Ulrich Kerzel   +5 more
wiley   +1 more source

On the distributivity of a lattice of lattice-congruences

Proceedings of the Japan Academy, Series A, Mathematical Sciences, 1942
Not ...
Funayama, Nenosuke, Nakayama, Tadasi
openaire   +2 more sources

Solid‐State Diffusion and Intermetallic Phase Formation in Roll‐Bonded Mg–Zn Composites With Kirigami‐Patterned Inlay

Advanced Engineering Materials, EarlyView.
Mg–Zn composites with a thickness of 0.21 mm were fabricated using roll bonding of a kirigami‐patterned Mg alloy inlay within a Zn matrix. Thermal activation following this process led to the formation of tailored intermetallic structures, which provided the composite with enhanced flexural strength.
Yaroslav Frolov, Oleksandr Bobukh, Christian Klose, Florian Nürnberger, Hans Jürgen Maier   +4 more
wiley   +1 more source

Varieties of unary-determined distributive $\ell$-magmas and bunched implication algebras [PDF]

Logical Methods in Computer Science
A distributive lattice-ordered magma ($d\ell$-magma) $(A,\wedge,\vee,\cdot)$ is a distributive lattice with a binary operation $\cdot$ that preserves joins in both arguments, and when $\cdot$ is associative then $(A,\vee,\cdot)$ is an idempotent semiring.
Natanael Alpay, Peter Jipsen, Melissa Sugimoto   +2 more
doaj   +1 more source

Rafting of Ni‐Based Superalloys Under Multiaxial Load as Understood by Phase‐Field Simulations and Critical Experiments

Advanced Engineering Materials, EarlyView.
Phase‐field simulations coupled with dislocation‐density‐based crystal plasticity modeling reproduce γ′ rafting behavior in single‐crystal Ni‐based superalloys under varied loading conditions. The model captures both macroscopic creep and microscopic morphology evolution, with results matching high‐temperature creep experiments.
Micheal Younan, David Bürger, Gunther Eggeler, Oleg Shchyglo, Ingo Steinbach, Muhammad Adil Ali   +5 more
wiley   +1 more source

Hubungan antara latis distributif dan aljabar median

Majalah Ilmiah Matematika dan Statistika
Let M be a non-empty set equipped by a ternary operation m:M×M×M→M. The set M is called a median algebra if (M,m) satisfies these properties (1) majority: m(a,a,b)=a, associativity: m(a,b,m(c,b,d) = m(m(a,b,c),b,d), and commutativity: m(a,b,c) = m(a,c,b)
Novita Dahoklory, Henry Willyam Michel Patty   +1 more
doaj   +1 more source

Phase Field Failure Modeling: Brittle‐Ductile Dual‐Phase Microstructures under Compressive Loading

Advanced Engineering Materials, EarlyView.
The approach by Amor and the approach by Miehe and Zhang for asymmetric damage behavior in the phase field method for fracture are compared regarding their fitness for microcrack‐based failure modeling. The comparison is performed for the case of a dual‐phase microstructure with a brittle and a ductile constituent.
Jakob Huber, Jan Torgersen, Ewald Werner
wiley   +1 more source

Matrix Semantics for Classical Logic: The Case of the Lattice O6

Bulletin of the Section of Logic
It is well established that classical propositional logic is Boolean. However, this view has recently been challenged. In their paper Non-Orthomodular Models for Both Standard Quantum Logic and Standard Classical Logic: Repercussions for Quantum ...
Ela Drozdowska
doaj   +1 more source

On Dualization over Distributive Lattices

Discrete Mathematics & Theoretical Computer Science, 2022
Given a partially order set (poset) $P$, and a pair of families of ideals $\mathcal{I}$ and filters $\mathcal{F}$ in $P$ such that each pair $(I,F)\in \mathcal{I}\times\mathcal{F}$ has a non-empty intersection, the dualization problem over $P$ is to check whether there is an ideal $X$ in $P$ which intersects every member of $\mathcal{F}$ and does not ...
openaire   +4 more sources