Discovery - University of Dundee - Online Publications

Library & Learning Centre

School of Computing

  1. SpaceFibre: The standard, simulation, IP cores and test equipment

    Parkes, S. . S., McClements, C., McLaren, D., Florit, A. F. & Villafranca, A. G. 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. 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

  3. 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

  4. 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

  5. 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

  6. 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

  7. Re-writing the City: Negotiating and reflecting on data streams

    Abel, P. , Hemment, D. , Li, S. , Schliwa, G. , Devitt, J. , Trueblood, C. , Woods, M. , Islamoglu, G. , Devitt, L. , Tynan-O'Mahony, F. , Raikes, R. , Fox, M. , Thomson, C. S. , Vazquez, A. D. , Lindley, J. , Macdonald, J. , Maxwell, D. , Walsh, V. , Sherriff, G. , Jennings, K. & 12 others Gebhardt, V. K., Monsen, K., Potts, R. C., Gajdos, P., Barraclough, R., Turner, S., Lee, A., Mehrpouya, H., Moisy, A., Thomas, V., Speed, C. & Trimble, L. 13 Jul 2015 British HCI 2015 - Proceedings of the 2015 British HCI Conference 2015. Association for Computing Machinery, Vol. Part F116867, p. 147-156 10 p.

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

  8. 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

  9. 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

  10. 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

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

Find Research Units in Discovery

Library & Learning Centre

Contact | Accessibility | Policy