Compensating CSP (cCSP) is a language defined to model long running business transactions within the framework of standard CSP process algebra. In earlier work, we have defined both traces and operational semantics of the language. We have shown the consistency between the two semantic models by defining a relationship between them. Synchronization was missing from the earlier semantic definiti...

Clouds play an important role in regulating atmospheric dynamics and thermodynamics by redistributing momentum, thermal and moisture through mixing, latent heat release, and microphysical processes. However, conventional observational data for such important parameters are usually not available. An operational cloud verification system is being developed at the Joint Center for Satellite Data A...

Previous research has found that organizations that align their operational marketing and technological capabilities with changing market conditions eventually achieve evolutionary fitness in terms of organizational survival and firm growth. Dynamic capabilities comprise the processes of opportunity identification and reconfiguring of operational capabilities which are required to align operati...

The author previously [16,15] defined CSP-like operational semantics whose main restrictions were the automatic promotion of most τ actions, no cloning of running processes, and no negative premises in operational semantic rules. He showed that every operator with such an operational semantics can be translated into CSP and therefore has a semantics in every model of CSP. In this paper we demon...

In this paper, the large deviation approach for computing the capital charge for operational risk of a bank is explored. Firstly, the negatively-associated structure is utilized to measure the dependence between distinct operational loss cells. Secondly, the lower and upper bounds of the tail distribution function of total aggregated loss processes are determined. In addition, first order appro...

A proof is provided of the operational achievability of Rrt by the recursive training scheme in [1], for general wide-sense stationary and ergodic Rayleigh fading processes.

One of the key applications of operational research in health systems management is to improve the mechanism of resource allocation and program planning in order to increase the system efficiency. This study seeks to offer an innovative method for the planning and scheduling of health service units with the aim of reducing the patients' Length of Stay (LOS) in the Cardiac Surgery Ward of Razavi...

Notice This document is disseminated under the sponsorship of the Department of Transportation in the interest of information exchange. The United States Government assumes no liability for its contents or use thereof. Commercial Vehicle Administrative (CVO) Processes Cross-Cutting report summarizes and interprets the results of several Field Operational Tests (FOTs) conducted to evaluate syste...