Results 121 to 130 of about 57,211 (297)

Structural operational semantics as a basis for static program analysis [PDF]

, 1996
Daniel Le Métayer, David Schmidt
openalex   +1 more source

Generating Specialized Interpreters for Modular Structural Operational Semantics

, 2014
Modular Structural Operational Semantics (MSOS) is a variant of Structural Operational Semantics (SOS). It allows language constructs to be specified independently, such that no reformulation of existing rules in an MSOS specification is required when a language is extended with new constructs and features.
Casper Bach Poulsen, Peter D. Mosses
openaire   +2 more sources

Structural operational semantics through context-dependent behaviour

The Journal of Logic and Algebraic Programming, 2011
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Colvin, Robert J., Hayes, Ian J.
openaire   +2 more sources

Multimodal Wearable Biosensing Meets Multidomain AI: A Pathway to Decentralized Healthcare

Advanced Science, EarlyView.
Multimodal biosensing meets multidomain AI. Wearable biosensors capture complementary biochemical and physiological signals, while cross‐device, population‐aware learning aligns noisy, heterogeneous streams. This Review distills key sensing modalities, fusion and calibration strategies, and privacy‐preserving deployment pathways that transform ...
Chenshu Liu, Haolin Fan, Minwoo Kim, Tong Zhou, Pinyi Yang, Lingdi Zhao, Yiran Wang, Ziyuan Che, Chia‐Wei Liu, Bingbing Li, Yangzhi Zhu   +10 more
wiley   +1 more source

Machine Learning-Based Damage Diagnosis in Floating Wind Turbines Using Vibration Signals: A Lab-Scale Study Under Different Wind Speeds and Directions

Sensors
Floating wind turbines (FWTs) operate in offshore environments under harsh and varying operating conditions, making frequent in situ monitoring dangerous for maintenance teams and costly for operators. Remote and automated diagnosis, including the stages
John S. Korolis, Dimitrios M. Bourdalos, John S. Sakellariou   +2 more
doaj   +1 more source

Peroxidase‐Mimicking Nanozymes for Rapid Detection of Infectious Diseases

Advanced Science, EarlyView.
Peroxidase‐mimicking nanozymes (PMNs) have emerged as robust and versatile materials for rapid infectious disease diagnostics. This review highlights the rational design and controlled synthesis of PMNs, summarizes key biomarkers relevant to infectious diseases, examines their integration into diverse rapid detection platforms, and highlights ...
Shikuan Shao, Victor Fernandez‐Gonzalez, Xiaochuan Wang, Blake Pylipow, Claudia Herrera, Xiaohu Xia   +5 more
wiley   +1 more source

Disentangling the relationships between denomination of origin regulatory councils activities and Spanish wineries' export performance

Agribusiness, EarlyView.
Abstract World markets for quality differentiated agri‐food products are highly competitive, presenting significant challenges for firms aiming to compete effectively. Government agencies and business organizations often implement various export promotion policies to address these challenges.
Nicolás Depetris‐Chauvin, Marta Fernández‐Olmos   +1 more
wiley   +1 more source

Motion Characteristics Analysis of the Wave Glider Under Wave and Current Coupling

Journal of Marine Science and Engineering
The wave glider is an unmanned marine observation platform propelled by wave energy. Accurate prediction of its motion performance is crucial for structural design and motion control. This paper presents a four-degree-of-freedom nonlinear coupled dynamic
Paixia Li, Liangtian Gu, Liucun Zhu
doaj   +1 more source

Proceedings Combined 28th International Workshop on Expressiveness in Concurrency and 18th Workshop on Structural Operational Semantics

, 2021
Ornela Dardha, Valentina Castiglioni
openalex   +1 more source

The origins of structural operational semantics

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