This paper uses elementary algebraic methods to obtain new proofs for theorems on algebraic relationships between the logarithmic and exponential functions. The main result is multivariate version of a special case of the ...

This paper examines a computer-programmed model for human recognition and description of scenes of objects that extend over time as well as space. When the scene contains several objects, the model will first output a ...

A program scheme which models straight line code admitting structured variables such as arrays, lists, queues, etc. is considered. A set of expressions is associated with a program reflecting the input-output tranformations. ...

A new AI programming language is described which provides facilities for the storage, retrieval and manipulation of fuzzy information. The language (called FUZZY) contains such standard features as an associative ...

The main purpose of this work is to associate a wide class of Lagrangian functions with a nonconvex, inequality and equality constrained optimization problem in such a way that unconstrained stationary points and local ...

In previous work, a new type of numerical method for the solution of equations of motion was derived, denoted "discrete mechanics", which has the unique property of conserving the additive constants of motion exactly. The ...

AMINOL is a high-level machine language for creating and managing virtual processes in a network of multi-processing systems. It is a language with which logical operating system functions may be factored and safely delegated ...

In the integration of the equations of motion of a system of particles, conventional numerical methods generate an error in the total energy of the same order as the truncation error. A simple modification of these methods ...