Masters Degrees (Mathematical Sciences)

 
 

Masters Degrees (Mathematical Sciences)

Recently added

  • Hassan, Ahmed Mohamed Ali Omer (Stellenbosch : Stellenbosch University, 2014-04)
    ENGLISH ABSTRACT: Wireless ad hoc networks are increasingly used in today’s life in various areas ranging from environmental monitoring to the military. For technical reasons, they are severely limited in terms of battery ...
  • Jones, Piet (Stellenbosch : Stellenbosch University, 2014-04)
    ENGLISH ABSTRACT: There is an ever increasing wealth of information that is being generated regarding biological systems, in particular information on the interactions and dependencies of genes and their regulatory ...
  • Keaikitse, Advice Seiphemo (Stellenbosch : Stellenbosch University, 2014-04)
    ENGLISH ABSTRACT: Object detection and tracking are important components of many computer vision applications including automated surveillance. Automated surveillance attempts to solve the challenges associated with ...
  • Rasolofoson, Faraniaina (Stellenbosch : Stellenbosch University, 2014-04)
    ENGLISH ABSTRACT: Shallow water equations (SWEs) are a set of hyperbolic partial differential equations that describe the flow below a pressure surface in a fluid. They are widely applicable in the domain of fluid dynamics. ...
  • Akinlotan, Deborah Morenikeji (Stellenbosch : Stellenbosch University, 2014-04)
    ENGLISH ABSTRACT: In recent years, HIV-associated cancers have proven to be the bane of our time, since HIV is decimating humanity across the globe, even in the twilight of the last century. Cancer rates continue to rise ...
  • Sullwald, Wichard (Stellenbosch : Stellenbosch University, 2014-04)
    ENGLISH ABSTRACT: Grain regression analysis forms an essential part of solid rocket motor simulation. In this thesis a numerical grain regression analysis module is developed as an alternative to cumbersome and time ...
  • Van Niekerk, Francois (Stellenbosch : Stellenbosch University, 2014-04)
    ENGLISH ABSTRACT: In computer Go, moves are typically selected with the aid of a tree search algorithm. Monte-Carlo tree search (MCTS) is currently the dominant algorithm in computer Go. It has been shown that the inclusion ...
  • Oosthuizen, Joubert (Stellenbosch : Stellenbosch University, 2014-04)
    ENGLISH ABSTRACT: We study random walks on nite graphs. The reader is introduced to general Markov chains before we move on more specifically to random walks on graphs. A random walk on a graph is just a Markov chain ...
  • Van Heyningen, Martha Catharina (Stellenbosch : Stellenbosch University, 2014-04)
    ENGLISH ABSTRACT: Fluid flow through porous media plays an important role in a variety of contexts of which filtration is one. Filtration efficiency of fibrous filters depends on the micro-structural characterization of ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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, ...
  • Joubert, Daniek (Stellenbosch : Stellenbosch University, 2012-12)
    ENGLISH ABSTRACT: In this thesis we consider the problem of building a dense and consistent map of a mobile robot’s environment that is updated as the robot moves. Such maps are vital for safe and collision-free ...
  • Kateregga, Michael (Stellenbosch : Stellenbosch University, 2012-12)
    ENGLISH ABSTRACT: This work employs perturbation techniques to price and hedge financial derivatives in a stochastic volatility framework. Fouque et al. [44] model volatility as a function of two processes operating on ...
  • Fadina, Tolulope Rhoda (Stellenbosch : Stellenbosch University, 2012-12)
    ENGLISH ABSTRACT: The pricing of plain vanilla options, including early exercise options, such as Bermudan and American options, forms the basis for the calibration of financial models. As such, it is important to be ...
  • Ackerman, M. C . (Marthinus Casper) (Stellenbosch : Stellenbosch University, 1993-10)
    ENGLISH ABSTRACT: Reactive systems are event driven state machines which usually do not terminate, but remain in perpetual interaction with their environment. Such systems usually interact 'With devices which introduce ...
  • Villet, Marcel (Stellenbosch : Stellenbosch University, 2003-04)
    ENGLISH ABSTRACT: The Internet has experienced tremendous growth in the last three decades and has emerged as a platform to carryall forms of communications including voice, video and data. Along with this growth came ...
  • Weigt, Martin (Stellenbosch : Stellenbosch University, 2003-04)
    ENGLISH ABSTRACT: Let A and B be unital complex Banach algebras with identities 1 and I' respectively. A linear map T : A -+ B is invertibility preserving if Tx is invertible in B for every invertible x E A. We say that ...

Search SUNScholar

Browse

My Account

Discover

Statistics

RSS Feeds