Research Output

Filter
Chapter (peer-reviewed)
2020

Adapting Movements and Behaviour to Favour Communication in Human-Robot Interaction

Lohan, K., Ahmad, M. I., Dondrup, C., Ardon, P., Pairet, È. & Vinciarelli, A., 2020, Modelling Human Motion. Springer, p. 271-297 27 p.

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Are autistic children more vulnerable online? Relating autism to online safety, child wellbeing and parental risk management

Macmillan, K., Berg, T., Just, M. & Stewart, M. E., 23 Jun 2020, (Accepted/In press) 11th Nordic Conference on Human-Computer Interaction (NordiCHI 2020). Association for Computing Machinery

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

File
37 Downloads (Pure)
2018

Ellipsis in Dynamic Syntax

Kempson, R., Gregoromichelaki, E., Eshghi, A. & Hough, J., Dec 2018, (Accepted/In press) The Oxford Handbook of Ellipsis. van Craenenbroeck, J. & Temmerman, T. (eds.). Oxford University Press

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Preface

Jezic, G., Kusek, M., Chen-Burger, Y-H. J., Howlett, R. J. & Jain, L. C., 2018, Agent and Multi-Agent Systems: Technology and Applications. Springer, p. v-vi 2 p. (Smart Innovation, Systems and Technologies; vol. 74).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

2017

Enriching the human-robot interaction loop with natural, semantic and symbolic gestures

Lohan, K. S., Lehmann, H., Dondrup, C., Broz, F. & Kose, H., 26 Sep 2017, Humanoid Robotics: A Reference. Goswami, A. & Vadakkepat, P. (eds.). Springer, p. 1-21 21 p.

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

How can we better support users with non-uniform information access in collaborative information retrieval?

Htun, N. N., Halvey, M. & Baillie, L., 7 Mar 2017, Proceedings of the 2017 Conference on Human Information Interaction and Retrieval (CHIIR 2017). New York: Association for Computing Machinery, p. 235-244 10 p. (Proceedings of the Conferences on Human Information Interaction and Retrieval (CHIIR)).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Open Access
5 Citations (Scopus)

Improving Dynamic Information Exchange in Emergency Response Scenarios

Quesada Real, F., McNeill, F., Bella, G. & Bundy, A., May 2017, Proceedings of the 14th International Conference on Information Systems for Crisis Response and Management. May ed. France: International Association for Information Systems for Crisis Response and Management, Vol. 2017. p. 824-833 10 p.

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

2 Citations (Scopus)

Proof mining with dependent types

Komendantskaya, E. & Heras, J., 28 Jun 2017, Intelligent Computer Mathematics. CICM 2017.. Geuvers, H., England, M., Hasan, O., Rabe, F. & Teschke, O. (eds.). Springer, Vol. 10383. p. 303-318 16 p. (Lecture Notes in Computer Science; vol. 10383).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

3 Citations (Scopus)

Who said that? A comparative study of non-negative matrix factorisation and deep learning techniques

Krikke, T., Broz, F. & Lane, D. M., 15 Aug 2017, (Accepted/In press) AAAI Fall Symposium Series. AAAI Press

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

2016

Computing with Artificial Gene Regulatory Networks

Lones, M. A., 2016, Evolutionary Computation in Gene Regulatory Network Research. Iba, H. & Noman, N. (eds.). Wiley

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Facilitating Interaction Between Virtual Agents through Negotiation over Ontological Representation

McNeill, F. & Bundy, A., Aug 2016, (Accepted/In press) Encyclopedia of Information Science and Technology. IGI Global

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Studying Human-Human interaction to build the future of Human-Robot interaction

D'Ausilio, A., Lohan, K., Badino, L. & Sciutti, A., Jun 2016, Human Computer Confluence: Transforming Human Experience Through Symbiotic Technologies. Gaggioli, A., Ferscha, A., Riva, G., Dunne, S. & Viaud-Delmon, I. (eds.). p. 213–226

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Tailoring privacy-aware trustworthy cooperating smart spaces for university environments

Liampotis, N., Papadopoulou, E., Kalatzis, N., Roussaki, I., Kosmides, P., Sykas, E., Bental, D. & Taylor, N. K., 2016, Handbook of Research on Next Generation Mobile Communication Systems. IGI Global, p. 410-439 30 p. 16

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

2015

A rigorous approach to combining use case modelling and accident scenarios

Murali, R., Ireland, A. & Grov, G., 2015, NASA Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings. Havelund, K., Holzmann, G. & Joshi, R. (eds.). Springer, Vol. 9058. p. 263-278 16 p. (Lecture Notes in Computer Science; vol. 9058).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Open Access
File
4 Citations (Scopus)
17 Downloads (Pure)

