Discovery - University of Dundee - Online Publications

Library & Learning Centre

School of Computing

71 - 80 out of 768Page size: 10
Sort by: Publication year
  1. A domain specific language for describing diverse systems of dialogue

    Wells, S. & Reed, C. A. Dec 2012 In : Journal of Applied Logic. 10, 4, p. 309-329 21 p.

    Research output: Contribution to journalArticle

  2. Linear dependent types and relative completeness

    Lago, U. D. & Gaboardi, M. 23 Oct 2012 In : Logical Methods in Computer Science. 8, 4, 11

    Research output: Contribution to journalArticle

  3. Discovery of invariants through automated theory formation

    Llano, M. T., Ireland, A. & Pease, A. Oct 2012 In : Formal Aspects of Computing. n/a, p. 1-47 47 p.

    Research output: Contribution to journalArticle

  4. Consensus statements for management of Barrett's Dysplasia and early-stage Esophageal Adenocarcinoma, based on a Delphi Process

    Bennett, C. , Vakil, N. , Bergman, J. , Harrison, R. , Odze, R. , Vieth, M. , Sanders, S. , Gay, L. , Pech, O. , Longcroft-Wheaton, G. , Romero, Y. , Inadomi, J. , Tack, J. , Corley, D. A. , Manner, H. , Green, S. , Al Dulaimi, D. , Ali, H. , Allum, B. , Anderson, M. & 72 others Curtis, H., Falk, G., Fennerty, M. B., Fullarton, G., Krishnadath, K., Meltzer, S. J., Armstrong, D., Ganz, R., Cengia, G., Going, J. J., Goldblum, J., Gordon, C., Grabsch, H., Haigh, C., Hongo, M., Johnston, D., Forbes-Young, R., Kay, E., Kaye, P., Lerut, T., Lovat, L. B., Lundell, L., Mairs, P., Shimoda, T., Spechler, S., Sontag, S., Malfertheiner, P., Murray, I., Nanji, M., Poller, D., Ragunath, K., Regula, J., Cestari, R., Shepherd, N., Singh, R., Stein, H. J., Talley, N. J., Galmiche, J-P., Tham, T. C. K., Watson, P., Yerian, L., Rugge, M., Rice, T. W., Hart, J., Gittens, S., Hewin, D., Hochberger, J., Kahrilas, P., Preston, S., Sampliner, R., Sharma, P., Stuart, R., Wang, K., Waxman, I., Abley, C., Loft, D., Penman, I., Shaheen, N. J., Chak, A., Davies, G., Dunn, L., Falck-Ytter, Y., Decaestecker, J., Bhandari, P., Ell, C., Griffin, M., Attwood, S., Barr, H., Allen, J., Ferguson, M. K., Moayyedi, P. & Jankowski, J. A. Z. Aug 2012 In : Gastroenterology. 143, 2, p. 336-346 11 p.

    Research output: Contribution to journalArticle

  5. Education Research: an exploration of case-based learning in neuroscience grand rounds using the Delphi technique

    Rigby, H., Schofield, S., Mann, K. & Benstead, T. Jul 2012 In : Neurology. 79, 3, p. E19-E26 8 p.

    Research output: Contribution to journalArticle

  6. Supporting personal narrative for children with complex communication needs

    Black, R., Waller, A., Turner, R. & Reiter, E. Jul 2012 In : ACM Transactions on Computer-Human Interaction. 19, 2, p. - 35 p.15

    Research output: Contribution to journalArticle

  7. Circularity in ethotic structures

    Budzynska, K. Jun 2012 In : Synthese. n/a, p. 1-23 23 p.

    Research output: Contribution to journalArticle

  8. Improved upper bounds for planarization and series-parallelization of degree-bounded graphs

    Edwards, K. & Farr, G. 31 May 2012 In : Electronic Journal of Combinatorics. 19, 2, 19 p.P25

    Research output: Contribution to journalArticle

  9. An implicit characterization of PSPACE

    Gaboardi, M., Marion, J-Y. & Della Rocca, S. R. Apr 2012 In : ACM Transactions on Computational Logic. 13, 2, 18

    Research output: Contribution to journalArticle

  10. Reports of the AAAI 2011 conference workshops

    Reed, C. & 32 others Agmon, N., Agrawal, V., Aha, D. W., Aloimonos, Y., Buckley, D., Doshi, P., Geib, C., Grasso, F., Green, N., Johnston, B., Williams, M-A., Kaliski, B., Kiekintveld, C., Law, E., Lieberman, H., Mengshoel, O. J., Selker, T., Metzler, T., Modayil, J., Oard, D. W., Onder, N., O'Sullivan, B., Pastra, K., Precup, D., Ramachandran, S., Sariel-Talay, S., Shastri, L., Singh, S., Smith, S. F., Srivastava, S., Sukthankar, G. & Uthus, D. C. 1 Mar 2012 In : AI Magazine. 33, 1, p. 57-70 14 p.

    Research output: Contribution to journalArticle

Previous 1...4 5 6 7 8 9 10 11 ...77 Next

Find Research Units in Discovery

Library & Learning Centre

Contact | Accessibility | Policy