College of Science, Engineering and Technology: Recent submissions

  • Evaluation of heavy metals in soil : a case study of platinum tailing dam site 
    Nkobane, Molebogeng Precious (2014-09)
    Mining industry has been identified as the main sustenance of the South African economy, however the negative impacts of the industry on the ecological systems cannot be over emphasized due to the released waste which is ...
  • Knowledge-based support for object-oriented design 
    Loock, Marianne (1994-06)
    The research is conducted in the area of Software Engineering, with emphasis on the design phase of the Software Development Life Cycle (SDLC). The object-oriented paradigm is the point of departure. The investigation deals ...
  • Risk management in software development 
    Labuschagne, Mariet (2000-01)
    This dissertation discusses risk management in the context of software development. It commences by investigating why so many software development projects fail. It then focuses on approaches to software development that ...
  • Products of diagonalizable matrices 
    Khoury, Maroun Clive (2002-09)
    Chapter 1 reviews better-known factorization theorems of a square matrix. For example, a square matrix over a field can be expressed as a product of two symmetric matrices; thus square matrices over real numbers can be ...
  • Temporal logics 
    Horne, Tertia (1999-09)
    We consider a number of temporal logics, some interval-based and some instant-based, and the choices that have to be made if we need to construct a computational framework for such a logic. We consider the axiomatisation ...
  • Integrating the key approaches of neural networks 
    Howard, Beverley Robin (1999-12)
    The thesis is written in chapter form. Chapter 1 describes some of the history of neural networks and its place in the field of artificial intelligence. It indicates the biological basis from which neural network ...
  • Dynamic nuclear polarisation of diamond 
    High, Grant Lysle (1998-08)
    This study is presented in nine chapters as follows: Chapter one reviews the reported literature on the NMR of natural diamond. The NMR signal of diamond consists on a single line at 39 ppm from TMS and two hyperfine ...
  • Model selection 
    Hildebrand, Annelize (1995-11)
    In developing an understanding of real-world problems, researchers develop mathematical and statistical models. Various model selection methods exist which can be used to obtain a mathematical model that best describes ...
  • Circumscriptive reasoning 
    Halland, Kenneth John (1994-08)
    We show how the non-monotonic nature of common-sense reasoning can be formalised by circumscription. Various forms of circumscription are discussed. A new form of circumscription, namely naive circumscription, is introduced ...
  • Critical concepts in domination, independence and irredundance of graphs 
    Grobler, Petrus Jochemus Paulus (1998-11)
    The lower and upper independent, domination and irredundant numbers of the graph G = (V, E) are denoted by i ( G) , f3 ( G), 'Y ( G), r ( G), ir ( G) and IR ( G) respectively. These six numbers are called the domination ...
  • Default reasoning and neural networks 
    Govender, I. (Irene) (1998-06)
    In this dissertation a formalisation of nonmonotonic reasoning, namely Default logic, is discussed. A proof theory for default logic and a variant of Default logic - Prioritised Default logic - is presented. We also pursue ...
  • A reference model for the process control domain of application 
    Dhevcharran, Nirvani (1995-11)
    The process control domain is intrinsically complex and dynamic. It has proved to be difficult to construct and maintain process control systems under the traditional software development methodologies. Object Orientation ...
  • Integrating a software engineering approach and instructional factors in instructional software development--illustrated by a prototype in theoretical computer science 
    De Villiers, M.R. (Ruth) (1995-09)
    This dissertation is a multi-disciplinary study, which integrates a software engineering approach with instructional factors in the decision-making, analysis, design and development processes of instructional software. ...
  • A semi-formal comparison between the Common Object Request Broker Architecture (COBRA) and the Distributed Component Object Model (DCOM) 
    Conradie, Pieter Wynand (2000-06)
    The way in which application systems and software are built has changed dramatically over the past few years. This is mainly due to advances in hardware technology, programming languages, as well as the requirement to ...
  • The CSCW paradigm for software development 
    Viljoen, Zelda (1995-06)
    People work together to solve a wide variety of problems using different forms of cooperation for each class of problem. Modern technology is complex, and therefore it is unusual for an individual to attempt the development ...
  • Logics of belief 
    Viljoen, Elizabeth (1997-04)
    The inadequacy of the usual possible world semantics of modal languages when the meaning of 'belief' is attached to the modal operator is discussed. Three other approaches are then investigated. In the case of Moore's ...
  • Rol van belasting- en ander kontantaansporingsmaatreëls in finansiële beplanning deur vervaardigingsondernemings in Suid-Afrika 
    van Rooyen, Annelien (1996-11)
    Die bestaande belastingaansporingsmaatreels in Suid-Afrika is nagevors. Belastingaansporingsmaatreels wat vroeer in gebruik was, is ook ondersoek. Aandag is gegee aan die kontantaansporingsmaatreels wat vir vervaardigi ...
  • A comparative study of permutation procedures 
    Van Heerden, Liske (1994-11-30)
    The unique problems encountered when analyzing weather data sets - that is, measurements taken while conducting a meteorological experiment- have forced statisticians to reconsider the conventional analysis methods and ...
  • Proof systems for propositional modal logic 
    Van der Vyver, Thelma (1997-11)
    In classical propositional logic (CPL) logical reasoning is formalised as logical entailment and can be computed by means of tableau and resolution proof procedures. Unfortunately CPL is not expressive enough and using ...
  • Usability and Internet-based banking 
    Van Dyk, Tobias Jan (1999-06)
    Usability refers to the study and measurement of the quality of human-computer interaction. Internet-based banking is a task-oriented, goal-directed, Web-based, E-commerce application where users access and manipulate ...

Search UnisaIR


Browse

My Account