Results 61 to 70 of about 2,655,411 (248)
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 +10 more
wiley +1 more source
Advances in Proof-Theoretic Semantics
, 2016 Logic; Mathematical Logic and Foundations; Mathematical Logic and Formal ...
core +1 more source
Advanced Engineering Materials, EarlyView.The OntOMat ontology establishes a structured framework for polymer matrix fiber reinforced composite materials, integrating manufacturing processes, characterization methods, and multiscale design through the VDI/VDE 3682 formalized process description standard.
Nicolas Christ +19 more
wiley +1 more source
Clausal resolution in a logic of rational agency [PDF]
, 2002 A resolution based proof system for a Temporal Logic of Possible Belief is presented. This logic is the combination of the branching-time temporal logic CTL (representing change over time) with the modal logic KD45 (representing belief).
Dixon, C. +7 more
core +1 more source
Advanced Engineering Materials, EarlyView.The community‐driven Platform MaterialDigital Core Ontology (PMDco) 3.0 is introduced as a Basic Formal Ontology‐aligned semantic backbone for the processing–structure–properties paradigm in Materials Science and Engineering. Modular engineering, automated releases, and validation workflows are highlighted and key semantic patterns for materials ...
Markus Schilling +15 more
wiley +1 more source
Modalities in medieval logic [PDF]
, 2009 This dissertation is an exercise in conceptual archeology. Using the tools of contemporary logic we analyse texts in medieval logic and reconstruct their logical theories by creating a formal framework which models them. Our focus is medieval texts which
Uckelman, S.L., Uckelman, Sara L.
core +20 more sources
Advanced Engineering Materials, EarlyView.Sustainability assessment requires methodologies that appropriately distinguish between additive and non‐additive material properties. A toxicity‐weighted scoring system is developed and applied that accounts for the disproportionate influence of highly toxic constituents through nonlinear weighting functions, providing more realistic estimates than ...
Seth Mehalic +2 more
wiley +1 more source
Independence in constraint logic programs [PDF]
, 1993 Studying independence of literals, variables, and substitutions has proven very useful in the context of logic programming (LP). Here we study independence in the broader context of constraint logic programming (CLP).
Hermenegildo, Manuel V. +2 more
core
Advanced Engineering Materials, EarlyView.This perspective reframes additive manufacturing for electrical machines as a qualification‐limited materials and architecture design problem. It links process–structure–property–performance relationships to magnetic, conducting, dielectric, and thermal property windows, highlighting where AM can enable segmented magnetic circuits, permanent magnet ...
Dénes Fodor, Loránd Szabó
wiley +1 more source
Flexible Resolution of Authorisation Conflicts in Distributed Systems [PDF]
, 2008 Flexible Resolution of Authorisation Conflicts in Distributed ...
Dong, C +13 more
core +1 more source