Now showing items 596-615 of 10659

  • 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 generation of generalised regular factorial designs 

    Kobilinsky, André; Monod, Hervé; Bailey, R. A. (2017-09) - Journal article
    The R package planor enables the user to search for, and construct, factorial designs satisfying given conditions. The user specifies the factors and their numbers of levels, the factorial terms which are assumed to be ...
  • 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 ...
  • Automatic vertebrae localization from CT scans using volumetric descriptors 

    Karsten, Juan; Arandelovic, Ognjen (IEEE, 2017-09-14) - Conference item
    The localization and identification of vertebrae in spinal CT images plays an important role in many clinical applications, such as spinal disease diagnosis, surgery planning, and post-surgery assessment. However, automatic ...
  • Automatically generating streamlined constraint models with ESSENCE and CONJURE 

    Wetter, James; Akgun, Ozgur; Miguel, Ian (Springer, 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 ...
  • Automatically proving equivalence by type-safe reflection 

    Slama, Franck; Brady, Edwin Charles (Springer, 2017) - Conference item
    One difficulty with reasoning and programming with dependent types is that proof obligations arise naturally once programs become even moderately sized. For example, implementing an adder for binary numbers indexed over ...
  • 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 agent behaviour modelled in PRISM -- a case study 

    Hoffmann, Ruth; Ireland, Murray; Miller, Alice; Norman, Gethin; Veres, Sandor (Springer, 2016) - Conference item
    Formal verification of agents representing robot behaviour is a growing area due to the demand that autonomous systems have to be proven safe. In this paper we present an abstract definition of autonomy which can be used ...
  • Autonomous fault detection in self-healing systems : comparing Hidden Markov Models and artificial neural networks 

    Schneider, Christopher; Barker, Adam David; Dobson, Simon Andrew (ACM, 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 ...
  • Auxiliaries at war in the Middle East 

    Scheipers, Sibylle (2015-07-22) - Journal article
    If the West wants to contain or rout the Islamic State of Iraq and al-Sham, it will have to rely on local allies in some way. The history of modern war suggests three ways in which such cooperation has previously been problematic.