Recent Submissions

  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • Combining tree kernels and text embeddings for plagiarism detection 

    Thom, Jacobus Daniël (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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • Unsupervised pre-training for fully convolutional neural networks 

    Wiehman, Stiaan; Kroon, Steve; De Villiers, Hendrik (Institute of Electrical and Electronics Engineers, 2016)
    Unsupervised pre-training of neural networks has been shown to act as a regularization technique, improving performance and reducing model variance. Recently, fully con-volutional networks (FCNs) have shown state-of-the-art ...
  • 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. ...
  • 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 ...
  • 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. ...
  • N-gram representations for comment filtering 

    Brand, Dirk; Kroon, Steve; Van der Merwe, Brink; Cleophas, Loek (ACM, Inc., 2015-09)
    Accurate classifiers for short texts are valuable assets in many applications. Especially in online communities, where users contribute to content in the form of posts and comments, an effective way of automatically ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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. ...
  • Comment classification for an online news domain 

    Brand, Dirk; Van der Merwe, Brink (2014-12)
    ENGLISH ABSTRACT: In online discussion forums, comment moderation systems are often faced with the problem of establishing the value of an unseen online comment. By knowing the value of comments, the system is empowered ...
  • Identification of broadly neutralizing antibody epitopes in the HIV-1 envelope glycoprotein using evolutionary models 

    Lacerda, Miguel; Moore, Penny L.; Ngandu, Nobubelo K.; Seaman, Michael; Gray, Elin S.; Murrell, Ben; Krishnamoorthy, Mohan; Nonyane, Molati; Madiga, Maphuti; Wibmer, Constantinos K.; Sheward, Daniel; Bailer, Robert T.; Gao, Hongmei; Greene, Kelli M.; Karim, Salim S. A.; Mascola, John R.; Korber, Bette T. M.; Montefiori, David C.; Morris, Lynn; Williamson, Carolyn; Seoighe, Cathal; the CAVD-NSDP Consortium (BioMed Central, 2013-12-02)
    Background Identification of the epitopes targeted by antibodies that can neutralize diverse HIV-1 strains can provide important clues for the design of a preventative vaccine. Methods We ...
  • Flow allocation in wireless networks with selfish nodes 

    Krzesinski, A. E. (SATNAC, 2013)
    Consider an ad hoc network where packet transmissions occur between the nodes. Optimal flow allocation in such systems can be modelled as a constrained nonlinear optimisation problem. This problem can be solved either ...

View more