Measuring the efficiency of real businesses is not a simple task, because a real business may involve several processes and sub-processes, forming a very complicated dynamic network of interactions. In this paper, a customized dynamic network data envelopment analysis (NDEA) model is proposed to measure the efficiency of the sub-processes in a real business. The proposed dynamic NDEA model is f...

It is a very challenging task to develop effective process control methodologies for multi-operational manufacturing processes. Although Statistical Process Control (SPC) has been widely used as the primary method in the control of quality, it mainly serves as a change detection tool rather than a method to identify root causes of process changes. This paper proposes a systematic approach to ov...

General frameworks have been recently proposed as unifying theories for processes combining non-determinism with quantitative aspects (such as probabilistic or stochastically timed executions), aiming to provide general results and tools. This paper provides two contributions in this respect. First, we present a general GSOS specification format and a corresponding notion of bisimulation for no...

We consider the problem of modeling syntax and semantics of probabilistic processes with continuous states (e.g. with continuous data). Syntax and semantics of these systems can be defined as algebras and coalgebras of suitable endofunctors over Meas, the category of measurable spaces. In order to give a more concrete representation for these coalgebras, we present an SOS-like rule format which...

Abstract. The recent increasing interplay between actuarial and financial mathematics has led to a surge of risk theoretic modeling. Especially actuarial ruin models under fairly general conditions on the underlying risk process have become a focus of attention. Motivated by applications to the modeling of operational risk losses in financial risk management, we investigate the stability of cla...

BACKGROUND The objective of this study is to determine the effect of day of the week, holiday, team admission and rotation schedules, individual attending physicians and their length of coverage on daily team discharge rates. METHODS We conducted a retrospective analysis of the General Internal Medicine (GIM) inpatient service at our institution for years 2005 and 2006, which included 5088 pa...

Business process models describe the way of working in an organization. Typically, business process models distinguish between the normal flow of work and exceptions to that normal flow. However, they often present an idealized view. This means that unexpected exceptions – exceptions that are not modelled in the business process model – can also occur in practice. This has an effect on the effi...

Operational variables of a mineral processing circuit are subjected to different variations. Steady-statesimulation of processes provides an estimate of their ideal stable performance whereas their dynamicsimulation predicts the effects of the variations on the processes or their subsequent processes. In thispaper, a dynamic simulator containing some of the major equipment of mineral processing...

The complexity of modern enterprises makes enterprise modeling a major issue. The need for integrating several different features requires a powerful modeling technique, such as CIMOSA, able to represent functional, control, informational and organizational aspects. However, the study of a system yields limited results as long as it only consists of inspecting a static model. More effective res...

In a Multi-operational Machining Process (MMP), final product variation is an accumulation, or stack-up of variations generated at all the manufacturing operations. In this paper, variation transmission in the MMP is analyzed by relating part variations to operational errors from machine tools, fixtures and datums. At each operation, total part variation is separated into several components cor...