Department of Mathematical Sciences

SUNScholar Research Repository

Department of Mathematical Sciences

Recent Submissions

  • Herrmann, Christian   Moresi, Remo   Schuppli, Reto   Wild, Marcel (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') ...
  • Ramanantoanina, Andriamihaja   Ouhinou, Aziz   Hui, Cang (Public Library of Science, 2014-08)
    Abstract Range expansion of spreading organisms has been found to follow three types: (i) linear expansion with a constant rate of spread; (ii) bi-phase expansion with a faster linear expansion following a slower linear ...
  • Wild, Marcel (Stellenbosch : Stellenbosch University, 2011-10)
    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 ...
  • Breuer, Florian (Stellenbosch : Stellenbosch University, 2013-08)
    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 ...
  • Banda, Mapundi Kondwani (Stellenbosch : Stellenbosch University, 2013-10)
    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 ...
  • Jones, Piet (Stellenbosch : Stellenbosch University, 2014-04)
    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 ...
  • Keaikitse, Advice Seiphemo (Stellenbosch : Stellenbosch University, 2014-04)
    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 ...
  • Rasolofoson, Faraniaina (Stellenbosch : Stellenbosch University, 2014-04)
    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. ...
  • Akinlotan, Deborah Morenikeji (Stellenbosch : Stellenbosch University, 2014-04)
    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 ...
  • Sullwald, Wichard (Stellenbosch : Stellenbosch University, 2014-04)
    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 ...
  • Basson, Dirk Johannes (Stellenbosch : Stellenbosch University, 2014-04)
    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 ...
  • Oosthuizen, Joubert (Stellenbosch : Stellenbosch University, 2014-04)
    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, Michael   Wooldridge, Michael   Visser, 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, Michael   Wooldridge, Michael   Visser, 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 ...
  • Pasareanu, Corina S.   Visser, Willem (Springer Verlag, 2009-10)
    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 ...
  • Uwimbabazi, Aline (Stellenbosch : Stellenbosch University, 2013-12)
    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 ...

Search SUNScholar

Browse

My Account

Statistics

Discover

RSS Feeds