Formal Aspects of Computer Science

  

 
Publications and Presentations Image Processing
  • E. Cloete, Fractal Image Compresson, SACLA Bakabung, Rustenburg, South Africa, 1996
  • E. Cloete, Fractal Image Compresson, NATIONAL MASTERS & PhD CONFERENCE, Pretoria, June 1996
  • E. Cloete, Image Compression with Fractal Coding & Vector Quantization, SOUTH AFRICAN MATHEMATICAL SOCIETY - International conference.  Pretoria. June 1997
  • E. Cloete, A Novel Technique for Fractal Coding, SOUTH AFRICAN MATHEMATICAL SOCIETY - National conference. Johannesburg, June 1998
  • E. Cloete & LM Venter,  Reducing Fractal Encoding Complexities, SAICSIT, Gordonsbaai, November 1998
  • E. Cloete & LM Venter, Fractal Image Compression ,South African Journal of Science (NSE Computer journal), March 1998
  • E. Cloete, Using Vector Quantization for Fractal Image Compression, PhD Thesis, Potchefstroom University for Christian Higher Education, May 1998, Promotor: Prof LM Venter  
  • E. Cloete,Multi Media Compression Techniques, Research Report, 1996 - PU vir CHO  
  • E. Cloete,  Fractal Image Compression, Research Report, 1996 - PU vir CHO  
  • E. Cloete, Partition Schemes for Fractal Compression, Research Report, 1997 - PU vir CHO  
  • E. Cloete, Transform encosing vs. Fractal Encoding, Research Report, 1997 - PU vir CHO  
  • E. Cloete, Image Compression using Vector Quantization, Research Report, 1997 - PU vir CHO
Networks
  • E. Cloete: Managing the lower levels in Data Communications, MSc Thesis, PU vir CHO, 1993 
  • F K de Heer-Menlah, N D Cooke & J Kesterton. Creating the link between the PC and the transputer. Dept of Comp. Sc, Rhodes University. Tech. Doc. 89/12, 1989.
  • F K de Heer-Menlah. An investigation into the rotation of 3-D Objects on the IBM-AT and a parallel transputer network. Dept of Com. Sc, Rhodes University, Tech. Doc. 90/2, 1990.
  • F K de Heer-Menlah: Analysing Communication Flow & Process Placement in Linda Programs on Transputers. Proceedings of 5th Computer Science Masters and PhD Students Conference, Katberg, SA, Sept 1990, pp.39-45.
  • C Handler, E P Wentworth & F K de Heer-Menlah: Process Placement in Linda Programs on Transputers. Symposium on Parallel Processing design & implementation. CSIR Conference Centre, Pretoria, June 1991.
  • F K de Heer-Menlah: Tuple Space Analysis & Process Placement in Linda Programs on Transputers. Proceedings of 6th Computer Science Masters & PhD Students Conference, Caledon, Sept. 1991, pp. 110-116.
  • F K de Heer-Menlah: Analysing Communication FLow & Process Placement in Linda Programs on Transputers. Technical Document 91/4, Dept of Comp. Sc., Rhodes University.
  • G Clayton, F K de Heer-Menlah & E P Wentworth: Placing Processes in a Transputer-based Linda Programming Environment. S A Computer Journal, 7: pp. 109 - 116, 1992.
  • P G Clayton, E P Wentworth, G C Wells &  F K de Heer-Menlah: An Inplementation of Linda Tuple Space under the Helios Operating System. S A Computer Journal, vol. 6: pp. 3-10, 1992.
  • F K de Heer-Menlah: (1993), Using Stochastic Petri nets to predict Linda Performance. Proceedings of the 8th Computer Science PhD and Masters Conference, Unisa, Pretoria, June 1993.
Programming
  • Kotzé P; Die psigologie van rekenaarprogrammering met 'n verwysing na stelsel- en toepassingsprogrammeerders; MSc Dissertation; PU for CHE
  •  MM Schoeman , JP Erasmus & HG Erasmus, Pascal A Practical Approach Part A, Textbook, 1992 (also available in Afrikaans)
  • MM Schoeman, JP Erasmus & HG Erasmus, Pascal A Practical Approach Part B,Textbook, 1992 (also available in Afrikaans)
  • Miller, M G: Tips, Tricks and Tidbits to make Turbo Pascal Special - Unisa Dept. of Computer Science Colloquium, 1989.
  • Miller, M G: Fourth-Generation Application development systems - Unisa Dept. of Computer Science Colloquium, 1990.
  • R C Nienaber: Programming in QBasic, 1998.
