Computer And Information Sciences

  • Postal address

    United Kingdom

Filter
Other chapter contribution

Search results

  • 2019

    Poster: Unified access control for surgical robotics

    Shah, R. & Nagaraja, S., 28 May 2019, SACMAT '19, Proceedings of the 24th ACM Symposium on Access Control Models and Technologies. New York, NY., p. 231-233 3 p.

    Research output: Chapter in Book/Report/Conference proceeding › Other chapter contribution

    Open Access
    File
    5 Downloads (Pure)

  • Runestone Academy: Java and Python assignments for experimentation with novice programmers

    Liaskos, K., 2019, Runestone Academy: Free online textbooks for Math and Computer Science.

    Research output: Chapter in Book/Report/Conference proceeding › Other chapter contribution

    Open Access
  • 2018

    Economics models of interaction: a tutorial on modeling interaction using economics

    Azzopardi, L. & Zuccon, G., 18 Jan 2018, Computational Interaction. Oulasvirta, A., Kristensson, P. O., Bi, X. & Howes, A. (eds.). Oxford: Oxford University Press, 29 p.

    Research output: Chapter in Book/Report/Conference proceeding › Other chapter contribution

    Open Access
    File
    48 Downloads (Pure)
  • 2017

    Designing mobile interactions for the ageing populations

    Sarcar, S., Munteanu, C., Jokinen, J. P. P., Oulasvirta, A., Silpasuwanchai, C., Charness, N., Dunlop, M. & Ren, X., 6 May 2017, CHI 2017 Extended Abstracts - Proceedings of the 2017 ACM SIGCHI Conference on Human Factors in Computing Systems: Explore, Innovate, Inspire. New York, Vol. Part F127655. p. 506-509 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Other chapter contribution

    Open Access
    File
    6 Citations (Scopus)
    40 Downloads (Pure)

  • Ubiquitous text interaction

    Vertanen, K., Montague, K., Dunlop, M., Arif, A. S., Bi, X. & Azenkot, S., 6 May 2017, CHI 2017 Extended Abstracts - Proceedings of the 2017 ACM SIGCHI Conference on Human Factors in Computing Systems: Explore, Innovate, Inspire. New York, Vol. Part F127655. p. 566-573 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Other chapter contribution

    Open Access
    File
    4 Citations (Scopus)
    43 Downloads (Pure)
  • 2012

    A finite axiomatisation of inductive-inductive definitions

    Nordvall Forsberg, F. & Setzer, A., 2012, Logic, Construction, Computation. Berger, U., Hannes, D., Schuster, P. & Seisenberger, M. (eds.). Vol. 3. p. 259 - 287 (Ontos mathematical logic).

    Research output: Chapter in Book/Report/Conference proceeding › Other chapter contribution

    9 Citations (Scopus)
  • 2010

    Forward-chaining partial-order planning

    Coles, A. J., Coles, A. I., Fox, M. & Long, D., 1 May 2010, Proceedings of the 20th international conference on automated planning and scheduling, ICAPS 2010. Brafman, R., Geffner, H., Hoffmann, J. & Kautz, H. (eds.). Palo Alto, 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Other chapter contribution

    Open Access
    File
    206 Citations (Scopus)
    314 Downloads (Pure)

  • Towards a public library digital service taxonomy

    Buchanan, S. & McMenemy, D., 2010, Research and advanced technology for digital libraries. Lalmas, M., Jose, J., Rauber, A., Sebastiani, F. & Frommholz, I. (eds.). Berlin: Springer-Verlag, p. 425-428 4 p. (Lecture Notes in Computer Science; vol. 6273).

    Research output: Chapter in Book/Report/Conference proceeding › Other chapter contribution

    4 Citations (Scopus)
  • 2007

    Automatic test-data generation: an immunological approach

    Liaskos, K. & Roper, M., 1 Sept 2007, TAIC PART 2007 - Testing Academic and Industrial Conference - Practice and Research Techniques : Proceedings: CO-LOCATED WITH MUTATION 2007 . Los Alamitos: IEEE, p. 77-81 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Other chapter contribution

    4 Citations (Scopus)

  • High-level Thesaurus (HILT): edited use case, Semantic Web Deployment

    Macgregor, G., McCulloch, E. & Nicholson, D., 2007, SKOS Use Cases and Requirements. Isaac, A., Phipps, J. & Rubin, D. (eds.). Cambridge, MA.

    Research output: Chapter in Book/Report/Conference proceeding › Other chapter contribution

    File
    5 Downloads (Pure)
  • 2006

    Converging towards broadband, augmented and platform independent "intelligent" cultural heritage applications

    Bouville, C. & Damala, A., 2006, Digital Applications for Tangible Cultural Heritage: Report in the State of the Union : Policies, Practices and Developments in Europe, EPOCH Survey 2004/2005. Niccolucci, F., Geser, G. & Varricchio, T. (eds.). Hungary, p. 88-92 5 p.

    Research output: Chapter in Book/Report/Conference proceeding › Other chapter contribution