## Search

Now showing items 1-10 of 15

#### Object-oriented implementation of Prolog

(1993)

Logic programming is a discipline of describing problems in high-level abstraction
by separating logic from control. Conventional Prolog interpretation or compilation
models take a procedural view of Prolog programs. A ...

#### Compact sets in Banach spaces / by Ling Yu

(1990)

Connections between several compact spaces are studied in this thesis.
Proofs are given when one implies another, and so are counterexamples when
one does not. The spaces discussed in this thesis are: uniform Eberlein ...

#### Real time three-dimensional robotics simulation

(1996)

This thesis is concerned with the design and implementation of a real-time robotics
simulator with three-dimensional graphics. The simulator allows for internal or external
control o f a number o f robotic manipulators ...

#### On the spectrum G of a locally compact group G

(1999)

Separation properties of the Fell topology, on the spectrum G of a locally compact group
G, characterize important properties of G. We will develop three equivalent ways to
describe the Fell topology on the spectrum Â ...

#### Construction of a local Lie group from its Lie algebra

(1992)

In "Symmetry Groups and Their Applications", by W. Miller [1, p.152-206],
Miller discusses local Lie group theory and certain resulting applications in special
function theory, in the course of this discussion Miller ...

#### C++ : a concurrent object-oriented programming language

(1993)

Developing concurrent object-oriented programming (COOP) languages becomes an
attractive research area since COOP languages are more suitable for simulation of
real world objects and their interactions. After reviewing ...

#### Testing for jumping power in figure skaters

(1993)

The purpose of the investigation was to contrast and compare tests of jumping power in figure
skaters. Twenty two Canadian Figure Skating Association (C.F.S.A.) test stream figure skaters, qualified
at a Senior Bronze ...

#### Set-based computations

(1995)

The representation of uncertain information and inference with such information
are some of the fundamental issues in uncertainty management. Conventional methods
for uncertainty management usually use a single value ...