Marcel Maria Wolfgang Wild was born on 17 July 1958 in Bern (Switzerland).
After matriculating from the Gymnasium Rämibühl in Zürich in
1977 he studied Mathematics, Computer Science and (to a lesser degree)
Philosophy ...
Florian Breuer was born in 1977 in Vienna, Austria, to German
parents and moved to Stellenbosch at the age of 4, where
he grew up and completed his undergraduate studies at Stellenbosch
University in 1998. He then moved ...
Mapundi Kondwani Banda grew up in Mala^wi, where he com-
pleted his secondary school education at Bandawe Secondary
School in 1986 and obtained a BSc degree from the University
of Mala^wi in 1990. In 1991 he completed ...
Hassan, Ahmed Mohamed Ali Omer(Stellenbosch : Stellenbosch University, 2014-04)
ENGLISH ABSTRACT: Wireless ad hoc networks are increasingly used in today’s life in various areas ranging from environmental monitoring to the military. For technical reasons, they are severely limited in terms of battery ...
ENGLISH ABSTRACT: There is an ever increasing wealth of information that is being generated regarding
biological systems, in particular information on the interactions and
dependencies of genes and their regulatory ...
ENGLISH ABSTRACT: Object detection and tracking are important components of many computer
vision applications including automated surveillance. Automated surveillance
attempts to solve the challenges associated with ...
ENGLISH ABSTRACT: Shallow water equations (SWEs) are a set of hyperbolic partial differential
equations that describe the flow below a pressure surface in a fluid. They are
widely applicable in the domain of fluid dynamics. ...
ENGLISH ABSTRACT: In recent years, HIV-associated cancers have proven to be the bane of our time, since HIV is
decimating humanity across the globe, even in the twilight of the last century. Cancer rates
continue to rise ...
ENGLISH ABSTRACT: Grain regression analysis forms an essential part of solid rocket motor simulation.
In this thesis a numerical grain regression analysis module is developed
as an alternative to cumbersome and time ...
ENGLISH ABSTRACT: Rank 2 Drinfeld modular forms have been studied for more than 30 years, and
while it is known that a higher rank theory could be possible, higher rank
Drinfeld modular forms have only recently been de ...
Van Niekerk, Francois(Stellenbosch : Stellenbosch University, 2014-04)
ENGLISH ABSTRACT: In computer Go, moves are typically selected with the aid of a tree search
algorithm. Monte-Carlo tree search (MCTS) is currently the dominant algorithm
in computer Go. It has been shown that the inclusion ...
Van Heyningen, Martha Catharina(Stellenbosch : Stellenbosch University, 2014-04)
ENGLISH ABSTRACT: Fluid flow through porous media plays an important role in a variety of contexts of which
filtration is one. Filtration efficiency of fibrous filters depends on the micro-structural
characterization of ...
ENGLISH ABSTRACT: We study random walks on nite graphs. The reader is introduced to general
Markov chains before we move on more specifically to random walks on graphs.
A random walk on a graph is just a Markov chain ...
Bordini, Rafael H.Fisher, MichaelWooldridge, MichaelVisser, Willem(IEEE - -Institute of Electrical and Electronics Engineers, 2004-10)
Agent-oriented programming techniques seem appropriate for developing systems that operate in complex, dynamic, and unpredictable environments. We aim to address this requirement by developing model-checking techniques for ...
Bordini, Rafael H.Fisher, MichaelWooldridge, MichaelVisser, Willem(Oxford University Press (OUP), 2009-12)
Programming languages designed specifically for multi-agent systems represent a new programming paradigm that has
gained popularity over recent years, with some multi-agent programming languages being used in increasingly ...
Symbolic execution is a well-known program analysis technique which represents program inputs with symbolic values instead of concrete, initialized, data and executes the program by manipulating program expressions involving ...
Bester, Willem Hendrik Karel(Stellenbosch : Stellenbosch University, 2013-12)
ENGLISH ABSTRACT: In this dissertation we present a software tool, Artemis, that symbolically executes Java virtual
machine bytecode to find bugs and automatically generate test cases to trigger the bugs found. Symbolic ...
ENGLISH ABSTRACT: Probabilistic symbolic execution is a new approach that extends the normal symbolic
execution with probability calculations. This approach combines symbolic execution and
model counting to estimate the ...
ENGLISH ABSTRACT: Cloud computing is seen as one of top 10 disruptive changes in IT for the
next decade by leading research analysts. Consequently, enterprises are
starting to investigate the effect it will have on the ...