Results 51 to 60 of about 8,603 (263)

Semantic Modeling in Materials Science and Engineering With Platform MaterialDigital Core Ontology 3.0

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, Philipp von Hartrott, Jörg Waitelonis, Thomas Hanke, Henk Birkholz, Hossein Beygi Nasrabadi, Khashayar Razghandi, Kamilla Zaripova, Felix Thonagel, Fabian Neuhaus, Martin Glauer, Lars Vogt, Harald Sack, Lutz Mädler, Bernd Bayerlein, Chris Eberl   +15 more
wiley   +1 more source

Metalinguistic Monstrosity and Displaced Communications

Dialectica, 2022
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

Neuromorphic Electronics for Intelligence Everywhere: Emerging Devices, Flexible Platforms, and Scalable System Architectures

Advanced Materials, EarlyView.
The perspective presents an integrated view of neuromorphic technologies, from device physics to real‐time applicability, while highlighting the necessity of full‐stack co‐optimization. By outlining practical hardware‐level strategies to exploit device behavior and mitigate non‐idealities, it shows pathways for building efficient, scalable, and ...
Kapil Bhardwaj, Roshni Satheesh Babu, Yuxin Xia, Eva Bestelink, Radu Sporea, Nikos Hastas, Ioannis Zeimpekis, Dimitra G. Georgiadou, Sayani Majumdar   +8 more
wiley   +1 more source

A Tableau Prover for Natural Logic and Language [PDF]

Proceedings of the 2015 Conference on Empirical Methods in Natural Language Processing, 2015
Modeling the entailment relation over sentences is one of the generic problems of natural language understanding. In order to account for this problem, we design a theorem prover for Natural Logic, a logic whose terms resemble natural language expressions.
openaire   +2 more sources

Biointegrated Battery‐Based Electroceuticals

Advanced Materials, EarlyView.
Biointegrated batteries go beyond passive power to serve as active therapeutic platforms for delivering programmable electrical cues and bioactive agents. This review examines their mechanisms and applications and provides a framework to guide battery‐based therapeutic design and clinical translation.
Yan Zhou, Zhilian Yue, Zhiqi Chen, Danming Chao, Xiaoteng Jia, Gordon Wallace, Caiyun Wang   +6 more
wiley   +1 more source

On‐Chip Photonic Neural Network Architectures

Advanced Optical Materials, EarlyView.
This review presents a comprehensive overview of on‐chip photonic neural network architectures, covering key photonic building blocks, representative network types, and emerging applications. Recent advances, implementation challenges, and future directions are examined, highlighting the potential of integrated photonics to enable ultrafast, energy ...
Seokjin Hong, Berkay Neseli, Seungyeon Cho, Seungsoo Lee, Yeonjun Kim, Seungyoon Choi, Hyo‐Hoon Park, Hamza Kurt   +7 more
wiley   +1 more source

3vLTL: A Tool to Generate Automata for Three-valued LTL

Electronic Proceedings in Theoretical Computer Science, 2023
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, Ferrando, Angelo, Malvone, Vadim   +2 more
doaj   +1 more source

Russian Language in the Global Linguocultural Space

RUDN Journal of Language Studies, Semiotics and Semantics, 2021
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

Grounding Large Language Models for Robot Task Planning Using Closed‐Loop State Feedback

Advanced Robotics Research, EarlyView.
BrainBody‐Large Language Model (LLM) introduces a hierarchical, feedback‐driven planning framework where two LLMs coordinate high‐level reasoning and low‐level control for robotic tasks. By grounding decisions in real‐time state feedback, it reduces hallucinations and improves task reliability.
Vineet Bhat, Ali Umut Kaypak, Prashanth Krishnamurthy, Ramesh Karri, Farshad Khorrami   +4 more
wiley   +1 more source

Logical pluralism and linguistic relativism:

Filosofia Unisinos
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, Alba Massolo, Santiago Durante   +2 more
doaj   +1 more source