Discovery - University of Dundee - Online Publications

Library & Learning Centre

School of Computing

  1. VHiSSI: Experimental spacefibre ASIC

    Villafranca, A. G., Ferrer, A., McLaren, D., McClements, C. & Parkes, S. . S. 1 Sep 2015 European Space Agency, (Special Publication) ESA SP. European Space Agency, Vol. SP-732

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

  2. The establishment of an iPad user group for adults with aphasia

    Black, R., Waller, A., Hunter, L., Hanschell, A., Gasowski, E. & Gowland, H. Sep 2015

    Research output: Contribution to conferenceOther

  3. Algebras and coalgebras in the light affine lambda calculus

    Gaboardi, M. & Péchoux, R. 29 Aug 2015 Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP. Association for Computing Machinery, Vol. 2015-August, p. 114-126 13 p.

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

  4. A General Reduction Theorem with Applications to Pathwidth and the Complexity of MAX 2-CSP

    Edwards, K. & McDermid, E. Aug 2015 In : Algorithmica. 72, 4, p. 940-968 29 p.

    Research output: Contribution to journalArticle

  5. Erratum to: developing technology for autism: an interdisciplinary approach

    Porayska-Pomsta, K., Frauenberger, C., Pain, H., Rajendran, G., Smith, T., Menzies, R., Foster, M. E., Alcorn, A., Wass, S., Bernardini, S., Avramides, K., Keay-Bright, W., Chen, J., Waller, A., Guldberg, K., Good, J. & Lemon, O. Aug 2015 In : Personal and Ubiquitous Computing. 9, 5-6, p. 983 1 p.

    Research output: Contribution to journalArticle

  6. The role of blending in mathematical invention.

    Bou, F., Schorlemmer, M., Corneli, J., Gomez Ramirez, D., Maclean, E., Smaill, A. & Pease, A. Jul 2015 Proceedings of the Sixth International Conference on Computational Creativity, 2015. Association for Computational Creativity, p. 55-62 8 p.

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

  7. Using argumentation to evaluate concept blends in combinatorial creativity

    Confalonieri, R., Corneli, J., Pease, A., Plaza, E. & Schorlemmer, M. Jul 2015 Proceedings of the Sixth International Conference on Computational Creativity, 2015. Association for Computational Creativity, p. 174-181 8 p.

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

  8. Automating change of representation for proofs in discrete mathematics

    Raggi, D., Bundy, A., Grov, G. & Pease, A. 23 Jun 2015 Intelligent Computer Mathematics: International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015 Proceedings. Kerber, M., Carette, J., Kaliszyk, C., Rabe, F. & Sorge, V. (eds.). Springer , Vol. LNAI 9150, p. 227-242 16 p. (Lecture Notes In Computer Science; vol. 9150)

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

  9. Realizability models for a linear dependent PCF

    Brunel, A. & Gaboardi, M. 20 Jun 2015 In : Theoretical Computer Science. 585, p. 55-70 16 p.

    Research output: Contribution to journalArticle

  10. Hydrodynamic stretching for prostate cancer detection

    Belotti, Y., Conneely, M., Palmer, S., Huang, T., Campbell, P. A., McKenna, S., Nabi, G. & McGloin, D. 1 Jun 2015 Bio-MEMS and Medical Microdevices II. van den Driesche, S. (ed.). Bellingham: SPIE-International Society for Optical Engineering, Vol. 9518, 95180H. (Proceedings of SPIE; vol. 9518)

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

Previous 1 2 3 4 5 6 7 8 ...102 Next

Find Research Units in Discovery

Library & Learning Centre

Contact | Accessibility | Policy