Now showing items 8-27 of 216

  • 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 ...
  • 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 ...
  • 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 ...
  • Big and broad social data and the sociological imagination : A collaborative response 

    Housley, William; Procter, Rob; Edwards, Adam; Burnap, Peter; Williams, Matthew; Sloan, Luke; Rana, Omer; Morgan, Jeffrey; Voss, Alexander; Greenhill, Anita (2014-08-05) - Journal article
    In this paper, we reflect on the disciplinary contours of contemporary sociology, and social science more generally, in the age of 'big and broad' social data. Our aim is to suggest how sociology and social sciences may ...
  • BigExcel : a web-based framework for exploring big data in Social Sciences 

    Saleem, Muhammed Asif; Varghese, Blesson; Barker, Adam (IEEE Computer Society, 2015-01-07) - Conference item
    This paper argues that there are three fundamental challenges that need to be overcome in order to foster the adoption of big data technologies in non-computer science related disciplines: addressing issues of accessibility ...
  • The Bohemian Bookshelf : supporting serendipitous book discoveries through information visualization 

    Thudt, Alice; Hinrichs, Uta; Carpendale, Sheelagh (ACM Press - Association for Computing Machinery, 2012-05-05) - Conference item
    Serendipity, a trigger of exciting yet unexpected discoveries, is an important but comparatively neglected factor in information seeking, research, and ideation. We suggest that serendipity can be facilitated through ...
  • The Bohemian Bookshelf : supporting serendipitous discoveries through visualization 

    Thudt, Alice; Hinrichs, Uta; Carpendale, Sheelagh (University of Calgary, 2011) - Working or discussion paper
    Serendipity, a trigger of exciting discoveries when we least expect it, is currently being discussed as an often neglected but still important factor in information seeking processes, research, and ideation. In this paper ...
  • Bootstrapping opportunistic networks using social roles 

    Bigwood, Greg; Henderson, Tristan (IEEE, 2011-06-23) - Conference item
    Opportunistic routing protocols can enable message delivery in disconnected networks of mobile devices. To conserve energy in mobile environments, such routing protocols must minimise unnecessary message-forwarding. This ...
  • The broken dream of pervasive sentient ambient calm invisible ubiquitous computing 

    Aylett, Matthew P.; Quigley, Aaron John (ACM Press - Association for Computing Machinery, 2015-04-18) - Conference item
    We dreamt of technology becoming invisible, for our wants and needs to be primary and the tools we use for making them a reality to become like a genie, a snap of the fingers and ta daa, everything is realised. What went ...
  • BubbleType : enabling text entry within a walk-up tabletop installation 

    Hinrichs, Uta; Schmidt, Holly; Isenberg, Tobias; Hancock, Mark S.; Carpendale, Sheelagh (University of Calgary, 2008-02) - Working or discussion paper
    We address the issue of enabling text entry for walk-up-and-use interactive tabletop displays located in public spaces. Public tabletop installations are characterized by a diverse target user group, multiperson interaction, ...
  • Budget constrained execution of multiple Bag-of-Tasks applications on the Cloud 

    Thai, Long Thanh; Varghese, Blesson; Barker, Adam David (IEEE Computer Society, 2015-06-27) - Conference item
    Optimising the execution of Bag-of-Tasks (BoT) applications on the cloud is a hard problem due to the trade- offs between performance and monetary cost. The problem can be further complicated when multiple BoT applications ...
  • Cancer treatment and gonadal function : experimental and established strategies for fertility preservation in children and young adults 

    Anderson, Richard A; Mitchell, Rod T.; Kelsey, Tom; Spears, Norah; Telfer, Evelyn E.; Wallace, W. Hamish B. (2015-07) - Journal article
    Preservation of gonadal function,is an important priority for the long-term health of cancer survivors of both sexes and all ages at treatment.. The loss of an opportunity for fertility is a prime concern in both male and ...