Extra variables in a clause are variables which occur in the body but not in the head. It has been argued that extra variables are necessary and contribute to the expressive power of logic languages. In the rst part of this paper, we show that this is not true in general. For this purpose, we provide a simple syntactic transformation of each logic program into a logic program without extra vari...

Uncertain random variables are tools to deal with a mixture of uncertainty and randomness. A new concept of order statistics associated with uncertain random variables is proposed, and is applied to analyze k-out-of-n systems with uncertain random lifetimes. The chance distributions of order statistics of uncertain random variables are derived from the operational law of uncertain random variab...

the current study aims to measure the efficiency of primary health care units completed in health sector of rural azad jammu and kashmir (ajk) and to compare it across developed and deprived regions.operational efficiency and beneficiary efficiency of a total of 32 basic health units (bhus) were measured through data envelopment analysis (dea) by using different input and output variables. inde...

Extra variables in a clause are variables which occur in the body but not in the head. It has been argued that extra variables are necessary and contribute to the expressive power of logic languages. In the first part of this paper, we show that this is not true in general. For this purpose, we provide a simple syntactic transformation of each logic program into a logic program without extra va...

The continual generation and discharge of waste are currently considered two the main environmental problems worldwide. There several management options that can be applied, though anaerobic digestion (AD) process technology seems to one best, most reliable, feasible technological have attracted remarkable attention due its benefits, including renewable energy in form biogas biomethane. is a la...

review the literature of conservatism in financial reporting indicates the importance of conservatism in accounting profession. researchers have always tried to determine the degree and ways of conservatism in financial reporting and accounting, although this is not done easily, because there is not a direct measure of conservatism. however, conservatism has been one of the key principles in ac...

System reliability assessment is one of the major acts in the operation and maintenance of every industrial and service sector, which also holds true for maritime transportation system. The complexity of the maritime transportation system is a prime obstacle in the evaluation of the operational reliability of the system; mainly due to the fact that statistical data on the important parameters a...

The Trial Court Performance Standards (TCPS), a comprehensive organizational court performance system, were 10 years in the making. TCPS significantly advanced the scope of inquiry of performance measurement of the courts and other components of the justice system from one of conceptualization and identification of constructs, variables, and operational definition to one of critical review and ...