• Postal address

    United Kingdom

Filter
Other chapter contribution

Search results

  • 2017

    Rich Digital Collaborations in a Small Rural Community

    Dix, A., Malizia, A., Turchi, T., Gill, S., Loudon, G., Morris, R., Chamberlain, A. & Bellucci, A., 10 Jan 2017, Collaboration Meets Interactive Spaces. Anslow, C., Campos, P. & Jorge, J. (eds.). Springer, p. 463-483 Chapter 20

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  • 2016

    Polyfilling Accessible Chemistry Diagrams

    Sorge, V., 6 Jul 2016, Computers Helping People with Special Needs: 15th International Conference, ICCHP 2016, Linz, Austria, July 13-15, 2016, Proceedings, Part I. Miesenberger, K., Bühler, C. & Penaz, P. (eds.). Springer, Vol. 9758. p. 43-50 (Lecture Notes in Computer Science; vol. 9758).

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

    Open Access
    File
    4 Citations (Scopus)
    175 Downloads (Pure)
  • 2015

    Matching and Merging Scenarios Automatically with Alloy

    Bowles, J., Alwanain, M., Bordbar, B. & Chen, Y., 11 Dec 2015, Model-Driven Engineering and Software Development: Second International Conference, MODELSWARD 2014, Lisbon, Portugal, January 7-9, 2014, Revised Selected Papers. Hammoudi, S., Ferreira Pires, L., Filipe, J. & das Neves, R. C. (eds.). Springer, Vol. 506. p. 100-116 Chapter 7. (Communications in Computer and Information Science; vol. 506).

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

    5 Citations (Scopus)
  • Opening the Black-Box of Model Transformation

    Saxon, J. T., Bordbar, B. & Akehurst, D. H., 17 Jul 2015, Modelling Foundations and Applications: 11th European Conference, ECMFA 2015, Held as Part of STAF 2015, L`Aquila, Italy, July 20-24, 2015. Proceedings. Taentzer, G. & Bordeleau, F. (eds.). p. 171-186 Chapter 12. ( Lecture Notes in Computer Science ; vol. 9153 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  • 2014

    Choosing a cerebral near-infrared spectroscopy system for use in traumatic brain injury: deriving the ideal source detector layout

    Davies, D., Clancy, M., Su, Z., Dehghani, H. & Belli, A., 17 Mar 2014, 34th International Symposium on Intensive Care and Emergency Medicine. Vol. 18 Supplement 1. P468 (2014). (Critical Care).

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

    Open Access
  • Multichannel Spectral Image Enhancement for Visualizing Diabetic Retinopathy Lesions

    Fält, P., Yamaguchi, M., Murakami, Y., Laaksonen, L., Lensu, L., Claridge, E., Hauta-kasari, M. & Uusitalo, H., 2014, Image and Signal Processing: 6th International Conference, ICISP 2014, Cherbourg, France, June 30 – July 2, 2014. Proceedings. Elmoataz, A., Lezoray, O., Nouboud, F. & Mammass, D. (eds.). Springer, Vol. 8509. p. 52-60 (Lecture Notes in Computer Science; vol. 8509).

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

    Open Access
    File
    1 Citation (Scopus)
    117 Downloads (Pure)
  • Open-Ended Elaborations in Creative Metaphor

    Barnden, J., 5 Dec 2014, Computational Creativity Research: Towards CreativeMachines. Besold, T. R., Schorlemmer, M. & Small, A. (eds.). Atlantis Press, p. 217-242 Chapter 11. (Atlantis Thinking Machines; vol. 7).

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  • Permissive Controller Synthesis for Probabilistic Systems

    Dräger, K., Forejt, V., Kwiatkowska, M., Parker, D. & Ujma, M., 2014, Tools and Algorithms for the Construction and Analysis of Systems: 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings. Abraham, E. & Havelund, K. (eds.). Springer, Vol. 8413. p. 531-546 16 p. Chapter 44. (Lecture Notes in Computer Science; vol. 8413).

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

    16 Citations (Scopus)
  • Stateful Applied Pi Calculus

    Arapinis, M., Liu, J., Ritter, E. & Ryan, M., 2014, Principles of Security and Trust : Third International Conference, POST 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings. Abadi, M. & Kremer, S. (eds.). Springer, Vol. 8414. p. 22-41 Chapter 2. (Lecture Notes in Computer Science; vol. 8414).

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

    9 Citations (Scopus)
  • 2012

    Exploratory reach-to-grasp trajectories for uncertain object poses

    Zito, C., Stolkin, R., Kopicki, M., Di Luca, M. & Wyatt, J., 2012, Proceedings of the Workshop on Beyond Robot Grasping: Modern Approaches for Dynamic Manipulation: Intelligent Robots and Systems (IROS).

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution