Filter
Conference contribution book

Search results

  • Conference contribution book

    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 categorical semantics for inductive-inductive definitions

    Altenkirch, T., Morris, P., Nordvall Forsberg, F. & Setzer, A., 19 Aug 2011, Algebra and Coalgebra in Computer Science: 4th International Conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings. Corradini, A., Klin, B. & Cîrstea, C. (eds.). Berlin, p. 70-84 15 p. (Lecture Notes in Computer Science; vol. 6859).

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

    9 Citations (Scopus)
  • A comprehensive introduction to the theory of word-representable graphs

    Kitaev, S., 17 May 2017, (Accepted/In press) Developments in Language Theory: 21th International Conference, DLT 2017, Leige, Belgium, August 7-11, 2017, Proceedings. Berlin: Springer-Verlag, (Lecture Notes in Computer Science).

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

    Open Access
    File
    136 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)
  • Adaptive augmented reality for cultural heritage, the ARtSENSE project.

    Damala, A., Stojanovic, N., Schuchert, T., Moragues, J., Cabrera, A. & Gilleade, K., Nov 2012, Progress in Cultural Heritage Preservation: 4th International Conference, EuroMed 2012, Limassol, Cyprus, October 29 – November 3, 2012. Proceedings. Ioannides, M., Fritsch, D., Leissner, J., Davies, R., Remondino, F. & Caffo, R. (eds.). p. 746-755 10 p. (Lecture Notes in Computer Science; vol. 7616).

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

    28 Citations (Scopus)
  • 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 flexible toolkit for evaluating person-centred digital health and wellness at scale

    McGee-Lennon, M., Bouamrane, M-M., Grieve, E., O'Donnell, C. A., O'Connor, S., Agbakoba, R., Devlin, A. M., Barry, S., Bikker, A., Finch, T. & Mair, F. S., 2 Jul 2016, Advances in Human Factors and Ergonomics in Healthcare: Proceedings of the AHFE 2016 International Conference on Human Factors and Ergonomics in Healthcare. Duffy, V. G. & Lightner, N. (eds.). Cham: Springer International Publishing AG, Vol. 482. p. 105-118 14 p. (Advances in Intelligent Systems and Computing; vol. 482).

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

    Open Access
    File
    6 Citations (Scopus)
    57 Downloads (Pure)
  • A glimpse of mobile text entry errors and corrective behaviour in the wild

    Komninos, A., Dunlop, M., Katsaris, K. & Garofalakis, J., 3 Sep 2018, MobileHCI '18 Proceedings of the 20th International Conference on Human-Computer Interaction with Mobile Devices and Services Adjunct . New York, p. 221-228 8 p.

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

    Open Access
    File
    10 Citations (Scopus)
    105 Downloads (Pure)
  • 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)
  • Alternation graphs

    Halldorsson, M., Kitaev, S. & Pyatkin, A., Aug 2011, Graph-theoretic concepts in computer science: 37th International Workshop, WG 2011Teplá Monastery, Czech Republic, June 21-24, 2011 Revised Papers. Kolman, P. & Kratochvil, J. (eds.). Berlin, p. 191-202 12 p. (Lecture Notes in Computer Science; vol. 6986).

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

    12 Citations (Scopus)
  • A middleware for pervasive situation-awareness

    Thomson, G. & Terzis, S., Jun 2012, Distributed Applications and Interoperable Systems: 12th IFIP WG 6.1 International Conference, DAIS 2012. Goschka, K. & Haridi, S. (eds.). Vol. 7272. p. 148-161 14 p.

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

    File
    128 Downloads (Pure)
  • A mobile guide for serendipitous exploration of cities

    Hornecker, E., Swindells, S. & Dunlop, M., 2011, Proceedings of the 13th International Conference on Human Computer Interaction with Mobile Devices and Services : MobileHCI '11. p. 557-562 6 p.

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

    21 Citations (Scopus)
  • A multivariate correlation distance for vector spaces

    Connor, R. & Moss, R. G., 2012, Similarity search and applications: 5th international conference, SISAP 2012 proceedings. Nararro, G. & Pestov, V. (eds.). Berlin: Springer-Verlag, p. 209-225 17 p. (Lecture Notes in Computer Science; vol. 7404).

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

    6 Citations (Scopus)
  • 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)
  • A new focus on end-users: eye-tracking analysis for digital libraries

    Sykes, J., Dobreva, M., Birrell, D., McCulloch, E., Ruthven, I., Unal, Y. & Feliciati, P., 2010, Research and Advanced Technology for Digital Libraries. ECDL 2010. Lecture Notes in Computer Science. Berlin: Springer, Vol. 6273. p. 510-513 4 p.

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

    2 Citations (Scopus)
  • Angluin learning via logic

    Barlocco, S. & Kupke, C., 28 Nov 2017, Logical Foundations of Computer Science: International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings. Artemov, S. & Nerode, A. (eds.). Cham: Springer, p. 72-90 19 p. (Lecture Notes in Computer Science; vol. 10703).

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

    Open Access
    File
    2 Citations (Scopus)
    47 Downloads (Pure)
  • An interface for supporting asynchronous multi-level collaborative information retrieval

    Htun, N. N., Halvey, M. & Baillie, L., 7 Mar 2017, ACM SIGIR Conference on Human Information Interaction & Retrieval 2017. New York, 10 p.

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

    Open Access
    File
    2 Citations (Scopus)
    133 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)
  • Application of ensemble techniques in predicting object-oriented software maintainability

    Alsolai, H. & Roper, M., 15 Apr 2019, Proceedings of EASE 2019 - Evaluation and Assessment in Software Engineering. New York, p. 370-373 4 p.

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

    Open Access
    File
    2 Citations (Scopus)
    10 Downloads (Pure)
  • A preliminary evaluation of text-based and dependency-based techniques for determining the origins of bugs

    Davies, S., Roper, M. & Wood, M., Oct 2011, 18th Working Conference on Reverse Engineering (WCRE 2011). IEEE, p. 201-210 10 p.

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

    Open Access
    File
    3 Citations (Scopus)
    178 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)
  • ARtSENSE and Manifest.AR: revisiting museums in the public realm through emerging art practices

    McKinley, R. & Damala, A., 31 Jan 2013, MW2013: Museums and the Web 2013. Proctor, N. & Cherry, R. (eds.). Silver Spring

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

  • Assessing the effectiveness of multi-touch interfaces for DP operation

    Bjorneseth, F. B., Dunlop, M. D. & Hornecker, E., 2010, Proceedings of the International Conference on Human Performance At Sea (HPAS), Glasgow 2010 . 13 p.

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

    File
    44 Downloads (Pure)
  • A study in authentication via electronic personal history questions

    Nosseir, A. & Terzis, S., Jun 2010, Proceedings of the 12th International Conference on Enterprise Information Systems. Cordeiro, J. (ed.). p. 63-70 8 p.

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

    6 Citations (Scopus)
  • Automatically classifying test results by semi-supervised learning

    Almaghairbe, R. & Roper, M., 8 Dec 2016, 2016 IEEE 27th International Symposium on Software Reliability Engineering (ISSRE). [Piscataway, NJ]: IEEE, p. 116-126 11 p.

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

    Open Access
    File
    6 Citations (Scopus)
    143 Downloads (Pure)
  • Beyond affordance: tangibles' hybrid nature

    Hornecker, E., Feb 2012, Proceedings of the Sixth International Conference on Tangible, Embedded and Embodied Interaction: TEI'12. New York, p. 175-182 8 p.

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

    49 Citations (Scopus)
  • Biochemical network matching and composition

    Goodfellow, M., Wilson, J. & Hunt, E., 22 Mar 2010, Proceedings of the 2010 Edbt/Icdt Workshops . Teubner, J. (ed.). New York, NY, USA, p. 1-7 7 p.

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

    File
    2 Citations (Scopus)
    51 Downloads (Pure)
  • Bridging the gap between the digital and the physical: design and evaluation of a mobile augmented reality guide for the museum visit

    Damala, A., Cubaud, P., Bationo, A., Houlier, P. & Marchal, I., 2008, Proceedings of the 3rd International Conference on Digital Interactive Media in Entertainment and Arts (DIMEA '08). New York, NY., p. 120-127 8 p.

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

    99 Citations (Scopus)
  • Bug localisation through diverse sources of information

    Davies, S. & Roper, M., 2013, 2013 IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2013. Piscataway, NJ.: IEEE, p. 126-131 6 p. 6688891

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

    11 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)
  • Character building in children's online information behaviours: applying a virtue epistemology perspective to information literacy

    McMenemy, D. & Buchanan, S., 20 Feb 2019, Information Literacy in Everyday Life: 6th European Conference, ECIL 2018, Oulu, Finland, September 24–27, 2018, Revised Selected Papers. Kurbanoğlu, S., Špiranec, S., Ünal, Y., Boustany, J., Huotari, M. L., Grassian, E., Mizrachi, D. & Roy, L. (eds.). Cham, Switzerland: Springer, p. 73-82 10 p.

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

    Open Access
    File
    132 Downloads (Pure)
  • Classifying suspicious content using frequency analysis

    Gellineau, O. & Weir, G. R. S., 2011, Corpora and Language Technologies in Teaching, Learning and Research. Weir, G., Ishikawa, S. & Poonpol, K. (eds.). 8 p.

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

    Open Access
    File
    74 Downloads (Pure)
  • Coalgebra learning via duality

    Barlocco, S., Kupke, C. & Rot, J., 5 Apr 2019, International Conference on Foundations of Software Science and Computation Structures [FoSSaCS 2019]. Bojańczyk, M. & Simpson, A. (eds.). Cham, Switzerland: Springer, p. 62-79 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11425).

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

    Open Access
    File
    6 Citations (Scopus)
    8 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
  • Competence measure in social networks

    Albladi, S. M. & Weir, G. R. S., 7 Dec 2017, 2017 IEEE International Carnahan Conference on Security Technology (ICCST). Piscataway, NJ: IEEE, 6 p.

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

    Open Access
    File
    4 Citations (Scopus)
    35 Downloads (Pure)
  • Completeness for game logic

    Enqvist, S., Hansen, H. H., Kupke, C., Marti, J. & Venema, Y., 5 Aug 2019, 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). Piscataway, NJ.: IEEE, p. 1-23 23 p. 8785676

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

    Open Access
    File
    2 Citations (Scopus)
    8 Downloads (Pure)
  • Compositional game theory

    Ghani, N., Hedges, J., Winschel, V. & Zahn, P., 12 Jul 2018, LICS '18: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science. New York, p. 472-481 10 p.

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

    Open Access
    File
    18 Citations (Scopus)
    61 Downloads (Pure)
  • Composition of biochemical networks using domain knowledge

    Goodfellow, M., Wilson, J. & Hunt, E., 2010, COmputational Modeling in BIology NEtwork (COMBINE) 2010. 1 p.

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

    File
    192 Downloads (Pure)
  • Comprehensive parametric polymorphism: categorical models and type theory

    Ghani, N., Nordvall Forsberg, F. & Simpson, A., 22 Mar 2016, International Conference on Foundations of Software Science and Computation Structures [FoSSaCS 2016]. Jacobs, B. & Löding, C. (eds.). Berlin: Springer-Verlag, Vol. 9634. p. 3-19 17 p. (Lecture Notes in Computer Science).

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

    Open Access
    File
    4 Citations (Scopus)
    187 Downloads (Pure)
  • Connecting constructive notions of ordinals in homotopy type theory

    Nordvall Forsberg, F., Xu, C. & Kraus, N., 27 Aug 2021, 46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021). Kraus, N., Forsberg, F. N. & Xu, C. (eds.). Wadern, Germany, Vol. 202. p. 42:1-42:16 16 p. 42

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

    Open Access
    File
    1 Downloads (Pure)
  • Counting ordered patterns in words generated by morphisms

    Kitaev, S., Mansour, T. & Seebold, P., 2008, Language and Automata Theory and Applications: Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers. Martín-Vide, C., Otto, F. & Fernau, H. (eds.). Berlin: Springer, p. 287-298 12 p. (Lecture Notes in Computer Science; vol. 5196).

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

  • Creative idea exploration within the structure of a guiding framework: the card brainstorming game

    Hornecker, E., 2010, Proceedings of TEI'10 (Tangible Embedded and Embodied Interaction 2010). p. 101-18 18 p.

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

    Open Access
    File
    78 Citations (Scopus)
    28 Downloads (Pure)
  • Crucial words for abelian powers

    Glen, A., Halldorsson, B. & Kitaev, S., 2009, Developments in Language Theory: 13th International Conference, DLT 2009, Stuttgart, Germany, June 30-July 3, 2009. Proceedings. Diekert, V. & Nowotka, D. (eds.). p. 264-275 12 p. (Lecture Notes in Computer Science; vol. 5583).

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

    1 Citation (Scopus)
  • 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)
  • Danger theory and intrusion detection: possibilities and limitations of the analogy

    Vella, M., Roper, M. & Terzis, S., 2010, Artificial Immune Systems: Proceedings of the 9th International Conference, ICARIS 2010. Hart, E., McEwan, C., Timmis, J. & Hone, A. (eds.). Springer, p. 276-289 14 p. (Lecture Notes in Computer Science; vol. 6209).

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

    8 Citations (Scopus)
  • Data value storage for compressed semi-structured data

    Tripney, B. G., Ross, I., Wilson, F. & Wilson, J., 14 Aug 2013, Database and Expert Systems Applications: Proceedings of the 24th International Conference on Database and Expert Systems Applications. Decker, H., Lhotská, L., Link, S., Basl, J. & Tjoa, A. M. (eds.). Berlin, Vol. 8056. p. 174-188 15 p. (Lecture Notes in Computer Science; vol. 8056).

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

    File
    77 Downloads (Pure)
  • Designing clinical AAC tablet applications with adults who have mild intellectual disabilities

    Gibson, R. C., Dunlop, M. D., Bouamrane, M-M. & Nayar, R., 30 Apr 2020, CHI '20 - Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems. New York, NY., p. 1-13 13 p.

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

    Open Access
    File
    2 Citations (Scopus)
    23 Downloads (Pure)
  • Designing interactions for the ageing populations – addressing global challenges

    Sarcar, S., Munteanu, C., Jokinen, J. P. P., Charness, N., Dunlop, M., Ren, X. & Waycott, J., 28 Apr 2020, Extended Abstracts of the 2020 CHI Conference on Human Factors in Computing Systems - CHI EA '20: Extended Abstracts. New York, NY., 5 p. W21

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

    Open Access
    File
    1 Citation (Scopus)
    6 Downloads (Pure)