An algebraic framework for reasoning about security by Rajaona, Solofomampionona Fortunat

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

Self-healing Web service composition with HTN planners

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

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

Subjects: “…Program verification…”
Get full text

A kernel to support computer-aided verification of embedded software by Grobler, Leon D.

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

Reducing the state explosion problem during model checking by Barnard, Dieter Cornelius

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

Isaiah 7:14 - Identity and function within the bookend structure of proto-Isaiah

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

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

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

A comparison of two different model checking techniques by Bull, J. J. D

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

Investigating the non-termination of affine loops by Durant, Kevin

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

A comparative study of listening and reading comprehension in children of different age-groups

Subjects: “…Sentence verification technique…”
Get full text
Get full text

Probabalistic load modelling of electrical demand of residential water heating by Urban, Graeme John

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

Off-line signature verification using ensembles of local Radon transform-based HMMs by Panton, Mark Stuart

Subjects: “…Signature verification…”
Get full text

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

Subjects: “…Program verification…”
Get full text

Distributed binary decision diagrams by Fasan, Mary Oluwasola

Subjects: “…Program verification…”
Get full text

Phoneme duration modelling for speaker verification

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

CFD Modelling and Mathematical Optimisation of a Continuous Caster Submerged Entry Nozzle

Subjects: “…Cfd validation and verification with water modelli…”
Get full text
Get full text

Impact assessment of energy-efficient lighting interventions by Jakoef, Adiel

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

Energy audit methodology for belt conveyors

Subjects: “…Measurement and verification (m&v).…”
Get full text
Get full text

Development of a screening algorithm for the cervical cancer prevention programme in Botswana

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

Improvements to longitudinal clean development mechanism sampling designs for lighting retrofit projects

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