Browsing Informatics thesis and dissertation collection by Issue Date
Now showing items 120 of 1062

Computer for solving field problems in electron beam devices
(The University of Edinburgh, 1962)The need is explained for a new type of computer for solving partial differential equations, the Digital Field Computer. The operation of such a machine for solving Laplace's and Poisson's equations is explained and ... 
Redundant and irrelevant data in problem solving
(The University of Edinburgh, 1964) 
Digital correlation techniques for identifying dynamic systems
(The University of Edinburgh, 1966)A frequent problem in physics and engineering is that of determining a mathematical model for the dynamic performance of a system. It is particularly useful to be able to make measurements which enable such a model to ... 
Analysis and design of linearised singleinput extremum control systems
(The University of Edinburgh, 1966)Certain single input, linearised extremum controllers of the empirical type described in the literature have been designed and their performances have been compared to that of an approximately optimal controller. The ... 
Numerical solution of differential equations
(The University of Edinburgh, 1969)Recent investigations by Butcher have coordinated several aspects of the theory of, and techniques for the derivation of, numerical methods for ordinary differential equations, and further have yielded several significant ... 
Walsh functions : shape analysis and other applications
(The University of Edinburgh, 1970)Due to their binary nature, the Walsh functions have considerable advantages over the traditional sinusoidal functions used in Fourier analysis when the computations are carried out by a general purpose binary digital ... 
Studies in the design and implementation of programming languages for symbol manipulation
(The University of Edinburgh, 1970)Compared with the development of computing hardware, the development of programming languages has followed a different course. Hardware innovations such as the use of transistors and integrated circuitry have resulted ... 
Computer Aided Design of Printed Wiring Boards
(The University of Edinburgh, 1970)A method is described for the computeraided layout of printed wiring boards. The type of board considered is a single sided board containing discrete components. The required input for the layout algorithm is coded ... 
Studies in the completeness and efficiency of theoremproving by resolution
(The University of Edinburgh, 1970)Inference systems Τ and search strategies E for T are distinguished from proof procedures β = (T,E) The completeness of procedures is studied by studying separately the completeness of inference systems and of search ... 
Computer aided design of printed wiring boards
(The University of Edinburgh, 1970) 
Improvement of program behaviour in paged computer systems
(The University of Edinburgh, 1970) 
Models of distributed associative memory
(The University of Edinburgh, 1971) 
Models of Distributed Associative Memory
(The University of Edinburgh, 1971)This work is concerned with the problem of constructing associative memory models which store and retrieve information in a distributed fashion  that is each store location can be involved in the storage of more than ... 
Strategies for improving the efficiency of automatic theoremproving
(The University of Edinburgh, 1971)In an attempt to overcome the great inefficiency of theorem proving methods, several existing methods are studied, and several now ones are proposed. A concentrated attempt is made to devise a unified proof procedure ... 
Computing with finite groups
(The University of Edinburgh, 1971)The character table of a finite group G is constructed by computing the eigenvectors of matrix equations determined by the centre of the group algebra. The numerical character values are expressed in algebraic form. A ... 
Study of methane oxidizing bacteria
(The University of Edinburgh, 1971) 
Effects of wall conductivity and thickness on magnetohydrodynamic flow in rectangular ducts at high Hartmann numbers
(The University of Edinburgh, 1971) 
A Semantic Approach to Automatic Program Improvement
(The University of Edinburgh, 1972)The programs that are easiest to write and understand are often not the most efficient. This thesis gives methods of converting programs of the former type to those of the latter type; this involves converting definitions ... 
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 ... 
Automatic Methods of Inductive Inference
(The University of Edinburgh, 1972)This thesis is concerned with algorithms for generating generalisationsfrom experience. These algorithms are viewed as examples of the general concept of a hypothesis discovery system which, in its turn, is placed in ...