Formal verification of automotive embedded UML designs by Bahig, Ghada

“…As risk of the system increases, ASIL level increases and the standard mandates more stringent methods to ensure safety. ISO-26262 mandates that ASILs C and D classified systems utilize walkthrough, semi-formal verification, inspection, control flow analysis, data flow analysis, static code analysis and semantic code analysis techniques to verify software unit design and implementation. …”
Get full text
Get full text

An evaluation of participative management in police organisations at station level. by Stassen, Carl Christiaan

Get full text

A workflow for geocoding South African addresses by Van Rensburg, Alexandria

“…There are many industries that have long been utilizing Geographical Information Systems (GIS) for spatial analysis. …”
Get full text

Predicting grade progression within the Limpopo Education System by Ramphele, Frans

“…Several theories, models and methods have been developed to attempt to address the challenges faced in the education sector. …”
Get full text

Piano practice : practice routines and techniques for concert piansts

Get full text

The Impact of covid-19 on occupational therapy students in mental health practice learning placements by Cassim, Feroza

“…This study aimed to explore the opportunities and barriers that influenced undergraduate OT students' learning experiences within mental health (MH) PL placements during the covid-19 pandemic. Methods: A qualitative descriptive research design was utilized to explore the barriers and opportunities occupational therapy students faced during the covid-19 pandemic in MH PL. …”
Get full text

The Concept of Salvation in the Karanga Indigenous Religion of South-Eastern Zimbabwe

Get full text

The relation of exercise training mode, brain oxygenation and cognition in healthy older adults by Coetsee, Carla

Get full text

An investigation into the effects of aspalathin on myocardial glucose transport using cardiomyocytes from control and obesity-induced insulin resistant rats, and terminally differe... by Smit, Sybrand Engelbrecht

“…Methods: Male Wistar rats were allocated into three groups: 16-30 weeks feeding with either standard rat chow (C) or a high-fat, high-caloric diet (HFD), or 6-7 weeks feeding with C. …”
Get full text

Intraindividual variability and micro-structural white matter changes in Alzheimer’s disease by Engelbrecht, Kara

“…These factors call for the development of alternative diagnostic methods. One such method that has gained attention due to its neural overlaps with AD is the measurement of intraindividual variability (IIV; the within-person variation in performance over multiple trials of a single task). …”
Get full text

Systematic review of economic evaluations for paediatric pulmonary diseases by Chitando, Mutsawashe

“…Seven of the articles were cost-effectiveness analyses, five cost-utility analyses, two cost-minimisation analyses, and eight cost analyses. …”
Get full text

Broad-based Black Economic Empowerment : a human capital development approach by Mbabane, Loyiso Mzisi

Get full text

The synthesis of Combined Heat and Mass Exchange Networks (CHAMENs) with renewables considering environmental impact by Kim, So-Mang

“…Extensive studies have been conducted for heat exchange network synthesis (HENS), which was first used to optimise utility usage and operating costs. Many existing mass exchange network synthesis (MENS) methods are derived from HENS techniques since analogies exist between the two networks. …”
Get full text

The transformative effect of education programmes as perceived by ex-offenders

Get full text

Lymphoma: Understanding the diagnostic challenges and improving outcomes in a TBand HIV-endemic area by Antel, Katherine Rae

“…As diagnostic testing and methods evolve in the direction of next-generation platforms, it is important to understand the tumour biology in our local setting, and in HIV-lymphoma, in order to be able to apply these new methods. …”
Get full text

On the energy and separation efficiency of dense medium cyclone coal beneficiation processes

Get full text

Interactive Expert System for Budgeting World Bank Consultancy Projects by Rafat, Yosra

“…This research aims at developing an expert system that determines the rough order of magnitude for budgeting with an expected range of 30%-35% leeway, to forecast the costs of consultancy services of future World Bank projects. The expert system utilizes advanced ML methods to be able to generate accurate forecasts based on a rigorous database of similar past projects. …”
Get full text
Get full text

Spoor density, movement and rehabilitation of cheetahs in Botswana

Get full text
Get full text