Development of a framework for tracking goods in manufacturing networks using a distributed ledger technology by Dietrich, Fabian Tobias

Subjects: “…Filing systems -- Computer programs…”
Get full text

Ergo: a gesture-based computer interaction device by Kane, Boyd Robert

Subjects: “…Artificial intelligence -- Computer programs…”
Get full text

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

Subjects: “…Computer programs -- Validation…”
Get full text

Intelligent elevator control based on adaptive learning and optimisation by Jordaan, Edzard Adolf Biermann

Subjects: “…Elevators -- Computer programs…”
Get full text

Combining reverse debugging and live programming towards visual thinking in computer programming by Coetzee, Abraham Liebrecht

Subjects: “…Python (Computer program language)…”
Get full text

Static analysis of regular expressions by Weideman, Nicolaas Hendrik

Subjects: “…Computer programming language -- Regular expressions…”
Get full text

Predicting water quality variables by Elmahdi, Reem

Subjects: “…Time-series analysis -- Computer programs…”
Get full text

Towards a distributed real-time system for future satellite applications by Rozendaal, A. (Abraham)

Subjects: “…Linux device drivers (Computer programs)…”
Get full text

SLAM landmark identification using lidar measurements by Gericke, Johannes Petrus

Subjects: “…SLAM (Computer program language)…”
Get full text

Concrete and symbolic linearisability checking of non-blocking concurrent data structures by Du Toit, Nicole Cathryn

Subjects: “…Computer programs -- Correctness…”
Get full text

A model checker for the LF system by Gerber, Erick D. B.

Subjects: “…Computer programs -- Verification…”
Get full text

Calibration of heliostats using a drone. by Gouws, Jurgens Erik

Subjects: “…Computer program optimization…”
Get full text

An analysis of security protocols for lightweight systems by Kamkuemah, Martha Ndeyapeuomagano

Subjects: “…Computer programming…”
Get full text

Standby redundant control using Erlang/OTP and JADE for a manufacturing cell. by Hawkridge, Greg Thomas

Subjects: “…ERLANG (Computer program language)…”
Get full text

A comprehensive framework for SQL query execution in distributed multidatabase systems by Winckler, Cornelis Janse

Subjects: “…SQL (Computer program language)…”
Get full text

Detecting potholes with monocular computer vision: A Performance evaluation of techniques by Nienaber, Sonja

Subjects: “…Roads -- Maintainance and repair -- Management -- Computer programs…”
Get full text

On-line fault detection and end-of-batch quality prediction for batch processes incorporating on-line synchronisation and phase identification by Myburgh, Travis Louis

Subjects: “…SR (Computer program language)…”
Get full text

A physical design and layout versus schematic framework for superconducting electronics by Coetzee, Johannes

Subjects: “…Python (Computer program language)…”
Get full text

An open-source digital image correlation software system by Brisley, J. E.

Subjects: “…Python (Computer program language)…”
Get full text

Evaluation of a Java microprocessor for use in future SUNSAT satellites by La Grange, Philip(Philip Lodewyk)

Subjects: “…Java (Computer program language)…”
Get full text