• 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 ...
    • 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 ...
    • 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 ...
    • 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 ...
    • Training, dynamics, and complexity of architecture-specific recurrent neural networks 

      Ludik, Jacques (Stellenbosch : Stellenbosch University, 1994)
      ENGLISH ABSTRACT: This dissertation describes the main results of a pioneering effort to develop novel architectures, training strategies, dynamics analysis techniques and theoretical complexity results for architecure-specific ...
    • 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 ...
    • 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 ...
    • 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 ...