Results for programme verification

Results for programme verification Showing 1 - 50 results of 56 Laminas_Feed_Writer 2 (https://getlaminas.org) https://search.frelip.org/Search/Results?sort=last_indexed+desc&limit=50&lookfor=programme+verification&type=AllFields&lng=en 56 0 50 Modelling of sanitary hot water energy consumption using adaptive neuro-fuzzy inference systems Wed, 10 Jun 2026 12:47:14 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F100184 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F100184 Blignault, George William Thesis 2016 Blignault, George William 0 A framework for the development and evaluation of a mobile training application for teachers to promote motor skills in young children in low-resource areas Wed, 10 Jun 2026 12:47:12 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F134597 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F134597 De Wit, Monique Thesis 2025 De Wit, Monique 0 Automated parameter extraction for Single Flux Quantum integrated circuits with LVS Wed, 10 Jun 2026 12:47:09 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F96992 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F96992 Roberts, Rebecca Mimi Catherina Thesis 2015 Roberts, Rebecca Mimi Catherina 0 Reflections of newly qualified social workers on the execution of their management tasks in non-government organisations Wed, 10 Jun 2026 12:46:49 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F123577 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F123577 Mtombeni, Tirelo Esther Thesis 2021 Mtombeni, Tirelo Esther 0 The environmental implications of the ethical tenets of policies Wed, 10 Jun 2026 12:46:39 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F51472 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F51472 Van Rensburg, Ena Susan Thesis 2012 Van Rensburg, Ena Susan 0 Impact assessment of energy-efficient lighting interventions Wed, 10 Jun 2026 12:46:13 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F2651 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F2651 Jakoef, Adiel Thesis 2009 Jakoef, Adiel 0 Mathematical modelling of sediment transport dynamics in the Berg River considering current and future water resources development scenarios Wed, 10 Jun 2026 12:46:04 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F50395 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F50395 Van der Walt, Sarel C. Thesis 2012 Van der Walt, Sarel C. 0 Sustainable land use planning in the aftermath of the clearing of alien invasive plant species : a system dynamics modelling approach Wed, 10 Jun 2026 12:45:52 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F104939 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F104939 Mudavanhu, Shepherd Thesis 2018 Mudavanhu, Shepherd 0 Development of a software application utilising classical efficiency theory, regression and Data Envelopment Analysis in the evaluation of thermal power plant performance. Wed, 10 Jun 2026 12:45:35 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F97919 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F97919 De Villiers, Almero Thesis 2015 De Villiers, Almero 0 Reflections of newly qualified social workers on the execution of their management tasks in non-government organisations Wed, 10 Jun 2026 12:45:31 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F110808 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F110808 Mtombeni, Tirelo Esther Thesis 2021 Mtombeni, Tirelo Esther 0 Thermal management and control of space satellite systems and subsystems in orbit Wed, 10 Jun 2026 12:45:04 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F49738 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F49738 Van Wyk, Peter Arnold Thesis 2012 Van Wyk, Peter Arnold 0 An approach to modern static analysis with property graphs Wed, 10 Jun 2026 12:44:51 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F132198 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F132198 Effendi, Sedick David Baker Thesis 2025 Effendi, Sedick David Baker 0 Automated program generation : bridging the gap between model and implementation Wed, 10 Jun 2026 12:44:30 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F19584 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F19584 Bezuidenhout, Johannes Abraham Thesis 2012 Bezuidenhout, Johannes Abraham 0 LF : a language for reliable embedded systems Wed, 10 Jun 2026 12:44:20 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F52322 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F52322 Van Riet, F. A. Thesis 2012 Van Riet, F. A. 0 Development of a conceptual framework for integrating intelligent-product structures into a flexible manufacturing system Wed, 10 Jun 2026 12:44:19 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F126113 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F126113 Burkart, Adrian Thesis 2022 Burkart, Adrian 0 Peacebuilding fragility and the dynamics of implementation: The Disarmament, Demobilisation and Reintegration process during ONUMOZ in Mozambique Wed, 10 Jun 2026 12:44:18 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F135617 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F135617 Bennett, Monique Jessica Thesis 2026 Bennett, Monique Jessica 0 Towards improving the contribution of the EIA process to environmental governance : analysis of Namibian case studies Wed, 10 Jun 2026 12:44:04 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F105003 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F105003 Joseph, Gabriel Thesis 2018 Joseph, Gabriel 0 Developing a results-based monitoring and evaluation system for the child support grants programme in Namibia Wed, 10 Jun 2026 12:43:58 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F128908 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F128908 Nshimyimana, Brigitte Thesis 2023 Nshimyimana, Brigitte 0 Design and evaluation of a formula cache for SMT-based bounded model checking tools Wed, 10 Jun 2026 12:43:43 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F103809 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F103809 Breytenbach, Jean Anré Thesis 2018 Breytenbach, Jean Anré 0 A model checker for the LF system Wed, 10 Jun 2026 12:43:31 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F19597 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F19597 Gerber, Erick D. B. Thesis 2012 Gerber, Erick D. B. 0 An algebraic framework for reasoning about security Wed, 10 Jun 2026 12:43:31 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F79869 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F79869 Rajaona, Solofomampionona Fortunat Thesis 2013 Rajaona, Solofomampionona Fortunat 0 Towards the interoperability of spontaneous reporting systems in pharmacovigilance : a maturity model approach with a sociotechnical system focus Wed, 10 Jun 2026 12:42:50 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F107979 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F107979 Schurer, Maximillian Juan Thesis 2020 Schurer, Maximillian Juan 0 Identification of growth related quantitative Trait Loci within the abalone using comparative microsatellite bulked segregant analysis Wed, 10 Jun 2026 12:42:19 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F5477 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F5477 Slabbert, Ruhan Thesis 2010 Slabbert, Ruhan 0 Reducing communication in distributed model checking Wed, 10 Jun 2026 12:41:54 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F2176 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F2176 Fourie, Jean Francois Thesis 2009 Fourie, Jean Francois 0 Smart material actuator for trailing edge thickening Wed, 10 Jun 2026 12:41:06 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F98757 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F98757 Botha, Theuns Thesis 2016 Botha, Theuns 0 A fitness landscape-integrated metaheuristic selection & configuration framework for binary programming problems. Wed, 10 Jun 2026 12:40:57 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F131952 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F131952 Van der Westhuyzen, Nathan Jan Thesis 2025 Van der Westhuyzen, Nathan Jan 0 Full decentralisation of powers, resources and functions in the Kingdom of Lesotho : an evaluation from a developmental local government perspective Wed, 10 Jun 2026 12:40:54 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F97999 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F97999 Naha, Ignatius Matete Thesis 2015 Naha, Ignatius Matete 0 The experiences of learning support unit managers and students in London Wed, 10 Jun 2026 12:40:53 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F50151 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F50151 Van Blerk, Daryl Anthony Thesis 2012 Van Blerk, Daryl Anthony 0 The perceptions of female youth regarding menstruation hygiene management in Kameeldrift, Tshwane Wed, 10 Jun 2026 12:40:08 +0000 https://search.frelip.org/Record/oai:repository.up.ac.za:2263%2F84027 https://search.frelip.org/Record/oai:repository.up.ac.za:2263%2F84027 Thesis 2022 0 Optimal measurement and verification plan on lighting Wed, 10 Jun 2026 12:40:07 +0000 https://search.frelip.org/Record/oai:repository.up.ac.za:2263%2F50836 https://search.frelip.org/Record/oai:repository.up.ac.za:2263%2F50836 Thesis 2015 0 Hearing healthcare resources and services in South Africa Wed, 10 Jun 2026 12:40:04 +0000 https://search.frelip.org/Record/oai:repository.up.ac.za:2263%2F88401 https://search.frelip.org/Record/oai:repository.up.ac.za:2263%2F88401 Thesis 2022 0 Evaluating the performance of HIV testing in infants exposed to antiretroviral prophylaxis within South Africa’s prevention of mother to child transmission programme Wed, 10 Jun 2026 12:39:35 +0000 https://search.frelip.org/Record/oai:repository.up.ac.za:2263%2F68479 https://search.frelip.org/Record/oai:repository.up.ac.za:2263%2F68479 Thesis 2019 0 The development of a model for hybrid teaching and learning in institutions of higher learning in nursing Wed, 10 Jun 2026 12:39:20 +0000 https://search.frelip.org/Record/oai:repository.up.ac.za:2263%2F95181 https://search.frelip.org/Record/oai:repository.up.ac.za:2263%2F95181 Thesis 2024 0 The development, standardisation and acceptability of the traditional Tsonga-Shangaan dishes, Xigugu and Xiendla hi vomu for use in ethnic restaurants Wed, 10 Jun 2026 12:39:14 +0000 https://search.frelip.org/Record/oai:repository.up.ac.za:2263%2F26577 https://search.frelip.org/Record/oai:repository.up.ac.za:2263%2F26577 Thesis 2013 0 Charge pumps and floating gate devices for switching applications Wed, 10 Jun 2026 12:38:55 +0000 https://search.frelip.org/Record/oai:repository.up.ac.za:2263%2F29882 https://search.frelip.org/Record/oai:repository.up.ac.za:2263%2F29882 Thesis 2013 0 The impact of DNA parentage verification on EBV estimation and sire ranking in South African Angora goats Wed, 10 Jun 2026 12:38:54 +0000 https://search.frelip.org/Record/oai:repository.up.ac.za:2263%2F79236 https://search.frelip.org/Record/oai:repository.up.ac.za:2263%2F79236 Thesis 2021 0 Evaluating the impact of employment skills development services (ESDS) training programme of the Department of Labour Wed, 10 Jun 2026 12:38:38 +0000 https://search.frelip.org/Record/oai:repository.up.ac.za:2263%2F23817 https://search.frelip.org/Record/oai:repository.up.ac.za:2263%2F23817 Thesis 2013 0 The formulation of guidelines for an occupational health and safety program to address women’s health concerns of mineworkers at a selected coalmine in Mpumalanga South Africa Wed, 10 Jun 2026 12:37:47 +0000 https://search.frelip.org/Record/oai:repository.up.ac.za:2263%2F65840 https://search.frelip.org/Record/oai:repository.up.ac.za:2263%2F65840 Thesis 2018 0 South Africa’s nuclear diplomacy, 1990-2010 : securing a niche role through norm construction and state identity Wed, 10 Jun 2026 12:37:41 +0000 https://search.frelip.org/Record/oai:repository.up.ac.za:2263%2F25540 https://search.frelip.org/Record/oai:repository.up.ac.za:2263%2F25540 Thesis 2013 0 Youth unemployment in post-democratic Malawi : a policy review Wed, 10 Jun 2026 12:37:30 +0000 https://search.frelip.org/Record/oai:repository.up.ac.za:2263%2F74453 https://search.frelip.org/Record/oai:repository.up.ac.za:2263%2F74453 Thesis 2020 0 Development of primary reference gas mixtures for volatile organic compound monitoring in South Africa Wed, 10 Jun 2026 12:37:27 +0000 https://search.frelip.org/Record/oai:repository.up.ac.za:2263%2F90368 https://search.frelip.org/Record/oai:repository.up.ac.za:2263%2F90368 Thesis 2023 0 Development of a screening algorithm for the cervical cancer prevention programme in Botswana Wed, 10 Jun 2026 12:37:24 +0000 https://search.frelip.org/Record/oai:repository.up.ac.za:2263%2F93187 https://search.frelip.org/Record/oai:repository.up.ac.za:2263%2F93187 Thesis 2023 0 Impact measurement: Ithuba Trust grantmaking strategy towards poverty eradication and sustainable development Wed, 10 Jun 2026 12:37:19 +0000 https://search.frelip.org/Record/oai:repository.up.ac.za:2263%2F28024 https://search.frelip.org/Record/oai:repository.up.ac.za:2263%2F28024 Thesis 2013 0 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 Wed, 10 Jun 2026 12:37:11 +0000 https://search.frelip.org/Record/oai:open.uct.ac.za:11427%2F22939 https://search.frelip.org/Record/oai:open.uct.ac.za:11427%2F22939 Ross, Lauren Thesis 2017 Ross, Lauren 0 A Bayesian approach to energy monitoring optimization Wed, 10 Jun 2026 12:36:36 +0000 https://search.frelip.org/Record/oai:repository.up.ac.za:2263%2F63791 https://search.frelip.org/Record/oai:repository.up.ac.za:2263%2F63791 Thesis 2018 0 Early infant HIV diagnosis and characterization of HIV drug resistance in Gauteng, South Africa Wed, 10 Jun 2026 12:36:30 +0000 https://search.frelip.org/Record/oai:repository.up.ac.za:2263%2F79141 https://search.frelip.org/Record/oai:repository.up.ac.za:2263%2F79141 Thesis 2021 0 A structured approach to network security protocol implementation Wed, 10 Jun 2026 12:34:52 +0000 https://search.frelip.org/Record/oai:open.uct.ac.za:11427%2F17381 https://search.frelip.org/Record/oai:open.uct.ac.za:11427%2F17381 Tobler, Benjamin Thesis 2016 Tobler, Benjamin 0 Living in Nyanga: an exploratory study on resilience among violence-affected male youth from a community in Cape Town Wed, 10 Jun 2026 12:33:21 +0000 https://search.frelip.org/Record/oai:open.uct.ac.za:11427%2F39394 https://search.frelip.org/Record/oai:open.uct.ac.za:11427%2F39394 Dikeni, Viwe Thesis 2024 Dikeni, Viwe 0 A regulatory assessment of the Build-Own-Operate model for New Nuclear Build in South Africa Wed, 10 Jun 2026 12:33:17 +0000 https://search.frelip.org/Record/oai:open.uct.ac.za:11427%2F27375 https://search.frelip.org/Record/oai:open.uct.ac.za:11427%2F27375 Essa, Fagmie Thesis 2018 Essa, Fagmie 0 The effectiveness of a splint programme in preventing the deterioration of already evident swan neck and boutonniere deformities in patients with rheumatoid arthritis Wed, 10 Jun 2026 12:33:05 +0000 https://search.frelip.org/Record/oai:open.uct.ac.za:11427%2F26623 https://search.frelip.org/Record/oai:open.uct.ac.za:11427%2F26623 Du Toit, Alida Christina Thesis 2017 Du Toit, Alida Christina 0