Now showing items 8-27 of 284

  • Algorithmic aspects of natural language processing 

    Nederhof, Mark Jan; Satta, Giorgio (CRC Press, 2010) - Book item
  • All across the circle : using auto-ordering to improve object transfer between mobile devices 

    Li, Chengzhao; Gutwin, Carl; Stanley, Kevin; Nacenta, Miguel (Canadian Human-Computer Communications Society, 2016-06-01) - Conference item
    People frequently form small groups in many social and professional situations: from conference attendees meeting at a coffee break, to siblings gathering at a family barbecue. These ad-hoc gatherings typically form into ...
  • Analysing the history of autism spectrum disorder using topic models 

    Beykikhoshk, Adham; Phung, Dinh; Arandelovic, Ognjen; Venkatesh, Svetha (IEEE, 2016-10-17) - Conference item
    We describe a novel framework for the discovery of underlying topics of a longitudinal collection of scholarly data,and the tracking of their lifetime and popularity over time. Unlike the social media or news data, as the ...
  • Anti-Müllerian hormone serum concentrations of women with germline BRCA1 or BRCA2 mutations 

    Phillips, K-A; Collins, I M; Milne, R L; McLachlan, S A; Friedlander, M; Hickey, M; Stern, C; Hopper, J L; Fisher, R; Kannemeyer, G; Picken, S; Smith, C D; Kelsey, Thomas William; Anderson, R A (2016-05) - Journal article
    Study question: Do women with BRCA1 and BRCA2 mutations have reduced ovarian reserve, as measured by circulating anti-müllerian hormone (AMH) concentration?  Summary answer: Women with a germline mutation in BRCA1 have ...
  • An application of formal concept analysis to neural decoding 

    Endres, D M; Foldiak, Peter; Priss, U (CEUR-WS, 2008) - Conference item
    This paper proposes a novel application of Formal Concept Analysis (FCA) to neural decoding: the semantic relationships between the neural representations of large sets of stimuli are explored using concept lattices. In ...
  • Applications of real number theorem proving in PVS 

    Gottliebsen, Hanne; Hardy, Ruth; Lightfoot, Olga; Martin, Ursula (2013-11) - Journal article
    Real number theorem proving has many uses, particularly for verification of safety critical systems and systems for which design errors may be costly. We discuss a chain of developments building on real number theorem ...
  • An approach to ad hoc cloud computing 

    Kirby, Graham; Dearle, Alan; Macdonald, Angus; Fernandes, Alvaro (University of St Andrews, 2010-02-25) - Report
    We consider how underused computing resources within an enterprise may be harnessed to improve utilization and create an elastic computing infrastructure. Most current cloud provision involves a data center model, in which ...
  • ArchWare ADL release 1 : A user reference manual 

    Balasubramaniam, Dharini; Morrison, Ronald; Kirby, Graham Njal Cameron; Mickan, K; Norcross, Stuart John (ArchWare Project IST-2001-32360, 2004) - Report
    This documentation of deliverable D4.3 is intended to serve as a user reference manual for the first release of ArchWare ADL.
  • Are Clouds ready to accelerate ad hoc financial simulations? 

    Varghese, Blesson; Barker, Adam David (IEEE Computer Society, 2014-08-12) - Conference item
    Applications employed in the financial services industry to capture and estimate a variety of risk metrics are underpinned by stochastic simulations which are data, memory and computationally intensive. Many of these ...
  • The ASPECTA toolkit : affordable Full Coverage Displays 

    Petford, Julian; Nacenta, Miguel; Gutwin, Carl; Eremondi, Joseph; Ede, Cody (ACM Press - Association for Computing Machinery, 2016-06-20) - Conference item
    Full Coverage Displays (FCDs) cover the interior surface of an entire room with pixels. FCDs make possible many new kinds of immersive display experiences - but current technology for building FCDs is expensive and complex, ...
  • Audience research and social media data : Opportunities and challenges 

    Procter, Rob; Voss, Alexander; Lvov, Ilia (2015-05) - Journal article
    The widespread adoption of social media platforms and other information and communication technology innovations not only pose new challenges for audience researchers but also provide exciting opportunities to re-invigorate ...
  • Augmented learning roads for internet routing 

    McCaffery, John Philip; Miller, Alan Henry David; Oliver, Iain Angus; Allison, Colin (IEEE, 2014-10) - Conference item
    As the Internet continues to establish itself as a utility, like power, transport or water, it becomes increasingly important to provide an engaging educational experience about its operation for students in related STEM ...
  • 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 ...
  • 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 ...
  • 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 ...