The logic of information flows (LIF) is a general framework in which tasks procedural nature can be modeled declarative, logic-based fashion. first contribution this article to propose semantic and syntactic definitions inputs outputs LIF expressions. We study how the two relate show that our definition optimal sense made precise. second systematic expressive power sequential composition LIF. O...

Traditional data envelopment analysis (DEA) models evaluate two-stage decision making unit (DMU) as a black box and neglect the connectivity may exist among the stages. This paper looks inside the system by considering the intermediate activities between the stages where the first stage uses inputs to produce outputs which are the inputs to the second stage along with its own inputs. Additional...

data envelopment analysis (dea) is an approach for evaluating performances of decision making units (dmus). the performances of dmus are affected by the amount of sources that dmus used. usually increases in inputs cause increases in outputs. however, there are situations where increases in one or more inputs generate a reduction in one or more outputs. in such situations there is congestion in...

data envelopment analysis (dea) is a branch of management, concerned with evaluating the performances of homogeneous decision making units (dmus). the performances of dmus are affected by the amount of sources that dmus used. usually increases in inputs cause increases in outputs. however, there are situations where increase in one or more inputs generate a reduction in one or more outputs. in ...