Now showing items 41-60 of 120

    • 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 ...
    • 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 ...
    • 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 ...
    • 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 ...
    • 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 ...
    • 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 ...
    • 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 ...
    • An investigation into the use of social network sites to support project communications 

      Harvey, Natalie (University of St Andrews, 2010-06-23) - Thesis
      System deployment projects are extremely complex and with more and more organisations now choosing to configure and deploy off-the-shelf systems, the project teams are presented with new challenges. The aim of this study ...
    • 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 ...
    • Enabling exploratory learning through virtual fieldwork 

      Getchell, Kristoffer M. (University of St Andrews, 2010-06-23) - Thesis
      This dissertation presents a framework which supports a group-based exploratory approach to learning and integrates 3D gaming methods and technologies with an institutional learning environment. This provides learners ...
    • Exploratory learning for wireless networking 

      Sturgeon, Thomas (University of St Andrews, 2010-11-30) - Thesis
      This dissertation highlights the importance of computer networking education and the challenges in engaging and educating students. An exploratory learning approach is discussed with reference ...
    • Automated static symmetry breaking in constraint satisfaction problems 

      Grayland, Andrews (University of St Andrews, 2011) - Thesis
      Variable symmetries in constraint satisfaction problems can be broken by adding lexicographic ordering constraints. Existing general methods of generating such sets of ordering constraints can produce a huge number of ...