Results 21 to 30 of about 47,990 (216)

Mathematical Logic in Computer Science

CoRR, 2018
The article retraces major events and milestones in the mutual influences between mathematical logic and computer science since the 1950s.
openaire   +3 more sources

Self‐Regulated Learning Meets AI: Reinterpreting Self‐Regulation, Co‐Regulation, and Socially Shared Regulation in Human–AI Interaction

New Directions for Adult and Continuing Education, EarlyView.
ABSTRACT Advancing artificial intelligence (AI) has transformed learning and work, yet higher education and professional development programs have not systematically equipped learners for AI‐prevalent environments. This lack of preparation creates uncertainty regarding control, responsibility, trust, and accountability.
Moon‐Heum Cho, Jerusalem Merkebu
wiley   +1 more source

Nationwide Survey of Association Between Fever and Epileptic Seizure in CDKL5 Deficiency Disorder Revealed Therapeutic Implications

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective CDKL5 deficiency disorder (CDD) is a rare, severe developmental and epileptic encephalopathy. There is a pressing need to develop effective and sustainable therapeutic strategies. We aimed to investigate the causal association between febrile episodes and epileptic seizures for therapeutic implications in CDD patients.
Siyi Wang, Jialin Du, Jinghui Liu, Dongmei Hu, Hongxin Wang, Xiaoxiao Man, Lehong Gao, Shimin Hu, Xianghong Meng, Hongyang Zhao, Minjing Hu, Yingxue Yang, Zhiqi Xiong, Liankun Ren   +13 more
wiley   +1 more source

NFDI MatWerk Ontology (MWO): A BFO‐Compliant Ontology for Research Data Management in Materials Science and Engineering

Advanced Engineering Materials, EarlyView.
This article presents the NFDI‐MatWerk Ontology (MWO), a Basic Formal Ontology‐based framework for interoperable research data management in materials science and engineering (MSE). Covering consortium structures, research data management resources, services, and instruments, MWO enables semantic integration, Findable, Accessible, Interoperable, and ...
Hossein Beygi Nasrabadi, Ebrahim Norouzi, Kostiantyn Hubaiev, Jörg Waitelonis, Harald Sack   +4 more
wiley   +1 more source

Field Report from Collaborative Research Center 1625: Heterogeneous Research Data Management Using Ontology Representations

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, Samuel García Vázquez, Behnam Mardani, Victor Dudarev, Alfred Ludwig, Maribel Acosta, Markus Stricker   +6 more
wiley   +1 more source

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, Prithwish Tarafder, Anton Wiberg, Huanyu Li, Johan Moverare, Patrick Lambrix   +5 more
wiley   +1 more source

Karl Popper and the Mechanisms of Hydrogen Embrittlement

Advanced Engineering Materials, EarlyView.
Representation of the beginning of loss of ductility rather than embrittlement. Small concentrations of hydrogen in a diffusible form within iron are well‐established to harm the mechanical integrity of steels. There are theories that attempt to explain the pernicious role of hydrogen.
H. K. D. H. Bhadeshia
wiley   +1 more source

Linear logic in computer science [PDF]

Journal of Applied Mathematics and Computational Mechanics, 2015
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
William Steingartner, Andrea Poláková, Peter Prazňák, Valerie Novitzká   +3 more
openaire   +3 more sources

Is an Apple an Orange? A Large Language Model Benchmark for Candidate Term Extraction and Subclass Decisions Against Upper Ontologies in Engineering and Materials Science

Advanced Engineering Materials, EarlyView.
Building machine‐readable vocabularies for materials science is slow, expert‐driven work. This study benchmarks 13 large language models on two of its first steps: finding candidate terms in engineering articles and deciding where they belong in a class hierarchy.
Thomas Bjarsch, Maximilian Holland, Klaus Drechsler, Johannes Schilp   +3 more
wiley   +1 more source

PASTA‐ELN: Simplifying Research Data Management for Experimental Materials Science

Advanced Engineering Materials, EarlyView.
Research data management faces ongoing hurdles as many ELNs remain complex and restrictive. PASTA‐ELN offers an open‐source, cross‐platform solution that prioritizes simplicity, offline access, and user control. Its in tuitive folder structure, modular Python add‐ons, and open formats enable seamless documentation, FAIR data practices, and easy ...
S. Brinckmann, G. Winkens, R. Schwaiger
wiley   +1 more source