Security
  • E. Smith: Modelling IT risks in a health-care environment. Proceedings of the first information technology research indaba of the Rand Afrikaans University, Research Report, RAU, October 1998.
  • E. Smith Die ontleding van ritopwekking in stedelike gebiede deur rekenaargrafikavoorstelling - 'n Besluitnemingsondersteuningstelsel.  M.Sc., PU vir CHO, 1993.
  • E. Smith: Information Security in health-care systems: a New approach to IT risk management.  Ph.D, RAU, 2000.
  • E. Smith: & J.H.P. Eloff: Using cognitive fuzzy modelling for enhanced risk assessment in a health-care institution.  March/April 2000.  IEEE Intelligent Systems & their applications. Vol. 15, Nr. 2 p. 69-75 
  • E. Smith: Security in health-care information systems – current trends. International Journal of Medical Informatics (former International Journal of Biomedical Computing), Volume 54, Issue 1, April 1999: Elsevier
  • E. Smith: Current security trends in health-care information systems with specific emphasis on risk analysis. Proceedings of the Information Security '98 Conference, Sandton, January 1998.
  • E. Smith: Modelling risks in a health-care institution. Proceedings of the IFIP TC11 14th international conference on Information Security (SEC'98) as part of the Proceedings of the XV. IFIP World Computer Congress, Vienna & Budapest, Aug/Sep 1998.
  • E. Smith: A framework for modelling risk assessment in a typical health-care institution. Unisa, Department of Computer Science and Information Systems Colloquium, August 1998. 
Tuition  

Papers relevant to the research project Electronic Education Technologies and Strategies are not listed here. Please follow their link. Papers relevant to the Computer Aided Instruction projects are not listed here.  Please follow their link.

  • Barrow JE: A computer-based writing support system for distancestudents. PhD thesis, Unisa, May 1994.
  • Barrow JE : Results of the 1991 & 1992 SuperTextExperiments. Research Report RR94–01, Dept of Computer Science &Information Systems, Unisa, 1994.
  • Barrow JE : Evolving First World Computer Technology for Third World Education. Research Report RR02/89, Dept of Computer Science & Information Systems, Unisa, May 1989.
  • Barrow JE: 4thCBE/CBT Conference, Unisa, 7–10 Oct 1996 – EmbodyingMultiple Theoretical Perspectives in Computer Based Writing Support.
  • Barrow JE: SAICSIT '95, Unisa, 25–26 May 1995 – A writing support tool for distance students.
  • Barrow JE: Hypermedia '92, Pretoria, 18–20 March 1992 – Towards a computer-aided writing environment for students.
  • Barrow JE and  P Kotzé: SAARDHE 1990, Pretoria, 24–26 October 1990 – Trends, issues and innovations in computer-assistedlearning.
  • Barrow JE:5th South African Computer Symposium, Johannesburg, December 1989 – Structured Hypertext.
  • Barrow JE: First Southern African Conference on Educational Technology, Pretoria, July 1989 – Hypertext as an Educational Medium.
  • Barrow JE: CISNA – 89, Blantyre, Malawi; 19 – 21 April 1989 – Hijacking First World Technology for the Third World: An Educational Example.
  • Barrow JE: Sacla conference Wilderness; 27 – 28 June 1988 – Hypertext as a computerised teaching medium for lesser developed countries.
  • Barrow JE: Hypertext for Browsing in Computer-Aided Learning, S A Computer Journal No. 4, March, 1991.
  • Barrow JE and P Kotzé: Trends, issues and innovations in computer-assisted learning. In: Enterprise in Higher Education (South African Journal of Higher Education Congress Edition 1990), edited by A D Adey and S P T Malan, Unisa: Pretoria, 1990.
  • MMConradie: Publication for Computer Education module CED112 at SACTE (Afrikaans and English)
  • MM Conradie: Study Guide for Computer Education module CED112 at SACTE (Afrikaans and English)
  • MM Conradie: Chapter 2: Object Orientation. Study Guide for Computer Science module CSCA13 at SACTE (Afrikaans and English)
  • MM Conradie: Chapter3: Assembler Programming. Study Guide for Computer Science module CSCA13 at SACTE (Afrikaans and English)
  • KJ Halland; Using the Internet in Education: What the Department of Computer Science and Information Systems at Unisa is doing presented at the SACLA '97 conference on 23rd of June 1997.
  • Kotzé P; Research Report: Geprogrammeerde Onderrig. (TV87-02); 1987; Dept. of Computer Science and Information Systems, Unisa
  • Kotzé P; Research Report: Onderwystegnologie - Geprogrammeerde Onderrig en Rekenaarsondersteunde Onderrig in Perspektief. (TR/88-05); 1988; Dept. of Computer Science and Information Systems, Unisa
  • Kotzé P; Research Report: Implementing Computer-Aided Instruction in Distance Education: An Infrastructure. (RR/89-06); 1989; Report included in the USA ERIC database for Educational Research - report number: ED318390; Dept. of Computer Science and Information Systems, Unisa
  • Kotzé P; Implementing Computer-Aided Instruction in Distance Education: The Headaches, the Heartaches and the Pleasures. In: First Southern African Conference on Educational Technology, edited by A W Drost, 1989 ; Pretoria: HSRC
  • Kotzé P; Implementing Computer-Aided Instruction in Distance Education: An Infrastructure. In: Computer Assisted Learning (Lecture Notes in Computer Science vol.438), edited by D H Norrie and H -W Six Berlin: Springer-Verlag; 1990
  • Kotzé P; Media in Distance Education - Implementing Computer-Aided Instruction in Distance Education. In: Distance Education - The Challenge, edited by A D Adey, M Heese and A le Roux; 1990; Pretoria: Unisa
  • Kotzé P; Using a formal model for the evaluation of the human-computer interface properties of display-based authoring support environments. In: Artificial Intelligence in Education, 1993 - Proceedings of AI-ED 93 World Conference on Artificial Intelligence in Education, edited by P Brna, S, Ohlsson, H Pain. Charlottesville, VA: Association for the Advancement of Computing in Education (AACE); 1993
  • Kotzé P; Towards an Option Space for Network Structures in Computer-Based Instruction. In: Industry meets Academia, Proceedings of SAICSIT 95 Research and Development Symposium, edited by A L Steenkamp; Pretoria: Unisa; 1995
  • Kotzé P & De Villiers R; Factors underlying the design and development of interactive computer-based learning and instructional systems - non-computer related issues. In: Papers delivered at the Fourth CBE/CBT Conference and Workshop - Information Technology Effective Education / Training, edited by P M Alexander; 1996; Pretoria: Unisa
  • Kotzé P & Renaud K; A comparison of transaction management schemes in multidatabases. In: Industry meets Academia, SAICSIT '96 Conference Proceedings, edited by V Ram; 1996; Pietermaritzburg: University of Natal
  • Kotzé P; Why the hypermedia model is inadequate for computer-based instruction. In: Changing the Delivery of Computer Scienece Education. Conference Proceedings of the 6th Annual Conference on Teaching Computing and the 3rd Annual Conference on Integrating Technology into Computer Science Education - ITiCSE '98, ACM Dublin City University, Dublin, Ireland;1998
  • Kotzé P; Implementing computer-aided instruction in distance education: an infrastructure. Progressio, vol. 12, no. 1; 1990
  • Kotzé P; Informatics - Preparation for the Realities of the Future. Resources in Education (RIE), September 1988 ; and Exceptional Child Education Resource (ECER), 4th Quarter; 1988
  • Kotzé P; Computer-based assessment. Invited address at the Workshop on Tools for Teaching, Computers in Teaching Initiative (United Kingdom), University of York (UK), 23 to 24 March 1992
  • Kotzé P; Informatics - preparation for the realities of the future. Ingenium 2000 (International), Stellenbosch, June 1984
  • Kotzé P; Educational technology - putting programmed instruction and computer aided instruction into perspective. SACLA 1988, Wildernis, 27 June 1988
  • Kotzé P; Implementing computer-aided Instruction in distance education: the headaches, the heartaches and the pleasures. First Southern African Conference on Educational Technology (International), Pretoria, 24-26 July 1989
  • Kotzé P; Implementing computer-aided instruction in distance education: an infrastructure. ICCAL '90 (3rd International Conference on Computer-Assisted Learning), Hagen, West Germany, 11-13 July 1990
  • Kotzé P; A postgraduate module in human-computer interaction for computer science and/or information systems SACLA 1991, Caledon, 1-2 Julie 1991
  • Kotzé P, Bornman C H & Du Plessis A L Rekenaarwetenskap en Inligtingstelsels met behulp van afstandsonderrig. (Plakaat wen ISM-prys). SACLA 1991, Caledon, 1-2 Julie 1991
  • Kotzé P; The University of South Africa with special reference to the Department of Computer Science and Information Systems. Seminar Series of the Human-Computer Interaction Group, Department of Computer Science, University of York, 27 January 1992
  • Kotzé P; Implementing CAI in distance education. RADICAL Seminars of the CTI Centre for Psychology, University of York, 20 February 1992
  • M.R. de Villiers FRAMES: A User-controlled Practice Environment in Theoretical Computer Science. Paper (accepted but not delivered) at ED-MEDIA World Conference on Educational Multimedia and Hypermedia, Boston, USA, June 1996.
  • M.R. de Villiers Applying the Hexa-C Metamodel of Instructional Theory and Design Educational Web Applications. Paper at WebNet 99 Conference, Honolulu, Hawaii, USA, October 1999.
  • M.R. de Villiers Evaluation of an Interactive Learning Environment using the Hexa-C Metamodel. Paper at ICCE99 (7th International Conference on Computers in Education), Chiba, Japan, November 1999.
  • M.R. de Villiers: Spreadsheets in Mathematics Tuition. Paper at the Second ISC Computer Users' Conference, Pretoria 1993.
  • M.R. de Villiers Integrating a Software Engineering Approach with Instructional Factors in the Development of Instructional Systems - in short: S E + I D in I S D. Poster presentation at SAICSIT.95 (South African Institute for Computer Scientists and Information Technologists) Symposium, Pretoria 1995.
  • M.R. de Villiers & P. Kotze Software Engineering Development Methodologies applied to Computer-Aided Instruction. Paper at SAICSIT 96 (South African Institute for Computer Scientists and Information Technologists) Annual Research and Development Symposium, Durban. September 1996.
  • M.R. de Villiers Component-Based Instructional Software. Paper at SACLA '96 (Southern African Computer Lecturers' Association) Conference, Johannesburg-Pretoria area, June 1996.
  • M.R. de Villiers Instructional Design for Computer-Assisted Instruction. Paper at the Fourth CBE/CBT Conference and Workshop of CENSE (Centre for Software Engineering), Unisa, Pretoria, October 1996.
  • M.R. de Villiers: Relations: A CAI Tutorial in Theoretical Computer Science. Unpublished MEd mini-dissertation, University of Pretoria, Pretoria, 1993.
  • M.R. de Villiers Integrating a Software Engineering Approach and Instructional Factors in Instructional Software Development - illustrated by a Prototype in Theoretical Computer Science. Unpublished MSc dissertation, University of South Africa, Pretoria, 1995.
