Filter
Conference contribution book

Search results

  • Machine learning techniques for automated software fault detection via dynamic execution data: empirical evaluation study

    Almaghairbe, R., Roper, M. & Almabruk, T., 28 Sep 2020, Proceedings of the 6th International Conference on Engineering and MIS 2020, ICEMIS 2020. New York, NY., p. 1-12 12 p. 15

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

    Open Access
    File
    14 Downloads (Pure)
  • Making meaning: a focus for information interactions research

    Ruthven, I., 11 Mar 2019, CHIIR '19 Proceedings of the 2019 Conference on Human Information Interaction and Retrieval . New York, NY, p. 163-171 9 p.

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

    Open Access
    File
    10 Citations (Scopus)
    12 Downloads (Pure)
  • Meaningful digital health interventions: bridging digital divides via tailored design

    Buchanan, S., Jardine, C. & Ruthven, I., 3 Feb 2017, (Accepted/In press) 8th Annual Innovation in Healthcare Delivery Systems 2017 Symposium. Austin, 7 p.

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

    Open Access
    File
    49 Downloads (Pure)
  • Merging augmented reality based features in mobile multimedia museum guides

    Damala, A., Marchal, I. & Houlier, P., 2007, Proceedings of the XXI International Symposium CIPA 2007: AntiCIPAting the Future of the Cultural Past. p. 259-264 6 p.

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

  • 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)
  • Multidimensional Pareto optimization of touchscreen keyboards for speed, familiarity and improved spell checking

    Dunlop, M. & Levine, J., May 2012, Proceedings of the SIGCHI Conference on Human Factors in Computing Systems. New York, p. 2669-2678 10 p.

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

    Open Access
    File
    52 Citations (Scopus)
    187 Downloads (Pure)
  • 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)
  • Novice user perception of e-services: a study in the Egyptian public sector

    Nosseir, A. & Terzis, S., Dec 2011, Applied electrical engineering and computing technologies : conference proceedings. New York: IEEE, p. 1-6 6 p.

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

    2 Citations (Scopus)
  • On the qubit routing problem

    Cowtan, A., Dilkes, S., Duncan, R., Krajenbrink, A., Simmons, W. & Sivarajah, S., 1 May 2019, 14th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2019). van Dam, W. & Mancinska, L. (eds.). Dagstuhl, Germany, Vol. 135. p. 5:1--5:32 32 p. (Leibniz International Proceedings in Informatics (LIPIcs)).

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

    Open Access
    File
    13 Citations (Scopus)
    95 Downloads (Pure)
  • On the representability of line graphs

    Kitaev, S., Salimov, P., Severs, C. & Ulfarsson, H., 2011, Developments in Language Theory: 15th International Conference, DLT 2011, Milan, Italy, July 19-22, 2011. Proceedings. Mauri, G. & Leporati, A. (eds.). p. 478-479 2 p. (Lecture Notes in Computer Science; vol. 6795).

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

    7 Citations (Scopus)
  • 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)
  • Optimization strategies for integration pattern compositions

    Ritter, D., May, N., Nordvall Forsberg, F. & Rinderle-Ma, S., 17 Apr 2018, (Accepted/In press) 12th ACM International Conference on Distributed and Event-based Systems (DEBS). New York: Association for Computing Machinery (ACM), 12 p.

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

    Open Access
    File
    3 Citations (Scopus)
    27 Downloads (Pure)
  • Outrageous but meaningful coincidences: dependent type-safe syntax and evaluation

    Mcbride, C., 2010, Proceedings of the 6th ACM SIGPLAN workshop on Generic programming . New York, p. 1-12 12 p.

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

    22 Citations (Scopus)
  • 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)
  • Perception of thermal stimuli for continuous interaction

    Halvey, M., Wilson, G., Brewster, S. A. & Hughes, S. A., Apr 2013, CHI '13 Extended Abstracts on Human Factors in Computing Systems. New York, NY., p. 1587-1592 6 p.

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

    13 Citations (Scopus)
  • Personality traits and cyber-attack victimisation: multiple mediation analysis

    Albladi, S. M. & Weir, G. R. S., 18 Jan 2018, Joint 13th CTTE and 10th CMI Conference on Internet of Things – Business Models, Users, and Networks. Falch, M. (ed.). Piscataway, NJ: IEEE, 6 p.

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

    Open Access
    File
    4 Citations (Scopus)
    585 Downloads (Pure)
  • Phase gadget synthesis for shallow circuits

    Cowtan, A., Dilkes, S., Duncan, R., Simmons, W. & Sivarajah, S., 10 Jun 2019, Proceedings 16th International Conference on Quantum Physics and Logic. Coecke, B. & Leifer, M. (eds.). Waterloo, Australia: Open Publishing Association, Vol. 318. p. 213–228 26 p. (Electronic Proceedings in Theoretical Computer Science).

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

    Open Access
    File
    4 Citations (Scopus)
    76 Downloads (Pure)
  • Playing textual analysis as music

    Weir, G. R. S., Livitsanou, M. & Ishikawa, S. (ed.), 1 Sep 2010, Proceedings of ICTATLL 2010, Kyoto, Japan.. University of Strathclyde

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

    Open Access
    File
    83 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)
  • Positive inductive-recursive definitions

    Ghani, N., Malatesta, L. & Nordvall Forsberg, F., 8 Aug 2013, Algebra and Coalgebra in Computer Science: 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings. Heckel, R. & Milius, S. (eds.). Berlin, p. 19-33 15 p. (Lecture Notes in Computer Science; vol. 8089).

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

  • Productive coprogramming with guarded recursion

    Atkey, R. & McBride, C., Sep 2013, (Accepted/In press) Proceedings of the 2013 ACM SIGPLAN International Conference on Functional Programming . 12 p.

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

    27 Citations (Scopus)
  • Program extraction from nested definitions

    Miyamoto, K., Nordvall Forsberg, F. & Schwichtenberg, H., 19 Jul 2013, Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings. Blazy, S., Paulin-Mohring, C. & Pichardie, D. (eds.). Berlin, p. 370-385 16 p. (Lecture Notes in Computer Science; vol. 7998).

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

    5 Citations (Scopus)
  • 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)
  • 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)
    13 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)
    33 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
    116 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)
    171 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)
  • 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
    11 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)
  • 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)
    36 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)
    89 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)
  • 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)
    154 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)
    120 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
    24 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)
    30 Downloads (Pure)