It is shown that the linear complementarity problem of finding an n-by-1 vector x such that Mx + q > 0, x > 0, and xT(Mx+q) = 0, where M is a given n-by-n real matrix and q is a given n-by-l vector, is solvable if and ...

User manual for the meta-symbolic simulation system that includes a behavioral simulation programming language that models, generates and manipulates events in the notation of a semantic network that changes through time, ...

We consider the complexity of several standard problems for various classes of Petri nets. In particular, the reachability problem, the liveness problem and the k-boundedness problems are analyzed. Some polynomial time ...

In this paper a new particle approach to the study of fluid dynamics is applied to the generation of ocean waves by earthquakes. Major interest is centered on a molecular type compression wave as the key mechanism for ...

The address range of mini-computers purchased two to three years ago was typically 32K words. Many owners of these computers are realizing that this is no longer adequate for their application. Various methods of extending ...

The method is developed for two specific problems: (if computation of the structure of the primary component (assumed to consist of a polytropic gas) in a synchronous close binary sysiem and (ii) search for non-axisymmetric ...

The research proposal is to support the development of the "science" behind software engineering in order to ensure required system properties, to compare current software engineering techniques, to develop specification ...

A "free" robot is one which "pursues happiness" or reward rather than obeying commands. A program for controlling such a robot has been written, and is in the process of being debugged and tested. It is designed to learn ...