• 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 ...
    • 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 ...
    • Contributions to the theory of Beidleman near-vector spaces 

      Djagba, Prudence (Stellenbosch : Stellenbosch University, 2019-12)
      ENGLISH SUMMARY: (Please refer to the abstract on the full text for symbols that did not translate well into this abstract). The study of nearfields was started in 1905 by L.E. Dickson. This thesis is a first step toward ...
    • Dreieckverbande : lineare und quadratische darstellungstheorie 

      Wild, Marcel Wolfgang (University of Zurich, 1987-05)
      ABSTRACT: A linear representation of a modular lattice L is a homomorphism from L into the lattice Sub(V) of all subspaces of a vector space V. The representation theory of lattices was initiated by the Darmstadt school ...
    • Drinfeld modular forms of higher rank from a lattice-oriented point of view 

      Baker, Liam Bradwin (Stellenbosch : Stellenbosch University., 2020-04)
      ENGLISH ABSTRACT: Please refer to full text for abstract
    • The eco-evolutionary dynamics of complex adaptive food webs 

      Nuwagaba, Savannah (Stellenbosch : Stellenbosch University., 2017-12)
      ENGLISH ABSTRACT: Predator-prey interactions are ubiquitous since almost every species on earth participates in at least one predator-prey interaction. As a result, they shape the food web structure, the functioning ...
    • The eco-evolutionary dynamics of mutualistic networks: from pattern of emergence to stability 

      Minoarivelo, Henintsoa Onivola (Stellenbosch : Stellenbosch University, 2016-03)
      ENGLISH ABSTRACT: Mutualistic interactions, such as the interactions between flowering plants and their pollinators are ubiquitous in nature. A community in which members are involved in multiple mutualistic interactions ...
    • Explicit class field theory for rational function fields 

      Rakotoniaina, Tahina (Stellenbosch : Stellenbosch University, 2008-12)
      Class field theory describes the abelian extensions of a given field K in terms of various class groups of K, and can be viewed as one of the great successes of 20th century number theory. However, the main results in ...
    • Facial recognition, eigenfaces and synthetic discriminant functions 

      Muller, Neil (Stellenbosch : Stellenbosch University, 2000-12)
      ENGLISH ABSTRACT: In this thesis we examine some aspects of automatic face recognition, with specific reference to the eigenface technique. We provide a thorough theoretical analysis of this technique which ...
    • Fredholm theory in ordered Banach algebras 

      Benjamin, Ronalda Abigail Marsha (Stellenbosch : Stellenbosch University, 2016-03)
      ENGLISH ABSTRACT : Since its inception, Fredholm theory has become an important aspect of spectral theory. Among the spectra arising within Fredholm theory is the Weyl spectrum which has been intensively studied by several ...
    • Generalised sequences and compactness notions in point-free topology 

      Masuret, Jacques (Stellenbosch : Stellenbosch University, 2017-12)
      ENGLISH ABSTRACT : While sequences and naturally associated notions like convergence and clustering have received extensive attention in classical topology, the same cannot be said for the point-free setting. The aim of ...