Formal verification of automotive embedded UML designs by Bahig, Ghada

“…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

A developmental profile of speech sound and syllable acquisition in Zulu speaking children

Get full text
Get full text

Examination of flexural crack width prediction in concrete: comparison of analytical and numerical models by Fredericks, Brandon

“…The reliability of crack prediction methods in concrete design plays a role in the degree of confidence with which durability can be ensured. …”
Get full text

Numerical evaluation (FEA) of end stop impact forces for a crane fitted with hydraulic buffers by Idowu,Ifeolu Mobolaji

Get full text

An analysis of the partial feasibility of a novel cardiac exercise rehabilitation programme for patients suffering from cardiovascular disease by Ross, Tayla Jane

“…Twenty-two outcome measures were assessed for reliability, five of which were classified as having “poor” reliability, nine as “moderate”, three as “good” and five as “excellent' according to ICCs. …”
Get full text

Novel techniques in large scaleable ATM switches by Lawrence, M.A.

Get full text

Adaptive Protection for Renewable-Based AC Microgrids in Low-Voltage Radial Networks

Get full text

A critical analysis of corporate reports that articulate corporate social responsibility by Bernard, Taryn

Get full text

Direct current conductor corona modelling and metrology by Otto, Abraham Johannes

Get full text

Automation of ultrasonic-based product tracking & traceability in supply chains by Mkombwe, Anorld

“…The study utilizes simulation models and field testing to examine the reliability, accuracy, and cost-effectiveness of ultrasonic-based tracking across various supply chain stages. …”
Get full text

Adaptive protection for renewable-based ac microgrids in low-voltage radial networks

Get full text

Do anatomical contoured plates address scapula body, neck, and glenoid fractures and can these fractures be classified? – A multi-observer consensus study by De Wet, Johannes Jacobus

“…We observed good to excellent (p ≤ 0.001) inter-observer reliability for three of the four plates. The inter-observer reliability was moderate (ICC = 0.74) for the AO/OTA classification and good (ICC = 0.88) for the Ideberg classification. …”
Get full text

The role of expert evidence in support of the defence of criminal incapacity

Get full text
Get full text

Constructal design and optimisation of combined microchannels and micro pin fins for microelectronic cooling

Get full text

Narrative discourse characteristics of South African Afrikaans speaking Cape Coloureds with aphasia by Venter, Analou

“…The narrative discourse productions were transcribed and analysed using more stringent reliability measures. Measures of reliability were obtained by calculating inter-rater and intra-rater reliability measures. …”
Get full text

Hamstring flexibility : measurement, stretching and injury susceptibility

Get full text

Validation of the Arabic version of the Oswestry Disability Index developed in Tunisia for low back pain patients in the UAE by Ramzy, Raafat

Get full text

Modified force/displacement-based procedure for performance-based seismic design of regular RC frames by ElKassas, Soha Hassan Nashaat

“…A design case study helps to prove the efficiency and higher reliability of the proposed modification in achieving targeted performance and thus its suitability for application in performance-based design, provided elimination of its limitations and broadening its scope of application.…”
Get full text
Get full text

The Development of an Economic Feasibility Decision Support System for a Building Automation and Control System by Nash, Sheldon Peter

Get full text

The accuracy of clinical examination of rotational and sagittal laxity of the knee by Bezuidenhout, Carel Willem

“…Purpose: This study evaluates the accuracy and reliability of clinical examination for knee laxity in degrees and millimetres when compared to movement measured by computer-assisted navigation. …”
Get full text