Results 81 to 90 of about 98,608 (306)

Ontology‐Aligned Structuring and Reuse of Multimodal Materials Data and Workflows Toward Automatic Reproduction

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, Abril Azocar Guzman, Sarath Menon, Stefan Sandfeld, Tilmann Hickel, Markus Stricker   +5 more
wiley   +1 more source

A UV complete compositeness scenario: LHC constraints meet the lattice

Journal of High Energy Physics, 2017
We investigate a recently proposed UV-complete composite Higgs scenario in the light of the first LHC runs. The model is based on a SU(4) gauge group with global flavour symmetry breaking SU(5) → SO(5), giving rise to pseudo Nambu-Goldstone bosons in ...
Luigi Del Debbio, Christoph Englert, Roman Zwicky   +2 more
doaj   +1 more source

Toward Knowledge‐Based Workflows: A Semantic Approach to Atomistic Simulations for Mechanical and Thermodynamic Properties

Advanced Engineering Materials, EarlyView.
Knowledge‐based atomistic workflows are presented for mechanical and thermodynamic properties. By coupling modular simulations with ontology‐aligned metadata and provenance, Fe case studies on elastic behavior, defects, thermal properties, and Hall–Petch strengthening reveal how FAIR, queryable, and reusable simulation data can be generated. Mechanical
Abril Azócar Guzmán, Hoang‐Thien Luu, Sarath Menon, Tilmann Hickel, Nina Merkert, Stefan Sandfeld   +5 more
wiley   +1 more source

Topological Information Systems in a Complete Co-Residuated Lattice

Axioms
In this paper, we introduce topological information systems between objects with a distance and attributes with a distance based on a complete co-residuated lattice. We can obtain two distances and Alexandrov topologies for objects and attributes from an
Yong Chan Kim, Young-Hee Kim
doaj   +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

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

Electrochemical Behavior of Flame‐Sprayed Sc‐Doped AlCoCrFeMo High‐Entropy Alloy Coatings in 3.5% Sodium Chloride Solution

Advanced Engineering Materials, EarlyView.
Scandium (Sc)‐doped AlCoCrFeMo HEA coatings are fabricated via flame spraying with 0.1, 0.3, and 0.5 wt% Sc additions. Among these, the HEA‐Sc0.3 coating exhibits the highest corrosion resistance, indicated by a more positive corrosion potential and lower current density.
Pankaj Kumar, Akash Vyas, Mohammad Aatif Qazi, Nashit Jalal, Maria Ophelia Jarligo, Mostafa Yakout, Jing Liu, André McDonald   +7 more
wiley   +1 more source

An Experimental High‐Throughput Approach for the Screening of Hard Magnet Materials

Advanced Engineering Materials, EarlyView.
An entire workflow for the high‐throughput characterization and analysis of compositionally graded magnetic films is presented. Characterization protocols, data management tools and data analysis approaches are illustrated with test case Sm(Fe, V)12 based films.
William Rigaut, Pierre Le Berre, Hamdi Jaballah, Lukas Fink, Victor Poline, Richard Haettel, Stéphane Grenier, Gilbert Chahine, Ewen Bellec, Guillaume Buatier, Wilfried Hortschitz, Santa Pile, Thomas Schrefl, Nils Blanc, Yuan Hong, Thibaut Devillers, Nora M. Dempsey   +16 more
wiley   +1 more source

THE BEST SOLUTION FOR INEQUALITIES OF A O CROSS X LOWER THAN X FROM B O DOT X USING HIGH MATRIX RESIDUATION OF IDEMPOTENT SEMIRING

Jurnal Sains Dasar, 2017
A complete idempotent semiring has a structure which is called a complete lattice. Because of the same structure as the complete lattice then inequality of the complete idempotent semiring can be solved a solution by using residuation theory.
Eka Susilowati, Ari Suparwanto
doaj  

Aggregation Functionals on Complete Lattices

Proceedings of the 7th conference of the European Society for Fuzzy Logic and Technology (EUSFLAT-2011), 2011
The aim of this paper is to introduce some classes of aggregation functionals when the evaluation scale is a complete lattice. Two different types of aggregation functionals are introduced and investigated. We consider a target-based approach that has been studied in Decision Theory and we focus on the equivalence between a utility-based approach and ...
openaire   +4 more sources