Now showing items 1-20 of 69

  • Some problems in the theory and application of the methods of numerical taxonomy 

    Wishart, David (University of St Andrews, 1970) - Thesis
    Several of the methods of numerical taxonomy are compared and shown to be variants of a tripartite grouping procedure associated with a generalised intercluster similarity function involving ten computational parameters. ...
  • Adaptive pattern recognition in a real-world environment 

    Bairaktaris, Dmitrios (University of St Andrews, 1991) - Thesis
    This thesis introduces and explores the notion of a real-world environment with respect to adaptive pattern recognition and neural network systems. It then examines the individual properties of a real-world environment ...
  • Reflection and hyper-programming in persistent programming systems 

    Kirby, Graham N. C. (University of St Andrews, 1992) - Thesis
    In an orthogonally persistent programming system, data is treated in a manner independent of its persistence. This gives simpler semantics, allows the programmer to ignore details of long-term data storage and enables ...
  • Guaranteeing generalisation in neural networks 

    Polhill, John Gareth (University of St Andrews, 1995) - Thesis
    Neural networks need to be able to guarantee their intrinsic generalisation abilities if they are to be used reliably. Mitchell's concept and version spaces technique is able to guarantee generalisation in the symbolic ...
  • Observation-driven configuration of complex software systems 

    Sage, Aled (University of St Andrews, 2004-06) - Thesis
    The ever-increasing complexity of software systems makes them hard to comprehend, predict and tune due to emergent properties and non-deterministic behaviour. Complexity arises from the size of software systems and the ...
  • A flexible, policy-aware middleware system 

    Walker, Scott Mervyn (University of St Andrews, 2006) - Thesis
    Middleware augments operating systems and network infrastructure to assist in the creation of distributed applications in a heterogeneous environment. Current middleware systems exhibit some or all of the following five ...
  • Normalisation & equivalence in proof theory & type theory 

    Lengrand, Stéphane J. E. (University of St Andrews, 2006-12-08) - Thesis
    At the heart of the connections between Proof Theory and Type Theory, the Curry-Howard correspondence provides proof-terms with computational features and equational theories, i.e. notions of normalisation and equivalence. ...
  • Practical pollsterless remote electronic voting 

    Storer, Timothy W. (University of St Andrews, 2007-06-19) - Thesis
    This thesis describes the design of a novel class of pollsterless voting schemes. Many cryptographic voting schemes necessitate a pollster because the client side computations are beyond the understanding or ability of ...
  • Consistency and the quantified constraint satisfaction problem 

    Nightingale, Peter (University of St Andrews, 2007-11-30) - Thesis
    Constraint satisfaction is a very well studied and fundamental artificial intelligence technique. Various forms of knowledge can be represented with constraints, and reasoning techniques from disparate fields can be ...
  • Applications of Lie methods to computations with polycyclic groups 

    Assmann, Björn (University of St Andrews, 2007-11-30) - Thesis
    In this thesis we demonstrate the algorithmic usefulness of the so-called Mal'cev correspondence for computations with infinite polycyclic groups. This correspondence between Q-powered nilpotent groups and rational ...
  • SNOOPIE : development of a learning support tool for novice programmers within a conceptual framework 

    Coull, Natalie J. (University of St Andrews, 2008-06-25) - Thesis
    Learning to program is recognised nationally and internationally as a complex task that novices find challenging. There exist many endeavours to support the novice in this activity, including software tools that aim to ...
  • Space cost analysis using sized types 

    Vasconcelos, Pedro B. (University of St Andrews, 2008-11) - Thesis
    Programming resource-sensitive systems, such as real-time embedded systems, requires guaranteeing both the functional correctness of computations and also that time and space usage fits within constraints imposed by hardware ...
  • Synthesis of facial ageing transforms using three-dimensional morphable models 

    Hunter, David W. (University of St Andrews, 2009-11-30) - Thesis
    The ability to synthesise the effects of ageing in human faces has numerous uses from aiding the search for missing people to improving recognition algorithms and aiding surgical planning. The principal contribution of ...
  • Node reliance : an approach to extending the lifetime of wireless sensor networks 

    Boyd, Alan W. F. (University of St Andrews, 2010) - Thesis
    A Wireless Sensor Network (WSN) consists of a number of nodes, each typically having a small amount of non-replenishable energy. Some of the nodes have sensors, which may be used to gather environmental data. A common ...
  • Effective compilation of constraint models 

    Rendl, Andrea (University of St Andrews, 2010) - Thesis
    Constraint Programming is a powerful technique for solving large-scale combinatorial (optimisation) problems. However, it is often inaccessible to users without expert knowledge in the area, precluding the wide-spread ...
  • Facial feature detection and tracking with a 3D constrained local model 

    Yu, Meng (University of St Andrews, 2010) - Thesis
    This thesis establishes a framework for facial feature detection and human face movement tracking. Statistical models of shape and appearance are built to represent the human face structure and interpret target images ...
  • A scalable architecture for the demand-driven deployment of location-neutral software services 

    MacInnis, Robert F. (University of St Andrews, 2010) - Thesis
    This thesis presents a scalable service-oriented architecture for the demand-driven deployment of location-neutral software services, using an end-to-end or ‘holistic’ approach to address identified shortcomings of the ...
  • Tools and techniques for formalising structural proof theory 

    Chapman, Peter (University of St Andrews, 2010-06) - Thesis
    Whilst results from Structural Proof Theory can be couched in many formalisms, it is the sequent calculus which is the most amenable of the formalisms to metamathematical treatment. Constructive syntactic proofs are ...
  • On the relationship between hypersequent calculi and labelled sequent calculi for intermediate logics with geometric Kripke semantics 

    Rothenberg, Robert (University of St Andrews, 2010-06-04) - Thesis
    In this thesis we examine the relationship between hypersequent and some types of labelled sequent calculi for a subset of intermediate logics—logics between intuitionistic (Int), and classical logics—that have geometric ...
  • Autonomic management in a distributed storage system 

    Tauber, Markus (University of St Andrews, 2010-06-23) - Thesis
    This thesis investigates the application of autonomic management to a distributed storage system. Effects on performance and resource consumption were measured in experiments, which were carried out in a local area ...