Process-aware programming assessment through temporal knowledge graph reasoning and LLM verification

Get full text

Formal verification of automotive embedded UML designs by Bahig, Ghada

Get full text
Get full text

Design and Implementation of UVM-based Verification Framework for Deep Learning Accelerators by Aboudeif, Randa Ahmed Hussein

Get full text
Get full text

Development and verification of the commercial value added chain of content marketing response by Hirschfelder, Benedikt

Get full text

When and Why Do Arabs Verify? Predicting Online News Verification Intention during the 2023 Gaza War by Elhosary, Menna

Get full text
Get full text

Sources and application of professional knowledge amongst teacher educators

Get full text
Get full text

The characterization of the components of the energy and water balance within hedgerow orchards for the verification of a two-dimensional water balance and energy interception mode...

Get full text
Get full text

An algebraic framework for reasoning about privacy by Rajaona, Solofomampionona Forunat

Get full text

The role of traditional knowledge in a developing society : a case study of the relationship between traditional and scientific methods of detecting underground water in Botswana by Sono, Tshimologo Topo

Get full text

An exploration into the ZKP software space by Van Niekerk, Nadia

Get full text

A framework for evaluating clinical data using graph-based link prediction by Parshotam, Himil

Get full text

Tracking with context by Du Toit, Carlo

Get full text

Python based FPGA design-flow by New, Wesley

“…MyHDL is an open-source package which enables Python to be used as a hardware definition and verification language. As Python is a high-level language, hardware designers can use it to model and simulate designs, without needing detailed knowledge of the underlying hardware. …”
Get full text

Gendered Harms in Armed Conflict: International Legal Responses to the Gendered Effects of the War in Sudan by Dams, Naima

“…It advocates for a feminist legal praxis that listens beyond what the law can codify, values narrative, and prioritizes survivors’ lived knowledge over carceral performance.…”
Get full text
Get full text

Modelling of the deaerator system in Flownex by Banda, Richard Bobby

“…The final step was the development, verification and validation of the Flown ex model. The Flownex model was developed and successfully verified by comparing its predictions to that of the analytical model. …”
Get full text

Critical making, critical niches: co-design for energy transitions and living labs in South Africa by Earl, Andrew Christopher

Get full text

Negotiating disciplinary boundaries in engineering problem-solving practice by Wolff, Karin Elizabeth

Get full text

Evaluation of Quality Management System for an Alcoholic Beverage Industry by Quaye, Joseph

Get full text