a characteristic of data envelopment analysis (dea) is to allow individual decision making units (dmus) to select the factor weights which are the most advantageous for them in calculating their efficiency scores. this flexibility in selecting the weights, on the other hand, deters the comparison among dmus on a common base. for dealing with this difficulty and assessing all the dmus on the sam...

Necessary and Sufficient Conditions for State-Space Network Realization Philip E. Paré Department of Computer Science, BYU Master of Science This thesis presents the formulation and solution of a new problem in systems and control theory, called the Network Realization Problem. Its relationship to other problems, such as State Realization [1] and Structural Identifiability [2], is shown. The mo...

The overall goal of this paper is to investigate the theoretical foundations of algorithmic verification techniques for first order linear logic specifications. The fragment of linear logic we consider in this paper is based on the linear logic programming language called LO (Andreoli and Pareschi 1990) enriched with universally quantified goal formulas. Although LO was originally introduced as...

calculation of lateral earth pressure on retaining walls is one of the main issues in geotechnics. the upper and lower bound theorems of plasticity are used to analyze the stability of geotechnical structures include bearing capacity of foundations, lateral earth pressure on retaining walls and factor of safety of slopes. in this paper formulation of finite element limit analysis is introduced ...

Complex biological systems, by definition, are composed of multiple components that interact non-linearly. The human brain constitutes, arguably, the most complex biological system known. Yet most investigation of the brain and its function is carried out using assumptions appropriate for simple systems-univariate design and linear statistical approaches. This heuristic must change before we ca...

By using goal programming to enhance the linear programming of Timber RAM, multiple decision criteria were incorporated in the timber management planning of a National Forest in the southeastern United States. Combining linear and goal programming capitalizes on the advantages of the two techniques and produces operationally feasible solutions. This enhancement may also be applicable to linear ...

We present a proof-theoretic foundation for logic programming in Girard's linear logic. We exploit the permutability properties of two-sided linear sequent calculus to identify appropriate notions of uniform proof, deenite formula, goal formula, clause and resolution proof for fragments of linear logic. The analysis of this paper extends earlier work by the present authors to include negative o...