Results 71 to 80 of about 42,644,411 (279)

Structural operational semantics for Kernel Andorra Prolog [PDF]

, 1991
Kernel Andorra Prolog is a framework for nondeterministic concurrent constraint logic programming languages. Many languages, such as Prolog, GHC, Parlog, and Atomic Herbrand, can be seen as instances of this framework, by adding specific constraint systems and constraint operations, and optionally by imposing further restrictions on the language and ...
Seif Haridi, Catuscia Palamidessi
openaire   +1 more source

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

Process Algebras [PDF]

, 2011
Process Algebras are mathematically rigorous languages with well defined semantics that permit describing and verifying properties of concurrent communicating systems.
De Nicola, Rocco, De Nicola, R
core   +1 more source

ARLOS: Adaptive Forecasting and Risk-Calibrated Load Operation in Distribution Substations Under Distribution Shift

Energies
Forecast accuracy alone is an incomplete proxy for operational value when load distributions change. This paper presents ARLOS, an auditable forecast–uncertainty–decision framework that combines static and adaptive XGBoost forecasts, rolling performance ...
Juan Carlos Castillo, Alba Miranda, Jessica N. Castillo, Jose E. Naranjo   +3 more
doaj   +1 more source

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, Alexey Boubnov, Dario De Angelis, Catriona Eschke, Maximilian Kabbe, Felix Kraus, Mirco Panighel, Richard Thelen, Davide Valentinis   +8 more
wiley   +1 more source

Interpreting Multi-Branch Anti-Spoofing Architectures: Correlating Internal Strategy with Empirical Performance

Mathematics
Multi-branch deep neural networks like AASIST3 achieve state-of-the-art comparable performance in audio anti-spoofing, yet their internal decision dynamics remain opaque compared to traditional input-level saliency methods.
Ivan Viakhirev, Kirill Borodin, Mikhail Gorodnichev, Grach Mkrtchian   +3 more
doaj   +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, Sarath Menon, Raphael Röske, Johannes Steinhülb, Michael Selzer, Jan Janssen, Tilmann Hickel, Ruth Schwaiger, Jörg Neugebauer   +8 more
wiley   +1 more source

Simultaneous Structural Monitoring over Optical Ground Wire and Optical Phase Conductor via Chirped-Pulse Phase-Sensitive Optical Time-Domain Reflectometry

Sensors
Optimizing the use of existing high-voltage transmission lines demands real-time condition monitoring to ensure structural integrity and continuous service.
Jorge Canudo, Pascual Sevillano, Andrea Iranzo, Sacha Kwik, Javier Preciado-Garbayo, Jesús Subías   +5 more
doaj   +1 more source

Automata-based Static Analysis of XML Document Adaptation [PDF]

Electronic Proceedings in Theoretical Computer Science, 2012
The structure of an XML document can be optionally specified by means of XML Schema, thus enabling the exploitation of structural information for efficient document handling. Upon schema evolution, or when exchanging documents among different collections
Alessandro Solimando, Giorgio Delzanno, Giovanna Guerrini   +2 more
doaj   +1 more source

The connection between an event structure semantics and an operational semantics forTCSP

Acta Informatica, 1994
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Baier, Christel, Majster-Cederbaum, Mila
openaire   +4 more sources