The aim of the thesis is to develop game-theoretic techniques for dealing with common
problems in model theory, mainly that of showing logical equivalence between structures,
and to illustrate the effectiveness of the ...
In this thesis we investigate generalized chromatic numbers in the context of hereditary
graph properties. We also investigate the general topic of invariants of graphs as well as
graph properties.
In Chapter 1 we give ...
Important ideas from dynamical systems theory and the restricted three-body
problem are introduced. The intention is the application of dynamical systems
theory techniques to the restricted three-body problem to better ...
The creation of smooth interpolating curves and surfaces is an important
aspect of computer graphics. Trigonometric interpolation in the form of the
Fourier transform has been a popular technique. For computer graphics, ...
The basis for this study rests upon the question whether typical human reasoning is reliant upon the application of formal inference rules or not. Two major approaches on this topic, formal logic and mental model theory, ...
Explicit schemes for integrating ODEs and time–dependent partial differential
equations (in the method of lines–MoL–approach) are very well–known
to be stable as long as the maximum sizes of their timesteps remain below
a ...
In this thesis, the ranks of many types of regular and strongly regular graphs are
determined. Also determined are ranks of regular graphs under unary operations: the line
graph, the complement, the subdivision graph, ...
Die leerder met Wiskunde sukkel omdat hy nie 'n metode het om Wiskunde te leer nie. Groot druk word op die onderwyser geplaas, want hy moet nou vir die leerder leer hoe
om Wiskunde te leer. Die vraag ontstaan of daar 'n ...
In this work we will need the basic knowledge of Graph Theory as our background and as we
go along we will state and prove some of the Lattice and Set Theory results. Every graph in
this work is considered as a finite ...
In this thesis we study the techniques used to calculate the Hamilton operators related to linear optical quantum computing. We also discuss the basic building blocks of linear optical quantum computing (LOQC) by looking ...
The geometric relation of orthogonality - when the angle determined by two lines is a
right angle - has a rich and interesting theory. We investigate geometric orthogonality
structures from a formal logical and model ...
In chapter 1, we give the reader some background concerning digraphs that are used in the discussion of
Markov chains; namely, their Markov digraphs. Warshall’s Algorithm for reachability is also introduced as
this is ...
After giving basic definitions concerning additive hereditary properties of
graphs, this document is divided into three main sections, concerning minimal
reducible bounds, minimal forbidden subgraphs and prime ideals.
We ...
Die eienskappe van 'n ring het 'n bepalende invloed op die eienskappe
van die module oor daardie ring. So kan belangrike klasse van ringe
gekarakteriseer word met behulp van module oar sodanige ringe. Origens
blyk dat ...
A comparison between the recently developed spectral relaxation method
(SRM) and the spectral local linearisation method (SLLM) is done for the
first time in this work. Both spectral hybrid methods are employed in ...
This dissertation deals with the computation of nonlinear control strategies for an autonomous vehicle.
The vehicle consists of two wheels attached to an axle. It is assumed that both wheels roll without slipping leading ...
A class of numerical methods for solving nonstiff initial value problems in ordinary
differential equations has been developed. These methods, designated RKrGLn, are
based on a Runge-Kutta method of order r (RKr), and ...