Medical applications of evolvable hardware

Lones, M. A. & Smith, S. L., 2015, Evolvable Hardware: From Practice to Application. Vol. Part II. p. 253-271 19 p. (Natural Computing Series).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

2014

A framework for evaluating and utilizing medical terminology mappings

Hussain, S., Sun, H., Sinaci, A., Erturkmen, G. B. L., Mead, C., Gray, A. J. G., Mcguinness, D., Prud'hommeaux, E., Daniel, C. & Forsberg, K., 2014, Proceedings of MIE2014. Vol. 205. p. 594-598 5 p. (Studies in Health Technology and Informatics ; vol. 205).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

2 Citations (Scopus)

Beyond simulators, using F1 games to predict driver performance, learning and potential

Hislop, M., Sivanathan, A., Lim, T., Ritchie, J. M., Rajendran, G. & Louchart, S., 2014, Games and Learning Alliance: Second International Conference, GALA 2013, Paris, France, October 23-25, 2013, Revised Selected Papers. Springer, Vol. 8605. p. 157-171 15 p. (Lecture Notes in Computer Science; vol. 8605).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Context and challenges for evolutionary robotics

Vargas, P., Di Paolo, E., Harvey, I. & Husbands, P., Mar 2014, The Horizons of Evolutionary Robotics. Vargas, P. A., Di Paolo, E., Harvey, I. & Husbands, P. (eds.). MIT Press

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Enhancing Mobile Social Networks with Ambient Intelligence

Doolin, K., Taylor, N. K., Crotty, M., Roddy, M., Jennings, E., Roussaki, I. & McKitterick, D., 2014, Mobile Social Networking. Springer, p. 139-163 25 p. (Computational Social Sciences).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Evolutionary robotics and neuroscience

Vargas, P., Moioli, R., Husbands, P., Shim, Y-S., Philippides, A. & O'Shea, M., Mar 2014, The Horizons of Evolutionary Robotics. Vargas, P. A., Di Paolo, E., Harvey, I. & Husbands, P. (eds.). MIT Press

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Narrative Serious Game Mechanics (NSGM) – Insights into the Narrative-Pedagogical Mechanism

Lim, T., Louchart, S., Suttie, N., Baalsrud Hauge, J., Stanescu, I. A., Martinez-Ortiz, I., Moreno-Ger, P., Bellotti, F., Carvalho, M. B., Earp, J., Ott, M., Arnab, S. & Berta, R., 2014, Games for Training, Education, Health and Sports: 4th International Conference on Serious Games, GameDays 2014, Darmstadt, Germany, April 1-5, 2014. Proceedings. Vol. 8395. p. 23-34 11 p. (Lecture Notes in Computer Science; vol. 8395).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

11 Citations (Scopus)

Reinforcement learning approaches to natural language generation in interactive systems

Lemon, O., Chandrasekaran Janarthanam, S. & Rieser, V., Jun 2014, Natural Language Generation in Interactive Systems. Bangalore, S. & Stent, A. (eds.). Cambridge University Press, p. 151-175 25 p.

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Serious game mechanics, workshop on the ludo-pedagogical mechanism

Lim, T., Louchart, S., Suttie, N., Baalsrud Hauge, J., Stanescu, I. A., Bellotti, F., Carvalho, M. B., Earp, J., Ott, M., Arnab, S. & Brown, D., 2014, Games for Training, Education, Health and Sports: 4th International Conference on Serious Games, GameDays 2014, Darmstadt, Germany, April 1-5, 2014. Proceedings. Vol. 8395. p. 186-189 4 p. (Lecture Notes in Computer Science; vol. 8395).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

1 Citation (Scopus)
2013

IS degrees: Sociotechnical or technosocial? - a reflective analysis

Berg, T., Pooley, R. J. & Coady, J., 2013, Building Sustainable Information Systems : Proceedings of the 2012 International Conference on Information Systems Development . p. 219-231

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Serious game for quantum research

Brown, O., Truesdale, J., Louchart, S., McEndoo, S., Maniscalco, S., Robertson, J., Lim, T. & Kilbride, S., 2013, Serious Games Development and Applications: 4th International Conference, SGDA 2013, Trondheim, Norway, September 25-27, 2013. Proceedings. Ma, M., Oliveira, M. F., Petersen, S. & Baalsrud Hauge, J. (eds.). Springer, Vol. 8101. p. 178-187 10 p. (Lecture Notes in Computer Science; vol. 8101).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

1 Citation (Scopus)
10 Downloads (Pure)

