Full Text Available
Access Full Text at Repository
Search Results - mathematical (models OR model) computer (programmes OR programme)
-
Investigation of a simplified open boundary condition for coastal and shelf sea hydrodynamic models
Published 2015Subjects: “…Mathematical models -- Computer Programmes…”
Get full text
Thesis -
Science teachers' attendance of professional development programmes and their use of computer software in teaching
Published 2015Get full text
ThesisFull Text AvailableAccess Full Text at Repository -
FPGA accelerated radio galaxy classification with a Fourier convolutional neural network
Published 2025Subjects: “…Machine learning -- Mathematical models…”
Get full text
ThesisFull Text AvailableAccess Full Text at Repository -
Reducing communication in distributed model checking
Published 2009Get full text
ThesisFull Text AvailableAccess Full Text at Repository -
A model checker for the LF system
Published 2012Get full text
ThesisFull Text AvailableAccess Full Text at Repository -
A mathematical model and application for fire risk management in commercial complexes in South Africa
Published 2020ArticleFull Text AvailableAccess Repository -
Algorithmic component and system reliability analysis of truss structures
Published 2013Get full text
ThesisFull Text AvailableAccess Full Text at Repository -
Automated program generation : bridging the gap between model and implementation
Published 2012Get full text
ThesisFull Text AvailableAccess Full Text at Repository -
Hybrid finite element and moment method modelling of microstrip patches
Published 2012Get full text
ThesisFull Text AvailableAccess Full Text at Repository -
Design and evaluation of a formula cache for SMT-based bounded model checking tools
Published 2018Get full text
ThesisFull Text AvailableAccess Full Text at Repository -
Exploratory data analysis and empirical modelling of stationary processes by use of genetic programming
Published 2012Get full text
ThesisFull Text AvailableAccess Full Text at Repository -
Prediction and measurement of the performance of spray cooled heat exchangers
Published 2012Get full text
ThesisFull Text AvailableAccess Full Text at Repository -
A qualitative model of evolutionary algorithms
Published 2014Get full text
ThesisFull Text AvailableAccess Full Text at Repository -
Extended probabilistic symbolic execution
Published 2013Get full text
ThesisFull Text AvailableAccess Full Text at Repository -
An algebraic framework for reasoning about security
Published 2013Get full text
Get full text
Thesis -
Alternative sphere decoding for finite control set model predictive control of power electronic converters
Published 2021Get full text
ThesisFull Text AvailableAccess Full Text at Repository -
Perceptions of stakeholders about quality assurance in higher education in Botswana
Published 2015Get full text
ThesisFull Text AvailableAccess Full Text at Repository