Now showing items 537-556 of 9147

  • Automatically generating streamlined constraint models with ESSENCE and CONJURE 

    Wetter, James; Akgün, Özgür; Miguel, Ian (Springer International Publishing, 2015-08-13) - Conference item
    Streamlined constraint reasoning is the addition of uninferred constraints to a constraint model to reduce the search space, while retaining at least one solution. Previously, effective streamlined models have been constructed ...
  • Automatically improving SAT encoding of constraint problems through common subexpression elimination in Savile Row 

    Nightingale, Peter; Spracklen, Patrick; Miguel, Ian James (Springer, 2015-10) - Conference item
    The formulation of a Propositional Satisfiability (SAT) problem instance is vital to efficient solving. This has motivated research on preprocessing, and inprocessing techniques where reformulation of a SAT instance is ...
  • 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, ...
  • Automorphism groups of countable algebraically closed graphs and endomorphisms of the random graph 

    Dolinka, Igor; Gray, Robert Duncan; McPhee, Jillian Dawn; Mitchell, James David; Quick, Martyn (2016-05) - Journal article
    We establish links between countable algebraically closed graphs and the endomorphisms of the countable universal graph R. As a consequence we show that, for any countable graph Γ, there are uncountably many maximal subgroups ...
  • 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) ...
  • Average distances on self-similar sets and higher order average distances of self-similar measures 

    Allen, D.; Edwards, H.; Harper, S.; Olsen, Lars Ole Ronnow (2016-12-29) - Journal article
    The purpose of this paper is twofold: (1) We study different notions of the average distance between two points of a self-similar subset of ℝ, and (2) we investigate the asymptotic behaviour of higher order average moments ...
  • 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'.
  • Avoidance of wind farms by harbour seals is limited to pile driving activities 

    Russell, Deborah J. F.; Hastie, Gordon D.; Thompson, David; Janik, Vincent M.; Hammond, Philip S.; Scott-Hayward, Lindesay A. S.; Matthiopoulos, Jason; Jones, Esther L.; McConnell, Bernie J. (2016-12) - Journal article
    1. As part of global efforts to reduce dependence on carbon-based energy sources there has been a rapid increase in the installation of renewable energy devices. The installation and operation of these devices can result ...
  • 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, ...
  • Axonal localization of integrins in the CNS is neuronal type and age dependent 

    Andrews, Melissa Renee; Soleman, Sara; Cheah, Menghon; Tumbarello, David; Mason, Matthew; Moloney, Elizabeth; Verhaagen, Joost; Bensadoun, Jean-Charles; Schneider, Bernard; Aebischer, Patrick; Fawcett, James (2016-07) - Journal article
    The regenerative ability of CNS axons decreases with age however this ability remains largely intact in PNS axons throughout adulthood. These differences are likely to correspond with age-related silencing of proteins ...