Linear Programming Transportation Assignment Problem for Parametric Information-Decentralised Energy Market Model

Get full text

: ntrastive Learning for Autoated tch Correctness Aessment in Program Repair

Get full text

Field‐Programable Dynamics in a Soft Magnetic Actuator Enabling True Random Number Generation and Reservoir Computing

Get full text

Investigating a learning analytics interface for automatically marked programming assessments by Ndenge, Kinsley

“…Student numbers at the University of Cape Town continue to grow, with an increasing number of students enrolling to study programming courses. With this increase in numbers, it becomes difficult for lecturers to provide individualised feedback on programming assessments submitted by students. …”
Get full text

Fast presenter tracking for 4K lecture videos using computationally inexpensive algorithms by Fitzhenry, Charles

“…Our front-end is carefully designed to run on commodity computers without requiring expensive Graphics Processing Units (GPU) or servers. …”
Get full text

Machine Learning for Multi Objective Convex Separable Programming (MOCSP) with Aggregation of Linear Approximations and Portfolio Optimization

Get full text

SSDE : structured software development environment by Norman, Michael John

Subjects: “…Computer Science…”
Get full text

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

Subjects: “…Computer programming…”
Get full text

An LTL verification system based on automata theory by Inggs, Cornelia Petronella, Van Wyk, Cornelia

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

A language to support verification of embedded software by Swart, Riaan

Subjects: “…Programming languages (Electronic computers)…”
Get full text

Learner Engagement State Typologies in AI Tutoring: A Clustering Analysis of Dialogue Behaviors in Introductory Programming Sessions

Get full text

A Run-time environment for a validation language by Visser, Willem Conradie

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

Efficiency issues in the design of a model checker by Geldenhuys, Jacobus

Subjects: “…Programming languages (Electronic computers)…”
Get full text

Testing algorithmically complex software using model programs

Get full text
Get full text

A new approach to embedded computer benchmarking by Smit, Willem A.

Get full text

Flexible Scheduling for Large‐Scale Autonomous Driving Trucks in Open‐Pit Mining With Reinforcement Learning‐Assisted Evolutionary Programming

Get full text

Enhancing Cyber Hygiene among Communities through Experiential Cyber-Security Awareness Programs

Get full text

Automatic Programming for the Optimal Power Flow in Distribution Networks: An Edge-side Adaptive Computing Approach Based on Large Language Models

Get full text

An educational computer programme designed for companies in South Africa to facilitate employee housing assistance by Fullard, Alexandra J. E.

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