Browse Publications

  1. 2020
  2. Publications content icon
    Published
  3. Publications content icon
    Published

    A Deep Learning Approach Towards Railway Safety Risk Assessment

    Sakdirat Kaewunruen & Min An, 11 Jun 2020, In : IEEE Access. 8, 1, p. 102811-102832 22 p.

    Research output: Contribution to journalArticle

  4. Publications content icon
    Published

    Automatic road survey by using vehicle mounted laser for road asset management

    Wenda Li, Michael Burrow, Nicole Metje & Gurmel Ghataora, 14 May 2020, In : IEEE Access. 8, p. 94643-94653 11 p.

    Research output: Contribution to journalArticle

  5. Publications content icon
    E-pub ahead of print

    Smart remanufacturing: a review and research framework

    Duc Pham, 22 Apr 2020, In : Journal of Manufacturing Technology Management. 31 p.

    Research output: Contribution to journalArticle

  6. Publications content icon
    Published

    Seamless integration of active antenna with improved power efficiency

    Yi Wang, Peter Gardner, 6 Mar 2020, In : IEEE Access. 8, p. 48399-48407 9 p., 9026889.

    Research output: Contribution to journalArticle

  7. Publications content icon
    Published

    Student loneliness: the role of social media through life transitions

    Finola Kerrigan, Mar 2020, In : Computers & Education. 146, 11 p., 103754.

    Research output: Contribution to journalArticle

  8. Publications content icon
    Published

    Self-healing of structural carbon fibres in polymer composites

    Yongjing Wang Wang & Duc Pham, 1 Jan 2020, In : Cogent Engineering. 1799909.

    Research output: Contribution to journalArticle

  9. Publications content icon
    Published

    Up-conversion device based on quantum dots with high-conversion efficiency over 6%

    Haider Butt, Zoe Pikramenou, 2020, In : IEEE Access. 8, p. 71041-71049 9 p., 9063450.

    Research output: Contribution to journalArticle

  10. 2019
  11. Publications content icon
    Published

    Learning from accidents: machine learning for safety at railway stations

    Sakdirat Kaewunruen & Min An, 24 Dec 2019, In : IEEE Access. 8, p. 633-648 16 p.

    Research output: Contribution to journalArticle

  12. Publications content icon
    Published

    Verification and control of turn-based probabilistic real-time games

    David Parker, 4 Nov 2019, The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy: Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday. Alvim, M., Chatzikokolakis, K., Olarte, C. & Valencia, F. (eds.). Springer, Vol. 11760. p. 379-396 16 p. (Lecture Notes in Computer Science).

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

  13. Publications content icon
    Published

    Data efficient unsupervised domain adaptation for cross-modality image segmentation

    Jinming Duan, 10 Oct 2019, Medical Image Computing and Computer Assisted Intervention – MICCAI 2019: 22nd International Conference, Shenzhen, China, October 13–17, 2019, Proceedings, Part II. Shen, D., Liu, T., Peters, T. M., Staib, L. H., Essert, C., Zhou, S., Yap, P-T. & Khan, A. (eds.). Springer, p. 669-677 9 p. (Lecture Notes in Computer Science ; vol. 11765).

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

  14. Publications content icon
    Published

    Self-supervised learning for cardiac MR image segmentation by anatomical position prediction

    Jinming Duan, 10 Oct 2019, Medical Image Computing and Computer Assisted Intervention – MICCAI 2019: 22nd International Conference, Shenzhen, China, October 13–17, 2019, Proceedings, Part II. Shen, D., Liu, T., Peters, T. M., Staib, L. H., Essert, C., Zhou, S., Yap, P-T. & Khan, A. (eds.). Springer, p. 541-549 9 p. (Lecture Notes in Computer Science ; vol. ecture Notes in Computer Science ).

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

  15. Publications content icon
    Published

    VS-Net: variable splitting network for accelerated parallel MRI reconstruction

    Jinming Duan, 10 Oct 2019, Medical Image Computing and Computer Assisted Intervention – MICCAI 2019: 22nd International Conference, Shenzhen, China, October 13–17, 2019, Proceedings, Part IV. Shen, D., Liu, T., Peters, T. M., Staib, L. H., Essert, C., Zhou, S., Yap, P-T. & Khan, A. (eds.). Springer, p. 713-722 10 p. (Lecture Notes in Computer Science; vol. 11767).

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

  16. Publications content icon
    Published

    k-t NEXT: dynamic MR image reconstruction exploiting spatio-temporal correlations

    Jinming Duan, 10 Oct 2019, Medical Image Computing and Computer Assisted Intervention – MICCAI 2019: 22nd International Conference, Shenzhen, China, October 13–17, 2019, Proceedings, Part II. Shen, D., Liu, T., Peters, T. M., Staib, L. H., Essert, C., Zhou, S., Yap, P-T. & Khan, A. (eds.). Springer, p. 505-513 9 p. (Lecture Notes in Computer Science; vol. 11765).

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

  17. Publications content icon
    Published
  18. Publications content icon
    Published

    A tight lower bound for planar Steiner Orientation

    Rajesh Chitnis, 1 Aug 2019, In : Algorithmica. 81, 8, p. 3200-3216 17 p.

    Research output: Contribution to journalArticle

  19. Publications content icon
    Published

    Development of a questionnaire to measure immersion in video media: the film IEQ

    Sandy Gould, 4 Jun 2019, TVX '19 Proceedings of the 2019 ACM International Conference on Interactive Experiences for TV and Online Video. Association for Computing Machinery (ACM), p. 35-46

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

  20. Publications content icon
    Published

    Resample-based ensemble framework for drifting imbalanced data streams

    Shuo Wang, 6 May 2019, In : IEEE Access. 7, p. 65103-65115 13 p.

    Research output: Contribution to journalArticle

  21. Publications content icon
    Published

    Choose Your Pwn Adventure: Adding Competition and Storytelling to an Introductory Cybersecurity Course

    Tom Chothia, Chris Novakovic, Andreea Radu & Richard J Thomas, 27 Apr 2019, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, p. 141-172 32 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11345 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  22. Publications content icon
    E-pub ahead of print

    Factoring Products of Braids via Garside Normal Form

    Christophe Petit, 6 Apr 2019, Public-Key Cryptography – PKC 2019 - 22nd IACR International Conference on Practice and Theory of Public-Key Cryptography, Proceedings: 22nd IACR International Conference on Practice and Theory of Public-Key Cryptography, Beijing, China, April 14-17, 2019, Proceedings, Part II. Sako, K. & Lin, D. (eds.). Springer, p. 646-678 33 p. (Lecture Notes in Computer Science; vol. 11443 LNCS).

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

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

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

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

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

  27. 2018
  28. 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

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

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

  31. 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)

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

  33. Publications content icon
    E-pub ahead of print
  34. Publications content icon
    Published

    Deep Nested level sets: fully automated segmentation of cardiac MR images in patients with pulmonary hypertension

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

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

  35. Publications content icon
    Published

    Thinking with hands, acting with minds: embodied cognition and creative practice

    Chris Baber, 8 Aug 2018, Proceedings of the 20th Congress of the International Ergonomics Association (IEA 2018) - Volume VII: Ergonomics in Design, Design for All, Activity Theories for Work Analysis and Design, Affective Design. Bagnara, S., Tartaglia, R., Albolino, S., Alexander, T. & Fujita, Y. (eds.). 1st ed. 2019 edition ed. Springer Verlag, Vol. 8. p. 225-234 10 p. (Advances in Intelligent Systems and Computing; vol. 824).

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

  36. Publications content icon
    Published
  37. Publications content icon
    Published

    Focussing, MALL and the Polynomial Hierarchy

    Anupam Das, 30 Jun 2018, Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings. Sebastiani, R., Galmiche, D. & Schulz, S. (eds.). Springer, p. 689-705 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10900 LNAI).

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

  38. Publications content icon
    Published
  39. Publications content icon
    Published

    A tight lower bound for steiner orientation

    Rajesh Chitnis, 25 Apr 2018, Computer Science - Theory and Applications : 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6–10, 2018, Proceedings. Podolskii, V. V. & Fomin, F. V. (eds.). Springer Verlag, p. 65-77 13 p. (Lecture Notes in Computer Science ; vol. 10846 ).

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

  40. Publications content icon
    Published

    Can we create large k-cores by adding few edges?

    Rajesh Chitnis, 25 Apr 2018, Computer Science - Theory and Applications : 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6–10, 2018, Proceedings. Podolskii, V. V. & Fomin, F. V. (eds.). Springer Verlag, p. 78-89 11 p. (Lecture Notes in Computer Science ; vol. 10846).

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

  41. Publications content icon
    Published

    Quotient inductive-inductive types

    Nicolai Kraus, 14 Apr 2018, Foundations of Software Science and Computation Structures : 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Proceedings. Baier, C. & Dal Lago, U. (eds.). Springer Verlag, p. 293-310 (Lecture Notes in Computer Science ; vol. 10803 ).

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

  42. Publications content icon
    Published

    Algorithms and hardness results for nearest neighbor problems in bicolored point sets

    Rajesh Chitnis, 13 Mar 2018, LATIN 2018 -Theoretical Informatics: 13th Latin American Symposium, Buenos Aires, Argentina, April 16-19, 2018, Proceedings. Mosteiro, M. A., Bender, M. A. & Farach-Colton, M. (eds.). Springer Verlag, p. 80-93 (Lecture Notes in Computer Science ; vol. 10807).

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

  43. Publications content icon
    Published
  44. Publications content icon
    Published

    A better understanding of machine learning malware misclassifcation

    Tom Chothia & Behzad Bordbar, 1 Jan 2018, Information Systems Security and Privacy - 3rd International Conference, ICISSP 2017, Revised Selected Papers. Mori, P., Furnell, S. & Camp, O. (eds.). Springer Verlag, p. 35-58 24 p. (Communications in Computer and Information Science; vol. 867).

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

  45. Publications content icon
    Published
  46. 2017
  47. Publications content icon
    Published
  48. Publications content icon
    Published

    A characterization of testable hypergraph properties

    Felix Joos, Jaehoon Kim, Daniela Kuhn & Deryk Osthus, 13 Nov 2017, Proceedings - 58th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2017. IEEE Computer Society Press, Vol. 2017-October. p. 859-867 9 p. 8104116

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

  49. Publications content icon
    E-pub ahead of print
  50. Publications content icon
    Published
  51. Publications content icon
    Published

    Adjusting parallel coordinates for investigating multi-objective search

    Miqing Li, Ran Cheng & Xin Yao, 14 Oct 2017, Simulated Evolution and Learning : 11th International Conference, SEAL 2017, Proceedings. Li, X., Zhang, M., Zhang, Q., Middendorf, M., Tan, K. C., Tan, Y., Jin, Y., Shi, Y. & Tang, K. (eds.). Springer, p. 224-235 12 p. (Lecture Notes in Computer Science; vol. 10593 ).

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

  52. Publications content icon
    Published

    A cut-free cyclic proof system for kleene algebra

    Anupam Das, 30 Aug 2017, Automated Reasoning with Analytic Tableaux and Related Methods : 26th International Conference, TABLEAUX 2017, Brasilia, Brazil, September 25-28 2017, Proceedings. Nalon, C. & Schmidt, R. A. (eds.). Springer, p. 261-277 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10501 LNAI).

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

  53. Publications content icon
    E-pub ahead of print
  54. Publications content icon
    Published

    Evaluating the effect of uncertainty visualisation in open learner models on students’ metacognitive skills

    23 Jun 2017, Artificial Intelligence in Education: 18th International Conference, AIED 2017, Wuhan, China, June 28 – July 1, 2017, Proceedings. Springer Verlag, Vol. 10331 LNAI. p. 15-27 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10331 LNAI).

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

Previous 1 2 3 4 Next