Now showing items 1-20 of 224

    • An academic’s observations from a sabbatical at Google 

      Barker, Adam David (2018-09) - Journal article
      How experiences gained in industry can improve academic research and teaching.
    • Achieving stable subspace clustering by post-processing generic clustering results 

      Pham, Duc-Son; Arandjelovic, Ognjen; Venkatesh, Svetha (IEEE, 2016-10-31) - Conference item
      We propose an effective subspace selection scheme as a post-processing step to improve results obtained by sparse subspace clustering (SSC). Our method starts by the computation of stable subspaces using a novel random ...
    • An active-architecture approach to COTS integration 

      Warboys, B.C.; Snowdon, R.; Greenwood, R.M.; Seet, W.; Robertson, I.; Morrison, Ronald; Balasubramaniam, Dharini; Kirby, Graham Njal Cameron; Mickan, K. (2005-07) - Journal article
      Commercial off-the-shelf (COTS) software products are increasingly used as standard components within integrated information systems. This creates challenges since both their developers and source code are not usually ...
    • 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 ...
    • AIF-EL - an OWL2-EL-compliant AIF ontology 

      Cerutti, Federico; Toniolo, Alice; Norman, Timothy J.; Bex, Floris; Rahwan, Iyad; Reed, Chris (IOS Press, 2018-09-11) - Conference item
      This paper briefly describes AIF-EL, an OWL2-EL compliant ontology for the Argument Interchange Format.
    • Algorithms for optimising heterogeneous Cloud virtual machine clusters 

      Thai, Long Thanh; Varghese, Blesson; Barker, Adam David (IEEE, 2016-12-12) - Conference item
      It is challenging to execute an application in a heterogeneous cloud cluster, which consists of multiple types of virtual machines with different performance capabilities and prices. This paper aims to mitigate this challenge ...
    • 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 ...
    • The ambient loo - caught short when nature calls? 

      Haddadi, Hamed; Henderson, Tristan; Crowcroft, Jon (2010-04) - Journal article
      On numerous occasions, trips to the facilities coincide with an important mobile phone call. Due to the sleek and polished nature of modern phones, attempting to promptly deal with such calls can occasionally lead to the ...
    • 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 ...
    • 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 compliance in software architectures 

      Morrison, Ronald; Balasubramaniam, Dharini; Greenwood, RM; Kirby, Graham Njal Cameron; Mayes, K; Munro, DS; Warboys, B (2000-08) - Journal article
      Software architectures are designed to meet the needs of the applications that use them. With conventional architectures this is done by predicting the average needs of the majority of the applications they support. In ...
    • Architectural support for Global Smart Spaces 

      Dearle, A; Kirby, G; Morrison, R; McCarthy, Andrew John; Mullen, Kevin Matthew; Yang, Yang; Connor, R; Welen, P; Wilson, A (Springer, 2003) - Conference item
      A GLObal Smart Space (GLOSS) provides support for interaction amongst people, artefacts and places while taking account of both context and movement on a global scale. Crucial to the definition of a GLOSS is the provision ...
    • 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 ...
    • 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 ...
    • Automated data gathering and training tool for personalized "Itchy Nose" 

      lee, Juyoung; Yeo, Hui Shyong; Starner, Thad; Quigley, Aaron John; Kunze, Kai; Woo, Woontack (ACM, 2018-02-07) - Conference item
      In "Itchy Nose" we proposed a sensing technique for detecting finger movements on the nose for supporting subtle and discreet interaction. It uses the electrooculography sensors embedded in the frame of a pair of eyeglasses ...
    • Automatic discovery and exploitation of promising subproblems for tabulation 

      Akgun, Ozgur; Gent, Ian Philip; Jefferson, Christopher Anthony; Miguel, Ian James; Nightingale, Peter William; Salamon, András Z. (Springer, 2018) - Conference item
      The performance of a constraint model can often be improved by converting a subproblem into a single table constraint. In this paper we study heuristics for identifying promising subproblems. We propose a small set of ...
    • Automatic generation and selection of streamlined constraint models via Monte Carlo search on a model lattice 

      Spracklen, Patrick; Akgun, Ozgur; Miguel, Ian James (Springer, 2018) - 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 it has been established that it is possible to ...
    • Automatic predicate testing in formal certification : you’ve only proven what you’ve said, not what you meant! 

      Slama, Franck (Springer-Verlag, 2016) - Conference item
      The use of formal methods and proof assistants helps to increase the confidence in critical software. However, a formal proof is only a guarantee relative to a formal specification, and not necessary about the real ...
    • 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 ...