Results 41 to 50 of about 9,194 (262)
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
Metalinguistic Monstrosity and Displaced Communications
David Kaplan's semantic theory for indexicals yields a distinct logic for indexical languages that generates contingent a priori truths. These special truths of the logic of indexicals include examples like "I am here now", an utterance of which ...
Graham Stevens
doaj +1 more source
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
Toward Full Interoperability in Materials Science: Integrating Workflows With Knowledge Graphs
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 +14 more
wiley +1 more source
Supporting AI Readiness Through Digital Workflows in Materials Science
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 +67 more
wiley +1 more source
3vLTL: A Tool to Generate Automata for Three-valued LTL
Multi-valued logics have a long tradition in the literature on system verification, including run-time verification. However, comparatively fewer model-checking tools have been developed for multi-valued specification languages.
Belardinelli, Francesco +2 more
doaj +1 more source
Russian Language in the Global Linguocultural Space
As the planetary civilization enters a qualitatively new era, the dialectical contradiction inevitably grows: national-cultural - globally universal. Obviously, in its resolution, not the last place belongs to the languages of the peoples of the world ...
Vladimir G. Egorov
doaj +1 more source
The physical realization of artificial neurons is a critical challenge for energy‐efficient neuromorphic computing. This review presents a comprehensive analysis of the evolution of artificial neuron implementations from conventional CMOS to emerging post‐CMOS technologies.
Kannan Udaya Mohanan +4 more
wiley +1 more source
Logical pluralism and linguistic relativism:
This paper aims to connect two debates about the relation among language, reasoning and thought that belong to different theoretical and disciplinary fields, but that are closely linked.
Jorge Alejandro Santos +2 more
doaj +1 more source
Physics‐Grounded Materials Artificial Intelligence for Reliable Materials Discovery
Physics‐Grounded Materials AI (PhysMat AI) integrates physical priors, descriptors, constraints, verification, and data infrastructure into a unified full‐stack framework, enabling reliable, interpretable, and autonomous AI‐driven materials discovery.
Yuhang Wang +3 more
wiley +1 more source

