A Physical Design verification framework for superconducting electronics by Van Staden, Ruben

Subjects: “…Hardware verification…”
Get full text

Writer-independent handwritten signature verification by Swanepoel, Jacques Philip

Subjects: “…Signature verification…”
Get full text

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

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

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

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

Reducing communication in distributed model checking by Fourie, Jean Francois

Subjects: “…Program verification…”
Get full text

A multi-model ensemble system for short-range weather prediction in South Africa

Subjects: “…Verification…”
Get full text
Get full text

Verifying parentage and gender of domestic dog conceptuses using microsatellites

Subjects: “…Parentage verification…”
Get full text
Get full text

Simulation and verifcation software for superconducting electronic Circuits by Delport, Johannes Arnoldus

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

Automated program generation : bridging the gap between model and implementation by Bezuidenhout, Johannes Abraham

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

The eligibility and legal protection of female athletes with differences of sex development

Subjects: “…Gender verification…”
Get full text

A survey of proof systems for CSP by Van Zijl, Lynette

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

A model for compound purposes and reasons as a privacy enhancing technology in a relational database

Subjects: “…Verification…”
Get full text
Get full text

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

Subjects: “…News Verification…”
Get full text
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

Automated parameter extraction for Single Flux Quantum integrated circuits with LVS by Roberts, Rebecca Mimi Catherina

Subjects: “…Layout versus schematic verification…”
Get full text

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

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

A Bayesian approach to energy monitoring optimization

Subjects: “…Measurement and verification…”
Get full text

Off-line signature verification using classifier ensembles and flexible grid features by Swanepoel, Jacques Philip

Subjects: “…Verification…”
Get full text

Hidden Markov models for on-line signature verification by Wessels, Tiaan

Subjects: “…Dynamic signature verification…”
Get full text

Genetic verification of multiple paternity in two free-ranging isolated populations of African wild dogs (Lycaon pictus)

Subjects: “…Genetic verification…”
Get full text
Get full text