Department of Mathematical Sciences

SUNScholar Research Repository

Department of Mathematical Sciences

Recent Submissions

  • 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 ...
  • Modeling HIV-1 drug resistance as episodic directional selection 
    Murrell, Ben   De Oliveira, Tulio   Seebregts, Chris   Pond, Sergei L. Kosakovsky   Scheffler, Konrad (PLOS Computational Biology, 2011-05)
    The evolution of substitutions conferring drug resistance to HIV-1 is both episodic, occurring when patients are on antiretroviral therapy, and strongly directional, with site-specific resistant residues increasing in ...
  • Modelling of non-Newtonian fluid flow through and over porous media with the inclusion of boundary effects 
    Cloete, Maret (Stellenbosch : Stellenbosch University, 2013-03)
    ENGLISH ABSTRACT: Different generalized Newtonian fluids (where the normal stresses were neglected) were considered in this study. Analytical expressions were derived for time independent, fully developed velocity profiles ...
  • Torsion points on elliptic curves 
    Nyirenda, Darlison (Stellenbosch : Stellenbosch University, 2013-03)
    ENGLISH ABSTRACT: The central objective of our study focuses on torsion points on elliptic curves. The case of elliptic curves over finite fields is explored up to giving explicit formulae for the cardinality of the set ...
  • An analogue of the Andre-Oort conjecture for products of Drinfeld modular surfaces 
    Karumbidza, Archie (Stellenbosch : Stellenbosch University, 2013-03)
    ENGLISH ABSTRACT: This thesis deals with a function eld analog of the André-Oort conjecture. The (classical) André-Oort conjecture concerns the distribution of special points on Shimura varieties. In our case we consider ...
  • Modelling the control of tsetse and African trypanosomiasis through application of insecticides on cattle in Southeastern Uganda 
    Kajunguri, Damian (Stellenbosch : Stellenbosch University, 2013-03)
    ENGLISH ABSTRACT: In Uganda, cattle are an important reservoir of Trypanosoma brucei rhodesiense, a parasite that causes human African trypanosomiasis or sleeping sickness. We developed mathematical models to examine the ...
  • Planar segmentation of range images 
    Muller, Simon Adriaan (Stellenbosch : Stellenbosch University, 2013-03)
    ENGLISH ABSTRACT: Range images are images that store at each pixel the distance between the sensor and a particular point in the observed scene, instead of the colour information. They provide a convenient storage format ...
  • An algebraic framework for reasoning about security 
    Rajaona, Solofomampionona Fortunat (Stellenbosch : Stellenbosch University, 2013-03)
    ENGLISH ABSTRACT: Stepwise development of a program using refinement ensures that the program correctly implements its requirements. The specification of a system is “refined” incrementally to derive an implementable ...
  • Continuity of Drazin and generalized Drazin inversion in Banach algebras 
    Benjamin, Ronalda Abigail Marsha (Stellenbosch : Stellenbosch University, 2013-03)
    Please refer to full text to view abstract.
  • Investigating the non-termination of affine loops 
    Durant, Kevin (Stellenbosch : Stellenbosch University, 2013-03)
    ENGLISH ABSTRACT: The search for non-terminating paths within a program is a crucial part of software verification, as the detection of anfinite path is often the only manner of falsifying program termination - the failure ...
  • Constructing topic-based Twitter lists 
    De Villiers, Francois (Stellenbosch : Stellenbosch University, 2013-03)
    ENGLISH ABSTRACT: The amount of information that users of social networks consume on a daily basis is steadily increasing. The resulting information overload is usually associated with a loss of control over the management ...
  • Liquidity risk and no arbitrage 
    El Ghandour, Laila (Stellenbosch : Stellenbosch University, 2013-03)
    ENGLISH ABSTRACT: In modern theory of finance, the so-called First and Second Fundamental Theorems of Asset Pricing play an important role in pricing options with no-arbitrage. These theorems gives a necessary and ...

Search SUNScholar

Browse

My Account

Statistics

Discover

RSS Feeds