Recent Submissions

  • Application of statistical pattern recognition and deep learning for morphological classification in radio astronomy 

    Becker, Adolf Burger (Stellenbosch : Stellenbosch University, 2022-04)
    ENGLISH ABSTRACT: The morphological classification of radio sources is important to gain a full under standing of galaxy evolution processes and their relation with local environmental properties. Furthermore, the complex ...
  • Coverage directed algorithms for test suite construction from LR-automata 

    Rossouw, Christoffel Jacobus (Stellenbosch : Stellenbosch University, 2022-04)
    ENGLISH ABSTRACT: Bugs in software can have disastrous results in terms of both economic cost and human lives. Parsers can have bugs, like any other type of software, and must therefore be thoroughly tested in order to ...
  • An extension of the linear regression model for improved vessel trajectory prediction utilising a priori AIS Information 

    Burger, Christiaan Neil (Stellenbosch : Stellenbosch University, 2022-04)
    ENGLISH ABSTRACT: As maritime activities increase globally, there is a greater dependency on technology in monitoring, control and surveillance of vessel activity. One of the most prominent systems for monitoring ...
  • The generation of longest optimal box repetition-free words 

    Habeck, Manfred (Stellenbosch : Stellenbosch University, 2022-04)
    ENGLISH ABSTRACT: This thesis focuses on a specific problem within the field of combinatorial generation, namely, the generation of box repetition-free words. A box is a word over a given alphabet, where the first symbol ...
  • Concrete and symbolic linearisability checking of non-blocking concurrent data structures 

    Du Toit, Nicole Cathryn (Stellenbosch : Stellenbosch University, 2021-12)
    ENGLISH ABSTRACT: Non-blocking concurrent data structures are developed as a more efficient solution to concurrent data structures; in non-blocking concurrent data structures hardware-level atomic instructions are used ...
  • A deep framework for predictive maintenance 

    Steyl, Charl Cilliers (2021-12-01)
    ENGLISH ABSTRACT: Predictive maintenance (PdM) is a well-known maintenance approach that comprises of two problems, machine prognostic modelling and maintenance scheduling. The objective of prognostic modelling is to ...
  • Initialisation of noise-regularised neural networks 

    Van Biljon, Elan (Stellenbosch : Stellenbosch University, 2021-12)
    ENGLISH ABSTRACT: Recently, proper initialisation and stochastic regularisation techniques have greatly improved the performance and ease of training of neural networks. Some research has gone into how the magnitude of ...
  • Set-based particle swarm optimization for portfolio optimization 

    Erwin, Kyle Harper (Stellenbosch : Stellenbosch University, 2021-12)
    ENGLISH ABSTRACT: Portfolio optimization is a complex problem, not only in the depth of the topics it covers but also in breadth. It is the process of determining which assets to include in a portfolio while simultaneously ...
  • Automatic assignment of diagnosis codes to free-form text medical notes 

    Strydom, Stefan (Stellenbosch : Stellenbosch University, 2021-12)
    ENGLISH ABSTRACT: Clinical coding is the process of describing and categorising healthcare episodes according to standardised ontologies. The coded data have important downstream applications, including population morbidity ...
  • Multi-guide particle swarm optimization for many-objective optimization problems 

    Steenkamp, Cian (Stellenbosch : Stellenbosch University, 2021-03)
    ENGLISH ABSTRACT: The scalability of the multi-guide particle swarm optimization (MGPSO) algorithm, with respect to the number of objectives for a problem, is investigated. Two MGPSO algorithm adaptations are proposed; ...
  • Explaining neural networks used for modeling credit risk 

    Mohamed, Zhunaid (Stellenbosch : Stellenbosch University, 2021-03)
    ENGLISH ABSTRACT: Calculating risk before providing loans is a common problem that credit companies face. The most common solution is credit employees manually assessing the risk of a client by reviewing their credit ...
  • Scaling the ConceptCloud browser to very large semi-structured data sets: architecture and data completion 

    Berndt, Joshua (Stellenbosch : Stellenbosch University, 2020-12)
    ENGLISH ABSTRACT: Semi-structured data sets such as product reviews or event log data are simultaneously becoming more widely used and ever larger. This thesis describes ConceptCloud, a exible, interactive browser for ...
  • Testing smart contracts 

    Leid, Alexander (Stellenbosch : Stellenbosch University., 2020-03)
    ENGLISH ABSTRACT: There have been several high-profile exploits of smart contracts running on the Ethereum Virtual Machine (EVM) over the last few years since the release of Ethereum. Many of these exploits were introduced ...
  • Parallel Monte-Carlo tree search in distributed environments 

    Christoph, Marc (Stellenbosch : Stellenbosch University., 2020-03)
    ENGLISH ABSTRACT: Parallelising Monte-Carlo Tree Search (MCTS) holds the promise of being an effective way to improve the effectiveness of the search, given some time constraint. Thus, finding scalable parallelisation ...
  • Optimised constraint solving for real-world problems 

    Taljaard, Johannes Hendrik (Stellenbosch : Stellenbosch University, 2019-12)
    ENGLISH ABSTRACT: Although significant advances in constraint solving technologies have been made during the past decade, Satisfiability Modulo Theories (SMT) solvers are still a significant bottleneck in verifying program ...
  • Texture synthesis with neural networks 

    Schreiber, Shaun (Stellenbosch : Stellenbosch University, 2018-12)
    ENGLISH ABSTRACT : Creating detailed texture maps for virtual environments is often a timeconsuming process. Procedural texture generation enables the creation of more rich and detailed virtual environments with minimal ...
  • Creating 3D models using reconstruction techniques 

    Martin, Javonne Jason (Stellenbosch : Stellenbosch University, 2018-12)
    ENGLISH ABSTRACT :Virtual reality models of real world environments have a number of compelling applications, such as preserving the architecture and designs of older buildings. This process can be achieved by using 3D ...
  • Design and evaluation of a formula cache for SMT-based bounded model checking tools 

    Breytenbach, Jean Anré (Stellenbosch : Stellenbosch University, 2018-03)
    ENGLISH ABSTRACT : Program verification is a computationally expensive and time-consuming process. Bounded model checking is a branch of program verification that produces FOL formulas to be checked for satisfiability ...
  • Test case generation for context free grammars 

    Esterhuizen, M. H. (Stellenbosch : Stellenbosch University, 2018-03)
    ENGLISH ABSTRACT : Software testing, despite decades of ongoing research, still forms a significant part of the development cycle. When the input domain of a software system must satisfy structural constraints, such as ...
  • Investigating fully convolutional networks for bio-image segmentation 

    Wiehman, Stiaan (Stellenbosch : Stellenbosch University, 2018-03)
    ENGLISH ABSTRACT : Bio-image analysis is a useful tool for life science researchers with a wide variety of potential applications. A specific area of interest is applying semantic segmentation methods to bio-images, which ...

View more