Masters Degrees (Mathematical Sciences)

SUNScholar Research Repository

Masters Degrees (Mathematical Sciences)

 

Recent Submissions

  • 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
  • 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 ...
  • 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 ...
  • 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.
  • 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 ...
  • 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 ...
  • 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 ...
  • Benjamin, Ronalda Abigail Marsha (Stellenbosch : Stellenbosch University, 2013-03)
    Please refer to full text to view abstract.
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...

Search SUNScholar

Browse

My Account

Statistics

Discover

RSS Feeds