Now showing items 1-20 of 1014

  • Abstract interpretation and optimising transformations for applicative programs 

    Mycroft, Alan (The University of Edinburgh, 1982)
    This thesis describes methods for transforming applicative programs with the aim of improving their efficiency. The general justification for these techniques is presented via the concept of abstract interpretation. The ...
  • Abstract Machines for Dynamic Computation 

    Walton, Christopher D (University of Edinburgh. College of Science and Engineering. School of Informatics., 2001-07)
    In this thesis we address the challenges associated with the provision of dynamic software architectures. These are systems in which programs are constructed from separately compiled units with a facility for the replacement ...
  • Abstracting over Semantic Theories 

    Holt, Alexander G B (University of Edinburgh. College of Science and Engineering. School of Informatics., 1993-07)
    The topic of this thesis is abstraction over theories of formal semantics for natural language.It is motivated by the belief that a metatheoretical perspective can contribute both to a better theoretical understanding of ...
  • Abstraction Barriers and Refinement in the Polymorphic Lambda Calculus 

    Hannay, Jo E (University of Edinburgh. College of Science and Engineering. School of Informatics., 2001-01)
    This thesis examines specification refinement in the setting of polymorphic type theory and a complementary logic for relational parametricity. The starting point is the specification of abstract data types as done in ...
  • Abstraction for web programming 

    Yallop, Jeremy (The University of Edinburgh, 2010)
    This thesis considers several instances of abstraction that arose in the design and implementation of the web programming language Links. The first concerns user interfaces, specified using HTML forms. We wish to construct ...
  • Abstraction-level functional programming 

    Clark, Allan (The University of Edinburgh, 2008)
  • Accelerating interpreted programming languages on GPUs with just-in-time compilation and runtime optimisations 

    Fumero Alfonso, Juan José (The University of Edinburgh, 2017-11-30)
    Nowadays, most computer systems are equipped with powerful parallel devices such as Graphics Processing Units (GPUs). They are present in almost every computer system including mobile devices, tablets, desktop computers ...
  • Acquiring phrasal lexicons from corpora 

    Bannard, Colin James (The University of Edinburgh, 2006)
  • Acquiring syntactic and semantic transformations in question answering 

    Kaisser, Michael (The University of Edinburgh, 2010)
    One and the same fact in natural language can be expressed in many different ways by using different words and/or a different syntax. This phenomenon, commonly called paraphrasing, is the main reason why Natural Language ...
  • Acquisition and influence of expectations about visual speed 

    Sotiropoulos, Grigorios (The University of Edinburgh, 2016-06-27)
    It has been long hypothesized that due to the inherent ambiguities of visual input and the limitations of the visual system, vision is a form of “unconscious inference” whereby the brain relies on assumptions (aka ...
  • Acting in a populated environment: an ecological realist enquiry into speaking and collaborating 

    Baggs, Edward (The University of Edinburgh, 2015-11-26)
    The thesis seeks to develop an account of collaborative activities within the framework of ecological realism—an approach to psychology developed by James J. Gibson in the course of work on visual perception. Two main ...
  • Action, intention and language: a Davidsonian study 

    Roberts, Philip Mark (The University of Edinburgh, 1988)
  • Active Learning - An Explicit Treatment of Unreliable Parameters 

    Becker, Markus (2008-06-24)
    Active learning reduces annotation costs for supervised learning by concentrating labelling efforts on the most informative data. Most active learning methods assume that the model structure is fixed in advance and focus ...
  • Ad hoc cloud computing 

    McGilvary, Gary Andrew (The University of Edinburgh, 2014-11-27)
    Commercial and private cloud providers offer virtualized resources via a set of co-located and dedicated hosts that are exclusively reserved for the purpose of offering a cloud service. While both cloud models appeal to ...
  • Adaptable formalism for the computational analysis of English noun phrase reference 

    Wiggins, Geraint A (The University of Edinburgh, 1990)
  • Adaptive Aspects of Heuristic Search 

    Ross, Robert (The University of Edinburgh, 1973)
    In this thesis we investigate methods by which GT4, a revised and extended version of the Doran-Michie Graph Traverser, might in the course of its problem-solving activity learn about the domain in which it is searching ...
  • Adaptive Java Optimisation using machine learning techniques 

    Long, Shun (University of Edinburgh. College of Science and Engineering. School of Informatics., 2004-07)
    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 

    Huo, Juan (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 

    Kochenderfer, Mykel J (University of Edinburgh. College of Science and Engineering. School of Informatics., 2006-12)
    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 

    Emani, Murali Krishna (The University of Edinburgh, 2015-06-29)
    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 ...