Search Results - Logical Methods in Computer Science

Refine Results
  1. Cover Image

    Enriching deontic logic with typicality by Chingoma, Julian

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

    Providing mechanical support for program development in a weakest precondition calculus by Ackerman, Charlotte Christene

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

    Genetic algorithm with temporal logic for automated markers

    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:
  4. Cover Image

    Interpreting decision boundaries of deep neural networks by Wessels, Zander

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

    An Empirical Investigation for Patterns of Belief Change in Human Reasoning by Baker, Clayton Kevin

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

    Ontology verbalization in agglutinating Bantu languages: a study of Runyankore and its generalizability by Byamugisha, Joan

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

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

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

    Validation of a microkernel : a case study by De Villiers, Pieter Jan Albertus

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

    Repairing classical ontologies using defeasible reasoning techniques by Coetzer, Simone

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

    Application of neural networks in pavement management by Bredenhann S. J.

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

    Strategies for combining tree-based learners by Meyer, Nicholas George

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

    Multi-objective optimisation under deep uncertainty by Shavazipour, Babooshka

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

    Quantum information processing with multipartite entangled quantum systems by Alexander, Byron Joseph

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

    Qualification and certification of laser powder bed fusion for aerospace applications: a model-based production systems engineering approach. by Gibbons, Duncan William

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

    Making a game of chess sound by Du Toit, Elizabeth Catharina

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

    A framework for cryptography algorithms on mobile devices

    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

    Renal allograft biopsies at Groote Schuur Hospital: a histopathologic descriptive study with molecular insights by Lunn, Jarryd

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

    Conversational mining via motif detection

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

    Assessing interpretability in machine translation models for low-resource languages

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

    An investigation into food security among female-headed households in Kenya : a case of VOI division in Taita-Taveta county

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

Search Tools: