• 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 ...
    • 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 ...
    • 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 ...
    • 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 ...
    • Impact of climate change on regional and global biodiversity : a meta-analysis 

      Bahizi, Antoine (Stellenbosch : Stellenbosch University, 2013-03)
      ENGLISH ABSTRACT: Peer-review publication has become a standard vessel for sharing the knowledge gained in scientific research, with its number increasing exponentially in the recent decades. To this end, robust statistical ...
    • 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 ...
    • 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.
    • 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 ...
    • Bivariate box splines and surface subdivision 

      Kelil, Abey Sherif (Stellenbosch : Stellenbosch University, 2013-03)
      Please refer to full text to view abstract.
    • The architecture of antagonistic networks 

      Nuwagaba, Savannah (Stellenbosch : Stellenbosch University, 2013-03)
      ENGLISH ABSTRACT: Designing a mechanistic model that can give rise to realistic architecture of ecological networks is central to the understanding of how species assemble and function in ecosystems. As species are ...
    • American Monte Carlo option pricing under pure jump levy models 

      West, Lydia (Stellenbosch : Stellenbosch University, 2013-03)
      ENGLISH ABSTRACT: We study Monte Carlo methods for pricing American options where the stock price dynamics follow exponential pure jump L évy models. Only stock price dynamics for a single underlying are considered. The ...
    • 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 ...