Search Results - programme verification

Refine Results
  1. Optimal measurement and verification plan on lighting

    Published 2015
    Get full text
    Thesis
  2. The Measurement & Verification of Energy Conservation Measures at a Coal-fired Power Plant by Larmour, Richard

    Published 2022
    “…The aim of this dissertation was to use Measurement & Verification (M&V) to determine the improvements in net heat rate at a South African coal-fired power plant (CFPP) following an extensive refurbishment programme. …”
    Get full text
    Thesis
  3. The impact of DNA parentage verification on EBV estimation and sire ranking in South African Angora goats

    Published 2021
    Get full text
    Thesis
  4. Design and evaluation of a formula cache for SMT-based bounded model checking tools by Breytenbach, Jean Anré

    Published 2018
    Get full text
    Thesis
  5. Reducing communication in distributed model checking by Fourie, Jean Francois

    Published 2009
    Get full text
    Thesis
  6. A model checker for the LF system by Gerber, Erick D. B.

    Published 2012
    Get full text
    Thesis
  7. Automated program generation : bridging the gap between model and implementation by Bezuidenhout, Johannes Abraham

    Published 2012
    Get full text
    Thesis
  8. Automated parameter extraction for Single Flux Quantum integrated circuits with LVS by Roberts, Rebecca Mimi Catherina

    Published 2015
    Get full text
    Thesis
  9. A Bayesian approach to energy monitoring optimization

    Published 2018
    Get full text
    Thesis
  10. An algebraic framework for reasoning about security by Rajaona, Solofomampionona Fortunat

    Published 2013
    Get full text
    Get full text
    Thesis
  11. Developing a results-based monitoring and evaluation system for the child support grants programme in Namibia by Nshimyimana, Brigitte

    Published 2023
    Get full text
    Thesis
  12. The effectiveness of a splint programme in preventing the deterioration of already evident swan neck and boutonniere deformities in patients with rheumatoid arthritis by Du Toit, Alida Christina

    Published 2017
    “…The aim of this study was to establish whether a splint programme is effective in preventing the deterioration of already evident swan neck and boutonniere deformities in rheumatoid arthritis (RA). …”
    Get full text
    Thesis
  13. Impact assessment of energy-efficient lighting interventions by Jakoef, Adiel

    Published 2009
    Get full text
    Thesis
  14. Charge pumps and floating gate devices for switching applications

    Published 2013
    Get full text
    Get full text
    Thesis
  15. Evaluation as a feed back and accountability mechanism: the theory and a trail

    Published 2006
    Full Text Available
    Access Repository
    Article
  16. A regulatory assessment of the Build-Own-Operate model for New Nuclear Build in South Africa by Essa, Fagmie

    Published 2018
    “…South Africa's Integrated Resource Plan 2016 indicates that the base case scenario includes a target date of 2037 for the first unit of a NNB programme. This date moves to 2026 when the carbon budget is included in the forecast. …”
    Get full text
    Thesis
  17. The prevalence of cheating in National Standardised Assessments in South African schools : applying the Jacob and Levitt (2003) method to the Annual National Assessments of 2013 by Ross, Lauren

    Published 2017
    “…This paper builds on the underlying framework of Jacob and Levitt (2003) and further work by Gustafsson (2014) to determine the prevalence of cheating in South African schools using a nationally representative sample (Verification ANA) of the Annual National Assessments of 2013. …”
    Get full text
    Thesis