Results 41 to 50 of about 42,644,411 (279)

Multi-Level Kinematic Spectral Response of a Floating Offshore Wind Turbine: Baseline Analysis Using Field Measurement Data

Journal of Marine Science and Engineering
Floating offshore wind turbines (FOWTs) experience coupled aero–hydro–servo-elastic excitations that produce structurally distinct kinematic responses at different measurement heights.
Xiang Ji, Lei Han, Yan Zhang
doaj   +1 more source

SOS-based Modal Decomposition on Nondeterministic Probabilistic Processes [PDF]

Logical Methods in Computer Science, 2018
We propose a method for the decomposition of modal formulae on processes with nondeterminism and probability with respect to Structural Operational Semantics.
Valentina Castiglioni, Daniel Gebler, Simone Tini   +2 more
doaj   +1 more source

A structural approach to operational semantics

The Journal of Logic and Algebraic Programming, 2004
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +3 more sources

On the specification of operations on the rational behaviour of systems [PDF]

Electronic Proceedings in Theoretical Computer Science, 2012
Structural operational semantics can be studied at the general level of distributive laws of syntax over behaviour. This yields specification formats for well-behaved algebraic operations on final coalgebras, which are a domain for the behaviour of all ...
Jurriaan Rot, Stefan Milius, Marcello M. Bonsangue   +2 more
doaj   +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, Katharine Lee, Kerry C. Nix, Miguel Menchaca, Xiwei Shé, Lorelei Santa Maria, Wei Wu, Zihuai He, Fiona M. Baumer   +8 more
wiley   +1 more source

Functional Big-step Semantics [PDF]

, 2016
When doing an interactive proof about a piece of software, it is important that the underlying programming language’s semantics does not make the proof unnecessarily difficult or unwieldy.
Kumar, R.,, Magnus O. Myreen, Tan, Yong Kiam, Myreen, Magnus O., Owens, S., Kumar, Ramana, Owens, S.,, Myreen, Magnus,, Yong Kiam Tan, Myreen, Magnus, Ramana Kumar, Kumar, R., Owens, Scott, Scott Owens, Tan, Yong Kiam,   +14 more
core   +1 more source

Modular Structural Operational Semantics with Strategies

Electronic Notes in Theoretical Computer Science, 2007
AbstractStrategies are a powerful mechanism to control rule application in rule-based systems. For instance, different transition relations can be defined and then combined by means of strategies, giving rise to an effective tool to define the semantics of programming languages.
Christiano Braga, Alberto Verdejo
openaire   +2 more sources

Comparing the Effect of Semi‐Immersive Virtual Reality, Computerized Cognitive Training, and Traditional Rehabilitation on Cognitive Function in Multiple Sclerosis: A Randomized Clinical Trial

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, Desiree Latella, Lilla Bonanno, Paulo Cezar Rocha dos Santos, Marcos Maldonado‐Díaz, Meir Plotnik, Rosaria De Luca, Angelo Quartarone, Rocco Salvatore Calabrò   +8 more
wiley   +1 more source

A Three-Stage Hierarchical Optimization Framework for Operational Imaging Performance in ΔV-Constrained Earth Observation Constellations

Applied Sciences
Earth observation satellite constellations must ensure rapid and reliable coverage of critical areas under propulsion constraints and environmental variability.
Magdalena Lewińska, Michał Kędzierski
doaj   +1 more source

Hierarchical states in the Compositional Interchange Format [PDF]

Electronic Proceedings in Theoretical Computer Science, 2010
CIF is a language designed for two purposes, namely as a specification language for hybrid systems and as an interchange format for allowing model transformations between other languages for hybrid systems.
H. Beohar, D.E. Nadales Agut, D.A. van Beek, P.J.L. Cuijpers   +3 more
doaj   +1 more source