Approximation of real functions by feedforward networks of the usual kind is shown to be based on the fundamental principle of approximation by piecewise-constant functions.Expand

This dissertation, viewing neural networks as dynamical systems, intends to give a coherent treatment on various dynamics of neural networks covering periodicity, bifurcation, chaos, and coupled… Expand

Introduction. The present paper is concerned with the general problem of extending the classical theory of analytic functions of a complex variable. This question received the attention of Hilbert… Expand

The concept of imbedding a programming language L into a formal system is introduced and used as the basis of defining the semantics &Fgr; of the language.Expand

An algebraic specification concept for modules in software engineering is introduced which includes, in addition to a parameter and body part, explicit import and export interfaces.Expand

A formal definition of the syntax and semantics of Preliminary Ada has been designed and partially implemented as a metaprogram in the SEMANOL system.Expand