Filter
Chapter (peer-reviewed)

Search results

  • 2017

    Blockchain City: Economic, social and cognitive ledgers

    Speed, C., Maxwell, D. & Pschetz, L., 22 Aug 2017, Data and the City. Kitchin, R., Lauriault, T. & McArdle, G. (eds.). Abingdon; New York: Routledge, p. 141-155 15 p.

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

  • An Alternative Approach to Exploring a Video

    Salim, F. A., Haider, F., Conlan, O. & Luz, S., 13 Aug 2017, Proceedings of SPECOM'17. Karpov, A., Potapova, R. & Mporas, I. (eds.). Hatfield, Hertfordshire, UK: Springer International Publishing AG, Vol. 10458. p. 109-118 10 p. (Lecture Notes in Computer Science).

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

  • The emergence of Scots: Clues from Germanic *a reflexes

    Alcorn, R., Molineaux Ress, B., Kopaczyk, J., Karaiskos, V., Los, B. & Maguire, W., 3 Mar 2017, Before the Storm: Papers from the Forum for Research on the Languages of Scotland and Ulster Triennial Meeting, Ayr 2015. Cruickshank, J. & Millar, R. M. (eds.). Aberdeen: Forum for Research on the Languages of Scotland and Ulster, Vol. 5. p. 1-32 32 p. 1

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

  • Understanding Author Intentions: Test Driven Knowledge Graph Construction

    Pan, J. Z., Matentzoglu, N., Jay, C., Vigo, M. & Zhao, Y., 26 Feb 2017, Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering: 12th International Summer School 2016, Aberdeen, UK, September 5-9, 2016, Tutorial Lectures: 12th International Summer School 2016, Aberdeen, UK, September 5-9, 2016, Tutorial Lectures. Pan, J. Z., Calvanese, D., Eiter, T., Horrocks, I., Kifer, M., Lin, F. & Zhao, Y. (eds.). Cham: Springer International Publishing, p. 1-26 26 p. ( Lecture Notes in Computer Science; vol. 9885).

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

  • Lightweight functional session types

    Lindley, S. & Morris, J. G., 17 Feb 2017, (Accepted/In press) Behavioural Types: from Theory to Tools. Gay, S. J. & Ravara, A. (eds.). River Publishers

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

  • Construction of Enterprise Knowledge Graphs (I)

    Villazon-Terrazas, B., Garcia-Santa, N., Ren, Y., Srinivas, K., Rodriguez-Muro, M., Alexopoulos, P. & Pan, J. Z., 3 Feb 2017, Exploiting Linked Data and Knowledge Graphs in Large Organisations. Pan, J. Z., Vetere, G., Gomez-Perez, J. M. & Wu, H. (eds.). Cham: Springer International Publishing, p. 87-116 30 p.

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

  • Construction of Enterprise Knowledge Graphs (II)*

    Alexopoulos, P., Zhao, Y., Pan, J. Z. & Zhu, M., 3 Feb 2017, Exploiting Linked Data and Knowledge Graphs in Large Organisations. Pan, J. Z., Vetere, G., Gomez-Perez, J. M. & Wu, H. (eds.). Cham: Springer International Publishing, p. 117-146 30 p.

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

  • 2016

    Data collection and synchronisation: Towards a Multiperspective multimodal dialogue system with metacognitive abilities

    Haider, F., Luz, S. & Campbell, N., 25 Dec 2016, Dialogues with Social Robots - Enablements, Analyses, and Evaluation. Springer-Verlag, Vol. 999 LNEE. p. 245-256 12 p. (Lecture Notes in Electrical Engineering; vol. 999 LNEE).

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

  • PriGuardTool: A Web-Based Tool to Detect Privacy Violations Semantically

    Kökciyan, N. & Yolum, P., 16 Dec 2016, Engineering Multi-Agent Systems. Baldoni, M., Müller, J. P., Nunes, I. & Zalila-Wenkstern, R. (eds.). Cham: Springer International Publishing AG, p. 81-98 18 p. (Lecture Notes in Computer Science (LNCS); vol. 10093).

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

  • A speech-to-speech, machine translation mediated map task: An exploratory study

    Cerrato, L., Akira, H., Campbell, N. & Luz, S., 26 Feb 2016, Future and Emergent Trends in Language Technology: First International Workshop, FETLT 2015, Seville, Spain, November 19-20, 2015, Revised Selected Papers. Springer-Verlag, Vol. 9577. p. 53-64 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9577).

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

  • 2015

    Abstract Interpretation of PEPA Models

    Gilmore, S., Hillston, J. & Zon, N., 25 Dec 2015, Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays. Probst, C. W., Hankin, C. & Hansen, R. R. (eds.). Springer International Publishing, p. 140-158 18 p. (Lecture Notes in Computer Science; vol. 9560).

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

    Open Access
    File
  • The Fourth Automated Negotiation Competition

    Gal, Y. & Ilany, L., Dec 2015, Next Frontier in Agent-Based Complex Automated Negotiation. SPRINGER-VERLAG TOKYO, p. 129-136 8 p.

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

  • Negotiating Privacy Constraints in Online Social Networks

    Mester, Y., Kökciyan, N. & Yolum, P., 15 Nov 2015, Advances in Social Computing and Multiagent Systems: International Workshop on Collaborative Agents Research and Development (CARE), and International Workshop on Multiagent Foundations of Social Computing (MFSC). Koch, F., Guttmann, C. & Busquets, D. (eds.). Cham: Springer International Publishing AG, p. 112-129 18 p. (Communications in Computer and Information Science (CCIS); vol. 541).

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

  • Route Following Without Scanning

    Mangan, M. & Khodshabashev, A., 24 Jul 2015, Biomimetic and Biohybrid Systems. Vol. 9222. p. 199-210 12 p.

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

    Open Access
    File
  • Industrial Use of High-Performance Computing in the United Kingdom

    Parsons, M. & Wray, F., 1 Apr 2015, Industrial Applications of High-Performance Computing: Best Global Practices. Osseyran, A. & Giles, M. (eds.). Chapman and Hall/CRC, p. 169-178 10 p.

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

  • Bootstrapping the next generation of Social Machines

    Murray-Rust, D. & Robertson, D., 2015, Crowdsourcing: Cloud-Based Software Development. Li, W., Huhns, M. N., Tsai, W-T. & Wu, W. (eds.). Springer-Verlag, p. 53-71 19 p.

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

  • Chapter Six – Genetic Analysis of Drosophila Circadian Behavior in Seminatural Conditions

    Green, E. W., O'Callaghan, E. K., Pegoraro, M., Armstrong, J. D., Costa, R. & Kyriacou, C. P., 2015, Circadian Rhythms and Biological Clocks, Part A. Sehgal, A. (ed.). Academic Press, p. 121-133 13 p. (Methods in Enzymology; vol. 559).

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

  • Hardy, Littlewood and polymath

    Martin, U. & Pease, A., 2015, Mathematics, Substance and Surmise: Views on the Meaning and Ontology of Mathematics. Davis, E. & Davis, P. J. (eds.). Cham: Springer International Publishing AG, p. 9-23 15 p.

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

  • Worker-centric Design for Software Crowdsourcing: Towards Cloud Careers

    Murray-Rust, D., Scekic, O. & Lin, D., 2015, Crowdsourcing: Cloud-Based Software Development. Li, W., Huhns, M. N., Tsai, W-T. & Wu, W. (eds.). Springer-Verlag, p. 39-50 12 p.

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

  • 2014

    MLA 2014 - foreword

    Ochoa, X., Worsley, M., Chiluiza, K. & Luz, S., 12 Nov 2014, MLA 2014 - Proceedings of the 2014 ACM Multimodal Learning Analytics Workshop and Grand Challenge: 3rd Multimodal Learning Analytics Workshop and Grand Challenges. Association for Computing Machinery, Inc, p. iii

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

  • Using Planning to Adapt to Dynamic Environments

    Tate, A., 23 Jun 2014, Adaptive, Dynamic, and Resilient Systems. Suri, N. & Cabri, G. (eds.). Taylor & Francis, p. 243-257 15 p.

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

  • Constructing Complex Systems Via Activity-Driven Unsupervised Hebbian Self-Organization

    Bednar, J. A., 5 Jun 2014, Growing Adaptive Machines: Combining Development and Learning in Artificial Neural Networks. Kowaliw, T., Bredeche, N. & Doursat, R. (eds.). Springer Berlin Heidelberg, Vol. 557. p. 201-225 25 p. (Growing Adaptive Machines; vol. 557).

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

  • The Simple-Meta Agent

    Ilany, L. & Gal, Y., 24 Jan 2014, (E-pub ahead of print) Novel Insights in Agent-based Complex Automated Negotiation. SPRINGER-VERLAG TOKYO, p. 197-200 4 p.

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

  • Hebbian Learning of the Statistical and Geometrical Structure of Visual Input

    Bednar, J. A., 2014, Neuromathematics of Vision: Lecture Notes in Morphogenesis. Springer Berlin Heidelberg, p. 335-366 Chapter 8. (Neuromathematics of Vision).

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

    Open Access
    File
  • Sky segmentation with ultraviolet images can be used for navigation

    Stone, T., Mangan, M., Ardin, P. & Webb, B., 2014, Proceedings Robotics: Science and Systems. Berkeley, USA, 9 p.

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

    Open Access
    File
  • Verifying Hybrid Systems Involving Transcendental Functions

    Jackson, P., Sogokon, A., Bridge, J. & Paulson, L., 2014, NASA Formal Methods: 6th International Symposium, NFM 2014, Proceedings. Badger, J. & Rozier, K. (eds.). Springer-Verlag GmbH, p. 188-202 15 p. (Lecture Notes in Computer Science; vol. 8430).

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

    Open Access
    File
  • 2013

    Plan Recognition and Visualization in Exploratory Learning Environments

    Amir, O., Gal, Y., Yaron, D., Karabinos, M. & Belford, R., 7 Nov 2013, Educational Data Mining. Springer, Cham, Vol. 524. p. 289-327 39 p.

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

  • C Compilers and Code Optimization for DSPs

    Franke, B., May 2013, Handbook of Signal Processing Systems. Bhattacharyya, S. S., Deprettere, E. F., Leupers, R. & Takala, J. (eds.). Springer New York, p. 1015-1040 26 p.

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

  • A Color and Texture Based Hierarchical K-NN Approach to the Classification of Non-melanoma Skin Lesions

    Ballerini, L., Fisher, R. B., Aldridge, B. & Rees, J., 2013, Color Medical Image Analysis. Celebi, M. E. & Schaefer, G. (eds.). Springer Netherlands, p. 63-86 24 p. (Lecture Notes in Computational Vision and Biomechanics; vol. 6).

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

  • BRAM Agent

    Fishel, R., Bercovitch, M. & Gal, Y., 2013, Complex Automated Negotiations: Theories, Models, and Software Competitions. Springer-Verlag Berlin Heidelberg, p. 213-216 4 p.

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

  • Compositional Quantum Logic

    Coecke, B., Heunen, C. & Kissinger, A., 2013, Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky: Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday. Coecke, B., Ong, L. & Panangaden, P. (eds.). Springer Berlin Heidelberg, p. 21-36 16 p. (Lecture Notes in Computer Science; vol. 7860).

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

  • On the Functor ℓ2

    Heunen, C., 2013, Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky: Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday. Coecke, B., Ong, L. & Panangaden, P. (eds.). Springer Berlin Heidelberg, p. 107-121 15 p. (Lecture Notes in Computer Science; vol. 7860).

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

  • Visual Control of an Autonomous Indoor Robotic Blimp

    Alkurdi, L. M. & Fisher, B., 2013, Robotic Vision: Technologies for Machine Learning and Vision Applications. Garcia-Rodriguez, J. & Cazorla Quevedo, M. A. (eds.). IGI Global, p. 352-370 19 p.

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

  • 2012

    Motor Learning Explored with Myoelectric and Neural Interfaces

    Jackson, A. & Nazarpour, K., 31 Dec 2012, Routledge Handbook of Motor Control and Motor Learning. Routledge, p. 80-98

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

  • User-Centred Design of Technologies to support Care at Home

    McGee-Lennon, M., Wolters, M. & Clark, J., Oct 2012, Advances in Home Care Technologies: Results of the MATCH Project. Amsterdam: IOS Press, Vol. 31. p. 138-161 (Assistive Technology Research Series; vol. 31).

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

  • 3. Chance and Memory

    Perkins, T. J., Weisse, A. & Swain, P. S., Aug 2012, Quantitative Biology: From Molecular to Cellular Systems. Wall, M. E. (ed.). CRC Press, p. 1-22 22 p.

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

  • Negotiating in a brave new world: Challenges and opportunities for the field of negotiation science

    J. Gelfand, M. & Gal, Y., 12 Apr 2012, The Psychology of Negotiations in the 21st Century Workplace. 1st ed. New York, USA: Routledge, p. 443-464 22 p.

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

  • Reconstructing Models from Proteomics Data

    Zografos, L. A., Pocklington, A. & Armstrong, D., 2012, Computational Systems Neurobiology. Le Novère, N. (ed.). Springer Netherlands, Vol. VIII. p. 23-80

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

  • Retinal Waves: Underlying Cellular Mechanisms and Theoretical Considerations.

    Sernagor, E. & Hennig, M., 2012, Developmental Neuroscience: A Comprehensive Reference. Rubenstein, J. & Rakic, P. (eds.). Elsevier

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

  • Spoken dialogue interfaces for older people

    Vipperla, R., Wolters, M. & Renals, S., 2012, Advances in Home Care Technologies. Turner, K. J. (ed.). IOS Press, Vol. Volume 31: Advances in Home Care Technologies. p. 118-137 21 p.

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

  • 2011

    Crossing the boundaries: delivering trans-disciplinary science in a disciplinary world

    Elliot, E. A. & Hayes, N. W., 20 Sep 2011, Methods of Enzymology. Jameson, D., Verma, M. & Westerhoff, H. V. (eds.). Vol. 500. p. 657-72 16 p. (Methods in enzymology).

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

  • Speech Synthesis

    King, S., Sep 2011, Speech and Audio Signal Processing. Gold, B., Morgan, N. & Ellis, D. (eds.). 2nd ed. Wiley, p. 431-454 23 p.

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

  • Bisimulation and Logic

    Stirling, C., 2011, Advanced Topics in Bisimulation and Coinduction. Sangiorgi, D. & Rutten, J. (eds.). Cambridge University Press, p. 173-196 24 p. (Cambridge Tracts in Theoretical Computer Science; vol. 52).

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

  • Computing by observing: Simple systems and simple observers

    Cavaliere, M. & Leupold, P., 2011, Complexity of Simple Programs. Theoretical Computer Science, Vol. 412. p. 113-123 10 p.

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

  • Evaluating Service Level Agreements Using Observational Probes

    Clark, A. & Gilmore, S., 2011, Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing. Wirsing, M. & Hoelzl, M. (eds.). Springer-Verlag GmbH, p. 467-485 19 p. (Lecture Notes in Computer Science; vol. 6582).

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

  • Passage-End Analysis for Analysing Robot Movement

    Clark, A., Duguid, A. & Gilmore, S., 2011, Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing. Wirsing, M. & Hoelzl, M. (eds.). Springer-Verlag GmbH, p. 506-521 16 p. (Lecture Notes in Computer Science; vol. 6582).

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

  • Privacy Assurance Checking

    Pearson, S. & Elahi, M. T., 2011, Digital Privacy: PRIME - Privacy and Identity Management for Europe. Springer Berlin Heidelberg, p. 427-456 30 p.

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

  • Quantitative Analysis of Services

    Cappello, I., Clark, A., Gilmore, S., Latella, D., Loreti, M., Quaglia, P. & Schivo, S., 2011, Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing. Wirsing, M. & Hoelzl, M. (eds.). Springer-Verlag GmbH, p. 522-540 19 p. (Lecture Notes in Computer Science; vol. 6582).

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

  • Scaling Performance Analysis Using Fluid-Flow Approximation

    Tribastone, M. & Gilmore, S., 2011, Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing. Wirsing, M. & Hoelzl, M. (eds.). Springer-Verlag GmbH, p. 486-505 20 p. (Lecture Notes in Computer Science; vol. 6582).

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

  • 2010

    Automatic speech recognition

    Renals, S. & King, S., Feb 2010, Handbook of Phonetic Sciences. Hardcastle, W. J., Laver, J. & Gibbon, F. E. (eds.). 2nd ed. Wiley-Blackwell, Vol. 1.

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