The system will be unavailable for updates from 12:30 on Tuesday 23 May to prepare for the upgrade of the software platform.
    • An algebraic framework for reasoning about privacy 

      Rajaona, Solofomampionona Forunat (Stellenbosch : University of Stellenbosch, 2016-03)
      ENGLISH ABSTRACT: In this thesis, we study a formal programming language and algebraic tech-niques to analyse computational systems that considers data confidentiality and hidden computations. The reasoning techniques are ...
    • 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 ...
    • An analysis of security protocols for lightweight systems 

      Kamkuemah, Martha Ndeyapeuomagano (Stellenbosch : Stellenbosch University, 2022-04)
      ENGLISH SUMMARY: Security is hard to maintain in distributed systems especially for communicating agents restricted to lightweight computations, as in the Internet of Things, which struggle to implement strong cryptographic ...
    • Analysis of the rolling motion of loaded hoops 

      Theron, Willem F. D. (Stellenbosch : University of Stellenbosch, 2008-03)
      This dissertation contains a detailed report on the results of a research project on the behaviour of a dynamical system consisting of a hoop to which a heavy particle is fixed at the rim. This loaded hoop rolls on a ...
    • Analysis of tree spectra 

      Dadedzi, Kenneth (Stellenbosch : Stellenbosch University, 2018-12)
      ENGLISH ABSTRACT : We study the set of eigenvalues (spectrum) of the adjacency matrix, Laplacian matrix and the distance matrix of trees. In particular, we focus on the distribution of eigenvalues in the spectra of large ...
    • Applying the MDCT to image compression 

      Muller, Rikus (Stellenbosch : University of Stellenbosch, 2009-03)
      The replacement of the standard discrete cosine transform (DCT) of JPEG with the windowed modifed DCT (MDCT) is investigated to determine whether improvements in numerical quality can be achieved. To this end, we employ ...
    • Arithmetic of carlitz polynomials 

      Bamunoba, Alex Samuel (Stellenbosch : Stellenbosch University, 2014-12)
      ENGLISH ABSTRACT: See pdf for abstract
    • Aspects of the pre- and post-selection classification performance of discriminant analysis and logistic regression 

      Louw, Nelmarie (Stellenbosch : Stellenbosch University, 1997-12)
      ENGLISH ABSTRACT: Discriminani analysis and logistic regression are techniques that can be used to classify entities of unknown origin into one of a number of groups. However, the underlying models and assumptions for ...
    • Automated program generation : bridging the gap between model and implementation 

      Bezuidenhout, Johannes Abraham (Stellenbosch : Stellenbosch University, 2012-02)
      ENGLISH ABSTRACT: The general goal of this thesis is the investigation of a technique that allows model checking to be directly integrated into the software development process, preserving the benefits of model checking ...
    • Automatic acquisition of two-level morphological rules 

      Theron, Pieter Zacharias (Stellenbosch : Stellenbosch University, 1999-02)
      ENGLISH SUMMARY: There are numerous applications for computational systems with a natural language processing capability. All these applications, which include free-text information retrieval, machine-translation and ...
    • Binary closure operators 

      Abdalla, Abdurahman Masoud (Stellenbosch : Stellenbosch University, 2016-03)
      ENGLISH ABSTRACT : In this thesis we provide a new foundation to categorical closure operators, using more elementary binary closure operators on posets. The original goal of the thesis was to study a categorical closure ...
    • Bivariate wavelet construction based on solutions of algebraic polynomial identities 

      Van der Bijl, Rinske (Stellenbosch : Stellenbosch University, 2012-03)
      ENGLISH ABSTRACT: Multi-resolution analysis (MRA) has become a very popular eld of mathematical study in the past two decades, being not only an area rich in applications but one that remains lled with open problems. ...
    • A categorical approach to lattice-like structures 

      Hoefnagel, Michael Anton (Stellenbosch : Stellenbosch University, 2018-12)
      ENGLISH ABSTRACT : This thesis is a first step in a categorical approach to lattice-like structures. Its central notion, that of a majority category, relates to the category of lattices, in a similar way as Mal’tsev ...
    • Centrality in random trees 

      Durant, Kevin (Stellenbosch : Stellenbosch University, 2017-12)
      ENGLISH ABSTRACT : We consider two notions of centrality—namely, the betweenness centrality of a node and whether or not it is a centroid—in families of simply generated and increasing trees. Both of these concepts are ...
    • Combinatorics of oriented trees and tree-like structures 

      Okoth, Isaac Owino (Stellenbosch : Stellenbosch University, 2015-03)
      ENGLISH ABSTRACT : In this thesis, a number of combinatorial objects are enumerated. Du and Yin as well as Shin and Zeng (by a different approach) proved an elegant formula for the number of labelled trees with respect ...
    • Comparative analysis of predictive equations for transfer processes in different porous structures 

      Woudberg, Sonia (Stellenbosch : Stellenbosch University, 2012-12)
      ENGLISH ABSTRACT: Research on transfer processes in various types of porous media has become important for the optimization of high technology engineering devices and processes. In this study the micro-structural parameters ...
    • Complexity and stability of mutualistic local networks and meta-networks 

      Nnakenyi, Chinenye Assumpta (Stellenbosch : Stellenbosch UniversityStellenbosch : Stellenbosch University, 2021-03)
      ENGLISH ABSTRACT: Biotic interactions, either in local networks or in meta-networks, are ubiquitous in nature. Species interact with other species of different interaction strengths in the ecosystem. For example, mutualistic ...
    • Concrete foundations of the theory of Noetherian forms 

      Van Niekerk, Francois Koch (Stellenbosch : Stellenbosch University, 2019-12)
      ENGLISH ABSTRACT: This thesis concerns certain investigations in abstract algebra that bring together the ideas of the category of algebraic structures and the lattice of substructures. A central notion in such investigation ...
    • Contributions to centralizers in matrix rings 

      Marais, Magdaleen Suzanne (Stellenbosch : University of Stellenbosch, 2010-12)
      ENGLISH ABSTRACT: THE concept of a k-matrix in the full 2 2 matrix ring M2(R=hki), where R is an arbitrary unique factorization domain (UFD) and k is an arbitrary nonzero nonunit in R, is introduced. We obtain a concrete ...
    • Contributions to the analysis of approximate counting 

      Prodinger, Helmut (Stellenbosch : Stellenbosch University, 2016-03)
      ENGLISH ABSTRACT : Approximate Counting is a classical technique with very challenging questions re- lated to its performance analysis. It is also somewhat similar to parameters around Digital Search trees. Surprising ...