Masters Degrees (Mathematical Sciences)

SUNScholar Research Repository

Masters Degrees (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.
  • 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 ...
  • 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 ...
  • 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 ...
  • Providing mechanical support for program development in a weakest precondition calculus 
    Ackerman, Charlotte Christene (Stellenbosch : Stellenbosch University, 1993-04)
    ENGLISH ABSTRACT: Formal methods aim to apply the rigour of mathematical logic to the problem ofguaranteeing that the behaviour of (critical) software conforms to predetermined requirements. The application of formal methods ...
  • Drinfeld modules and their application to factor polynomials 
    Randrianarisoa, Tovohery Hajatiana (Stellenbosch : Stellenbosch University, 2012-12)
    ENGLISH ABSTRACT: Major works done in Function Field Arithmetic show a strong analogy between the ring of integers Z and the ring of polynomials over a nite eld Fq[T]. While an algorithm has been discovered to factor ...
  • Investigating credit based mechanisms for enhancing performance in wireless ad hoc networks 
    Goldberg, Ariel Shei (Stellenbosch : Stellenbosch University, 2012-12)
    ENGLISH ABSTRACT: This thesis explores two key aspects of wireless ad hoc networks. The first aspect concerns the topic of stimulating cooperation between nodes in a wireless ad hoc network. The functionality of a wireless ...
  • FATKID : a Finite Automaton Toolkit 
    Huysamen, Nico (Stellenbosch : Stellenbosch University, 2012-12)
    ENGLISH ABSTRACT: This thesis presents the FATKID Finite Automata Toolkit. While a lot of toolkits currently exist which can manipulate and process nite state automata, this toolkit was designed to e ectively and e ...
  • Ternary interpolatory subdivision 
    Van der Walt, Maria Dorothea (Stellenbosch : Stellenbosch University, 2012-12)
    ENGLISH ABSTRACT: Subdivision is an important and e cient tool for rendering smooth curves and surfaces in computer graphics, by repeatedly applying a subdivision (re ning) scheme to a given set of points. In the literature, ...

Search SUNScholar

Browse

My Account

Statistics

Discover

RSS Feeds