Browse Publications

  1. 2019
  2. Publications content icon
    E-pub ahead of print

    The 2019 comparison of tools for the analysis of quantitative formal models (QComp 2019 competition report)

    David Parker, 4 Apr 2019, Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2019. Beyer, D., Huisman, M., Kordon, F. & Steffen, B. (eds.). Springer, Vol. 3. p. 69-92 24 p. (Lecture Notes in Computer Science; vol. 11429).

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

  3. Publications content icon
    Published

    Level-based analysis of the univariate marginal distribution algorithm

    Per Kristian Lehre & Hai Nguyen, 15 Feb 2019, In : Algorithmica. 81, 2, p. 668-702 35 p.

    Research output: Contribution to journalArticle

  4. Publications content icon
    Published

    A sequent calculus for a semi-associative law

    Noam Zeilberger, 5 Feb 2019, In : Logical Methods in Computer Science. 15, 1, p. 9:1-9:23 23 p., 9.

    Research output: Contribution to journalArticle

  5. Publications content icon

    Point Pair Feature Matching: Evaluating Methods to Detect Simple Shapes

    Martin Rudorfer, 2019, Computer Vision Systems - 12th International Conference, ICVS 2019, Proceedings. Tzovaras, D., Giakoumis, D., Vincze, M. & Argyros, A. (eds.). Springer Vieweg, p. 445-456 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11754 LNCS).

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

  6. 2018
  7. Publications content icon
    Published

    Vec2SPARQL: integrating SPARQL queries and knowledge graph embeddings

    Andreas Karwath, Georgios Gkoutos, 13 Dec 2018, In : CEUR Workshop Proceedings. 2275, 12 p., 12.

    Research output: Contribution to journalConference article

  8. Publications content icon
    Published

    The sequent calculus of skew monoidal categories

    Noam Zeilberger, 1 Dec 2018, In : Electronic Notes in Theoretical Computer Science. 341, p. 345-370 26 p.

    Research output: Contribution to journalArticle

  9. Publications content icon
    Published

    Combining deep learning and shape priors for bi-ventricular segmentation of volumetric cardiac magnetic resonance images

    Jinming Duan, 23 Nov 2018, Shape in Medical Imaging : nternational Workshop, ShapeMI 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 20, 2018, Proceedings. Lombaert, H., Paniagua, B., Egger, B., Lüthi, M., Reuter, M. & Wachinger, C. (eds.). Springer Verlag, p. 258-267 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11167 LNCS).

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

  10. Publications content icon
    Published

    What lies beneath: virtual and augmented reality techniques for maritime heritage

    Bob Stone, 1 Oct 2018, Underwater worlds: submerged visions in science and culture. Abberley, W. (ed.). Cambridge Scholars Publishing, p. 208-238 30 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  11. Publications content icon
    Published

    Cardiac MR segmentation from undersampled k-space using deep latent representation learning

    Jinming Duan, 26 Sep 2018, Medical Image Computing and Computer Assisted Intervention – MICCAI 2018: 21st International Conference, Granada, Spain, September 16-20, 2018, Proceedings, Part I. Schnabel, J. A., Davatzikos, C., Alberola-López, C., Fichtinger, G. & Frangi, A. F. (eds.). Springer Verlag, p. 259-267 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11070 LNCS).

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

  12. Publications content icon
    E-pub ahead of print
Previous 1 2 3 4 5 6 7 8 ...20 Next