while the conventional dea based production plans aim to minimize all the inputs consumption and maximize all the outputs production, there are many real world production systems may also generate undesirable by-products. one methodological difficulty associated with the previous dea-based production planning models is how to incorporate undesirable factors in the planning models, while the sim...

The existing testing theories for CSP cater verification of interaction patterns (traces) and deadlocks, but not time. We address here refinement based on a dialect CSP, called tock -CSP, which can capture discrete time properties. This version has been widespread interest decades; recently, it given denotational semantics, model checking become possible using well established tool. Here, we fi...

Resource allocation and optimal leveling are among the top challenges in project management. This paper presents a DEA-based procedure for determining an optimal level of inputs to produce a fixed level of outputs. To achieve this goal, we assume that the levels of outputs can be forecasted in the next season and the procedure will determine optimal level of inputs for all DMUs. Such as some of...

this paper proposes a suitable benchmark for inefficient commercial bank branches by using data envelopment analysis (dea). in order to render an inefficient bank branch efficient, it is necessary to decrease inputs and increase outputs. as there are priorities for decreasing some certain inputs and increasing some certain outputs over other inputs and outputs, respectively, it is necessary to ...

In traditional data envelopment analysis (DEA) the uncertainty of inputs and outputs is not considered when evaluating the performance of a unit. In other words, effects of uncertainty on optimality and feasibility of models are ignored. This paper introduces a new model for measuring the efficiency of decision making units (DMUs) having interval inputs and outputs. The proposed model is based ...