Full Text Available
Access Full Text at Repository
Search Results - verification data
-
-
Verification of theoretical culvert
Published 2011Get full text
ThesisFull Text AvailableAccess Full Text at Repository -
Phoneme duration modelling for speaker verification
Published 2013Get full text
Get full text
Thesis -
Writer-independent handwritten signature verification
Published 2015Get full text
ThesisFull Text AvailableAccess Full Text at Repository -
Concrete and symbolic linearisability checking of non-blocking concurrent data structures
Published 2021Subjects: “…Program verification…”
Get full text
ThesisFull Text AvailableAccess Full Text at Repository -
Modeling and verification of valve train dynamics in engines
Published 2008Get full text
ThesisFull Text AvailableAccess Full Text at Repository -
Validation and verification of FLUKA for neutron shielding problems
Published 2022Get full text
ThesisFull Text AvailableAccess Full Text at Repository -
Formal verification of automotive embedded UML designs
Published 2018“…ISO-26262 mandates that ASILs C and D classified systems utilize walkthrough, semi-formal verification, inspection, control flow analysis, data flow analysis, static code analysis and semantic code analysis techniques to verify software unit design and implementation. …”
Get full text
Get full text
Thesis -
A language to support verification of embedded software
Published 2012Get full text
ThesisFull Text AvailableAccess Full Text at Repository -
The development and verification of a centrifugal compressor test bench
Published 2014Get full text
ThesisFull Text AvailableAccess Full Text at Repository -
Tyre model verification over off-road terrain
Published 2014Get full text
ThesisFull Text AvailableAccess Full Text at Repository -
Verification of the bisubstrate concept in modelling of the activated sludge process
Published 2014Get full text
ThesisFull Text AvailableAccess Full Text at Repository -
Extension and verification of the PWM_SA model to incorporate SANI-specific bioprocesses using experimental data from the Hong Kong SANI saline sewage treatment pilot plant.
Published 2025“…Specifically, the model extension aimed to ensure mass balance verification across Chemical Oxygen Demand (COD), Sulfur (S), Phosphorus (P), and Nitrogen (N), and to verify the extended model using empirical data from the Hong Kong SANI pilot plant. …”
Get full text
ThesisFull Text AvailableAccess Full Text at Repository -
Peer-to-peer biometric verification using nfc-enabled smartphones
Published 2021Get full text
ThesisFull Text AvailableAccess Full Text at Repository -
Design and Implementation of UVM-based Verification Framework for Deep Learning Accelerators
Published 2025“…The verification process is required to handle the complex DLA design. …”
Get full text
Get full text
Thesis -
Verification of gridded seasonal wind speed forecasts over South Africa.
Published 2014Get full text
ThesisFull Text AvailableAccess Full Text at Repository -
The Measurement & Verification of Energy Conservation Measures at a Coal-fired Power Plant
Published 2022“…This approach was mainly motivated by the lack of data available and a high potential for interactive effects. …”
Get full text
ThesisFull Text AvailableAccess Full Text at Repository