Browsing by Subject "QA75 Electronic computers. Computer science"

Now showing items 1-20 of 265

  • 4273π : bioinformatics education on low cost ARM hardware 

    Barker, Daniel; Ferrier, David Ellard Keith; Holland, Peter W.H.; Mitchell, John B. O.; Plaisier, Heleen; Ritchie, Michael Gordon; Smart, Steven D. (2013-08-12) - Journal article
    Background: Teaching bioinformatics at universities is complicated by typical computer classroom settings. As well as running software locally and online, students should gain experience of systems administration. For a ...

  • Academic Cloud computing research : five pitfalls and five opportunities 

    Barker, Adam; Varghese, Blesson; Stuart Ward, Jonathan; Sommerville, Ian (USENIX, 2014-06-17) - Conference item
    This discussion paper argues that there are five fundamental pitfalls, which can restrict academics from conducting cloud computing research at the infrastructure level, which is currently where the vast majority of academic ...

  • Acceleration-as-a-Service : exploiting virtualised GPUs for a financial application 

    Varghese, Blesson; Prades, Javier; Reaño, Carlos; Silla, Federico (IEEE Computer Society, 2015-09-01) - Conference item
    How can GPU acceleration be obtained as a service in a cluster? This question has become increasingly significant due to the inefficiency of installing GPUs on all nodes of a cluster. The research reported in this paper ...

  • Ad hoc Cloud computing 

    McGilvary, Gary; Barker, Adam David; Atkinson, Malcolm (IEEE Computer Society, 2015) - Conference item
    This paper presents the first complete, integrated and end-to-end solution for ad hoc cloud computing en- vironments. Ad hoc clouds harvest resources from existing sporadically available, non-exclusive (i.e. primarily used ...

  • Adult dental anxiety : recent assessment approaches and psychological management in a dental practice setting 

    Humphris, Gerald Michael; Spyt, James; Herbison, Alice; Kelsey, Tom (2016-05) - Journal article
    Dental Anxiety of patients is a common feature of the everyday experience of dental practice. This article advocates the use of regular assessment of this psychological construct to assist in patient management. Various ...

  • 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 ...

  • 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 ...