Computer Science: Recent submissions

Now showing items 146-150 of 297

    • Two variants of the froidure-pin algorithm for finite semigroups 

      Jonusas, Julius; Mitchell, J. D.; Pfeiffer, M. (2018-02-08) - Journal article
      In this paper, we present two algorithms based on the Froidure-Pin Algorithm for computing the structure of a finite semigroup from a generating set. As was the case with the original algorithm of Froidure and Pin, the ...

    • Verification of a lazy cache coherence protocol against a weak memory model 

      Banks, Christopher; Elver, Marco; Hoffmann, Ruth; Sarkar, Susmit; Jackson, Paul; Nagarajan, Vijay (FMCAD Inc, 2017-10-02) - Conference item
      In this paper, we verify a modern lazy cache coherence protocol, TSO-CC, against the memory consistency model it was designed for, TSO. We achieve this by first showing a weak simulation relation between TSO-CC (with a ...

    • Overcoming mental blocks : a blocks-based approach to Experience Sampling studies 

      Rough, Daniel John; Quigley, Aaron John (IEEE, 2017-12-01) - Conference item
      Experience Sampling Method (ESM) studies repeatedly survey participants on their behaviours and experiences as they go about their everyday lives. Smartphones afford an ideal platform for ESM study applications as devices ...

    • Intuitive and interpretable visual communication of a complex statistical model of disease progression and risk 

      Li, Jieyi; Arandelovic, Ognjen (IEEE, 2017-07-11) - Conference item
      Computer science and machine learning in particular are increasingly lauded for their potential to aid medical practice. However, the highly technical nature of the state of the art techniques can be a major obstacle in ...

    • Recommending privacy preferences in location-sharing services 

      Zhao, Yuchen (University of St Andrews, 2017-06-21) - Thesis
      Location-sharing services have become increasingly popular with the proliferation of smartphones and online social networks. People share their locations with each other to record their daily lives or satisfy their social ...