A set of axioms of incidence and order for geometry was formulated
by David Hilbert in 1898. In this paper these axioms are reformulated
and particular care is taken with the two relations of order
and incidence. Such ...
In this paper, the general mathematical theory of linear
passive one-ports and the class of positive real functions are briefly
reviewed as background material. Then a time domain method for
synthesis of a finite lump ...
This paper is a continuation of William Zell's thesis, A Model of Non-Euclidean Geometry in Three Dimensions. The purpose of that thesis was to show that the axioms of non-Euclidèan geometry are consistent if Euclidean g ...
The objective of this paper is to seek the general solution of the
complete Navier-Stokes equations governing heterogeneous, time-dependent, incompressible, viscous, laminar fluid dynamics through
digital simulation. I ...
General techniques for constructing Scheduling Algorithms
are described as well as their applications to two diverse problems,
namely the scheduling at a university and the imitation of the activity
of a taxonomist in ...
In this paper a direct, constructive proof of the equivalence of the Normal Algorithm and Turing machine using the Turing machines NAS (Normal Algorithm Simulator) and NAC (Normal Algorithm Converter) is presented. The T ...
