A comparison of two different model checking techniques by Bull, J. J. D

Get full text

Towards a framework for intelligent document image enhancement in pursuit of improved OCR performance by Kleinhans, Ryno

Get full text

Applying game based learning at the South African Military Academy: an experimental study by Dreyer, Adriaan Marthinus Francois

Get full text

The address sort and other computer sorting techniques by Underhill, Leslie G

“…Originally this project was to have been a feasibility study of the use of computers in the library. It soon became clear that the logical place in the library at which to start making use of the computer was the catalogue. …”
Get full text

A needle positioning system for percutaneous procedures by Garth-Davis, Bryan

Get full text

Control of reconfigurable assembly system by Adams, Azeez Olawale

Get full text

Reduced order modeling techniques for mesh movement as applied to fluid structure interactions

Get full text
Get full text

Relativistic eikonal formalism applied to inclusive quasielastic proton-induced nuclear reactions by Titus, Nortin, P-D

Get full text

Sub-sampled exponential analysis applied to sparse planar antenna array configurations by Raal, Ridalise

Get full text

Network engineering using multi-objective evolutionary algorithms by Baruani, Atumbe Jules

Get full text

Community distributed energy systems: an end-User energy services approach by Mabaso, Mbalenhle

Get full text

Reducing communication in distributed model checking by Fourie, Jean Francois

Get full text

Hidden Markov models for on-line signature verification by Wessels, Tiaan

Get full text

A Computational Intelligence Approach to Clustering of Temporal Data

Get full text

Visually grounded speech models for low-resource languages and cognitive modelling by Nortje, Aletta Susanna Elizabeth

Get full text

Augmenting the action space with conventions to improve multi-agent cooperation in Hanabi by Bredell, Francois

Get full text

Optimised active fault detection for an open loop stable system by Busch, Regardt

Get full text

The dynamics of theory and practice in instructional systems design

Get full text
Get full text

Trajectory planning methods applied to a rotary wing UAV with uncertain suspended payloads by Hohbach, Annika

Get full text

Validation of a microkernel : a case study by De Villiers, Pieter Jan Albertus

Get full text