-H ~, consider some neural networks which have interesting oscillatm3' dynamics and analyze stability and b~/hrcation properties. The neurons are qf the sigmoida/ t.vpe (i.e.. anah~g eh,menls whichâ€¦ (More)

In mathematical modeling, very often discrete-time (DT) models are taken from, or can be viewed as numerical discretizations of, certain continuous-time (CT) models. In this paper, a generalâ€¦ (More)

Sets of primitive operations for algebras with numerical and bit string domains are classified according to their computational efficiency. The relative complexity of certain basic operations on suchâ€¦ (More)

A formal definition of the syntax and semantics of Preliminary Ada has been designed and partially implemented as a metaprogram in the SEMANOL system. The paper describes the design in detail andâ€¦ (More)

A gradient procedure for determining the stationary points of a functional subject to equality functional constraints is described. It is proved that the procedure converges in the neighborhood ofâ€¦ (More)

Much of the research on semantic theories has concentrated on qualitative properties such as definability (of such programming concepts as recursive procedures), equivalence (of different languageâ€¦ (More)