Results 61 to 70 of about 165,816 (266)

Combining Temporal Logic Systems

Notre Dame Journal of Formal Logic, 1996
Modular combinations of temporal logic systems are investigated. Four methods for combining two temporal logics are described and studied. 1. The temporalization method, i.e. the external application of a temporal logic to another temporal system (adding a temporal dimension to a logic system). 2. The independent combination of two temporal systems. 3.
Finger, Marcelo, Gabbay, Dov
openaire   +2 more sources

Understanding the Stochastic Nature of Process Parameter Development of Blown Powder Laser Beam Directed Energy Deposition Additive Manufacturing of Pure Molybdenum

Advanced Engineering Materials, EarlyView.
Identified through the use of statistical design of experiments and metallographic investigation, this study exposes the stochastic origins of intergranular cracks in blown powder laser beam directed energy deposition additive manufacturing of pure molybdenum. It further demonstrates a successful crack mitigation approach with direct correlation to the
Nathaniel J. Lies, Daniel E. Driemeyer, Aaron P. Stebner   +2 more
wiley   +1 more source

The Auto-Diagnosis of Granulation of Information Retrieval on the Web

Algorithms, 2020
In this paper, a postulation on the relationship between the memory structure of the brain’s neural network and the representation of information granules in the semantic web is presented. In order to show this connection, abstract operations of inducing
Anna Bryniarska
doaj   +1 more source

Duality for Logics of Transition Systems [PDF]

, 2005
We present a general framework for logics of transition systems based on Stone duality. Transition systems are modelled as coalgebras for a functor T on a category χ. The propositional logic used to reason about state spaces from χ is modelled by the Stone dual ${\mathcal A}$ of χ (e.g.
Marcello M. Bonsangue, Alexander Kurz 0001   +1 more
openaire   +2 more sources

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

Is an Apple an Orange? A Large Language Model Benchmark for Candidate Term Extraction and Subclass Decisions Against Upper Ontologies in Engineering and Materials Science

Advanced Engineering Materials, EarlyView.
Building machine‐readable vocabularies for materials science is slow, expert‐driven work. This study benchmarks 13 large language models on two of its first steps: finding candidate terms in engineering articles and deciding where they belong in a class hierarchy.
Thomas Bjarsch, Maximilian Holland, Klaus Drechsler, Johannes Schilp   +3 more
wiley   +1 more source

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, Alexey Boubnov, Dario De Angelis, Catriona Eschke, Maximilian Kabbe, Felix Kraus, Mirco Panighel, Richard Thelen, Davide Valentinis   +8 more
wiley   +1 more source

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

Logical entropy of dynamical systems in product MV-algebras and general scheme

Advances in Difference Equations, 2019
The present paper is aimed at studying the entropy of dynamical systems in product MV-algebras. First, by using the concept of logical entropy of a partition in a product MV-algebra introduced and studied by Markechová et al.
Dagmar Markechová, Beloslav Riečan
doaj   +1 more source

DigiChrom: A Domain Ontology for Semantic Representation of Trivalent Chromium Platings and Its Large Language Model‐Based Alignment With Multiple Mid‐Level Ontologies

Advanced Engineering Materials, EarlyView.
Digitalizing electroplating requires both domain knowledge and interoperability. This work introduces PlatOn, a domain ontology for trivalent chromium plating and coating characterization, and a hybrid pipeline that aligns it to a mid‐level reference ontology by combining eight similarity metrics with language model reasoning. Expert‐validated mappings
Janik Harter, Elena Garcia Trelles, Christoph Schweizer, Thomas Seifert, Christoph Baumer, Mahmoud Elkady, Katja Feige, Daniel Grimme, Edgar Hoffmann, Andreas Waibel, Anke Walter   +10 more
wiley   +1 more source