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 ...
  • Tool support for correctness-by-construction 

    Runge, Tobias; Schaefer, Ina; Cleophas, Loek; Thum, Thomas; Kourie, Derrick; Watson, Bruce W. (Springer, 2019)
    Correctness-by-Construction (CbC) is an approach to incrementally create formally correct programs guided by pre- and postcondition specifications. A program is created using refinement rules that guarantee the resulting ...
  • Java Pathfinder at SV-COMP 2019 (Competition Contribution) 

    Artho, Cyrille; Visser, Willem (Springer, 2019)
    This paper gives a brief overview of Java Pathfinder, or jpf-core. We describe the architecture of JPF, its strengths, and how it was set up for SV-COMP 2019.
  • Symbolic pathfinder for SV-COMP (Competition Contribution) 

    Noller, Yannic; Pasareanu, Corina S.; Fromherz, Aymeric; Le, Xuan-Bach D.; Visser, Willem (Springer, 2019)
    This paper describes the benchmark entry for Symbolic Pathfinder, a symbolic execution tool for Java bytecode. We give a brief description of the tool and we describe the particular run configuration that was used in the ...
  • 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 ...
  • Fast test suite-driven model-based fault localisation with application to pinpointing defects in student programs 

    Birch, Geoff; Fischer, Bernd; Poppleton, Michael (Springer, 2019)
    Fault localisation, i.e. the identification of program locations that cause errors, takes significant effort and cost. We describe a fast model-based fault localisation algorithm that, given a test suite, uses symbolic ...
  • 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 ...
  • Active strategies for coordination of solitary robots 

    Masakuna, Jordan Felicien (Stellenbosch : Stellenbosch University, 2020-12)
    ENGLISH ABSTRACT: This thesis considers the problem of search of an unknown environment by multiple solitary robots: self-interested robots without prior knowledge about each other, and with restricted perception and ...
  • 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 ...

View more