Browse Publications

  1. 2013
  2. Publications content icon
    Published

    Continuity of gödel's system T definable functionals via effectful forcing

    Martin Escardo, 4 Nov 2013, In: Electronic Notes in Theoretical Computer Science. 298, p. 119-141 23 p.

    Research output: Contribution to journalArticlepeer-review

  3. Publications content icon
    Published

    Non-uniform sampling strategies for digital control

    Roger Dixon, 1 Dec 2013, In: International Journal of Systems Science. 44, 12, p. 2234-2254 21 p.

    Research output: Contribution to journalArticlepeer-review

  4. 2014
  5. Publications content icon
    Published

    3D articulated registration of the mouse hind limb for bone morphometric analysis in rheumatoid arthritis

    Amy Naylor, , Andrew Filer & Ela Claridge, 2014, Biomedical Image Registration: 6th International Workshop, WBIR 2014, London, UK, July 7-8, 2014. Proceedings. Ourselin, S. & Modat, M. (eds.). Springer, Vol. 8545. p. 41-50 (Lecture Notes in Computer Science ; vol. 8545).

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

  6. Publications content icon
    Published

    A graph theoretic approach for object shape representation in compositional hierarchies using a hybrid generative-descriptive model

    Mete Ozay, Ales Leonardis & Jeremy Wyatt, 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). PART 3 ed. Springer, Vol. 8691 LNCS. p. 566-581 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8691 , no. 3).

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

  7. Publications content icon
    Published

    Abstract datatypes for real numbers in type theory

    Martin Escardo & , 2014, Rewriting and Typed Lambda Calculi: Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings. Dowek, G. (ed.). Springer, Vol. 8560 LNCS. p. 208-223 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8560 LNCS).

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

  8. Publications content icon
    Published

    Acknowledging discourse function for sentiment analysis

    Phillip Smith & Mark Lee, 2014, Computational Linguistics and Intelligent Text Processing : 15th International Conference, CICLing 2014, Kathmandu, Nepal, April 6-12, 2014, Proceedings, Part II. Gelbukh, A. (ed.). Springer, Vol. 8404 LNCS. p. 45-52 8 p. (Lecture Notes in Computer Science ; vol. 8404).

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

  9. Publications content icon
    Published

    An immune-inspired algorithm for the set cover problem

    Jon Rowe & Christine Zarges, 2014, Parallel Problem Solving from Nature: PPSN XIII - 13th International Conference, Ljubljana, Slovenia, September 13-17, 2014. Proceedings. Bartz-Beielstein, T., Branke, J., Filipič, B. & Smith, J. (eds.). Springer, Vol. 8672. p. 243-251 9 p. (Lecture Notes in Computer Science; vol. 8672).

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

  10. Publications content icon
    Published

    Bayes optimality of human perception, action and learning: behavioural and neural evidence

    Ulrik Beierholm, 2014, Brain-Inspired Computing: Lecture Notes in Computer Science. Springer, Vol. 8603. p. 117-129 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8603).

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

  11. Publications content icon
    Published

    Bounded linear types in a resource semiring

    Dan Ghica & , 2014, Programming Languages and Systems: 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings. Springer, Vol. 8410. p. 331-350 20 p. (Lecture Notes in Computer Science ; vol. 8410).

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

  12. Publications content icon
    Published

    Combining systems for mathematical creativity (invited talk)

    Volker Sorge, 2014, Artificial Intelligence and Symbolic Computation : 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings. Aranda-Corral, G. A., Cal;met, J. & Martin-Mateos, F. J. (eds.). Springer, Vol. 8884. p. 7-8 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8884).

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

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