Search results

  • Chapter

    A final coalgebra for k-regular sequences

    Hansen, H. H., Kupke, C., Rutten, J. & Winter, J., May 2014, Horizons of the Mind: A Tribute to Prakash Panangaden - Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday. van Breugel, F., Kashefi, E., Palamidessi, C. & Rutten, J. (eds.). Vol. 8464. p. 363-383 21 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

    1 Citation (Scopus)
  • A graphical approach to measurement-based quantum computing

    Duncan, R., 21 Feb 2013, Quantum Physics and Linguistics: A Compositional, Diagrammatic Discourse. Heunen, C., Sadrzadeh, M. & Grefenstette, E. (eds.).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • An introduction to augmented reality and cultural heritage for curators, art historians and museum educators

    Damala, A., 2013, La Cocina valenciana del Museo Nacional de Artes Decorativas: Una relectura a través de la tecnologiade Realidad Aumentada. Cabrera Lafuente, A., Rodriguez Marco, I. & Villar Frenandez, C. V. F. (eds.). p. 120-133 14 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Anti-social e-tribes: e-gangs, cybercultures and control in online communities

    Rogerson, R., Sadler, S., Karagiannidou, E., Duncan, S., Ruthven, I., Tagg, S. & McDiarmid, A., 1 Mar 2013, Cyberculture Now : Social and Communication Behaviours on the Web. Maj, A. (ed.). 1 ed. Oxford, p. 55-67 13 p. (Critical Issues).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • A q,t-analogue of Narayana numbers

    Aval, J-C., D'Adderio, M., Dukes, M., Hicks, A. & Le Borgne, Y., 2013, DMTCS Proceedings : 25th International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2013). Nancy, France, p. 623-634 12 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Combining infrastructure sensor and tourism market data in a smart city project: case study 1

    Komninos, A., Dunlop, M. D. & Wilson, J. N., 28 Feb 2021, Intelligent Computing for Interactive System Design: Statistics, Digital Signal Processing, and Machine Learning in Practice. Eslambolchilar, P. & Komnios, A. (eds.). New York, NY, United States, p. 197-223 37 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Open Access
    File
    13 Downloads (Pure)
  • Cyberterrorism in the cloud: through a glass darkly

    Cartwright, B., Weir, G. R. S. & Frank, R., 29 Apr 2019, Security, Privacy, and Digital Forensics in the Cloud. Chen, L., Takabi, H. & Le-Khac, N-A. (eds.). Hoboken, N.J.: John Wiley & Sons Inc., p. 217-237 21 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Engaging in large-scale digital health technologies and services. What factors hinder recruitment?

    O'Connor, S., Mair, F. S., Lennon, M., Bouamrane, M-M. & O'Donnell, K., 2015, Digital Healthcare Empowering Europeans. Cornet, R., Stoicu-Tivadar, L., Hörbst, A., Calderón, C. L. P., Andersen, S. K. & Hercigonja-Szekeres, M. (eds.). IOS Press, Vol. 210. p. 306-310 5 p. (Studies in Health Technology and Informatics; vol. 210).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Open Access
    File
    3 Citations (Scopus)
    114 Downloads (Pure)
  • Equivalences for pattern avoiding involutions and classification

    Dukes, M., Jelinek, V., Mansour, T. & Reifegerste, A., 2008, DMTCS Proceedings: 20th Annual International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2008). Nancy, France, Vol. AJ. p. 181-188 8 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • General video game playing

    Levine, J., Bates Congdon, C., Ebner, M., Kendall, G., Lucas, S. M., Miikkulainen, R., Schaul, T. & Thompson, T., 30 Nov 2013, Artificial and Computational Intelligence in Games: A Follow-up to Dagstuhl Seminar 12191. Lucas, S. M., Mateas, M., Preuss, M., Spronck, P. & Togelius, J. (eds.). p. 77-84 8 p. (Dagstuhl Follow-Ups).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Open Access
    File
    165 Downloads (Pure)
  • Grand challenges in text entry

    Kristensson, P. O., Brewster, S., Clawson, J., Dunlop, M., Findlater, L., Isokoski, P., Martin, B., Oulasvirta, A., Vertanen, K. & Waller, A., 2013, CHI '13 Extended Abstracts on Human Factors in Computing Systems. New York, p. 3315-3318 4 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

    File
    5 Citations (Scopus)
    27 Downloads (Pure)
  • Minimization via duality

    Bezhanishvili, N., Kupke, C. & Panangaden, P., 11 Aug 2012, Logic, Language, Information and Computation : 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings. Ong, L. & de Queiroz, R. (eds.). Berlin: Springer, Vol. 7456 . p. 191-205 15 p. (Lecture Notes in Computer Science; vol. 7456).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Open Access
    File
    23 Citations (Scopus)
    45 Downloads (Pure)
  • Open-world games: an exploration of creative play

    Arnott, L., Levine, J. & Shanks, G., 31 Mar 2019, Early Learning in the Digital Age. Palaiologou, I. & Gray, C. (eds.). London: SAGE Publications Ltd

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Partition and composition matrices: two matrix analogues of set partitions

    Claesson, A., Dukes, M. & Kubitzke, M., 2011, DMTCS Proceedings: 23rd International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2011). Nancy, France, Vol. AO. p. 221-232 12 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Perceived risk and sensitive data on mobile devices

    Lazou, A. & Weir, G., 28 Jun 2011, Cyberforensics: issues and perspectives. Weir, G. R. S. (ed.). Glasgow: University of Strathclyde, p. 183-196 14 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Open Access
    File
    106 Downloads (Pure)
  • Planning strategically, designing architecturally: a framework for digital library services

    Buchanan, S., 2010, Advances in librarianship: exploring the digital frontier. Woodsworth, A. (ed.). Bingley, UK: Emerald Publishing Limited, p. 159-180 21 p. (Advances in Librarianship; vol. 32).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Open Access
    File
    5 Citations (Scopus)
    98 Downloads (Pure)
  • Quantifying and neutralising sexually explicit language

    Weir, G., 2015, (Accepted/In press) Cybercrime Risks and Responses: Eastern and Western Perspectives. Smith, R., Cheung, R. C-C. & Lau Yiu-Chung, L. (eds.).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Open Access
    File
    8 Downloads (Pure)
  • Shake 'n' Tap: a gesture enhanced keyboard for older adults

    Dunlop, M., Komninos, A., Nicol, E. & Hamilton, I., Sep 2014, MobileHCI '14: Proceedings of the 16th International Conference on Human-Computer Interaction with Mobile Devices & Services. New York, p. 525-530 6 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Open Access
    File
    4 Citations (Scopus)
    123 Downloads (Pure)
  • Simulation and technology in legal education: a systematic review and future research programme

    Maharg, P. & Nicol, E., Dec 2014, Legal Education: Simulation in Theory and Practice. Strevens, C., Grimes, R. & Phillips, E. (eds.). Farnham, UK, p. 17-42 26 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Some open problems on permutation patterns

    Steingrimsson, E., 2013, Surveys in Combinatorics 2013. Blackburn, S. R., Gerke, S. & Wildon, M. (eds.). Cambridge University Press, p. 239-263 25 p. (London Mathematical Society Lecture Note Series; vol. 409).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Sorting and preimages of pattern classes

    Claesson, A. & Úlfarsson, H., 2012, 24th International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2012) . Nancy, France, p. 595-606 12 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

    4 Citations (Scopus)
  • Strong complementarity and non-locality in categorical quantum mechanics

    Coecke, B., Duncan, R., Kissinger, A. & Wang, Q., 2012, Logic in Computer Science (LICS), 2012 27th Annual IEEE Symposium on . Piscataway, NJ: IEEE, p. 245-254 10 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

    33 Citations (Scopus)
  • The Internet of Things: promise of a better connected world

    Weir, G. R. S., 11 Jun 2016, Mechatronic Futures: Challenges and Solutions for Mechatronic Systems and their Designers. Hehenberger, P. & Bradley, D. (eds.). Switzerland: Springer, p. 165-177 13 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

    File
    14 Downloads (Pure)
  • The limitations of automating OSINT: understanding the question, not the answer

    Weir, G. R. S., 3 Dec 2015, Automating Open Source Intelligence: Algorithms for OSINT. Layton, R. & Watters, P. A. (eds.). Waltham, MA., p. 159-169 11 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

    2 Citations (Scopus)
  • The narrative event diagram: a tool for designing professional simulations

    Gould, H., Hughes, M., Maharg, P. & Nicol, E., 2 May 2008, Digital Simulations for Improving Education: Learning Through Artificial Teaching Environments. Gibson, D. & Kyun Baek, Y. (eds.). p. 101-118 18 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • The sandpile model on a bipartite graph, parallelogram polyominoes, and a q,t-Narayana polynomial

    Dukes, M. & Le Borgne, Y., 2012, DMTCS Proceedings : 24th International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2012). Nancy, France, Vol. AR. p. 337-348 12 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • The sources of digital evidence

    Weir, G. & Mason, S., 15 Nov 2012, Electronic Evidence. Mason, S. (ed.). 3rd ed. p. 1-25 25 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • The usability of text entry systems now and in the future

    Clawson, J., Brewster, S., Dunlop, M., Kristensson, P. O., Isokoski, P., Oulasvirta, A., Vertanen, K. & Waller, A., 2014, CHI '14 Extended Abstracts on Human Factors in Computing Systems. New York, p. 1139-1142 4 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

    3 Citations (Scopus)
  • Towards a video game description language

    Ebner, M., Levine, J., Lucas, S. M., Schaul, T., Thompson, T. & Togelius, J., 18 Nov 2013, Artificial and Computational Intelligence in Games. Lucas, S. M., Mateas, M., Preuss, M., Spronck, P. & Togelius, J. (eds.). Wadern, Vol. 6. p. 85-100 16 p. (Dagstuhl Follow-Ups; vol. 6).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Open Access
    File
    90 Downloads (Pure)
  • When private set intersection meets big data: an efficient and scalable protocol

    Dong, C., Chen, L. & Wen, Z., 4 Nov 2013, (Accepted/In press) Proceedings of the 2013 ACM SIGSAC Conference on Computer & Communications Security: CCS '13. New York, p. 789-800 12 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Open Access
    File
    172 Citations (Scopus)
    112 Downloads (Pure)
  • Chapter (peer-reviewed)

    A survey on partially ordered patterns

    Kitaev, S., Jun 2010, Permutation Patterns. p. 115-135 21 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  • Consistent RDF updates with correct dense deltas

    Al Azwari, S. & Wilson, J. N., 6 Jul 2015, Data Science: BICOD 2015. Maneth, S. (ed.). Cham: Springer, Vol. 9147. p. 74-86 13 p. ( Lecture Notes in Computer Science; vol. 9147).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

    Open Access
    File
    101 Downloads (Pure)
  • "Europeanisation” of cataloguing codes: an analysis of the evolution of RDA

    Poulter, A., 17 Dec 2012, Library and Information Science Trends and Research: Europe. Spink, A. (ed.). Emerald Publishing Limited, p. 67-84 18 p. (Library and Information Science).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  • Evaluating the effort involved in relevance assessments for images

    Halvey, M. & Villa, R., 31 Jul 2014, Proceedings of the 37th international ACM SIGIR Conference on Research & Development in Information Retrieval (SIGIR '14). New York, NY, United States, p. 887-890 4 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

    Open Access
    File
    5 Citations (Scopus)
    1 Downloads (Pure)
  • Filling in the blanks in RDA or remaining blank? The strange case of FRSAD

    Poulter, A., 19 Jul 2013, (Accepted/In press) New Directions in Information Organization. Park, J-R. & Howarth, L. C. (eds.). Emerald Publishing Limited, (Library and Information Science; vol. 7).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  • Generalised compositional theories and diagrammatic reasoning

    Coecke, B., Duncan, R., Kissinger, A. & Wang, Q., 11 Jun 2015, Quantum Theory: Informational Foundations and Foils. Chiribella, G. & Spekkens, R. W. (eds.). 1 ed. Netherlands: Springer, Vol. 181. p. 1-55 55 p. (Fundamental Theories of Physics; vol. 181, no. 1).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

    Open Access
    File
    21 Downloads (Pure)
  • Implementing a national Scottish digital health & wellbeing service at scale: a qualitative study of stakeholders' views

    Agbakoba, R., McGee-Lennon, M., Bouamrane, M-M., Watson, N. & Mair, F., 14 Aug 2015, MEDINFO 2015: eHealth-enabled Health. Sarkar, I. N., Georgiou, A. & de Azevedo Marques, P. M. (eds.). IOS Press, Vol. 216. p. 487 - 491 5 p. (Studies in Health Technology and Informatics; vol. 216).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

    Open Access
    File
    5 Citations (Scopus)
    62 Downloads (Pure)
  • Is relevance hard work? Evaluating the effort of making relevant assessments

    Villa, R. & Halvey, M., 2013, Proceedings of the 36th international ACM SIGIR Conference on Research and Development in Information Retrieval (SIGIR '13). New York, p. 765-768 4 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

    21 Citations (Scopus)
  • Leading for learning: a model for best practice in school libraries

    Judge, C. S. & McMenemy, D., 2014, Management and Leadership Innovations. Woodsworth, A. & Penniman, W. D. (eds.). Emerald Publishing Limited, Vol. 38. p. 101-135 35 p. (Advances in Librarianship).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

    Open Access
    File
    2 Citations (Scopus)
    108 Downloads (Pure)
  • The emergence and impact of neoliberal ideology on UK public library policy, 1997-2010

    Greene, M. & McMenemy, D., 2012, Library and Information Science Trends and Research: Europe. Spink, A. & Heinstrom, J. (eds.). Emerald Publishing Limited, p. 13-41 29 p. (Library & Information Science).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

    Open Access
    File
    146 Downloads (Pure)
  • Thermal feedback identification in a mobile environment

    Wilson, G., Brewster, S., Halvey, M. & Hughes, S., 2013, Haptic and Audio Interface Design: 8th International Workshop, HAID 2013, Daejeon, Korea, April 18-19, 2013, Revised Selected Papers. Oakley, I. & Brewster, S. (eds.). Heidelberg, p. 10-19 10 p. (Lecture Notes in Computer Science; vol. 7989).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

    18 Citations (Scopus)
  • Towards quantifying the impact of non-uniform information access in collaborative information retrieval

    Htun, N. N., Halvey, M. & Baillie, L., Aug 2015, The 38th Annual ACM Special Interest Group in Information Retrieval Conference: SIGIR 2015. New York, p. 843-846 4 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

    Open Access
    File
    4 Citations (Scopus)
    157 Downloads (Pure)
  • Towards utilising one-handed multi-digit pressure input

    Wilson, G., Brewster, S. & Halvey, M., Apr 2013, CHI 2013: extended abstracts of the 31st Annual CHI Conference on Human Factors in Computing Systems. Paris, France, p. 1317-1322 6 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

    19 Citations (Scopus)
  • Type systems for programs respecting dimensions

    McBride, C. & Nordvall Forsberg, F., 8 Jan 2021, (Accepted/In press) Advanced Mathematical and Computational Tools in Metrology and Testing XII. Singapore: World Scientific Publishing Co. Pte Ltd, 15 p. (Series on Advances in Mathematics for Applied Sciences).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

    Open Access
    File
    22 Downloads (Pure)
  • Why aren't users using protection? Investigating the usability of smartphone locking

    Micallef, N., Just, M., Baillie, L., Halvey, M. & Kayacik, H. G., 24 Aug 2015, Proceedings of the 17th International Conference on Human-Computer Interaction with Mobile Devices and Services: MobileHCI 2015. New York, p. 284-294 11 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

    Open Access
    File
    25 Citations (Scopus)
    81 Downloads (Pure)
  • Commissioned report

    SIMulated Professional Learning Environment (SIMPLE): Programme Final Report

    Hughes, M., Gould, H., McKellar, P., Maharg, P. & Nicol, E., 2008, Glasgow: University of Strathclyde. 93 p.

    Research output: Book/ReportCommissioned report

    Open Access
    File
    86 Downloads (Pure)
  • Conference article

    Optimising Clifford circuits with Quantomatic

    Fagan, A. & Duncan, R., 29 Jan 2019, In: Electronic Proceedings in Theoretical Computer Science. 287, p. 85-105 21 p.

    Research output: Contribution to journalConference articlepeer-review

    Open Access
    File
    10 Citations (Scopus)
    4 Downloads (Pure)
  • Conference Contribution

    A type and scope safe universe of syntaxes with binding: their semantics and proofs

    Allais, G., Atkey, R., Chapman, J., McBride, C. & McKinna, J., 23 Sep 2018, In: Proceedings of the ACM on Programming Languages (PACMPL). 2, ICFP, p. 1-30 30 p., 90.

    Research output: Contribution to journalConference Contributionpeer-review

    Open Access
    File
    10 Citations (Scopus)
    72 Downloads (Pure)
  • Deceptive games

    Anderson, D., Stephenson, M., Togelius, J., Salge, C., Levine, J. & Renz, J., 8 Mar 2018, (E-pub ahead of print) In: Lecture Notes in Computer Science. 10784, p. 376-391 16 p.

    Research output: Contribution to journalConference Contributionpeer-review

    Open Access
    File
    11 Citations (Scopus)
    16 Downloads (Pure)
  • Evaluating readability as a factor in information security policies

    Alkhurayyif, Y. & Weir, G. R. S., 31 Dec 2017, In: International Journal of Trend in Research and Development. p. 54-64 11 p.

    Research output: Contribution to journalConference Contributionpeer-review

    Open Access
    File
    36 Downloads (Pure)