Algebraic aspects of propositional logic by Leisegang, Nicholas

“…Lastly, we construct an adjunction between Heyt and the category of topological Boolean algebras, and through this show that we again cannot construct similar algebraic algorithms to determine theorems in the modal logic S4.…”
Get full text

Improved trail usability and information accessibility for the nature reserves of Tshwane - a geoinformation science approach

Get full text

Approximating a wavelet kernel using a quantum computer by Rughubar, Rivan

“…In this thesis we explore different implementations of quantum machine learning algorithms on near term quantum computers, and the limits of these systems. …”
Get full text

Application of Effective Markovian Projection to SABR and Heston Models by Bagraim, Jacques

“…Here, Effective Markovian Projection is used to obtain equivalent Heston model parameters from a range of SABR models with different skew parameters using two distinct point-matching algorithms. The implied parameters are used to price European claims under a variety of schemes in order to outline the efficacy in this context. …”
Get full text

Transformerless series dip/sag compensation with a multilevel cascaded inverter by Visser, Abraham Johannes

Get full text

Graph Neural Network Applications in Electronic Design Automation by Helaly, Abdelrahaman Wael

“…Lastly, we propose an agentic pipeline that autonomously orchestrates multiple AI components through structured tool interactions, enabling dynamic strategy selection and adaptation to novel constraints without human intervention. …”
Get full text
Get full text

Model development to improve patient safety in the operating theatre

Get full text

Spell checkers and correctors : a unified treatment

Get full text
Get full text

Artificial neural networks modelling for mass appraisal of properties

Get full text

Deriving the internal bony structure of the cochlea from high-resolution µCT images for translation to low resolution image-based construction of person-specific computational mode...

Get full text

Dense granular flow in rotating drums: a computational investigation of constitutive equations by Povall, Timothy Mark

“…An instability in the system is observed, this is conjectured to be due to a frictional threshold that is breached as the rotational speed of the drum increases. Algorithms for calculating field variables and features of the charge are presented.…”
Get full text

Project Leanness Score: A Machine Learning Approach by Said, Julia

“…Lastly, developing a user-friendly tool that enables companies to easily calculate the leanness score of their projects, compare it to the benchmarks, and predict their schedule and cost performance. …”
Get full text
Get full text

Spatiotemporal Performance Analysis to Identify Degradation Trends in a Utility-Scale PV Plant by Bekker, Neil Francois

Get full text

Influence of symmetry on the stability behaviour of plane and space frames by Kaluba, Chisanga

“…This study also demonstrated how the post buckling equilibrium paths of lattice space domes can be traced using a load excitation method, without having to use special path switching algorithms. In this method, the pattern of the applied load arrangement to excite a particular bifurcation path is based on the symmetry of the deformation pattern of the dome on that particular bifurcation path. …”
Get full text

Considerations towards the development of a forensic evidence management system

Get full text
Get full text

A longitudinal analysis of neonatal and infant diagnostic HIV-PCR uptake and associations during three sequential policy periods in Mitchell’s Plain, Cape Town by Kalk, Emma

“…Using a cohort of HIV-exposed live infants from this database, a protocol was designed (Section A: Protocol) to assess the implementation and outcome of effectively three different EID policy periods in the facility chain. i.e. an initial period of birth HIV-PCR at the clinician’s discretion if evidence of HIV infection; a period of targeted birth testing of high risk infants and lastly, of routine birth HIV-PCR for all HIV-exposed infants. …”
Get full text

Performance evaluation of massive MIMO Systems for future wireless access systems by Gahadza, Mutsawashe

“…Linear and sub-optimal signal processing methods like minimum mean square error (MMSE), zero forcing (ZF), regularized zero forcing (RZF) and maximal ratio combining (MRC) detection and precoding algorithms with relatively less complexity were evaluated. …”
Get full text

Multi-agent path finding with reinforcement learning by Ellis, James

Get full text

Artificial intelligence tools in legal work automation: The use and perception of tools for document discovery and privilege classification processes in Southern African legal fir... by Kufakwababa, Collen Zvandasara

Get full text