• 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 ...
    • 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 ...
    • Automatic Prediction of Comment Quality 

      Brand, Dirk Johannes (Stellenbosch : Stellenbosch University, 2016-03)
      ENGLISH ABSTRACT : The problem of identifying and assessing the quality of short texts (e.g. comments, reviews or web searches) has been intensively studied. There are great bene ts to being able to analyse short texts. ...
    • Automatic recognition and interpretation of finite state automata diagrams 

      Babalola, Olusola Tope (Stellenbosch : Stellenbosch University, 2015-12)
      ENGLISH ABSTRACT : An application capable of reading graphically-encoded information is beneficial to blind or visually impaired students. Such a system needs to recognize and understand visual markings and their arrangement ...
    • Combining reverse debugging and live programming towards visual thinking in computer programming 

      Coetzee, Abraham Liebrecht (Stellenbosch : Stellenbosch University, 2015-03)
      ENGLISH ABSTRACT : Interaction plays a key role in the process of learning, and a learner’s abilities are enhanced when multiple cognitive functions work in parallel, especially those related to language and visuals. ...
    • Combining tree kernels and text embeddings for plagiarism detection 

      Thom, Jacobus Daniel (Stellenbosch : Stellenbosch University, 2018-03)
      ENGLISH ABSTRACT : The internet allows for vast amounts of information to be accessed with ease. Consequently, it becomes much easier to plagiarize any of this information as well. Most plagiarism detection techniques ...
    • 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 ...
    • 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 ...
    • 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 ...
    • 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 ...
    • 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 ...
    • Detecting and quantifying resource contention in concurrent programs 

      Venter, Dirk Willem (Stellenbosch : Stellenbosch University, 2016-03)
      ENGLISH ABSTRACT : Parallel programs, both shared-memory and message-passing programs, typically require the sharing of resources. For example, software resources, such as shared mutual exclusion locks and hardware ...
    • 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 ...
    • 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 ...
    • Impendulo: A Tool for Analysing Programmer Behaviour 

      Jordaan, Pieter (Stellenbosch : Stellenbosch University, 2015-03)
      ENGLISH ABSTRACT : Automated submission systems for Computer Science courses are common- place today, however, these systems are typically solely focused on grading submissions and their ability to provide analysis and ...
    • 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 ...
    • 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 ...
    • Modelling the dynamics of the bitcoin blockchain 

      Mwale, Mabvuto (Stellenbosch : Stellenbosch University, 2016-03)
      ENGLISH ABSTRACT : Bitcoin is a peer to peer (P2P) electronic payment system proposed by Nakamoto in 2008. Central to the operation of Bitcoin is the blockchain, which is, in essence, a public ledger of all transactions. ...
    • 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; ...