Department of Mathematical Sciences

SUNScholar Research Repository

Department of Mathematical Sciences

Recent Submissions

  • 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 ...
  • Theron, Piet (Stellenbosch : Stellenbosch University, 2013-12)
    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 ...
  • Ranorovelonalohotsy, Marie Brilland Yann (Stellenbosch : Stellenbosch University, 2013-12)
    ENGLISH ABSTRACT: See the full text for the abstract
  • Amikiya, Emmanuel Adoliwine (Stellenbosch : Stellenbosch University, 2013-12)
    ENGLISH ABSTRACT: Flow and reactive transport of chemical species is a very common phenomenon that occurs in natural and artificial systems. However in this study, the topic is related to acid mine drainage in the South ...
  • Ramiharimanana, Nantsoina Cynthia (Stellenbosch : Stellenbosch University, 2013-12)
    ENGLISH ABSTRACT: See the full text for the abstract
  • Ssebuliba, Doreen (Stellenbosch : Stellenbosch University, 2013-12)
    ENGLISH ABSTRACT: Nurses, midwives and clinical officers referred to as Mid-level Practioners (MLPs) play an important role in the health care system especially in rural Africa. With particular reference to rural Uganda, ...
  • Bruce, Faikah (Stellenbosch : Stellenbosch University, 2013-12)
    ENGLISH ABSTRACT: Adolescents are regarded as a high risk group in South Africa with the highest human immunodeficiency virus (HIV) incidence occurring in this group. Prevention among adolescents is therefore a key in ...
  • Andriantiana, Eric Ould Dadah (Stellenbosch : Stellenbosch University, 2013-12)
    Please refer to full text to view abstract.
  • Buys, Jan Moolman (Stellenbosch : Stellenbosch University, 2013-12)
    ENGLISH ABSTRACT: We investigate the application of weighted tree transducers to correcting grammatical errors in natural language. Weighted finite-state transducers (FST) have been used successfully in a wide range of ...
  • Dreijer, Janto F.   Herbst, Ben M.   Du Preez, Johan A. (BioMed Central, 2013-07)
    Background: This paper considers automatic segmentation of the left cardiac ventricle in short axis magnetic resonance images. Various aspects, such as the presence of papillary muscles near the endocardium border, makes ...
  • Mabaso, Automan Sibusiso (Stellenbosch : Stellenbosch University, 2013-12)
    ENGLISH ABSTRACT: The aim of this thesis is to study some methods used in solving exponential Diophan- tine equations. There is no generic method or algorithm that can be used in solving all Diophantine equations. The ...
  • Murrell, Ben   Weighill, Thomas   Buys, Jan   Ketteringham, Robert   Moola, Sasha   Benade, Gerdus   du Buisson, Lise   Kaliski, Daniel   Hands, Tristan   Scheffler, Konrad (PLOS, 2011-12-22)
    Models of protein evolution currently come in two flavors: generalist and specialist. Generalist models (e.g. PAM, JTT, WAG) adopt a one-size-fits-all approach, where a single model is estimated from a number of different ...
  • Ocansey, Evans Doe (Stellenbosch : Stellenbosch University, 2013-03)
    ENGLISH ABSTRACT: The main objective of our study is enumerating spanning trees (G) and perfect matchings PM(G) on graphs G and lattices L. We demonstrate two methods of enumerating spanning trees of any connected ...
  • Kelil, Abey Sherif (Stellenbosch : Stellenbosch University, 2013-03)
    Please refer to full text to view abstract.
  • Razafindrakoto, Ando Desire (Stellenbosch : Stellenbosch University, 2013-03)
    ENGLISH ABSTRACT: While the notions of open and closed subsets in a topological space are dual to each other, they take on another meaning when points and complements are no longer available. Closure operators have ...
  • Delport, Wayne   Scheffler, Konrad   Botha, Gordon   Gravenor, Mike B.   Muse, Spencer V.   Pond, Sergei L. Kosakovsky (PLOS Computational Biology, 2010-08)
    Codon models of evolution have facilitated the interpretation of selective forces operating on genomes. These models, however, assume a single rate of non-synonymous substitution irrespective of the nature of amino acids ...

Search SUNScholar

Browse

My Account

Statistics

Discover

RSS Feeds