Browsing Informatics, School of by Issue Date
Now showing items 2140 of 1266

Design and implementation of a language for manipulating algebraic formulae
(The University of Edinburgh, 1972)This thesis explores the possibilities of doing mathematical problems involving algebra on a computer. A language is designed which allows names to occur as unknown quantities. This language has all the facilities of ... 
Semantic trees: New foundations for automatic theoremproving
(The University of Edinburgh, 1973)This dissertation is concerned with theoremproving by computer. It does not contain a great number of new results, in the sense of new computational devices for improving the efficiency of theoremproving programs. ... 
Adaptive Aspects of Heuristic Search
(The University of Edinburgh, 1973)In this thesis we investigate methods by which GT4, a revised and extended version of the DoranMichie Graph Traverser, might in the course of its problemsolving activity learn about the domain in which it is searching ... 
Computational Logic: Structure sharing and proof of program properties
(1973)This thesis describes the results of two studies in computational logic. The first concerns a very efficient method of implementing resolution theorem provers. The second concerns a nonresolution program which automatically ... 
Evaluation and denotation of pure LISP programs: a worked example in semantics
(The University of Edinburgh, 1973)A Scott/Strachey style denotational semantics intended to describe pure LISP is examined. I present evidence that it is an accurate rendering of the language described in chapter 1 of the LISP 1.5 Programmer's, Manual, ... 
Computer aided design techniques applied to logic design
(The University of Edinburgh, 1973) 
Design of systems for telecommunications between small and large computers
(The University of Edinburgh, 1973) 
The Formalisation Of Discourse Production
(The University of Edinburgh, 1974)This paper describes a computer program which produces English discourse. The program is capable of describing in a sequence of English sentences any game of noughts&crosses (tictactoe), whether given or actually ... 
Computer Perception of Curved Objects Using a Television Camera
(The University of Edinburgh, 1974)Various techniques are described for the computer perception of curved objects (cups, mugs, toruses, etc.). Research has been conducted in the areas of imageprocessing, object recognition, 3d analysis, and scene ... 
The Design and Development of an Artificial Hand incorporating function and cosmesis
(University of Edinburgh, 1974) 
A Computer Model of Conversation
(The University of Edinburgh, 1974)This paper is addressed to the problem of how it is possible to conduct coherent, purposeful conversations. It describes a computer model of a conversation between two robots, each robot being represented by a section ... 
Backup, Recovery and Archiving of Files in a MultiAccess Computing System
(The University of Edinburgh, 1974)Generalpurpose multiaccess computing systems with files stored on randomaccess devices require that these files be protected. If the total online storage is inadequate there is a need for wellorganized offline ... 
Design of printed circuit board layouts using graph theoretic methods
(The University of Edinburgh, 1974) 
Interactive program verification using virtual programs
(The University of Edinburgh, 1975)This thesis is concerned with ways of proving the correctness of computer programs. The first part of the thesis presents a new method for doing this. The method, called continuation induction, is based on the ideas ... 
Scanning Behaviour and Pattern Recognition
(The University of Edinburgh, 1976)Two basic models of human pattern recognition have been advanced: feature analysis and hypothesis testing. These can only be discriminated by looking at behaviour before recognition. This is studied here by having the ... 
Mechanizing Structural Induction
(The University of Edinburgh, 1976)This thesis proposes improved methods for the automatic generation of proofs by structural induction in a formal system. The main application considered is proving properties of programs. The theoremproving problem ... 
Using Goal Structure to Direct Search in a Problem Solver
(The University of Edinburgh, 1976)This thesis describes a class of problems in which interactions occur when plans to achieve members of a set of simultaneous goals are concatenated in the hope of achieving the whole goal. They will be termed "interaction ... 
Microprogrammed control of an associative processor
(The University of Edinburgh, 1976) 
IMP as a tool for small operating systems implementation
(The University of Edinburgh, 1976)