This paper proposes a new approach for determining efficient DMUs in DEA models using inverse optimi-zation and without solving any LPs. It is shown that how a two-phase algorithm can be applied to detect effi-cient DMUs. It is important to compare computational performance of solving the simultaneous linear equa-tions with that of the LP, when computational issues and complexity analysis are a...

A method for symbolically computing conservation laws of nonlinear partial differential equations (PDEs) in multiple space dimensions is presented in the language of variational calculus and linear algebra. The steps of the method are illustrated using the ZakharovKuznetsov and Kadomtsev-Petviashvili equations as examples. The method is algorithmic and has been implemented in Mathematica. The s...

In this paper we discuss the problem of calculating the reach able states of a dynamical system de ned by ordinary di erential equa tions or inclusions We present a prototype system for approximating this set and demonstrate some experimental results

In this paper we consider solving the single layer integral equa tion on a closed surface in R The numerical method is based on Galerkin s method with spherical polynomials as the approximation ing functions We study the error of the approximating solution in suitable Sobolev spaces

For nite convergent term-rewriting systems the equational uniication problem is shown to be recursively independent of the equa-tional matching problem, the word matching problem, and the (simultaneous) 2 nd-order equational matching problem. We also present some new decidability results for simultaneous equational uniication and 2 nd-order equational matching.

The system of equations describing a nonstationary ow of a quasi-newtonian uid, with temperature dependent viscosity and with the viscous heating, is considered. Existence of at least one weak solution is proved, i.e. we get existence of at least one velocity eld having nite energy and existence of a nonnegative temperature eld. Its regularity is a consequence of the L 1-forcing term generated ...

We show that a suitable abstraction of the notion of term-algebra, called compositum, can be used to capture in a precise mathematical way the intuition that the category of algebras of most (order-sorted) equational theories is completely characterised by their term-model. We also use the relationship between composita and order-sorted equa-tional theories to show that every order-sorted compo...

Ins sti it tute e of f f M Med d dic ic i a a al R R Rese ea earch, h, C C Cla lay yt yto on on, V V Victo or ori ia, A A Aus st stra ra alia a a # # # co cont ntri i ribu bute ted d d eq equa uall ll lly y Abstract: Background—Heart attacks and strokes, leading causes of deaths globally, arise from