Filter
Conference contribution book

Search results

  • Through the Loupe: Visitor engagement with a primarily text-based handheld AR application

    Van Der Vaart, M. & Damala, A., 24 Feb 2016, 2015 Digital Heritage International Congress, Digital Heritage 2015. p. 565-572 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    22 Citations (Scopus)
    80 Downloads (Pure)
  • Towards a universal information distance for structured data

    Connor, R., Simeoni, F., Iakovos, M. & Moss, R. G., 30 Jun 2011, SISAP '11 Proceedings of the Fourth International Conference on SImilarity Search and APplications. Ferro, A. (ed.). p. 69-77 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    2 Citations (Scopus)
    21 Downloads (Pure)
  • Towards authentication via selected extraction from electronic personal histories

    Nosseir, A. & Terzis, S., 2011, Enterprise Information Systems: Revised Selected Papers of the 12th International Conference on Enterprise Information Systems. Filipe, J. & Cordeiro, J. (eds.). Springer, p. 571-586 16 p. (Lecture Notes in Business Information Processing; vol. 73).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

  • Towards measuring content coordination in microblogs

    Roussinov, D., 1 Mar 2018, (E-pub ahead of print) Advances in Information Retrieval: 40th European Conference on IR Research, ECIR 2018, Proceedings. Pasi, G., Piwowarski, B., Azzopardi, L. & Hanbury, A. (eds.). Cham: Springer-Verlag, p. 651-656 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10772).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    38 Downloads (Pure)
  • Towards semantic category verification with arbitrary precision

    Roussinov, D., 2011, Advances in Information Retrieval Theory : Third International Conference, ICTIR 2011, Bertinoro, Italy, September 12-14, 2011. Proceedings. Vol. 6931. p. 274-284 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

  • Translating extensive form games to open games with agency

    Capucci, M., Ghani, N., Ledent, J. & Nordvall Forsberg, F., 12 Jul 2021, Applied Category Theory 2021. Cambridge, 13 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    4 Downloads (Pure)
  • Transporting functions across ornaments

    Dagand, P-E. & McBride, C., 2012, ICFP '12 Proceedings of the 17th ACM SIGPLAN international conference on Functional programming . New York, p. 104-113 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    14 Citations (Scopus)
  • Trends in smartcard fraud

    Burns, S. & Weir, G., 2008, Proceedings of the 4th International Conference on Global E-Security. Jahankhani, H., Revett, K. & Palmer-Brown, D. (eds.). Springer-Verlag, (Communications in Computer and Information Science; vol. 12).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    File
    22 Downloads (Pure)
  • Triage in forensic accounting using Zipf's law

    Odueke, A. & Weir, G., 2012, Issues in Cybercrime, Security and Digital Forensics. Weir, G. & Al-Nemrat, A. (eds.). Glasgow, p. 33-43 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    445 Downloads (Pure)
  • Turing-completeness totally free

    McBride, C., 9 Jun 2015, Mathematics of Program Construction: 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings. Hinze, R. & Voigtländer, J. (eds.). Cham, Switzerland: Springer, Vol. 9129. p. 257-275 19 p. (Lecture Notes in Computer Science; vol. 9129).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    14 Citations (Scopus)
    40 Downloads (Pure)
  • Tutorial: Graphical calculus for quantum circuits

    Coecke, B. & Duncan, R., 2013, Reversible Computation: 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers. Glück, R. & Yokoyama, T. (eds.). Berlin: Springer, Vol. 7581. p. 1-13 13 p. (Lecture Notes in Computer Science; vol. 7581).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

  • Type inference in context

    Gundry, A., Mcbride, C. & McKinna, J., 2010, MSFP '10 Proceedings of the third ACM SIGPLAN workshop on Mathematically structured functional programming . p. 43-54 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    6 Citations (Scopus)
  • Understanding Android security

    Robinson, G. & Weir, G., 2015, Global Security, Safety and Sustainability: Tomorrow's Challenges of Cyber Security: Proceedings of ICGS3 2015, 10th International Conference on Global Security, Safety & Sustainability.. Jahankhani, H., Carlile, A., Akhgar, B., Hessami, A. G. & Hosseinian-Far, A. (eds.). 1 ed. Switzerland: Springer International Publishing AG, Vol. 534. p. 189-199 11 p. (Communications in Computer and Information Science; vol. 534).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    6 Citations (Scopus)
    414 Downloads (Pure)
  • Untangling cost, effort, and load in information seeking and retrieval

    McGregor, M., Azzopardi, L. & Halvey, M., 14 Mar 2021, CHIIR 2021 - Proceedings of the 2021 Conference on Human Information Interaction and Retrieval. New York, NY., p. 151–161 11 p. (CHIIR 2021 - Proceedings of the 2021 Conference on Human Information Interaction and Retrieval).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    1 Citation (Scopus)
    57 Downloads (Pure)
  • Untangling the concept of task in information seeking and retrieval

    Soufan, A., Ruthven, I. & Azzopardi, L., 11 Jul 2021, ICTIR 2021 - Proceedings of the 2021 ACM SIGIR International Conference on Theory of Information Retrieval. New York, NY., p. 73–81 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    80 Downloads (Pure)
  • Urban HCI: spatial aspects in the design of shared encounters for media facades

    Fischer, P. T. & Hornecker, E., 2012, Proceedings of the 2012 ACM Annual Conference on Human Factors in Computing Systems. New York, p. 307-316 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    96 Citations (Scopus)
  • Uses of peer assessment in database teaching and learning

    Paterson, J., Wilson, J. N. & Leimich, P., 11 Mar 2012, Data security and security data: 27th British National Conference on Databases, BNCOD 27 Dundee, UK, June 29 – July 1, 2010. Revised Selected Papers. MacKinnon, L. M. (ed.). Berlin, p. 135-146 12 p. (Lecture Notes in Computer Science; vol. 6121).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    2 Citations (Scopus)
    116 Downloads (Pure)
  • Using artefacts to investigate children's information seeking experiences

    Nicol, E., 26 Aug 2014, IIiX '14 Proceedings of the 5th Information Interaction in Context Symposium. New York, NY., p. 291-294 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    2 Citations (Scopus)
  • Using machine learning to classify test outcomes

    Roper, R., 20 May 2019, 2019 IEEE International Conference On Artificial Intelligence Testing (AITest). Piscataway, N.J.: IEEE, p. 99-100 2 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    2 Citations (Scopus)
    66 Downloads (Pure)
  • Using microenvironments to identify allosteric binding sites

    Foley, C. E., Al Azwari, S. M. M., Dufton, M. & Wilson, J., 4 Oct 2012, 2012 IEEE International Conference on Bioinformatics and Biomedicine (BIBM 2012). Piscataway, NJ: IEEE, p. 411-415 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    1 Citation (Scopus)
  • Using smartphones in cities to crowdsource dangerous road sections and give effective in-car warnings

    Dunlop, M. D., Roper, M., Elliott, M., McCartan, R. & McGregor, B., 13 May 2016, Proceedings of the SEACHI 2016 on Smart Cities for Better Living with HCI and UX. New York, p. 14-18 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    7 Citations (Scopus)
    89 Downloads (Pure)
  • Variations on inductive-recursive definitions

    Ghani, N., McBride, C., Nordvall Forsberg, F. & Spahn, S., 30 Nov 2017, Proceedings of the 42nd International Symposium on Mathematical Foundations of Computer Science. Germany, 13 p. 63. (Leibniz International Proceedings in Informatics ).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    1 Citation (Scopus)
    29 Downloads (Pure)
  • Video test collection with graded relevance assessments

    Qiying, W., Halvey, M. & Villa, R., 13 Mar 2016, CHIIR'16: Proceedings of the 2016 ACM on Conference on Human Information Interaction and Retrieval. New York, p. 309-312 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    38 Downloads (Pure)
  • VR/Urban: spread.gun - design process and challenges in developing a shared encounter for media façades

    Fischer, P. T., Zöllner, C. & Hornecker, E., 2010, Proceedings of British HCI 2010.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    38 Downloads (Pure)
  • Vulnerability to social engineering in social networks: a proposed user-centric framework

    Albladi, S. & Weir, G. R. S., 17 Nov 2016, 2016 IEEE International Conference on Cybercrime and Computer Forensic (ICCCF). Cartwright, B., Weir, G. & Lau, L. Y-C. (eds.). Piscataway, NJ: IEEE, p. 95-100 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    8 Citations (Scopus)
    750 Downloads (Pure)
  • Weak completeness of coalgebraic dynamic logics

    Hansen, H. H. & Kupke, C., 9 Sep 2015, Proceedings Tenth International Workshop on Fixed Points in Computer Science . Matthes, R. & Mio, M. (eds.). Berlin, Vol. 191. p. 90-104 15 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    3 Citations (Scopus)
    19 Downloads (Pure)
  • Well-Founded Semantics for Extended Datalog and Ontological Reasoning

    Kupke, C., Gottlob, G., Lukasiewicz, T. & Hernich, A., Jun 2013, Proceedings of the 32nd Symposium on Principles of Database Systems. New York, p. 225-236 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    23 Citations (Scopus)
    69 Downloads (Pure)
  • What do lab-based user studies tell us about in-the-wild behavior? insights from a study of museum interactives

    Hornecker, E. & Nicol, E., 2012, Proceedings of Designing Interactive Systems (DIS'12). New York, p. 358-367 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    19 Citations (Scopus)
  • What makes re-finding information difficult? A study of email re-finding

    D. Elsweiler, M. B. & Ruthven, I., 2011, 33rd European Conference on Information Retrieval (ECIR 2011). Springer-Verlag

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    32 Citations (Scopus)
    58 Downloads (Pure)
  • What's around the corner? Enhancing driver awareness in autonomous vehicles via in-vehicle spatial auditory displays

    Beattie, D., Baillie, L., Halvey, M. & McCall, R., 26 Oct 2014, NordiCHI '14 Proceedings of the 8th Nordic Conference on Human-Computer Interaction: Fun, Fast, Foundational . New York, NY., p. 189-198 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    26 Citations (Scopus)
    182 Downloads (Pure)
  • What's in a bug report?

    Davies, S. & Roper, M., 18 Sep 2014, ESEM '14 : Proceedings of the 8th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement. New York, NY., p. 1-10 10 p. 26

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    29 Citations (Scopus)
    319 Downloads (Pure)
  • When is a type refinement an inductive type

    Atkey, R., Johann, P. & Ghani, N., 2011, Foundations of Software Science and Computational Structures: 14th International Conference, FOSSACS 2011. Hofmann, M. (ed.). Springer, p. 72-87 16 p. (Lecture Notes in Computer Science ; vol. 6604).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    8 Citations (Scopus)