Results 51 to 60 of about 16,537 (263)
Semantic categorization of content and process concepts relevant to computer science education [PDF]
International Journal of Research Studies in Computing, 2013 A major task in planning the computer science curriculum is the specification of teaching and learning contents. This work needs to be based on knowledge of the content and process concepts central to the discipline of computer science. These central concepts are applicable or observable in multiple domains of computer science, can be taught on every ...
Andreas Zendler +3 more
openaire +1 more source
A 57‐Year‐Old Male With Behavioral Variant Frontotemporal Dementia and MATR3 and NOS3 Mutations
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT This report presents a case of behavioral variant frontotemporal dementia caused by mutations in the MATR3 and NOS3 genes, aiming to analyze its clinical manifestations and genetic characteristics. For a case presenting with personality changes and gait abnormalities as the initial symptoms, this study conducted a comprehensive analysis of its
Feifei Lin, Saie Huang
wiley +1 more source
On More or Less Appropriate Notions of ‘Computation’
South African Computer Journal, 2018 Half a century after the emergence of computer science (a.k.a. informatics) as an academic discipline, the notion of “computation” is not yet “settled”. On the contrary: recent developments in the natural sciences, in mathematics, as well as in computer ...
Stefan Gruner, Andrew (Andy) Gravell
doaj +1 more source
Scholarly Big Data: Computational Approaches to Semantic Labeling in Materials Science
, 2021 Work presented at the workshop “Organizing Big Data, Information, and Knowledge” in ACM/JCDL 2020 (Association of Computing Machinery/Joint Conference on Digital Libraries).
Xintong Zhao +4 more
openaire +1 more source
What Do Large Language Models Know About Materials?
Advanced Engineering Materials, EarlyView.If large language models (LLMs) are to be used inside the material discovery and engineering process, they must be benchmarked for the accurateness of intrinsic material knowledge. The current work introduces 1) a reasoning process through the processing–structure–property–performance chain and 2) a tool for benchmarking knowledge of LLMs concerning ...
Adrian Ehrenhofer +2 more
wiley +1 more source
TRX: A Formally Verified Parser Interpreter [PDF]
Logical Methods in Computer Science, 2011 Parsing is an important problem in computer science and yet surprisingly little attention has been devoted to its formal verification. In this paper, we present TRX: a parser interpreter formally developed in the proof assistant Coq, capable of producing
Adam Koprowski, Henri Binsztok
doaj +1 more source
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 +4 more
wiley +1 more source
Conceptualising Programming Language Semantics
PhilosophiesThe semantics of programming languages tend to be discussed with high levels of formality; much of the previous research—both philosophical and historical—has investigated them from this perspective.
Troy Kaighin Astarte
doaj +1 more source
Neurolinguistics Research Advancing Development of a Direct-Speech Brain-Computer Interface
iScience, 2018 A direct-speech brain-computer interface (DS-BCI) acquires neural signals corresponding to imagined speech, then processes and decodes these signals to produce a linguistic output in the form of phonemes, words, or sentences.
Ciaran Cooney +2 more
doaj +1 more source
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