Recent Submissions

  • 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 ...
  • On noise regularised neural networks: initialisation, learning and inference 

    Pretorius, Arnu (Stellenbosch : Stellenbosch University, 2019-12)
    ENGLISH ABSTRACT: Innovation in regularisation techniques for deep neural networks has been a key factor in the rising success of deep learning. However, there is often limited guidance from theory in the development of ...
  • Using test data to evaluate rankings of entities in large scholarly citation networks 

    Dunaiski, Marcel (Stellenbosch : Stellenbosch University, 2019-04)
    ENGLISH ABSTRACT : A core aspect in the field of bibliometrics is the formulation, refinement, and verification of metrics that rate entities in the science domain based on the information contained within the scientific ...
  • Generalised acceptance conditions for symmetric difference nondeterministic finite automata 

    Marais, Laurette (Stellenbosch : Stellenbosch University, 2018-03)
    ENGLISH ABSTRACT : Symmetric difference nondeterministic finite state automata (XNFA) are an instance of generalised nondeterminism, of which the behaviour is represented by the symmetric difference of all possible ...
  • Verifying Android applications using Java PathFinder 

    Botha, Heila-Marié (Stellenbosch : Stellenbosch University, 2017-11-20)
    ENGLISH ABSTRACT : Current dynamic analysis tools for Android applications do not achieve acceptable code coverage since they can only explore a subset of the behaviors of the applications and do not have full control ...
  • Concept-based exploration of rich semi-structured data collections 

    Greene, Gillian J. (Stellenbosch : Stellenbosch University, 2017-03)
    ENGLISH ABSTRACT : Search has become one of the fundamental operations in computer science, allowing users to extract data and ultimately information from datasets. However, when users have no previous knowledge of a ...
  • Validation of a microkernel : a case study 

    De Villiers, Pieter Jan Albertus (Stellenbosch : Stellenbosch University, 1999-11)
    ENGLISH ABSTRACT: This dissertation describes the application of formal methods to the development of operating systems. A related area of software engineering-the development of protocols-has been improved substantially ...