Search results

  • Conference contribution book

    Quotient inductive-inductive types

    Altenkirch, T., Capriotti, P., Dijkstra, G., Kraus, N. & Nordvall Forsberg, F., 14 Apr 2018, Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. Baier, C. & Dal Lago, U. (eds.). Cham, p. 293-310 18 p. (Lecture Notes in Computer Science; vol. 10803).

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

    Open Access
    File
    19 Citations (Scopus)
    15 Downloads (Pure)
  • Readability as a basis for information security policy assessment

    Alkhurayyif, Y. & Weir, G. R. S., 2 Nov 2017, Seventh IEEE International Conference on Emerging Security Technologies (EST). Piscataway, NJ: IEEE, 8 p.

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

    Open Access
    File
    2 Citations (Scopus)
    36 Downloads (Pure)
  • Recognition system for Libyan vehicle license plate

    Almabruk, T. A. A., Almaghairbe, R., Bukewitin, T. & Roper, M., 14 Dec 2021, ICEMIS'21: The 7th International Conference on Engineering & MIS 2021. New York, NY., 6 p. 24. (The International Conference on Engineering & MIS).

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

    Open Access
    File
    3 Downloads (Pure)
  • Recognizing semantic relations by combining transformers and fully connected models

    Roussinov, D., Sharoff, S. & Puchnina, N., 31 May 2020, LREC 2020 - 12th International Conference on Language Resources and Evaluation, Conference Proceedings. Calzolari, N., Béchet, F., Blache, P., Choukri, K., Cieri, C., Declerck, T., Goggi, S., Isahara, H., Maegaard, B., Mariani, J., Mazo, H., Moreno, A., Odijk, J. & Piperidis, S. (eds.). Luxembourg, p. 5838-5845 8 p. (LREC 2020 - 12th International Conference on Language Resources and Evaluation, Conference Proceedings).

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

    Open Access
    File
    2 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
    128 Downloads (Pure)
  • Reflecting upon perceptual speed tests in information retrieval: limitations, challenges, and recommendations

    Foulds, O., Azzopardi, L. & Halvey, M., 18 Mar 2020, CHIIR '20: Proceedings of the 2020 Conference on Human Information Interaction and Retrieval. New York, p. 234-242 9 p.

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

    Open Access
    File
    2 Citations (Scopus)
    186 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)
    127 Downloads (Pure)
  • Relevance in technicolor

    Beresi, U. C., Kim, Y., Song, D., Ruthven, I. & Baillie, M., 2010, 14th European Conference on Research and Advanced Technology for Digital Libraries (ECDL 2010).

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

    Open Access
    File
    1 Citation (Scopus)
    31 Downloads (Pure)
  • Rewriting measurement-based quantum computations with generalised flow

    Duncan, R. & Perdrix, S., 2010, Automata, languages and programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II. Abramsky, S., Gavoille, C., Kirchner, C., Meyer auf der Heide, F. & Spirakis, P. G. (eds.). Springer, p. 285-296 12 p. (Lecture Notes in Computer Science; vol. 6199).

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

    54 Citations (Scopus)
  • Search procedures revisited

    Kelly, D., Ruthven, I., F. Astrom, B. L. (ed.) & Schneider, J. W. (ed.), 2010, The Janus Faced Scholar - a Festschrift in Honour of Peter Ingwersen. p. 59-67 9 p.

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

    Open Access
    File
    47 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
    12 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
    72 Downloads (Pure)
  • Shinren: Non-monotonic trust management for distributed systems

    Dong, C. & Dulay, N., 18 Jun 2010, Trust Management IV: 4th IFIP WG 11.11 International Conference, IFIPTM 2010, Morioka, Japan, June 16-18, 2010. Proceedings. Nishigaki, M., Jøsang, A., Murayama, Y. & Marsh, S. (eds.). Cham, Switzerland: Springer, p. 125-140 16 p.

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

    Open Access
    File
    8 Citations (Scopus)
    39 Downloads (Pure)
  • Small induction recursion

    Hancock, P., McBride, C., Ghani, N., Malatesta, L. & Altenkirch, T., 6 Jun 2013, Typed Lambda Calculus and Applications: 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings. Hasegawa, M. (ed.). Berlin: Springer, p. 156-172 17 p. (Lecture Notes in Computer Science; vol. 7941).

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

    9 Citations (Scopus)
  • 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)
  • Strategies for covert Web search

    Weir, G. R. S. & Igbako, D., 2013, Fourth Cybercrime and Trustworthy Computing Workshop (CTC), 2013. Piscataway, NJ, United States: IEEE, p. 50-57 8 p.

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

    1 Citation (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)
    91 Downloads (Pure)
  • Succinct graph representations of µ-calculus formulas

    Kupke, C., Marti, J. & Venema, Y., 19 Feb 2022, 30th EACSL Annual Conference on Computer Science Logic, CSL 2022. Manea, F. & Simpson, A. (eds.). Dagstuhl, Germany, 18 p. 29. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 216).

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

    Open Access
    File
    2 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)
    98 Downloads (Pure)
  • Tailoring the adaptive augmented reality (A2R) museum visit: ientifying cultural heritage professionals’ motivations and needs

    Damala, A. & Stojanovic, N., 2012, 2012 IEEE International Symposium on Mixed and Augmented Reality (ISMAR-AMH). IEEE, p. 71-80 10 p.

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

    21 Citations (Scopus)
  • 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)
  • Text entry tap accuracy and exploration of tilt controlled layered interaction on smartwatches

    Dunlop, M. D., Roper, M. & Imperatore, G., 7 Sep 2017, MobileHCI '17 : Proceedings of the 19th International Conference on Human-Computer Interaction with Mobile Devices and Services. New York, 11 p. 23

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

    Open Access
    File
    4 Citations (Scopus)
    156 Downloads (Pure)
  • 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)
    121 Downloads (Pure)
  • The design of t-vote: a tangible tabletop application supporting children's decision making

    McCrindle, C., Hornecker, E., Lingnau, A. & Rick, J., 2011, Proceedings of the 10th International Conference on Interaction Design and Children: IDC'11. NY, p. 181-184 4 p.

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

    15 Citations (Scopus)
  • The emotional impact of search tasks

    Poddar, A. & Ruthven, I., 18 Aug 2010, Proceedings of the 3rd Information Interaction in Context Symposium (IIiX 2010). New York, p. 35-44 10 p.

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

    18 Citations (Scopus)
  • 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
    25 Downloads (Pure)
  • The gentle art of levitation

    Chapman, J., Dagand, P-E., Mcbride, C. & Morris, P., 2010, ICFP 2010 Proceedings of the 15th ACM SIGPLAN international conference on functional programming. Hudak, P. (ed.). New York, p. 3-14 12 p.

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

    20 Citations (Scopus)
  • Three equivalent ordinal notation systems in cubical Agda

    Nordvall Forsberg, F., Xu, C. & Ghani, N., 24 Jan 2020, CPP 2020 : Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs. Blanchette, J. & Hritcu, C. (eds.). New York, p. 172–185 14 p.

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

    Open Access
    File
    3 Citations (Scopus)
    31 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)
    81 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
    12 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
    23 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
    551 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)
    43 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)
    445 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)
    71 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
    128 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)
    122 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)
    68 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)
    95 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)
    33 Downloads (Pure)