Filter
Conference contribution book

Search results

  • 2016

    Evaluating the social acceptability of voice based smartwatch search

    Efthymiou, C. & Halvey, M., 31 Dec 2016, Information Retrieval Technology: 12th Asia Information Retrieval Societies Conference, AIRS 2016, Beijing, China November 30 – December 2, 2016. Proceedings. Ma, S., Wen, J-R., Liu, Y., Dou, Z., Zhang, M., Chang, Y. & Zhao, X. (eds.). Switzerland: Springer, p. 267-278 12 p. (Lecture Notes in Computer Science).

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

    Open Access
    File
    12 Citations (Scopus)
    115 Downloads (Pure)
  • Games for topological fixpoint logic

    Bezhanishvili, N. & Kupke, C., 13 Sep 2016, Proceedings of the Seventh International Symposium on Games, Automata, Logics, and Formal Verification. Cantone, D. & Delzanno, G. (eds.). p. 46-60 15 p.

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

    Open Access
    File
    1 Citation (Scopus)
    22 Downloads (Pure)
  • I got plenty o’ nuttin’

    McBride, C., 25 Mar 2016, A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday. Lindley, S., McBride, C., Trinder, P. & Sannella, D. (eds.). Switzerland: Springer, p. 207-233 27 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9600).

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

    23 Citations (Scopus)
  • Mummy, why do I have diabetes? A tangible interface for educating children with type-1 diabetes

    Kyfonidis, C. & Lennon, M., 24 Jun 2016, IDC '16 Proceedings of the The 15th International Conference on Interaction Design and Children. New York, NY, USA, p. 524-528 5 p.

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

    Open Access
    File
    4 Citations (Scopus)
    33 Downloads (Pure)
  • Positing the problem: enhancing classification of extremist web content through textual analysis

    Weir, G., Frank, R., Cartwright, B. & dos Santos, E., 17 Nov 2016, 2016 IEEE International Conference on Cybercrime and Computer Forensic (ICCCF). Cartwright, B., Weir, G. & Lau, L. Y-C. (eds.). IEEE

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

    Open Access
    File
    8 Citations (Scopus)
    55 Downloads (Pure)
  • Proof-relevant parametricity

    Ghani, N., Nordvall Forsberg, F. & Orsanigo, F., 25 Mar 2016, A List of Successes That Can Change the World. Lindley, S., McBride, C., Trinder, P. & Sannella, D. (eds.). Switzerland: Springer-Verlag, p. 109-131 23 p. (Lecture Notes in Computer Science; vol. 9600).

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

    Open Access
    File
    2 Citations (Scopus)
    17 Downloads (Pure)
  • Reference point hyperplane trees

    Connor, R., 24 Oct 2016, 9th International Conference on Similarity Search and Applications. Amsaleg, L., Houle, M. E. & Shubert, E. (eds.). New York: Springer-Verlag, Vol. 9939. p. 65-78 14 p. (Lecture Notes in Computing Science).

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

    Open Access
    File
    116 Downloads (Pure)
  • Supermetric search with the four-point property

    Connor, R., Vadicamo, L., Cardillo, F. A. & Rabitti, F., 24 Oct 2016, 9th International Conference on Similiarty Search and Applications. Springer-Verlag, Vol. 9939. p. 51-64 14 p. 2. (Lecture Notes in Computing Science).

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

    Open Access
    File
    10 Citations (Scopus)
    94 Downloads (Pure)
  • 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)
  • 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)
  • 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)
  • 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)
  • 2015

    2nd workshop on designing with older adults: towards a complete methodology

    Nicol, E., Dunlop, M., Komninos, A., McGee-Lennon, M., Baillie, L., Eslambolchilar, P., Foong, P. S., Gault, P., Hakobyan, L., Lumsden, J., Giraldo Velàsquez, F. D. & Horcher, A-M., 24 Aug 2015, MobileHCI '15 Proceedings of the 17th International Conference on Human-Computer Interaction with Mobile Devices and Services Adjunct. New York, p. 908-911 3 p.

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

    Open Access
    File
    11 Citations (Scopus)
    106 Downloads (Pure)
  • A conceptual model for examining mobile government adoption in Saudi Arabia

    Alotaibi, S. & Roussinov, D., 2015, Proceedings of the European Conference on e-Government, ECEG. p. 369-375 7 p.

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

    5 Citations (Scopus)
  • A hybrid constraint integer programming approach to solve nurse scheduling problems

    Rahimian, E., Akartunali, K. & Levine, J., 25 Aug 2015, Mista 2015 Proceedings of the 7th Multidisciplinary International Scheduling Conference: Theory and Applications . Hanzálek, Z., Kendall, G., McCollum, B. & Šůcha, P. (eds.). Prague, Czech Republic, p. 429-442 14 p. (Proceedings of the Multidisciplinary International Conference on Scheduling: Theory and Applications).

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

    Open Access
    File
    119 Downloads (Pure)
  • AI-based game design patterns

    Treanor, M., Zook, A., Eladhari, M. P., Togelius, J., Smith, G., Cook, M., Thompson, T., Magerko, B., Levine, J. & Smith, A., 29 Dec 2015, Proceedings of the 10th International Conference on the Foundations of Digital Games 2015 (FDG 2015). Santa Cruz, CA, 8 p.

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

    Open Access
    File
    65 Downloads (Pure)
  • An investigation into appropriation of portable smart devices by users with aphasia

    Imperatore, G. & Dunlop, M. D., Oct 2015, ASSETS '15 Proceedings of the 17th International ACM SIGACCESS Conference on Computers & Accessibility . p. 323-324 2 p.

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

    2 Citations (Scopus)
  • Building test oracles by clustering failures

    Almaghairbe, R. & Roper, M., 2015, 2015 IEEE/ACM 10th International Workshop on Automation of Software Test (AST) . IEEE, p. 3-7 5 p.

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

    Open Access
    File
    4 Citations (Scopus)
    141 Downloads (Pure)
  • Cultural heritage communities: technologies and challenges

    Ciolfi, L., Damala, A., Hornecker, E., Lechner, M., Maye, L. & Petrelli, D., 27 Jun 2015, Proceedings of the 7th International Conference on Communities and Technologies (C&T '15).. New York, Vol. 27-30-June-2015. p. 149-152 4 p.

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

    Open Access
    File
    2 Citations (Scopus)
    36 Downloads (Pure)
  • Efficient data intensive secure computation: fictional or real

    Dong, C., 16 Dec 2015, Security Protocols XXIII: 23rd International Workshop, Cambridge, UK, March 31 - April 2, 2015, Revised Selected Papers. Christianson, B., Švenda, P., Matyáš, V., Malcolm, J., Stajano, F. & Anderson, J. (eds.). 1 ed. Springer International Publishing AG, Vol. 9379. p. 1-11 11 p. (Security and Cryptology).

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

    Open Access
    File
    15 Downloads (Pure)
  • Gender impact on information security in the Arab world

    Al Izki, F. H. S. & 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. 200-207 8 p. (Communications in Computer and Information Science; vol. 534).

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

    Open Access
    File
    1 Citation (Scopus)
    135 Downloads (Pure)
  • Issues influencing the uptake of smartphone reminder apps for people with acquired brain injury

    Jamieson, M., McGee-Lennon, M., Cullen, B., Brewster, S. & Evans, J., 26 Oct 2015, ASSETS '15 Proceedings of the 17th International ACM SIGACCESS Conference on Computers & Accessibility . p. 339-340 2 p.

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

    5 Citations (Scopus)
  • meSch - material encounters with digital cultural heritage

    Petrelli, D., Not, E., Damala, A., van Dijk, D. & Lechner, M., 2 Jan 2015, Digital Heritage: Progress in Cultural Heritage. Documentation, Preservation, and Protection. 5th International Conference, EuroMed 2014, Limassol, Cyprus, November 3-8, 2014, Proceedings. Ioannides, M., Magnenat-Thalmann, N., Fink, E., Žarnić, R., Yen, A-Y. & Quak, E. (eds.). Cham: Springer-Verlag, Vol. 8740. p. 536-545 10 p. (Lecture Notes in Computer Science; vol. 8740).

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

    9 Citations (Scopus)
  • Models for polymorphism over physical dimensions

    Atkey, R., Ghani, N., Nordvall Forsberg, F., Revell, T. & Staton, S., 2015, 13th International Conference on Typed Lambda Calculi and Applications (TLCA'15). Altenkirch, T. (ed.). Wadern, Germany , p. 999-1013 15 p. (Leibniz International Proceedings in Informatics (LIPIcs)).

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

    Open Access
    File
    70 Downloads (Pure)
  • Parametric polymorphism - universally

    Ghani, N., Nordvall Forsberg, F. & Orsanigo, F., 24 Jun 2015, Logic, Language, Information, and Computation: 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings. de Paiva, V., de Queiroz, R., Moss, L. S., Leivant, D. & de Oliveira, A. G. (eds.). p. 81-92 12 p. (Lecture Notes in Computer Science; vol. 9160).

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

    Open Access
    File
    5 Citations (Scopus)
    138 Downloads (Pure)
  • Secure set-based policy checking and its application to password registration

    Dong, C. & Kiefer, F., 21 Sep 2015, (Accepted/In press) Cryptology and Network Security: 14th International Conference, CANS 2015, Marrakesh, Morocco, December 10-12, 2015, Proceedings. Reiter, M. & Naccache, D. (eds.). 16 p. (Security and Cryptology; vol. 9476).

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

    Open Access
    File
    11 Downloads (Pure)
  • Text entry on the edge

    Clawson, J., Arif, A. S., Brewster, S., Dunlop, M., Kristensson, P. O. & Oulasvirta, A., 18 Apr 2015, CHI EA '15 Proceedings of the 33rd Annual ACM Conference Extended Abstracts on Human Factors in Computing Systems . p. 2381-2384 4 p.

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

    4 Citations (Scopus)
  • The cost of reasoning with RDF updates

    Al Azwari, S. & Wilson, J. N., 6 Feb 2015, Proceedings of the 9th IEEE International Conference on Semantic Computing (IEEE ICSC 2015). Piscataway, New Jersey, United States: IEEE, p. 328-331 4 p.

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

    Open Access
    File
    2 Citations (Scopus)
    120 Downloads (Pure)
  • The future of digitally enabled health coaching: a proposed model

    Kyfonidis, C. & McGee-Lennon, M., 9 Sep 2015, INTERACT 2015 Adjunct Proceedings: 15th IFIP TC. 13 International Conference on Human-Computer Interaction 14-18 September 2015, Bamberg, Germany. Beckmann, C. & Gross, T. (eds.). Vol. 22. p. 387-398 12 p. (Contributions of the Faculty Information Systems and Applied Computer Sciences of the Otto-Friedrich-University Bamberg; vol. 22).

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

    Open Access
    File
    24 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)
  • 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)
    410 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)
  • 2014

    A fast secure dot product protocol with application to privacy preserving association rule mining

    Dong, C. & Chen, L., 2014, Advances in Knowledge Discovery and Data Mining: PAKDD 2014. Tseng, V. S., Ho, T. B., Zhou, Z-H., Chen, A. L. P. & Kao, H-Y. (eds.). Springer, p. 606-617 12 p. (Lecture Notes in Computer Science; vol. 8443).

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

    Open Access
    File
    20 Citations (Scopus)
    77 Downloads (Pure)
  • A fast single server private information retrieval protocol with low communication cost

    Dong, C. & Chen, L., 2014, Computer Security - ESORICS 2014: 19th European Symposium on Research in Computer Security, Wroclaw, Poland, September 7-11, 2014. Proceedings, Part I. Kutyłowski, M. & Vaidya, J. (eds.). Springer, p. 380-399 20 p. (Lecture Notes in Computer Science; vol. 8712).

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

    File
    11 Citations (Scopus)
    64 Downloads (Pure)
  • A relationally parametric model of dependent type theory

    Atkey, R., Ghani, N. & Johann, P., 24 Jan 2014, POPL '14 Proceedings of the 41st ACM SIGPLAN-SIGACT: Symposium on Principles of Programming Languages. New York, NY., p. 503-515 13 p.

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

    Open Access
    File
    21 Citations (Scopus)
    11 Downloads (Pure)
  • Code or (not code): separating formal and natural language in CS education

    Cutts, Q., Connor, R., Michaelson, G. & Donaldson, P., 5 Nov 2014, WiPSCE 2014: Proceedings of the 9th Workshop in Primary and Secondary Computing Education. New York, p. 20-28 9 p.

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

    Open Access
  • Development of a readability index attuned to the new English Course of Study in Japan

    Ozasa, T., Weir, G. R. S. & Fukui, M., Nov 2014, Proceedings of ICERI2014 Conference. p. 2446-2453 8 p. (7th International Conference of Education, Research and Innovation).

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

    Open Access
    File
    51 Downloads (Pure)
  • Efficient protocols for private record linkage

    Wen, Z. & Dong, C., 31 Mar 2014, Proceedings of 29th ACM Symposium on Applied Computing. New York, p. 1688-1694 7 p.

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

    Open Access
    File
    9 Citations (Scopus)
    104 Downloads (Pure)
  • Enhancing KLM (Keystroke-Level Model) to fit touch screen mobile devices

    El Batran, K. M. M. & Dunlop, M., Sep 2014, Proceedings of the 16th International Conference on Human-Computer Interaction with Mobile Devices and Services. p. 283-286 4 p.

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

    Open Access
    File
    21 Citations (Scopus)
    895 Downloads (Pure)
  • High dimensional search using polyhedral query

    Connor, R., MacKenzie-Leigh, S. & Moss, R., 20 Oct 2014, Similarity Search and Applications: 7th International Conference, SISAP 2014, Los Cabos, Mexico, October 29-31, 2014. Proceedings. Springer-Verlag, Vol. 8821. p. 176-188 13 p. (Lecture Notes in Computer Science; vol. 8821).

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

    1 Citation (Scopus)
  • Investigating mobile text entry for older adults

    Nicol, E., Komninos, A. & Dunlop, M., 2014, (Accepted/In press) Workshop on Re-imagining Mobile Interfaces for Older Adults.

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

    Open Access
    File
    75 Downloads (Pure)
  • Optimising plans using genetic programming

    Westerberg, C. H. & Levine, J., 21 May 2014, Proceedings of the Sixth European Conference on Planning. Palo Alto, 3 p.

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

    Open Access
    File
    33 Downloads (Pure)
  • Re-imagining commonly used mobile interfaces for older adults

    Nicol, E., Dunlop, M., Komninos, A., Lennon, M., Baillie, L., Edwards, A., Eslambolchilar, P., Goodman-Deane, J., Hakobyan, L., Lumsden, J., Mulder, I., Rau, P. & Siek, K., Sep 2014, Proceedings of the 16th international conference on Human-computer interaction with mobile devices and services. p. 585-588 4 p.

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

    Open Access
    File
    6 Citations (Scopus)
    125 Downloads (Pure)
  • Sharing happy information: responses and self-portrayal

    Tinto, F. & Ruthven, I., 3 Sep 2014, ISIC : The Information Behaviour Conference . 12 p.

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

    Open Access
    File
    67 Downloads (Pure)
  • Stable model semantics for guarded existential rules and description logics

    Gottlob, G., Hernich, A., Kupke, C. & Lukasiewicz, T., Jul 2014, Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014. Baral, C., De Giacomo, G. & Eiter, T. (eds.). p. 258−267 10 p.

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

    11 Citations (Scopus)
  • Strong completeness for iteration-free coalgebraic dynamic logics

    Kupke, C., Hansen, H. H. & Leal, R. A., Sep 2014, Theoretical Computer Science: 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014. Diaz, J., Lanese, I. & Sangiorgi, D. (eds.). Springer, Vol. 8705. p. 281-295 15 p. (Lecture Notes in Computer Science; vol. 8705).

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

    Open Access
    File
    6 Citations (Scopus)
    89 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)
  • 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)
    314 Downloads (Pure)
  • 2013

    A multi-way divergence metric for vector spaces

    Moss, R. & Connor, R., 2 Oct 2013, Similarity Search and Applications: 6th International Conference, SISAP 2013, A Coruña, Spain, October 2-4, 2013, Proceedings. Brisaboa, N., Pedreira, O. & Zezula, P. (eds.). p. 169-174 6 p. (Lecture Notes in Computer Science; vol. 8199).

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

    Open Access
    File
    51 Downloads (Pure)