Search
Now showing items 1-10 of 11
Providing mechanical support for program development in a weakest precondition calculus
(Stellenbosch : Stellenbosch University, 1993-04)
ENGLISH ABSTRACT: Formal methods aim to apply the rigour of mathematical logic to the problem ofguaranteeing that the behaviour of (critical) software conforms to predetermined requirements. The application of formal methods ...
Classification of subspaces
(Mathematisches Institut der Universitat Bayreuth, 1998)
1.1 Statement of the problems and the lattice method
Let E and E' be non-degenerate €-hermitean spaces over the same data
(k, €, -) (see 1.1.1) with linear subspaces F and F', respectively. The.pairs
(E, F) and (E', F') ...
Sensitivity analysis of multilayer neural networks
(Stellenbosch : Stellenbosch University, 1999-12)
ENGLISH ABSTRACT: The application of artificial neural networks to solve classification and function approximation
problems is no longer an art. Using a neural network does not simply imply the presentation
of a data set ...
An LTL verification system based on automata theory
(Stellenbosch : Stellenbosch University, 1999-12)
ENGLISH ABSTRACT: A tool for the design and verification of reactive systems has been developed at the University
of Stellenbosch. On-the-fly model checking is used to check correctness properties expressed
in CTL ...
Kernel support for embedded reactive systems
(Stellenbosch : Stellenbosch University, 1993-10)
ENGLISH ABSTRACT: Reactive systems are event driven state machines which usually do not terminate, but remain
in perpetual interaction with their environment. Such systems usually interact 'With devices
which introduce ...
Aspects of the pre- and post-selection classification performance of discriminant analysis and logistic regression
(Stellenbosch : Stellenbosch University, 1997-12)
ENGLISH ABSTRACT: Discriminani analysis and logistic regression are techniques that can be used to classify
entities of unknown origin into one of a number of groups. However, the underlying
models and assumptions for ...
Integration of multifunctions with respect to a multimeasure
(Stellenbosch : Stellenbosch University, 1999-12)
ENGLISH SUMMARY: The main objective of this thesis is to define and investigate the properties of the
integral of a multifunction F (where F is from a point set T into a Banach space X)
with respect to a multimeasure M ...
Automatic acquisition of two-level morphological rules
(Stellenbosch : Stellenbosch University, 1999-02)
ENGLISH SUMMARY: There are numerous applications for computational systems with a natural language processing
capability. All these applications, which include free-text information retrieval, machine-translation
and ...
Near vector spaces
(Stellenbosch : Stellenbosch University, 1990)
ENGLISH ABSTRACT:
The preliminary material in Chapter 1 is included in order that this work be reasonably self-contained.
The main aim of this thesis is to give an exposition of the theory of near vector spaces, as ...
Efficiency issues in the design of a model checker
(Stellenbosch : Stellenbosch University, 1999-11)
ENGLISH SUMMARY: A model checker is a program that verifies, without human assistance, that the formal description
of a system has specified, desirable properties. The development of model checking
algorithms is an active ...