This thesis documents a new language which facilitates
the construction of Turing machines. The language translator
is written in Compass and has been debugged and is
available for use on the CDC 3300.
A technique of differentiation with respect to the distance to
the boundary of an outer parallel-body is applied to known measures of
sets of p-dimensional linear spaces which intersect a general convex
body in n-dimensional euclidean space in order to obtain an appropriate
definition of the measures of sets of...
A geometric condition on differentiable maps is given which is
equivalent to the set of critical values being nowhere dense. In particular,
the geometric condition is satisfied for radially ductile maps.
On the other hand it is proved that the induced map on the de Rham
complex will be a...
This paper defines four function space topologies,
characterizes two of them in terms of more familiar
concepts, and compares the four topologies. Then in the
cases of the two less familiar topologies we have considered
several common properties of topological spaces
and attempted to answer the following question: If the...
This thesis introduces a technique for approximating to a desired
degree of accuracy a linear parabolic equation of two spatial
dimensions with given initial data and prescribed boundary conditions.
The technique is generalized to non-linear parabolic equations.
It is stable for all mesh ratios, and it is second order accurate...
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 Turing machine NAS can simulate any particular Normal Algorithm, and NAG can convert the quintuples of a...
This thesis is concerned with the detailed derivation
of Sheppard's Correction Formula relating the true to the
raw moments by the use of Euler-MacLaurin formula. Special
moment relationships have been derived using different
special functions, whose application is made to derive correction
formula for the semi-invariants. Special investigation
is carried...
In this paper we use the set of all positive integers as a sample space whose probability density function is unknown. Then a generalization of the probability distribution of the most significant digits of the set of all physical constants is obtained on the strength of (i) a very general...