Trends in Functional Programming: 13th International Symposium, TFP 2012 St. Andrews, UK, June 12-14, 2012: Preface

Loidl, H. W. & Peña, R., 2013, Trends in Functional Programming: 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers. Vol. 7829. p. v-vi (Lecture Notes in Computer Science; vol. 7829).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

2012

A history of types

Kamareddine, F. D., Laan, T. & Nederpelt, R., 2012, Logic: A History of its Central Concepts. San Diego: Elsevier, Vol. 11. p. 451-512

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

An Essence of SSReflect

Whiteside, I., Aspinall, D. & Grov, G., 2012, Intelligent Computer Mathematics. Springer, p. 186-201 16 p. (Lecture Notes in Computer Science; vol. 7362).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

1 Citation (Scopus)

Artificial intelligence and personalization opportunities for serious games

Brisson, A., Pereira, G., Prada, R., Pavia, A., Louchart, S., Suttie, N., Lim, T., Lopes, R., Bidarra, R., Bellotti, F., Kravcik, M. & Oliveira, M., 2012, Human Computation in Digital Entertainment and Artificial Intelligence for Serious Games : Papers from the 2012 AIIDE Joint Workshop, AAAI Technical Report WS-12-17. p. 51-57 7 p.

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

13 Citations (Scopus)

Personalizing the User's Physical Environment in a Pervasive System

Papadopoulou, E., Gallacher, S., Taylor, N. K. & Williams, H., 2012, Proceedings 2nd IASTED Asian Conference on Modelling, Identification and Control (AsiaMIC 2012). Assawinchaichote, W. & Hamza, M. H. (eds.). ACTA Press

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Russell’s orders in Kripke’s Theory of Truth and Computational Type Theory

Kamareddine, F. D., Laan, T. & Constable, R., 2012, Handbook of the History of Logic: Sets and Extensions in the Twentieth Century. Gabbay, D., Kanamori, A. & Woods, J. (eds.). San Diego: Elsevier, Vol. 6. p. 801-845 44 p.

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

2011

Learner-Generated Contexts: A Framework to Support the Effective Use of Technology for Learning

Luckin, R., Clark, W., Garnett, F., Whitworth, A., Akass, J., Cook, J., Day, P., Ecclesfield, N., Hamilton, T. & Robertson, J., 2011, Web 2.0-Based E-Learning: Applying Social Informatics for Tertiary Teaching. Lee, M. J. W. & McLoughlin, C. (eds.). IGI Global, p. 70-84

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Research in interactive drama environments, role-play and story-telling

Aylett, R., Louchart, S. & Weallans, A., 2011, Interactive Storytelling: Proceedings of the Fourth International Conference on Interactive Digital Storytelling, ICIDS 2011, Vancouver, Canada, November 28 – 1 December, 2011. Springer, p. 1-12 12 p. (Lecture Notes in Computer Science; vol. 7069).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

4 Citations (Scopus)
2010

Interactive Storytelling: Third Joint Conference on Interactive Digital Storytelling, ICIDS 2010, Edinburgh, UK, November 1-3, 2010. Proceedings: Preface

Aylett, R., Riedl, M. & Petta, P., 2010, Interactive Storytelling: Third Joint Conference on Interactive Digital Storytelling, ICIDS 2010, Edinburgh, UK, November 1-3, 2010. Proceedings. Vol. 6432. p. V-VI (Lecture Notes in Computer Science; vol. 6432).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

2009

Audio Bubbles: Employing Non-speech Audio to Support Tourist Wayfinding

McGookin, D., Brewster, S. & Priego, P., 10 Sep 2009, Haptic and Audio Interaction Design: 4th International Conference, HAID 2009 Dresden, Germany, September 10-11, 2009 Proceedings. Ercan Altinsoy, M., Jekosch, U. & Brewster, S. (eds.). Springer, Vol. 5763. p. 41-50 10 p.

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

46 Citations (Scopus)

Kernel based machine translation

Wang, Z. & Shawe-Taylor, J., 2009, Learning machine translation. Goutte, C., Cancedda, N., Dymetman, M. & Foster, G. (eds.). MIT Press, p. 169-184 16 p. (Neural Information Processing Systems Workshop Series).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

2006

Developing a Pervasive System for a Mobile Environment

Williams, H., Taylor, N. K., Roussaki, I., Robertson, P., Farshchian, B. & Doolin, K., Oct 2006, Exploiting the knowledge economy : issues, applications and case studies. p. 1695-1702 8 p.

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Evolving novel and effective treatment plans in the context of infection dynamics models: illustrated with HIV and HAART therapy, in Parallel Problem Solving from Nature

