• 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 ...
    • 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 ...
    • 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 ...
    • 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 ...
    • 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. ...
    • 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 ...
    • A parallel cellular automaton simulation framework using CUDA 

      Fourie, Ryno (Stellenbosch : Stellenbosch University, 2015-03)
      ENGLISH ABSTRACT : In the current digital age, the use of cellular automata to simulate natural systems has grown more popular as our understanding of cellular systems increases. Up until about a decade ago, digital ...
    • 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 ...
    • 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 ...
    • Static analysis of regular expressions 

      Weideman, Nicolaas Hendrik (Stellenbosch : Stellenbosch University, 2017-11-19)
      ENGLISH ABSTRACT : Regular expressions are widely used throughout the programming community. In most cases, regular expressions allow for pattern matching tasks to be performed efficiently, but in some instances regular ...
    • 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 ...
    • 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 ...
    • 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 ...