Other
  • Barrow JE: A microprogrammable digital signal processing unit for under-water acoustic research. MSc (Elec Eng) dissertation, Wits, 1982.
  • Naudé, E J: Khachiyan se Metode vir Linięre Programmering. MSc/PhD Konferensie, Universiteit van Pretoria, 9 September 1989.
  • Naudé, E J: Interne Metodes vir Linięre Programmering. Departementele Colloquium. Departement Rekenaarwetenskap en Inligtingstelsels, 2 Augustus 1989.
  • Naudé, E J: 'n Deskundige stelsel vir lineęre regressie analise. Vakkundige kollokwium, Potchefstroom, 1995-08-06.
  • Pistorius, M C., Labuschagne, W.A. & Heidema J , : Boolean prediction analysis revisited. Verslagreeks van die Departement Wiskunde, RAU, 1993.
  • Pistorius, M C, Heidema J and W A Labuschagne: "Boolean prediction analysis under scrutiny." Navorsingsverslag van die Departement Wiskunde, Toegepaste Wiskunde en Sterrekunde, Unisa, 141/93(2), Januarie 1993.
  • Pistorius, M C, Heidema J en W A Labuschagne : "Boolean Prediction Analysis under scrutiny." Suid-Afrikaanse Tydskrif Sielkunde, 23(1), 1993.
  • Pistorius, M C: Vloeidiagramme en die Unisa Studentestelsel. Unisa Bulletin, Vol 13, Nr 9, Feb. 1988.
  • Pretorius L: "Gauss-type quadrature formulas for spline functions", DSc (Toeg. Wiskunde) PU vir CHO, promotor: Prof DP Laurie. 1987.
  • Pretorius L: "Automatic computational aids for the design of equally-laid round strands". CWISK 34: 62 p, October 1985.
  • Pretorius L and D Eyre: "Spline-Gauss rules and the Nyström method for solving integral equations in quantum scattering". TWISK 429: 31 p, December 1985. (het verskyn in JCAM 1987).
  • Pretorius L: "Gauss-type quadrature formulas for spline functions". TWISK 557: 220 p, October 1987.
  • Pretorius L and Elsie de Lange: "Fast computational aids for the automatic geometric design of equally-laid round strands". CKOMP 88/5: 70p May 1988.
  • Pretorius L and Colin J Wright: "The parallel solution of linear systems on the MC2 transputer cluster". preliminary report", December 1989.
  • Pretorius L: "Gaus-type quadrature for formulae for spline functions." SANUM-kongres, Umhlanga Rocks, Julie 8-10, 1985.
  • Pretorius L: "Gauss-type quadrature formulas for splines and their application to the Nyström method for integral equations". SANUM-kongres, Umhlanga Rocks, Julie, 1986.
  • Pretorius L: "An introduction to parallel architectures". Micromorning & Parallel Processing, SGRB, WNNR, Pretoria, Oktober 12, 1988.
  • Pretorius L: "Solving dense linear systems in parallel on a cluster of transputers". Eendaagse simposium oor transputers, DMKT, WNNR, Pretoria, September 5, 1989.
  • Pretorius L and D Eyre: "Spline-Gauss rules and the Nyström method for solving integral equations in quantum scattering". Journal of Computational and Applied Mathematics, Vol. 18(1987), 235-247.
  • Pretorius L and Jeffery Zucker: "Introduction to computability theory". South African Computer Journal, No 9 (1993), 3-30.
  • Pretorius L: "Applied Lambda Calculus: Using a type theory based proof assistant." South African Computer Journal" No. 21 (1998.)
  • Pretorius L: "Gauss-type quadrature formulae for spline functions". Werksbespreking, NNWW, Februarie, 1985.
  • Pretorius L: "The construction of Gauss-type quadrature formulas for cubic splines with equispaced knots", Seminaar, NNWW, September 1985.
  • Pretorius L: "Spline quadrature". Seminaarreeks van die Departement Toegepaste Wiskunde, Universiteit van die Witwatersrand, Maart, 1986.
  • Pretorius L: "Parallel Linear Algebra", Colloquiumreeks, Departement Rekenaarwetenskap, UNISA, 15 Mei 1991.
  • van der Merwe A & Labuschagne WA: "Theory meets practice : using Smith's Normalization in complex systems", The 1996 National research and development Conference; Saicsit 96;
  • van der Merwe A & Cloete E: Structures and techniques used in a virtual distance learning implementation", International conference on Education and Technology (ICTE) 2000
  • van der Merwe A & Labuschagne WA: "Theory meets practice : using Smith's normalization in complex systems", SACJ, Volume 21; August 1997.
  • van der Merwe A & Otto H: "Faktore wat 'n rol speel by die omskakeling van 'n netwerkdatabasis na 'n relasionele databasis, Research Report, PU for CHE; 1997
  • van der Merwe TM and du Randt, R: "The Validation of a laboratory coincidence-anticipation timing test", South African Journal for Research in Sport, Physical Education and Recreation, 2000
  • Van der Merwe, T.M. and du Randt, R. "A laboratory coincidence-anticipation timing test". Paper delivered at the Biennial Congress of the South African Federation for Movement and Leisure Sciences, Stellenbosch, 1996 
  • Van der Merwe, T.M. "Preliminary discussion on the efficacy and utility of sport programmes in Youth Development Centres", Paper delivered at the Annual Conference of the Education Association of South Africa, Amanzimtoti, 1997
  • Van der Merwe, T.M. "The efficacy and utility of sport programmes in Youth Development Centres".   Paper delivered at the Biennial Congress of the South African Federation for Movement and Leisure Sciences, Durban, 1998
  • Van der Merwe, T.M. "Open Source Software for Internet Teaching and Learning - Going it Alone". Paper delivered at the WWW2000 Congress, Johannesburg, 2000.

Other current research activities  

Image Processing & Computer Graphics

Category:  Neural Networks & Image Compression
Type of Research: Masters Thesis
Person: U Lalk (Student)
Study Leaders: Prof E Cloete
Description: Designing a neural network to learn a fractal vector quantization image coder

Security

Category: Security - Risk Analysis
Type of Research: PhD Thesis
Person: E. Smith (Unisa)
Promotor: Prof. Ehlers (RAU)
Description: RIMAHCof: A methodology for risk management in health care - using cognitive fuzzy techniques

Category: Security - Intrusion Detection Systems
Type of Research: Masters Thesis
Person: E. Bierman (Student)
Study Leaders: Prof E Cloete & Prof LM Venter (PU for CHE)
Description: Comparison of different IDSs to assist in the selection of the correct system or combination of systems for unique computer system environments. Networks

Category:  Network Design
Type of Research: Masters Thesis
Person: E Randiki (Student)
Study Leaders: Prof E Cloete
Description: Designing a technological communications solution for the Kwazulu Natal Health Department.

Category:  Network Management
Type of Research: Special topic in MSc.
Persons: J Kamerman & E Randiki (Students)
Study Leaders: Prof E Cloete
Description: Design a network management system for a set international network environment.