## Search

Now showing items 11-20 of 47

#### Applications of change of numéraire for option pricing

(Stellenbosch : University of Stellenbosch, 2007-12)

The word numéraire refers to the unit of measurement used to value a portfolio of assets. The
change of numéraire technique involves converting from one measurement to another. The
foreign exchange markets are natural ...

#### A kernel to support computer-aided verification of embedded software

(Stellenbosch : University of Stellenbosch, 2006-03)

Formal methods, such as model checking, have the potential to improve the reliablility of software. Abstract models of systems are subjected to formal analysis, often showing subtle defects not discovered by traditional testing.

#### On the regularity of refinable functions

(Stellenbosch : University of Stellenbosch, 2006-03)

This work studies the regularity (or smoothness) of continuous finitely supported refinable
functions which are mainly encountered in multiresolution analysis, iterative interpolation
processes, signal analysis, etc. ...

#### Polynomial containment in refinement spaces and wavelets based on local projection operators

(Stellenbosch : Stellenbosch University, 2007-03)

ENGLISH ABSTRACT: See full text for abstract

#### Idempotente voortbringers van matriksalgebras

(Stellenbosch : University of Stellenbosch, 2007-12)

An exposition is given of [12], a paper by N. Krupnik, which is a discussion of the minimum
number of idempotent generators of a complete matrix algebra Mn(F) over a field F, as
well as direct sums of complete matrix ...

#### Formal specification and verification of safety interlock systems: A comparative case study

(Stellenbosch : University of Stellenbosch, 2007-12)

The ever-increasing reliance of society on computer systems has led to a need for highly reliable
systems. There are a number of areas where computer systems perform critical functions and
the development of such systems ...

#### Explicit class field theory for rational function fields

(Stellenbosch : Stellenbosch University, 2008-12)

Class field theory describes the abelian extensions of a given field K in terms of various
class groups of K, and can be viewed as one of the great successes of 20th century
number theory. However, the main results in ...

#### On the analysis of refinable functions with respect to mask factorisation, regularity and corresponding subdivision convergence

(Stellenbosch : University of Stellenbosch, 2007-12)

We study refinable functions where the dilation factor is not always assumed to be 2. In
our investigation, the role of convolutions and refinable step functions is emphasized as a
framework for understanding various ...

#### Vector refinable splines and subdivision

(Stellenbosch : Stellenbosch University, 2008-12)

In this thesis we study a standard example of refinable functions, that is, functions which can be reproduced by the integer shifts of their own dilations. Using the cardinal B-spline as an introductory example, we prove ...

#### Background subtraction algorithms for a video based system

(Stellenbosch : University of Stellenbosch, 2009-12)

ENGLISH ABSTRACT: To reliably classify parts of an image sequence as foreground or background
is an important part of many computer vision systems, such as video surveillance,
tracking and robotics. It can also be important ...