Die aanspreeklikheid van 'n bank vir die verkeerdelike dishonorering van 'n klient se tjek by Bekker, Elizabeth Elena

Subjects: “…Checks…”
Get full text

Reconsidering the role of the Public Protector in Strengthening Constitutional Democracy in South Africa by Mokhosi, Daniel Setai

Subjects: “…Strengthening constitutional democracy, Chapter 9 Institutions, checks and balances, implications of the Public Protector's Remedial action, separation of powers…”
Get full text

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

Subjects: “…Linearisability checking…”
Get full text

INSPECT: Intelligent Node-based System for IFC Processing and Evaluation, with Conversational Tool Support —LLMassisted natural language IFC querying by Abdelshaheid, Basel

Subjects: “…Automated Compliance Checks…”
Get full text
Get full text

Design and evaluation of a formula cache for SMT-based bounded model checking tools by Breytenbach, Jean Anré

Subjects: “…Bounded model checking…”
Get full text

Comparative analysis of legislation governing maintenance check flight of aircraft by Rogers, Matthew

Subjects: “…Maintenance Check Flight (MCF)…”
Get full text

Integrative Assessment of Body Composition and Micronutrient Status in an Adult Egyptian Population by Nouh, Roua Aref

Subjects: “…So-check…”
Get full text
Get full text

Assessing the Knowledge and Practices regarding eye care and complications of Diabetes among Diabetic Patients 18 years and older, attending a tertiary Diabetic Clinic in Kampala,... by Hope, Mackline

Subjects: “…Eye check-up…”
Get full text

Real-time task schedulability analysis via spotlight abstraction

Subjects: “…Model Checking…”
Get full text

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

Subjects: “…Model checking…”
Get full text

Optimizing LDPC codes for a mobile WiMAX system with a saturated transmission amplifier

Subjects: “…Low-density parity-check codes…”
Get full text
Get full text

Verifying Android applications using Java PathFinder by Botha, Heila-Marié

Subjects: “…Android software -- Model checking…”
Get full text

Soft-decision decoding of moderate length binary cycle codes based on parity-check transformation by Babalola, Oluwaseyi Paul

Subjects: “…Parity check…”
Get full text

Improvement of airline check-in and boarding processes by Corlett, Bradley Michael

Subjects: “…Airline check-in…”
Get full text

Code generation and simulation of an automatic, flexible QC-LDPC hardware decoder by Von Leipzig, Mirko

Subjects: “…Quasi-cyclic low-density parity check (QC-LDPC)…”
Get full text

Fact-checking in the Global South: Facts about non-profit journalism funding models – a case study by Van Wyk, Annamarie

Subjects: “…Fact checking -- Developing countries…”
Get full text

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

Subjects: “…Model checking…”
Get full text

Spell checkers and correctors : a unified treatment

Subjects: “…Spell checking…”
Get full text
Get full text

Business process modelling using model checking and the theory of constraints by Odendaal, Maghiel Jock

Subjects: “…Model checking…”
Get full text