Results 61 to 70 of about 3,184,608 (250)

Checking the Satisfiability of ALCN-concepts with a Complete DNF

工程科学与技术, 2009
:The Tableaux based on “unfolding gradually” may produce a lot of repetitive intermediate concept descriptions in deciding the satisfiabilities of acyclic concepts in a variety of description logics, which wastes large space.
Gu Hua-Mao, Gao Ji, Wang Xun
doaj  

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

OntOMat: Toward Ontology‐Based Product and Process Design Engineering and Optimization Solutions Fueling Circular Value Chains

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, Jörg Hohe, Martin Kördel, Michael Giese, Niklas Toffert, Christian Seidel, Olaf Rehme, Patrik Schneider, Oliver Focke, Elie Abi Aoun, Claas Falldorf, Beñat Gutierrez, Alexandra Kühn, Sven Torstrick-von der Lieth, Christoph Herden, Erik Johannsen, Jan‐Uwe R. Schmidt, Felix Winkelmann, Andreas Schott, Daniel Schott   +19 more
wiley   +1 more source

Non‐Additive Criteria Assessment in Sustainability Evaluation of High Entropy Alloys: A Toxicity‐Weighted Framework

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, Oladele A. Ogunseitan, Julie M. Schoenung   +2 more
wiley   +1 more source

Toward Full Interoperability in Materials Science: Integrating Workflows With Knowledge Graphs

Advanced Engineering Materials, EarlyView.
The connection of conceptual workflow design, portable execution, and ontology‐based semantics leading to provenance‐rich knowledge graphs are main contributors to interoperability in materials science and a prerequisite to AI‐assisted orchestration and for interoperable Materials Acceleration Platforms.
Jan Janssen, Osamu Waseda, Bernd Bayerlein, Simon Stier, Steffen Brinckmann, Abril Azócar Guzmán, Sarath Menon, Matthias A. Popp, Jesper R. Pedersen, Ivano E. Castelli, Jörg Waitelonis, Wolfgang Wenzel, Jörg Neugebauer, Jörg Schaarschmidt, Tilmann Hickel   +14 more
wiley   +1 more source

Materials‐Driven Additive Manufacturing for Electrical Machines: Qualification‐Oriented Design Beyond Geometric Freedom

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

Generic Infinite Traces and Path-Based Coalgebraic Temporal Logics [PDF]

, 2010
This paper gives a general coalgebraic account of the notions of possibly infinite trace and possibly infinite execution in state-based, dynamical systems, by extending the generic theory of finite traces and executions developed by Hasuo and coauthors ...
Cirstea, Corina, Corina Cîrstea
core   +2 more sources

Supporting AI Readiness Through Digital Workflows in Materials Science

Advanced Engineering Materials, EarlyView.
Digitalization drives innovation in materials science by connecting data silos and turning heterogeneous processes into reusable research pipelines. Across 13 MaterialDigital projects, digital workflows reveal complementary pathways toward AI‐ready materials research, founded on structured data, persistent artifacts, executable orchestration, and ...
Marian Bruns, Lateef Abdul, Stephan Barth, Martin Glauer, Manuel Günther, Fabian Neuhaus, Jan‐Ole Perschewski, Thomas Bjarsch, Henrik Abel, Johannes Bosch, Niklas Meyer, Peter Hofmann, Marc Drechsler, Alexander Dyck, Dhanunjaya Kumar Nerella, Marvin Tegeler, Oleg Shchyglo, Ingo Steinbach, Timo Klecker, Henk Birkholz, Ehsan Borzabadi Farahani, Bernard Fedelich, Cetin Haftaoglu, Tarakeshwar Lakshmipathy, Elena Garcia Trelles, Christoph Schweizer, Reza Darvishi Kamachali, Lukas Koschmieder, Janin Eiken, Markus Apel, Sung‐Min Wi, Jiangdong Zhao, Andreas Fezer, Nicolas Christ, Patrick Schneider, Eldor Urinov, Veit Königer, Volker Knoblauch, Janik Harter, Thomas Seifert, Thitichai Janpheng, Florian Fuchs, Fabian Teichert, Jörg Schuster, Anke Bardehle, Andreas Limper, Ulrich Giese, Carlos Lucke, Mario Beiner, Christoph Gögelein, Lisa Leuchtenberger‐Engel, Christian Hopmann, Felix Wentzien, Heike Wittek, Benjamin Klie, Alexander Röhrs, Ludger Overmeyer, Achraf Atila, Marcel Sadowski, Leopold Talirz, Jan Janssen, Jesper R. Pedersen, Peter Beck, Tejs Vegge, Ivano E. Castelli, Wolfgang Wenzel, Tilmann Hickel, Jörg Schaarschmidt   +67 more
wiley   +1 more source

All‐in‐One Analog AI Hardware: On‐Chip Training and Inference with Conductive‐Metal‐Oxide/HfOx ReRAM Devices

Advanced Functional Materials, EarlyView.
An all‐in‐one analog AI accelerator is presented, enabling on‐chip training, weight retention, and long‐term inference acceleration. It leverages a BEOL‐integrated CMO/HfOx ReRAM array with low‐voltage operation (<1.5 V), multi‐bit capability over 32 states, low programming noise (10 nS), and near‐ideal weight transfer.
Donato Francesco Falcone, Victoria Clerico, Wooseok Choi, Tommaso Stecconi, Folkert Horst, Laura Bégon‐Lours, Matteo Galetta, Antonio La Porta, Nikhil Garg, Fabien Alibart, Bert Jan Offrein, Valeria Bragaglia   +11 more
wiley   +1 more source

Model checking linear coalgebraic temporal logics: an automata-theoretic approach [PDF]

, 2011
We extend the theory of maximal traces of pointed non-deterministic coalgebras by providing an automata-based characterisation of the set of maximal traces for finite such coalgebras.
Cirstea, Corina, Corina Cîrstea
core   +1 more source