Results 31 to 40 of about 5,727 (300)
Advanced Engineering Materials, EarlyView.A unified research data management framework for heterogeneous materials data is presented. The system integrates multimodal datasets using ontologies and knowledge graphs, enabling interoperability and FAIR (findable, accessible, interoperable, reusable) data principles. By linking data across scales and workflows, it supports reproducible, Artifitial
Doaa Mohamed +6 more
wiley +1 more source
Formal Verification of Programs in Functional Dataflow Parallel Language
Моделирование и анализ информационных систем, 2015 The article is devoted to the methods of proving parallel programs correctness that are based on the axiomatic approach. Formal system for functional data-flow parallel programming language Pifagor is described.
M. S. Kropacheva, A. I. Legalov
doaj +3 more sources
The theory of mental models within a non-axiomatic logic
PrometeicaThis paper tries to capture the theory of mental models from Non-Axiomatic Logic. The theory of mental models describes people’s natural inferential processes and has strong empirical support.
Miguel López-Astorga
doaj +1 more source
Axiomatic Foundations for Ranking Systems
Journal of Artificial Intelligence Research, 2008 Reasoning about agent preferences on a set of alternatives, and the aggregation of such preferences into some social ranking is a fundamental issue in reasoning about multi-agent systems. When the set of agents and the set of alternatives coincide, we get the ranking systems setting.
Alon Altman, Moshe Tennenholtz
openaire +2 more sources
A Knowledge‐Based Approach for Understanding and Managing Additive Manufacturing Data
Advanced Engineering Materials, EarlyView.Additive manufacturing processes generate a large amount of data. Effectively managing, understanding, and retrieving information from this data remains a major challenge. Therefore, we propose an ontology‐based approach to integrate heterogeneous data, enable semantic queries, and support decision‐making.
Mina Abd Nikooie Pour +5 more
wiley +1 more source
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 +17 more
wiley +1 more source
On the axiomatic systems of singular cohomology theory [PDF]
Topology and its Applications, 2020 On the category of pairs of topological spaces having a homotopy type of $CW$ complexes the singular (co)homology theory was axiomatically studied by J.Milnor. In particular, Milnor gave additivity axiom for a (co)homology theory and proved that any additive (co)homology theory on the given category is isomorphic to the singular (co)homology.
Beridze, Anzor, Mdzinarishvili, Leonard
openaire +3 more sources
A Perspective on Interactive Theorem Provers in Physics
Advanced Science, EarlyView.Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley +1 more source
Advanced Science, EarlyView.An interpretable machine learning framework integrating SHAP and PDP analysis identifies critical design descriptors from 139 physicochemical features for Nb─Si alloys. The framework achieves <7% prediction error and guides the discovery of Nb38.5Ti38.5Si3Zr18V2 alloy with 22.791 MPa·m1/2 fracture toughness, breaking the 20 MPa·m1/2 barrier.
Dezhi Chen +7 more
wiley +1 more source