Department of Mathematical Sciences

SUNScholar Research Repository

Department of Mathematical Sciences

Recent Submissions

  • Model checking rational agents 
    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 ...
  • Property-based slicing for agent verification 
    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 ...
  • A survey of new trends in symbolic execution for software testing and analysis 
    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 ...
  • Bug-finding and test case generation for java programs by symbolic execution 
    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 ...
  • Extended probabilistic symbolic execution 
    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 ...
  • Criteria for the evaluation of private cloud computing 
    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 ...
  • Riemann hypothesis for the zeta function of a function field over a finite field 
    Ranorovelonalohotsy, Marie Brilland Yann (Stellenbosch : Stellenbosch University, 2013-12)
    ENGLISH ABSTRACT: See the full text for the abstract
  • Flow and reactive transport processes in porous media 
    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 ...
  • Realization of finite groups as Galois Groups over Q in Qtot,p 
    Ramiharimanana, Nantsoina Cynthia (Stellenbosch : Stellenbosch University, 2013-12)
    ENGLISH ABSTRACT: See the full text for the abstract
  • Mathematical modelling of the effectiveness of two training interventions on infectious diseases in Uganda 
    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, ...
  • Understanding the impact of an HIV intervention package for adolescents 
    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 ...
  • Energy and related graph invariants 
    Andriantiana, Eric Ould Dadah (Stellenbosch : Stellenbosch University, 2013-12)
    Please refer to full text to view abstract.
  • Probabilistic tree transducers for grammatical error correction 
    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 ...
  • Left ventricular segmentation from MRI datasets with edge modelling conditional random fields 
    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 ...
  • Some exponential diophantine equations 
    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 ...
  • Non-Negative Matrix Factorization for Learning Alignment-Specific Models of Protein Evolution 
    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 ...
  • Enumeration problems on lattices 
    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 ...
  • Bivariate box splines and surface subdivision 
    Kelil, Abey Sherif (Stellenbosch : Stellenbosch University, 2013-03)
    Please refer to full text to view abstract.
  • Neighbourhood operators on Categories 
    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 ...
  • Codon test : modeling amino acid substitution preferences in coding sequences 
    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