Haines, R. & Corne, D., 2006, Parallel Problem Solving from Nature - PPSN IX: 9th International Conference, Reykjavik, Iceland, September 9-13, 2006, Proceedings. (Lecture Notes in Computer Science; vol. 4193).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Redirecting Communication in a Pervasive System

Papadopoulou, E., Williams, H., Gallacher, S. & Taylor, N. K., Oct 2006, Exploiting the knowledge economy : issues, applications and case studies. p. 1688-1694 7 p.

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

2005

Distributed processing of large BioMedical 3D images

Liakos, K., Burger, A. & Baldock, R., 2005, High Performance Computing for Computational Science - VECPAR 2004: 6th International Conference, Valencia, Spain, June 28-30, 2004, Revised Selected and Invited Papers. Vol. 3402. p. 142-155 14 p. (Lecture Notes in Computer Science; vol. 3402).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Empirical parallel performance prediction from Semantics-based profiling

Scaife, N., Michaelson, G. & Horiguchi, S., 2005, Computational Science – ICCS 2005: 5th International Conference, Atlanta, GA, USA, May 22-25, 2005. Proceedings, Part II. Vol. 3515. p. 781-789 9 p. (Lecture Notes in Computer Science; vol. 3515).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

1 Citation (Scopus)

Fault tolerance in the R-GMA information and monitoring system

Byrom, R., Coghlan, B., Cooke, A., Cordenonsi, R., Cornwall, L., Craig, M., Djaoui, A., Duncan, A., Fisher, S., Gray, A., Hicks, S., Kenny, S., Leake, J., Lyttleton, O., Magowan, J., Middleton, R., Nutt, W., O'Callaghan, D., Podhorszki, N., Taylor, P. & 2 others, Walk, J. & Wilson, A., 2005, Advances in Grid Computing - EGC 2005: European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers. Vol. 3470. p. 751-760 10 p. (Lecture Notes in Computer Science; vol. 3470).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

7 Citations (Scopus)

Graph-based proof counting and enumeration with applications for program fragment synthesis

Wells, J. B. & Yakobowski, B., 2005, Logic Based Program Synthesis and Transformation: 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 – 28, 2004, Revised Selected Papers. Vol. 3573. p. 262-277 16 p. (Lecture Notes in Computer Science; vol. 3573).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

9 Citations (Scopus)

Instant polymorphic type systems for mobile process calculi: Just add reduction rules and close

Makholm, H. & Wells, J. B., 2005, Programming Languages and Systems: 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings. Vol. 3444. p. 389-407 19 p. (Lecture Notes in Computer Science; vol. 3444).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

8 Citations (Scopus)

Refrigerant leak prediction is supermarkets using evolved neural networks

Taylor, D. W. & Corne, D., 2005, Advances in Natural Computation: Recent Advances in Simulated Evolution and Learning. Vol. 2. p. 643-661 19 p.

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Republishers in a publish/subscribe architecture for data streams

Gray, A. J. G. & Nutt, W., 2005, Database: Enterprise, Skills and Innovation: 22nd British National Conference on Databases, BNCOD 22, Sunderland, UK, July 5-7, 2005. Proceedings. Vol. 3567. p. 179-184 6 p. (Lecture Notes in Computer Science; vol. 3567).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

1 Citation (Scopus)
2004

An integration of program analysis and automated theorem proving

Ellis, B. J. & Ireland, A., 2004, Integrated Formal Methods: 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004. Proceedings. Vol. 2999. p. 67-86 20 p. (Lecture Notes in Computer Science; vol. 2999).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

6 Citations (Scopus)

Bounded Pareto Archiving: Theory and Practice

Knowles, J. D. & Corne, D., 2004, Metaheuristics for Multiobjective Optimisation. Vol. 535. p. 39-64 (Lecture Notes in Economics and Mathematical Systems; vol. 535).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Call-by-value mixin modules: reduction semantics, side effects, types

Hirschowitz, T., Leroy, X. & Wells, J. B., 2004, Programming Languages and Systems: 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings. Vol. 2986. p. 64-78 15 p. (Lecture Notes in Computer Science; vol. 2986).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

6 Citations (Scopus)

Constraining XML Transformations for Personalised Information Presentation

Cawsey, A. J., Dempster, E. W., Pacey, J. D., Williams, H., Marwick, D. H. & MacKinnon, L. M., 2004, Key Technologies for Data Management: 21st British National Conference on Databases, BNCOD 21, Edinburgh, UK, July 7-9, 2004. Proceedings. Vol. 3112. p. 136-143 8 p. (Lecture Notes in Computer Science; vol. 3112).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)