Results 101 to 110 of about 566,633 (340)
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
stanhf: HistFactory models in the probabilistic programming language Stan
European Physical Journal C: Particles and FieldsIn collider physics, experiments are often based on counting the numbers of events in bins of a histogram. We present a new way to build and analyze statistical models that describe these experiments, based on the probabilistic programming language Stan ...
Andrew Fowlie
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
Cryptographic Stack Machine Notation One
Труды Института системного программирования РАН, 2018 A worthy cryptographic protocol specification has to be human-readable (declarative and concise), executable and formally verified in a sound model. Keeping in mind these requirements, we present a protocol message definition notation named CMN.1, which ...
S. E. Prokopev
doaj +1 more source
Advanced Functional Materials, EarlyView.In this study, the interplay of dipolar dynamics and ionic charge transport in MOF compounds is investigated. Synthesizing the novel structure CFA‐25 with integrated freely rotating dipolar groups, local and macroscopic effects, including interactions with Cs cations are explored.
Ralph Freund +6 more
wiley +1 more source
Positive‐Tone Nanolithography of Antimony Trisulfide with Femtosecond Laser Wet‐Etching
Advanced Functional Materials, EarlyView.A butyldithiocarbamic acid (BDCA) etchant is used to fabricate various micro‐ and nanoscale structures on amorphous antimony trisulfide (a‐Sb2S3) thin film via femtosecond laser etching. Numerical analysis and experimental results elucidate the patterning mechanism on gold (reflective) and quartz (transmissive) substrates.
Abhrodeep Dey +12 more
wiley +1 more source
Formal Specification in “Z” Language by Software Z/EVES
Advances in Electrical and Electronic Engineering, 2006 The paper shows a short overview of representation formalisms, which can be used for specification of technical system functional requirements. Some basic model schemas of function called User Identification of ITS are presented by formal specification ...
Josef Svec, Jiri Zahradnik
doaj
SitLog: A Programming Language for Service Robot Tasks
International Journal of Advanced Robotic Systems, 2013 In this paper we present SitLog: a declarative situation-oriented logical language for programming situated service robot tasks. The formalism is task and domain independent, and can be used in a wide variety of settings.
Luis A. Pineda +4 more
doaj +1 more source
The realisation of JSD specifications in object oriented languages [PDF]
, 1991 Colin T. Lewis
openalex +1 more source