Results 51 to 60 of about 57,646 (303)
Dynamic Structural Operational Semantics (preliminary version)
, 2012 We introduce Dynamic SOS as a framework for describing semantics of programming languages that include dynamic software upgrades. Dynamic SOS is built on top of theModular SOS of P.Mosses, with an underlying category theory formalization. Dynamic SOS wants to bring out the essential differences between dynamic upgrade constructs and execution ...
Christian Johansen, Olaf Owe
openalex +2 more sources
Executable Structural Operational Semantics in Maude [PDF]
, 2003 This paper describes in detail how to bridge the gap between theory and practice when implementing in Maude structural operational semantics described in rewriting logic, where transitions become rewrites and inference rules become conditional rewrite ...
Martí Oliet, Narciso +1 more
core +2 more sources
An Operational Petri Net Semantics for the Join-Calculus
, 2012 We present a concurrent operational Petri net semantics for the join-calculus, a process calculus for specifying concurrent and distributed systems. There often is a gap between system specifications and the actual implementations caused by synchrony ...
Mennicke, Stephan
core +2 more sources
A symbolic semantics for a clculus for service-oriented computing [PDF]
, 2009 We introduce a symbolic characterisation of the operational semantics of COWS, a formal language for specifying and combining service-oriented applications, while modelling their dynamic behaviour.
Pugliese, Rosario +2 more
core +1 more source
Elevated Connectivity During Language Processing Is Associated With Cognitive Performance in SeLECTS
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Self‐Limited Epilepsy with Centrotemporal Spikes (SeLECTS) is associated with language impairments despite seizures originating in the motor cortex, suggesting aberrant cross‐network interactions. Here we tested whether functional connectivity in SeLECTS during language tasks predicts language performance.
Wendy Qi +8 more
wiley +1 more source
Fluids, 2021 The accuracy of computational fluid dynamics (CFD) predictions plays a fundamental role in supporting the operation of the current nuclear reactor fleet, and even more importantly the licensing of advanced high-efficiency reactor concepts, where local ...
Jinyong Feng +2 more
doaj +1 more source
Lean and Full Congruence Formats for Recursion
, 2017 In this paper I distinguish two (pre)congruence requirements for semantic equivalences and preorders on processes given as closed terms in a system description language with a recursion construct.
van Glabbeek, Rob
core +1 more source
The Sigma-Semantics: A Comprehensive Semantics for Functional Programs [PDF]
, 1996 A comprehensive semantics for functional programs is presented, which generalizes the well-known call-by-value and call-by-name semantics. By permitting a separate choice between call-by value and call-by-name for every argument position of every ...
Chitil, Olaf
core +4 more sources
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Background Cognitive impairment is a common non‐motor symptom in Multiple Sclerosis (MS), negatively affecting autonomy and Quality of Life (QoL). Innovative rehabilitation strategies, such as semi‐immersive virtual reality (VR) and computerized cognitive training (CCT), may offer advantages over traditional cognitive rehabilitation (TCR ...
Maria Grazia Maggio +8 more
wiley +1 more source
Memory and Resting‐State Connectivity in Acute Transient Global Amnesia: A Case–Control fMRI Study
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Background and Objectives Transient global amnesia (TGA) is a striking model of isolated amnesia. While hippocampal lesions are well described, the network‐level mechanisms and the precise neuropsychological profile remain debated. Our objective was thus to characterize functional and neuropsychological correlates of acute TGA and their ...
Elias El Otmani +10 more
wiley +1 more source