SICSA

Filter
Chapter

Search results

  • 2023

    Infinite horizon extensive form games, coalgebraically

    Capucci, M., Ghani, N., Kupke, C., Ledent, J. & Nordvall Forsberg, F., 2023, Mathematics for Computation. Benini, M., Beyersdorff, O., Rathjen, M. & Schuster, P. (eds.). Singapore: World Scientific Publishing Co. Pte Ltd, p. 195-222 25 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    Open Access
    File
    53 Downloads (Pure)
  • 2022

    MTConnect and digital twin applications and future perspectives

    Sharadah, F. M., Al-Dubaee, S. & Weir, G., 21 Apr 2022, Digital Twins for Digital Transformation: Innovation in Industry. Studies in Systems, Decision and Control. Cham, Switzerland: Springer, Vol. 423. p. 87-98 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    1 Citation (Scopus)
  • 2021

    Understanding responses to phishing in Saudi Arabia via the Theory of Planned Behaviour

    Alyahya, A. & Weir, G., 14 May 2021, National Computing Colleges Conference (NCCC), 2021. New York, N.Y.: IEEE, 6 p. (Proceedings - 2021 IEEE 4th National Computing Colleges Conference, NCCC 2021).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    Open Access
    File
    3 Citations (Scopus)
    57 Downloads (Pure)

  • 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 proceeding › Chapter

    Open Access
    File
    49 Downloads (Pure)

  • Creating Test Oracles Using Machine Learning Techniques

    Almaghairbe, R. & Roper, M., 2021, Artificial Intelligence Methods for Software Engineering. Kalech, M., Abreu, R. & Last, M. (eds.). p. 269-304 26 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • 2019

    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 proceeding › Chapter

    1 Citation (Scopus)

  • 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 proceeding › Chapter

  • Workplace information environment – challenges and opportunities for research

    Byström, K., Heinström, J. & Ruthven, I., 26 Mar 2019, Information at Work: Information Management in the Workplace. Byström, K., Heinström, J. & Ruthven, I. (eds.). London, 16 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    Open Access
    File
    30 Downloads (Pure)
  • 2016

    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 proceeding › Chapter

    File
    30 Downloads (Pure)
  • 2015

    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 proceeding › Chapter

    3 Citations (Scopus)

  • A comparison of artificial driving sounds for automated vehicles

    Beattie, D., Baillie, L. & Halvey, M., 7 Sept 2015, UbiComp '15: Proceedings of the 2015 ACM International Joint Conference on Pervasive and Ubiquitous Computing. New york, p. 451-462 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    Open Access
    File
    19 Citations (Scopus)
    179 Downloads (Pure)

  • 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 proceeding › Chapter

    Open Access
    File
    8 Citations (Scopus)
    148 Downloads (Pure)

  • Quantifying Sexually Explicit Language

    Weir, G. R. S., 2015, Cybercrime Risks and Responses: Eastern and Western Perspectives. Smith, R. G., Cheung, R.C.-C. & Lau, L.Y.-C. (eds.). Palgrave Macmillan Ltd., p. 121-129 9 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    Open Access
    File
    33 Downloads (Pure)
  • 2014

    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 proceeding › Chapter

  • Shake 'n' Tap: a gesture enhanced keyboard for older adults

    Dunlop, M., Komninos, A., Nicol, E. & Hamilton, I., Sept 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 proceeding › Chapter

    Open Access
    File
    6 Citations (Scopus)
    154 Downloads (Pure)

  • 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 proceeding › Chapter

    1 Citation (Scopus)

  • 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 proceeding › Chapter

    4 Citations (Scopus)
  • 2013

    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 proceeding › Chapter

    Open Access
    File
    194 Downloads (Pure)

  • 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 proceeding › Chapter

    Open Access
    File
    108 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 proceeding › Chapter

    Open Access
    File
    326 Citations (Scopus)
    355 Downloads (Pure)

  • 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 proceeding › Chapter

  • 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 proceeding › Chapter

  • 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 proceeding › Chapter

  • 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 proceeding › Chapter

  • 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 proceeding › Chapter

    File
    9 Citations (Scopus)
    38 Downloads (Pure)

  • 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 proceeding › Chapter

  • 2012

    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 proceeding › Chapter

  • 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 proceeding › Chapter

    Open Access
    File
    31 Citations (Scopus)
    65 Downloads (Pure)

  • 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 proceeding › Chapter

    6 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 proceeding › Chapter

    42 Citations (Scopus)

  • 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 proceeding › Chapter

  • 2011

    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 proceeding › Chapter

    Open Access
    File
    144 Downloads (Pure)

  • 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 proceeding › Chapter

  • 2010

    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 proceeding › Chapter

    Open Access
    File
    7 Citations (Scopus)
    132 Downloads (Pure)
  • 2008

    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 proceeding › Chapter

  • 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 proceeding › Chapter