Results 161 to 170 of about 9,622,877 (367)
RustBelt: securing the foundations of the rust programming language
Proc. ACM Program. Lang., 2017 Ralf Jung +3 more
semanticscholar +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
A newly developed free software tool set for averaging electroencephalogram implemented in the Perl programming language. [PDF]
Heliyon, 2020 Suwazono S, Arao H.
europepmc +1 more source
MASPLAS'98: Mid-Atlantic Student Workshop on Programming Languages and Systems
, 1998 Barbara G. Ryder, Matthew Arnold
openalex +1 more source
Advanced Engineering Materials, EarlyView.This article provides an overview of recent advancements in bulk processing of rare‐earth‐free hard magnetic materials. It also addresses related simulation approaches at different scales. The research on rare‐earth‐free magnetic materials has increased significantly in recent years, driven by supply chain issues, environmental and social concerns, and
Daniel Scheiber, Andrea Bachmaier
wiley +1 more source
Advanced Engineering Materials, EarlyView.Herein, environmental scanning electron microscopy (ESEM) is discussed as a powerful extension of conventional SEM for life sciences. By combining high‐resolution imaging with variable pressure and humidity, ESEM allows the analysis of untreated biological materials, supports in situ monitoring of hydration‐driven changes, and advances the functional ...
Jendrian Riedel +6 more
wiley +1 more source
Categorial Heterogeneous Algebraic Models of Programming Languages
, 1983 Nisse Husberg
openalex +2 more sources
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
Programming Language Foundations in Agda
Brazilian Symposium on Formal Methods, 2018 P. Wadler
semanticscholar +1 more source