Operational semantics provide a simple, high-level and elegant means of specifying interpreters for programming languages. In natural semantics, a form of operational semantics, programs are traditionally represented as first-order tree structures and reasoned about using natural deduction-like methods. Hannan and Miller combined these methods with higher-order representations using .\Prolog. I...

This study extends the conventional and superficial notion of measuring digital skills by proposing definitions for operational, formal, information and strategic skills. The main purpose was to identify individual skill related problems that users experience when navigating the Internet. In particular, lower levels of education and aging seem to contribute to the amount of experienced operatio...

This application report introduces the concept of electromagnetic interference rejection ratio (EMIRR IN+) as a measure of the immunity of an operational amplifier to responding to electromagnetic interference (EMI). Texas Instruments has developed the ability to accurately measure and quantify the immunity of an operational amplifier over a broad frequency spectrum extending from 10 MHz to 6 G...

Empirical studies and surveillance projects increasingly assess and address potentially adverse psychological health outcomes from the stress of military operations, but no standards yet exist for common concept definitions, variable categories, and measures. This article reports the consensus recommendations of the federal interagency Operational Stress Working Group for common data elements t...

This paper shows how rewriting logic semantics (RLS) can be used as a computational logic framework for operational semantic definitions of programming languages. Several operational semantics styles are addressed: big-step and small-step structural operational semantics (SOS), modular SOS, reduction semantics with evaluation contexts, and continuation-based semantics. Each of these language de...

We show how one can use rewriting logic to faithfully capture (not implement) various operational semantic frameworks as rewrite logic theories, namely big-step and small-step semantics, reduction semantics using evaluation contexts, and continuation-based semantics. There is a one-to-one correspondence between an original operational semantics and its associated rewrite logic theory, both nota...

The concept of twinning an operational physical system with a functional replica is not new, having been practiced in the space sector for over 50 years. Advances digitalisation have created opportunities to extract data, obtain insights and achieve greater situational awareness system’s performance. Increasing interest has led proliferation digital twin definitions, which are used frame discus...

Business stakeholders need to have clear and realistic goals if they want to meet commitments in application development. As a consequence, at early stages they prioritize requirements. However, requirements do change. The effect of change forces the stakeholders to balance alternatives and reprioritize requirements accordingly. In this paper we discuss the problem of priorities to non-function...

Organizations responsible for secure power system operations need to model their systems and portions of neighboring systems in support of control and security functions. In the USA, the restructuring of the electric utility industry emphasizes the need to exchange operational system models for Independent System Operators (ISO) and Regional Transmission Organizations (RTO). These models need t...

Systematic conservation planning (SCP) is a field of conservation biology concerned with delivering on-the-ground actions that achieve conservation goals. It describes a set of operational models that cover both design and implementation of conservation, with a strong focus on mobilising the collective action typically required to implement conservation. SCP, as it was originally described, was...