Results 81 to 90 of about 2,936,274 (295)
Symmetry‐Guided Multifunctional Acoustic System Based on Mechanically Actuated Sonic Crystals
Advanced Engineering Materials, EarlyView.This study presents the design, simulation, and experimental validation of amultifunctional acoustic metamaterial based on rotationally engineered sonic crystals.By tuning cylinder orientations, controllable band gaps and six distinct functionalities—including switching, topological insulation, beam splitting, and logic operations—areachieved ...
Yuanyan Zhao +2 more
wiley +1 more source
A Logic for Ambiguous Description
Electronic Notes in Theoretical Computer Science, 2002 AbstractA logic formalizing ambiguity, which appears both in natural language and in mathematical discourse, is presented, through a sequent calculus and a semantics, together with some elementary results.
openaire +2 more sources
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
Transition Based Synthesis with Modular Encoding of Petri Nets into FPGAs
Advances in Electrical and Electronic Engineering, 2014 The paper describes a new method for the synthesis of the application specific logic controllers, targeted into the FPGA. The initial steps of the proposed control algorithm rely on the notion of a Petri net, which is an easy way to describe parallel ...
Arkadiusz Bukowiec +2 more
doaj +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
Stable model semantics for description logic terminologies (extended abstract)
This paper is an extended abstract of our recent work on proposing a stable model semantics for Description Logic terminologies. Our semantics is based on Quantified Equilibrium Logic and overcomes some limitations of previous approaches.
Šimkus, Mantas, Stefano, Federica Di
core +3 more sources
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
DL-ReasonSuite: A Benchmark for Evaluating Description Logic Reasoning in Large Language Models
Applied SciencesLarge language models (LLMs) have shown remarkable progress in general reasoning and understanding, but their ability to perform formal logical reasoning remains under-explored.
Müge Oluçoğlu, Okan Bursa
doaj +1 more source
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
Exploiting Conjunctive Queries in Description Logic Programs.
, 2007 We present cq-programs, which enhance nonmonotonic description logics (dl-) programs by conjunctive queries (CQ) and union of conjunctive queries (UCQ) over Description Logics knowledge bases, as well as disjunctive rules.
Krennwallner, Thomas +3 more
core +4 more sources