Browsing Informatics thesis and dissertation collection by Title
Now showing items 2140 of 1100

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 ... 
Adaptive Java Optimisation using machine learning techniques
(University of Edinburgh. College of Science and Engineering. School of Informatics., 200407)There is a continuing demand for higher performance, particularly in the area of scientific and engineering computation. In order to achieve high performance in the context of frequent hardware upgrading, software must be ... 
Adaptive map alignment in the superior colliculus of the barn owl: a neuromorphic implementation
(The University of Edinburgh, 2010)Adaptation is one of the basic phenomena of biology, while adaptability is an important feature for neural network. Young barn owl can well adapt its visual and auditory integration to the environmental change, such as ... 
Adaptive Modelling and Planning for Learning Intelligent Behaviour
(University of Edinburgh. College of Science and Engineering. School of Informatics., 200612)An intelligent agent must be capable of using its past experience to develop an understanding of how its actions affect the world in which it is situated. Given some objective, the agent must be able to effectively use ... 
Adaptive parallelism mapping in dynamic environments using machine learning
(The University of Edinburgh, 20150629)Modern day hardware platforms are parallel and diverse, ranging from mobiles to data centers. Mainstream parallel applications execute in the same system competing for resources. This resource contention may lead to a ... 
Adaptive processing of thin structures to augment segmentation of dualchannel structural MRI of the human brain
(The University of Edinburgh, 2010)This thesis presents a method for the segmentation of dualchannel structural magnetic resonance imaging (MRI) volumes of the human brain into four tissue classes. The stateoftheart FSL FAST segmentation software ... 
Adding safe and effective load balancing to multicomputers
(The University of Edinburgh, 1994) 
Addressing Constraint Failures in Distributed Dialogue Protocols
(The University of Edinburgh, 2003)Early agent communication languages lacked the means to coordinate the interaction between agents. The importance of coordination was better appreciated when open systems became in favor. Some solutions have been proposed; ... 
Adjoint Rewriting
(University of Edinburgh. College of Science and Engineering. School of Informatics., 199512)This thesis is about rewriting in the typed lambdacalculus. Traditional categorical models of typed lambdacalculus use concepts such as functor, adjunction and algebra to model type constructors and their associated ... 
Advances in detecting object classes and their semantic parts
(The University of Edinburgh, 20170707)Object classes are central to computer vision and have been the focus of substantial research in the last fifteen years. This thesis addresses the tasks of localizing entire objects in images (object class detection) and ... 
AI in Computer Games: Generating Interesting Interactive Opponents by the use of Evolutionary Computation
(University of Edinburgh. College of Science and Engineering. School of Informatics., 200512)Which features of a computer game contribute to the player’s enjoyment of it? How can we automatically generate interesting and satisfying playing experiences for a given game? These are the two key questions addressed ... 
Aitana: a developmental cognitive artifact to explore the evolution of conceptual representations of cellular automatabased complex systems
(The University of Edinburgh, 2006) 
The Algebra of Finite State Processes
(University of Edinburgh. College of Science and Engineering. School of Informatics., 199512)This thesis is concerned with the algebraic theory of finite state processes. The processes we focus on are those given by a signature with prefix, summation and recursion, considered modulo strong bisimulation. We investigate ... 
An Algebraic Semantics of Prolog Control
(The University of Edinburgh: College of Science and Engineering: The School of Informatics, 199207)The coneptual distinction between logic and control is an important tenet of logic programing. In practice, however, logic program languages use control strategies which profoundly affect the computational behavior of ... 
Algebraic approach to hardware description and verification
(The University of Edinburgh, 1982) 
Algebraic theory of typeandeffect systems
(The University of Edinburgh, 20140627)We present a general semantic account of Giffordstyle typeandeffect systems. These type systems provide lightweight static analyses annotating program phrases with the sets of possible computational effects they may ... 
An Algorithm for Evolving Protocol Constraints
(University of Edinburgh. College of Science and Engineering. School of Informatics., 200606)We present an investigation into the design of an evolutionary mechanism for multiagent protocol constraint optimisation. Starting with a review of common population based mechanisms we discuss the properties of the ... 
Algorithmic analysis of parity games
(The University of Edinburgh, 2006) 
Algorithmic skeletons : a structured approach to the management of parallel computation
(The University of Edinburgh, 1988) 
Algorithms and lower bounds for testing properties of structured distributions
(The University of Edinburgh, 20161129)In this doctoral thesis we consider various property testing problems for structured distributions. A distribution is said to be structured if it belongs to a certain class which can be simply described in approximation ...