Results 71 to 80 of about 6,120 (267)
Science & Philosophy, 2017 In this essay several aspects of the concept ‘indicator’ are criticized, as well as the technical consequences of those misconceptions. The most relevant among them is the pretence of measuring the validity of an indicator, e. g.
Alberto Marradi
doaj +1 more source
Operational and denotational semantics of prolog
The Journal of Logic Programming, 1987 A Vienna Definition Language operational semantics of PROLOG, which includes the cut, the database, and the extra-logical operations, is presented. This semantics serves as the basis for deriving a denotational-continuation-style semantics of PROLOG through a systematic transformation of the operational semantics by a method described by Berry.
Bijan Arbab, Daniel M. Berry
openaire +1 more source
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 +3 more
wiley +1 more source
Stepped Frequency Microwave Radiometer Wind-Speed Retrieval Improvements
Remote Sensing, 2019 With the operational deployment of the *SFMR, hurricane reconnaissance and research aircraft provide near real-time observations of the 10 m ocean-surface wind-speed both within and around tropical cyclones.
Joseph W. Sapp +4 more
doaj +1 more source
On the operational semantics of nondeterminism and divergence
Theoretical Computer Science, 1996 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
M. Hakan Erdogmus +2 more
openaire +2 more sources
Operational Semantics of Security Protocols [PDF]
, 2005 Based on a concise domain analysis we develop a formal semantics of security protocols. Its main virtue is that it is a generic model, in the sense that it is parameterized over e.g. the intruder model. Further characteristics of the model are a straightforward handling of parallel execution of multiple protocols, locality of security claims, the ...
S. Mauw (Sjouke), C.J.F. Cremers (Cas)
openaire +3 more sources
The PRIMA Thesaurus for Materials Science and Engineering
Advanced Engineering Materials, EarlyView.The PRIMA Thesaurus is a structured vocabulary designed to improve how materials science data is described and shared. Developed with input from multiple experts, it enables clear documentation of research workflows, data exchange, and reuse across platforms.
Rossella Aversa +8 more
wiley +1 more source
A Lightweight Procedural Layer for Hybrid Experimental–Computational Workflows in Materials Science
Advanced Engineering Materials, EarlyView.We unveil a prototype hybrid‐workflow framework that fuses automatedcomputation with hands‐on experiments. Built atop pyiron, a lightweight, parameterized layer translates procedure descriptions into executable manual steps, syncing instrument settings, human interventions, and data capture in real‐time today.
Steffen Brinckmann +8 more
wiley +1 more source
Multi-Agent Systems with Information Sharing: Strategies and Model Checking
Applied SciencesWe introduce a prototyping language for multi-agent systems with information sharing, allowing agents to act in parallel and to migrate between distributed locations according to explicit timers.
Bogdan Aman, Gabriel Ciobanu
doaj +1 more source
A Fibrational Tale of Operational Logical Relations: Pure, Effectful and Differential [PDF]
Logical Methods in Computer ScienceLogical relations built on top of an operational semantics are one of the most successful proof methods in programming language semantics. In recent years, more and more expressive notions of operationally-based logical relations have been designed and ...
Francesco Dagnino, Francesco Gavazzo
doaj +1 more source