Results 51 to 60 of about 12,906 (264)

Robust Spot Melting by 3D Spot Arrangements in Electron Beam Powder Bed Fusion

Advanced Engineering Materials, EarlyView.
This work proposes an approach to replace separately melted contours for spot melting in electron beam powder fusion. Adapting the spot arrangements close to the contour combined with stacking yields a comparable surface quality without the inherent challenges of separate contours, as demonstrated, by electron optical images and roughness measurements.
Tobias Kupfer, Lukas Spano, Sebastian Pohl, Carolin Körner, Matthias Markl   +4 more
wiley   +1 more source

Fostering Innovation: Streamlining Magnetocaloric Materials Research by Digitalization

Advanced Engineering Materials, EarlyView.
Magnetocaloric cooling (MCE) is an environmentally friendly refrigeration method with great potential. Optimizing MCE materials involves the preparation and screening of large quantities of samples, which in turn generates a large amount of data. A digitalization approach is presented that uses ontologies, knowledge graphs, and digital workflows to ...
Simon Bekemeier, Moritz Blum, Luana Caron, Alisa Chirkova, Philipp Cimiano, Basil Ell, Inga Ennen, Michael Feige, Maik Gaerner, Thomas Hilbig, Andreas Hütten, Günter Reiss, Tapas Samanta, Sonja Schöning, Christian Schröder, Lennart Schwan, Chris Taake, Martin Wortmann   +17 more
wiley   +1 more source

The lattice of strict completions of a poset

Electronic Notes in Discrete Mathematics, 2000
Abstract For a given finite poset (P,⩽), a strict completion of P is a finite lattice L such that the set of join-irreducible elements of L is isomorphic to P. The family MP of strict completions of P turns out to be itself a lattice, which is lower bounded and lower semimodular.
Gabriela Hauser Bordalo, Bernard Monjardet   +1 more
openaire   +1 more source

Some properties of weakly g-supplemented lattices

Miskolc Mathematical Notes
In 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, Celil Nebiyev, Hasan Hüseyin Ökten   +2 more
doaj   +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

Gődel filters in residuated lattices

Analele Stiintifice ale Universitatii Ovidius Constanta: Seria Matematica, 2021
In this paper, in the spirit of [4], we study a new type of filters in residuated lattices : Gődel filters. So, we characterize the filters for which the quotient algebra that is constructed via these filters is a Gődel algebra and we establish the ...
Piciu Dana, Dan Christina Theresia, Dina Anca   +2 more
doaj   +1 more source

Symbolic Regression and Multi‐Objective Optimization of the Flory–Huggins Interaction Parameter for Hydrogels

Advanced Engineering Materials, EarlyView.
We develop a data‐driven method to derive the mathematical expressions of the Flory–Huggins interaction parameter χ for the swelling behavior of temperature–responsive hydrogels. Starting from initial assumptions of χ, our workflow combines Bayesian optimization, Flory–Rehner theory, and symbolic regression to generate candidate χ expressions.
Yawen Wang, Adrian Ehrenhofer, Thomas Wallmersperger   +2 more
wiley   +1 more source

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, Zeki Ayrildi, Buse Şen, Maik Rajkowski, Mathias Redondo Garcia, Markus Stricker, Guillaume Laplanche   +6 more
wiley   +1 more source

Complete Lattices and Up-To Techniques [PDF]

, 2007
We propose a theory of up-to techniques for proofs by coinduction, in the setting of complete lattices. This theory improves over existing results by providing a way to compose arbitrarily complex techniques with standard techniques, expressed using a very simple and modular semi-commutation property.
openaire   +2 more sources

Negations and contrapositions of complete lattices

Discrete Mathematics, 1998
Let \(L\) be a complete lattice. The authors introduce the negation \({\mathcal C}L\) as the complementary context \(({\mathcal J}L,{\mathcal M}L,
K. Deiters, Marcel Erné
openaire   +2 more sources