Search Results - mathematical model computer (programmes OR programme)

Refine Results
  1. Cover Image

    Investigation of a simplified open boundary condition for coastal and shelf sea hydrodynamic models by Shabangu, Patrick Eminet

    Published 2015
    Subjects: “…Mathematical models -- Computer Programmes…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  2. Cover Image

    Science teachers' attendance of professional development programmes and their use of computer software in teaching

    Published 2015
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  3. Cover Image

    FPGA accelerated radio galaxy classification with a Fourier convolutional neural network by Edwards, Barend Jacobus

    Published 2025
    Subjects: “…Machine learning -- Mathematical models…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  4. Cover Image

    Reducing communication in distributed model checking by Fourie, Jean Francois

    Published 2009
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  5. Cover Image

    A mathematical model and application for fire risk management in commercial complexes in South Africa

    Published 2020
    Full Text Available
    Access Repository
    Article
    Save to List
    Saved in:
  6. Cover Image

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

    Published 2012
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  7. Cover Image

    Teachers' perceptions and use of artificial intelligence in teaching high school mathematics

    Published 2025
    Get full text
    Get full text
    Full Text Available
    Access Full Text at Repository Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  8. Cover Image

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

    Published 2012
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  9. Cover Image

    Extended probabilistic symbolic execution by Uwimbabazi, Aline

    Published 2013
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  10. Cover Image

    Hybrid finite element and moment method modelling of microstrip patches by Malan, D. H. (Daniel Hugo)

    Published 2012
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  11. Cover Image

    Algorithmic component and system reliability analysis of truss structures by Hashemolhosseini, Sepehr

    Published 2013
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  12. Cover Image

    Mathematical modelling of sediment transport dynamics in the Berg River considering current and future water resources development scenarios by Van der Walt, Sarel C.

    Published 2012
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  13. Cover Image

    A conceptual framework for the development of intelligent, learning style- and computer-based educational software for topics from operations research by Du Plessis, S. A. (Sameul Altenstadt)

    Published 2012
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  14. Cover Image

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

    Published 2018
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  15. Cover Image

    Exploratory data analysis and empirical modelling of stationary processes by use of genetic programming by Chemaly, Timothy Paul

    Published 2012
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  16. Cover Image

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

    Published 2013
    Get full text
    Get full text
    Full Text Available
    Access Full Text at Repository Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  17. Cover Image

    Mathematical optimisation of the suspension system of an off-road vehicle for ride comfort and handling

    Published 2013
    Get full text
    Get full text
    Full Text Available
    Access Full Text at Repository Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  18. Cover Image

    Prediction and measurement of the performance of spray cooled heat exchangers by Kriel, Dawid Eduard

    Published 2012
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  19. Cover Image

    Combining reverse debugging and live programming towards visual thinking in computer programming by Coetzee, Abraham Liebrecht

    Published 2015
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  20. Cover Image

    A graph-based framework for comparing curricula

    Published 2014
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:

Search Tools: