Now showing items 448-467 of 7555

  • 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 ...
  • Automatic alignment of hieroglyphs and transliteration 

    Nederhof, Mark Jan (Gorgias Press, 2009-02) - Book item
    Automatic alignment has important applications in philology, facilitating study of texts on the basis of electronic resources produced by different scholars. A simple technique is presented to realise such alignment for ...
  • Automatic creation of interlinear text for philological purposes 

    Nederhof, Mark Jan (2009) - Journal article
    Interlinear text presents a collection of interpretations of a manuscript. Whereas such a form is often compiled by a single author or a single team of scholars, we here consider automatic creation of interlinear text out ...
  • Automatic presentations and semigroup constructions 

    Cain, Alan J.; Oliver, Graham; Ruskuc, Nik; Thomas, Richard M. (2010-08) - Journal article
    An automatic presentation for a relational structure is, informally, an abstract representation of the elements of that structure by means of a regular language such that the relations can all be recognized by finite ...
  • Automatic presentations for semigroups 

    Cain, Alan James; Oliver, Graham; Ruskuc, Nik; Thomas, Richard M. (2009-11) - Journal article
    This paper applies the concept of FA-presentable structures to semigroups. We give a complete classification of the finitely generated FA-presentable cancellative semigroups: namely, a finitely generated cancellative ...
  • Automating fault tolerance in high-performance computational biological jobs using multi-agent approaches 

    Varghese, Blesson; McKee, Gerard; Alexandrov, Vassil (2014-05-01) - Journal article
    Background: Large-scale biological jobs on high-performance computing systems require manual intervention if one or more computing cores on which they execute fail. This places not only a cost on the maintenance of the ...
  • Automobility and injury inequality : road safety for a diverse society 

    Pringle, Susan Mary (University of St Andrews, 2014-06-25) - Thesis
    Most knowledge of road accidents patterns derives from datasets. Heightened risk of involvement in road accidents can be shown to be associated with, inter alia, membership of minority ethnic groups and poverty. In addition, ...
  • 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 ...
  • Autonomic management of maintenance scheduling in Chord 

    Tauber, Markus; Kirby, Graham Njal Cameron; Dearle, Alan (University of St Andrews, 2010-06) - Report
    This paper experimentally evaluates the effects of applying autonomic management to the scheduling of maintenance operations in a deployed Chord network, for various membership churn and workload patterns. Two versions of ...
  • Autonomous fault detection in self-healing systems : comparing Hidden Markov Models and artificial neural networks 

    Schneider, Christopher; Barker, Adam David; Dobson, Simon Andrew (ACM Press - Association for Computing Machinery, 2014-01-22) - Conference item
    Autonomously detecting and recovering from faults is one approach for reducing the operational complexity and costs associated with managing computing environments. We present a novel methodology for autonomously generating ...
  • Autonomous fault detection in self-healing systems using Restricted Boltzmann Machines 

    Schneider, Christopher; Barker, Adam David; Dobson, Simon Andrew (2014-09-24) - Conference item
    Autonomously detecting and recovering from faults is one approach for reducing the operational complexity and costs associated with managing computing environments. We present a novel methodology for autonomously generating ...
  • Autonomy and purity in Kant's moral theory 

    Benson, Carolyn Jane (University of St Andrews, 2010-06-25) - Thesis
    Kant believed that the moral law is a law that the rational will legislates. This thesis examines this claim and its broader implications for Kant’s moral theory. Many are drawn to Kantian ethics because of its emphasis ...
  • Available actors, appropriate action : theodramatic formation and performance 

    Vander Lugt, Wesley (University of St Andrews, 2013-06-25) - Thesis
    Situated within the theatrical turn in Christian theology, this project explores theatre as a model for theological ethics, looking particularly at the dynamic interplay between formation as disponibility (availability) ...
  • Aversiveness of sound in marine mammals : psycho-physiological basis, behavioural correlates and potential applications 

    Götz, Thomas (University of St Andrews, 2008) - Thesis
    Understanding what psycho-physiological and behavioural factors influence aversiveness of sound in marine mammals is important for conservation and practical applications. The aim of this study was to determine predictors ...
  • Aviation and social exclusion 

    Sustainable Development Commission (Sustainable Development Commission, 2006-01) - Report
    The impact of forecast growth in aviation on UK passengers socio-economic groups is analysed.
  • Aviation and sustainable development 

    Sustainable Development Commission (Sustainable Development Commission, 2001-04-01) - Report
    This paper seeks to contribute some views on the big policy questions in the government's consultation exercise on the future of air transport, of which the biggest seems to us to be whether the general presumption in ...
  • Aviation and the environment : using economic instruments [SDC report] 

    Sustainable Development Commission (Sustainable Development Commission, 2003-07-03) - Report
    This document is the Sustainable Development Commission’s response to the discussion document published by HM Treasury and the Department of Transport entitled 'Aviation and the environment : using economic instruments'.
  • The awareness of novelty for strangely familiar words : a laboratory analogue of the déjà vu experience 

    Urquhart, Josephine; O'Connor, Akira Robert (2014-11-11) - Journal article
    Déjà vu is a nebulous memory experience defined by a clash between evaluations of familiarity and novelty for the same stimulus. We sought to generate it in the laboratory by pairing a DRM recognition task, which generates ...
  • An axiomatic functionalist analysis of the phonology of Yulu 

    Gabjanda, James Dahab (1976) - Thesis
    This thesis is concerned with the description of Yulu, a language which has not previously been subjected to modern linguistic analysis. Thus this thesis has two important aspects. Firstly, however remote a Language, ...
  • The Ba-Pb-O system and its potential as a solid oxide fuel cell (SOFC) cathode material 

    Sharp, Matthew David (University of St Andrews, 2007-11-30) - Thesis
    The Ba-Pb-O system was investigated as a possible cathode material in a solid oxide fuel cell (SOFC). Metallic oxides with a perovskite structure form a large family that displays a wide variety of properties such as ...