Computer Science Research: Recent submissions

Now showing items 81-85 of 108

    • Exploring heritage through time and space : Supporting community reflection on the highland clearances 

      McCaffery, John Philip; Miller, Alan Henry David; Kennedy, Sarah Elizabeth; Dawson, Tom; Vermehren, Anna; Lefley, C; Strickland, K (IEEE, 2013-10) - Conference item
      On the two hundredth anniversary of the Kildonan clearances, when people were forcibly removed from their homes, the Timespan Heritage centre has created a program of community centred work aimed at challenging pre conceptions ...

    • Mobile cross reality for cultural heritage 

      Davies, Christopher John; Miller, Alan Henry David; Allison, Colin (IEEE, 2013-10) - Conference item
      Widespread adoption of smartphones and tablets has enabled people to multiplex their physical reality, where they engage in face-to-face social interaction, with Web-based social networks and apps, whilst emerging 3D Web ...

    • Open Virtual Worlds : A serious platform for experiential and game based learning 

      Miller, Alan Henry David; Allison, Colin; Getchell, Kristoffer Marc (Association for Information Systems, 2012) - Book item
      This paper presents our experiences of and reflections on five years work in using virtual worlds to support exploratory learning across a range of disciplines and educational contexts. Both educational and systems aspects ...

    • Towards the 3D Web with Open Simulator 

      Oliver, Iain Angus; Miller, Alan Henry David; Allison, Colin; Kennedy, Sarah Elizabeth; Dow, Lisa; Campbell, Anne; Davies, Christopher John; McCaffery, John Philip (IEEE, 2013-03-25) - Conference item
      Continuing advances and reduced costs in computational power, graphics processors and network bandwidth have led to 3D immersive multi-user virtual worlds becoming increasingly accessible while offering an improved and ...

    • Interfacing Coq + SSReflect with GAP 

      Komendantsky, Vladimir; Konovalov, Alexander; Linton, Stephen Alexander (2012-09-19) - Journal article
      We report on an extendable implementation of the communication interface connecting Coq proof assistant to the computational algebra system GAP using the Symbolic Computation Software Composability Protocol (SCSCP). It ...