• Modeling the impact of early HIV treatment on the HIV epidemic in South Africa 

      Bekele, Bewketu Teshale (Stellenbosch : Stellenbosch University, 2016-03)
      ENGLISH SUMMARY: Amajor international randomized clinical trial fromStrategic Timing of AntiRetroviral Treatment (START) has found that HIV-infected individuals have a considerably lower risk of developing AIDS if they ...
    • Fredholm theory in ordered Banach algebras 

      Benjamin, Ronalda Abigail Marsha (Stellenbosch : Stellenbosch University, 2016-03)
      ENGLISH ABSTRACT : Since its inception, Fredholm theory has become an important aspect of spectral theory. Among the spectra arising within Fredholm theory is the Weyl spectrum which has been intensively studied by several ...
    • The eco-evolutionary dynamics of mutualistic networks: from pattern of emergence to stability 

      Minoarivelo, Henintsoa Onivola (Stellenbosch : Stellenbosch University, 2016-03)
      ENGLISH ABSTRACT: Mutualistic interactions, such as the interactions between flowering plants and their pollinators are ubiquitous in nature. A community in which members are involved in multiple mutualistic interactions ...
    • Contributions to the analysis of approximate counting 

      Prodinger, Helmut (Stellenbosch : Stellenbosch University, 2016-03)
      ENGLISH ABSTRACT : Approximate Counting is a classical technique with very challenging questions re- lated to its performance analysis. It is also somewhat similar to parameters around Digital Search trees. Surprising ...
    • Binary closure operators 

      Abdalla, Abdurahman Masoud (Stellenbosch : Stellenbosch University, 2016-03)
      ENGLISH ABSTRACT : In this thesis we provide a new foundation to categorical closure operators, using more elementary binary closure operators on posets. The original goal of the thesis was to study a categorical closure ...
    • An algebraic framework for reasoning about privacy 

      Rajaona, Solofomampionona Forunat (Stellenbosch : University of Stellenbosch, 2016-03)
      ENGLISH ABSTRACT: In this thesis, we study a formal programming language and algebraic tech-niques to analyse computational systems that considers data confidentiality and hidden computations. The reasoning techniques are ...