Now showing items 519-538 of 8725

  • 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 knowledge extraction from EHRs 

    Vasiljeva, Ieva; Arandelovic, Ognjen (2016-07-10) - Conference item
    Increasing efforts in the collection, standardization, and maintenance of large scale longitudinal elec- tronic health care records (EHRs) across the world provide a promising source of real world medical data with the ...
  • 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 ...
  • 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) ...
  • 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 ...