Browse Publications

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

    Improving sampling in evolution strategies through mixture-based distributions built from past problem instances

    Stephen Friess, Peter Tino & Xin Yao, 31 Aug 2020, Parallel Problem Solving from Nature – PPSN XVI. Springer, p. 583-596 14 p. (Lecture Notes in Computer Science; vol. 12269).

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

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

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

  6. Publications content icon
    E-pub ahead of print

    Which places grow faster? An empirical analysis of employment growth factors at the local level for the Spanish economy

    Diana Gutierrez Posada, 12 May 2020, Innovations in Urban and Regional Systems: Contributions from GIS&T, Spatial Analysis and Location Modeling. Thill, J-C. (ed.). Springer, Cham, p. 87-111 25 p.

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

  7. 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 journalArticlepeer-review

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

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

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

  11. Publications content icon
    Published

    Combining character and word embeddings for affect in arabic informal social media microblogs

    Mark Lee, 2020, Natural Language Processing and Information Systems - 25th International Conference on Applications of Natural Language to Information Systems, NLDB 2020, Proceedings. Métais, E., Meziane, F., Horacek, H. & Cimiano, P. (eds.). Springer Vieweg, p. 213-224 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12089 LNCS).

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

  12. 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 journalArticlepeer-review

  13. 2019
  14. 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 journalArticlepeer-review

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

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

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

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

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

  20. Publications content icon
    Published
  21. 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 journalArticlepeer-review

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

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

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

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

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

  27. 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 journalArticlepeer-review

  28. 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 journalArticlepeer-review

  29. Publications content icon
    Published

    Parallel computation of aeroacoustics of industrially relevant complex-geometry aeroengine jets

    Zhong-Nan Wang, 15 Jan 2019, In: Computers and Fluids. 178, p. 166-178 13 p.

    Research output: Contribution to journalArticlepeer-review

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

  31. Publications content icon
    Published

    Three Dimensional Auto-Alignment of the ICSI Pipette

    Ferhat Sadak, Mozafar Saadat & Amir Hajiyavand, 2019, In: IEEE Access. 7, p. 99360-99370 11 p., 8746994.

    Research output: Contribution to journalArticlepeer-review

  32. 2018
  33. 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 articlepeer-review

  34. 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 journalArticlepeer-review

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

  36. 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)peer-review

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

  38. Publications content icon
    E-pub ahead of print

    A model of heritage content to support the design and analysis of video games for history education

    Bob Stone, 18 Sep 2018, In: Journal of Computers in Education. p. 1-26 28 p.

    Research output: Contribution to journalArticlepeer-review

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

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

  41. Publications content icon
    Published

    Natural convection and solidification of phase-change materials in circular pipes: A SPH approach

    Alessio Alexiadis, 1 Jul 2018, In: Computational Materials Science. 150, p. 475-483 9 p.

    Research output: Contribution to journalArticlepeer-review

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

  43. Publications content icon
    Published
  44. 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

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

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

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

  48. Publications content icon
    Published

    Quantum-Inspired Immune Clonal Algorithm for solving large-scale capacitated arc routing problems

    Amir Ghalamzan Esfahani, Rustam Stolkin, 1 Mar 2018, In: Memetic Computing. 10, 1, p. 81-102 22 p.

    Research output: Contribution to journalArticlepeer-review

  49. Publications content icon
    Published

    Beam steering mimo antenna for mobile phone of 5g cellular communications operating at mm-wave frequencies: Design

    Peter Gardner, Alexandros Feresidis, 31 Jan 2018, Recent Advances in Information, Communications and Signal Processing. River Publishers, p. 35-64 30 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

  51. Publications content icon
    Published

    Theory driven design of efficient genetic algorithms for a classical graph problem

    Per Kristian Lehre, 1 Jan 2018, In: Operations Research/ Computer Science Interfaces Series. 62, p. 125-140 16 p.

    Research output: Contribution to journalArticlepeer-review

  52. 2017
  53. Publications content icon
    Published

    Predicting upper limb discomfort for plastic surgeons wearing loupes based on multi-objective optimization

    Francois-Xavier Li, 21 Nov 2017, In: Cogent Engineering. 4, 1, 1398702.

    Research output: Contribution to journalArticlepeer-review

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

Previous 1 2 3 4 5 Next