Results 71 to 80 of about 57,646 (303)
Revisiting concurrent separation logic
, 2017 We present a new soundness proof of Concurrent Separation Logic (CSL) based on a structural operational semantics (SOS). We build on two previous proofs and develop new auxiliary notions to achieve the goal.
de Sousa, Simão Melo +2 more
core +1 more source
A uniform definition of stochastic process calculi [PDF]
, 2012 We introduce a unifying framework to provide the semantics of process algebras, including their quantitative variants useful for modeling quantitative aspects of behaviors.
De Nicola, Rocco +3 more
core +1 more source
Towards Defect Phase Diagrams: From Research Data Management to Automated Workflows
Advanced Engineering Materials, EarlyView.A research data management infrastructure is presented for the systematic integration of heterogeneous experimental and simulation data required for defect phase diagrams. The approach combines openBIS with a companion application for large‐object storage, automated metadata extraction, provenance tracking and federated data access, thereby supporting ...
Khalil Rejiba +5 more
wiley +1 more source
SensorsOptimizing the use of existing high-voltage transmission lines demands real-time condition monitoring to ensure structural integrity and continuous service.
Jorge Canudo +5 more
doaj +1 more source
An interface group for process components [PDF]
, 2007 We take a process component as a pair of an interface and a behaviour. We study the composition of interacting process components in the setting of process algebra.
C. A. Middelburg +5 more
core +5 more sources
A Knowledge‐Based Approach for Understanding and Managing Additive Manufacturing Data
Advanced Engineering Materials, EarlyView.Additive manufacturing processes generate a large amount of data. Effectively managing, understanding, and retrieving information from this data remains a major challenge. Therefore, we propose an ontology‐based approach to integrate heterogeneous data, enable semantic queries, and support decision‐making.
Mina Abd Nikooie Pour +5 more
wiley +1 more source
An Executable Structural Operational Formal Semantics for Python [PDF]
, 2021 Maximilian A. Köhl
openalex +1 more source
Enriched Lawvere Theories for Operational Semantics
, 2019 Enriched Lawvere theories are a generalization of Lawvere theories that allow us to describe the operational semantics of formal systems. For example, a graph enriched Lawvere theory describes structures that have a graph of operations of each arity ...
Baez, John C., Williams, Christian
core +1 more source
A static cost analysis for a higher-order language [PDF]
, 2012 We develop a static complexity analysis for a higher-order functional language with structural list recursion. The complexity of an expression is a pair consisting of a cost and a potential.
Danner, N., Paykin, J., Royer, J. S.
core +1 more source
Fostering Innovation: Streamlining Magnetocaloric Materials Research by Digitalization
Advanced Engineering Materials, EarlyView.Magnetocaloric cooling (MCE) is an environmentally friendly refrigeration method with great potential. Optimizing MCE materials involves the preparation and screening of large quantities of samples, which in turn generates a large amount of data. A digitalization approach is presented that uses ontologies, knowledge graphs, and digital workflows to ...
Simon Bekemeier +17 more
wiley +1 more source