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

    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

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

  46. Publications content icon
    Published
  47. 2017
  48. Publications content icon
    Published
  49. 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

  50. Publications content icon
    E-pub ahead of print
  51. Publications content icon
    Published
  52. 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

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

  54. Publications content icon
    E-pub ahead of print
  55. 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

  56. Publications content icon
    Published

    Student preferences for visualising uncertainty in open learner models

    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. 445-449 5 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

  57. Publications content icon
    Published

    Populations Can Be Essential in Tracking Dynamic Optima

    Per Kristian Lehre, 1 Jun 2017, In : Algorithmica. 78, 2, p. 660-680 21 p.

    Research output: Contribution to journalArticle

  58. Publications content icon
    Published

    On linear rewriting systems for Boolean logic and some applications to proof theory

    Anupam Das, 27 Apr 2017, In : Logical Methods in Computer Science. 12, 4, p. 1-27 27 p., 9.

    Research output: Contribution to journalArticle

  59. Publications content icon
    Published

    A tight algorithm for Strongly Connected Steiner Subgraph on two terminals with demands

    Rajesh Chitnis, 1 Apr 2017, In : Algorithmica. 77, 4, p. 1216-1239 24 p.

    Research output: Contribution to journalArticle

  60. Publications content icon
    Published

    Partiality, revisited: The partiality monad as a quotient inductive-inductive type

    Nicolai Kraus, 16 Mar 2017, Foundations of Software Science and Computation Structures : 20th International Conference, FOSSACS 2017 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Proceedings. Esparza, J. & Murawski, A. S. (eds.). Springer, p. 534-549 16 p. (Lecture Notes in Computer Science; vol. 10203).

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

  61. Publications content icon
    Published

    Efficient finite field multiplication for isogeny based post quantum cryptography

    Sujoy Sinha Roy, 9 Mar 2017, Arithmetic of Finite Fields: 6th International Workshop, WAIFI 2016, Ghent, Belgium, July 13-15, 2016, Revised Selected Papers. Duquesne, S. & Petkova-Nikova, S. (eds.). Springer Verlag, p. 193-207 15 p. (Lecture Notes in Computer Science; vol. 10064 ).

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

  62. Publications content icon
    E-pub ahead of print

    Analysis of the Inertia and Dynamics of Grasped Objects, for Choosing Optimal Grasps to Enable Torque-Efficient Post-Grasp Manipulations

    Amir Ghalamzan Esfahani, Rustam Stolkin, Luca Baronti, Marek Kopicki & Marco Castellani, 2 Jan 2017, 2016 IEEE-RAS International Conference on Humanoid Robots. IEEE Xplore

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

  63. Publications content icon
    Published

    A practical energy modeling method for industrial robots in manufacturing

    Duc Pham, 1 Jan 2017, Challenges and Opportunity with Big Data: 19th Monterey Workshop 2016, Beijing, China, October 8–11, 2016 Revised Selected Papers. Zhang, L., Ren, L. & Kordon, F. (eds.). Springer Verlag, p. 25-36 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10228 LNCS).

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

  64. Publications content icon
    Published

    External force detection for physical human-robot interaction using dynamic model identification

    Duc Pham, 1 Jan 2017, Intelligent Robotics and Applications : 10th International Conference, ICIRA 2017, 17 Wuhan, China, August 16–18, 2017, Proceedings, Part 1. Huang, Y., Wu, H., Liu, H. & Yin, Z. (eds.). Springer Verlag, p. 581-592 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10462 LNAI).

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

  65. Publications content icon
    Published

    Manufacturing service reconfiguration optimization using hybrid bees algorithm in cloud manufacturing

    Duc Pham, 1 Jan 2017, Challenges and Opportunity with Big Data : 19th Monterey Workshop 2016, Beijing, China, October 8–11, 2016, Revised Selected Papers. Zhang, L., Ren, L. & Kordon, F. (eds.). Springer Verlag, p. 87-98 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10228 LNCS).

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

  66. Publications content icon
    Published
  67. Publications content icon
    Published

    Modeling of digital twin workshop based on perception data

    Duc Pham, 1 Jan 2017, Intelligent Robotics and Applications : 10th International Conference, ICIRA 2017, Wuhan, China, August 16–18, 2017, Proceedings, Part III. Huang, Y., Wu, H., Liu, H. & Yin, Z. (eds.). Springer Verlag, p. 3-14 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10464 LNAI).

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

  68. Publications content icon
    Published

    A market-based approach for detecting malware in the cloud via introspection

    Tom Chothia & Rami Bahsoon, 2017, Service-Oriented Computing - 15th International Conference, ICSOC 2017, Proceedings. Maximilien, M., Vallecillo, A., Wang, J. & Oriol, M. (eds.). Springer Verlag, p. 722-730 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10601 LNCS).

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

  69. Publications content icon
    Published
  70. 2016
  71. Publications content icon
    Published

    Integrating phenotype ontologies with PhenomeNET

    Georgios Gkoutos, 22 Dec 2016, OM 2016 - Ontology Matching: Proceedings of the 11th International Workshop on Ontology Matching. CEUR, Vol. 1766. p. 201-209 9 p. (CEUR Workshop Proceedings; vol. 1766).

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

  72. Publications content icon
    Published

    How to determine if a random graph with a fixed degree sequence has a giant component

    Felix Joos, Guillem Perarnau, 14 Dec 2016, 2016 IEEE 57th Annual Symposium on Foundations of Computer Science (FOCS). IEEE Computer Society, Vol. 2016-December. p. 695-703 9 p. 7782984. (Symposium on Foundations of Computer Science. Annual Proceedings).

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

  73. Publications content icon
    Published

    The Planteome project

    Georgios Gkoutos, 30 Nov 2016, ICBO-BioCreative 2016 Food, Nutrition, Health and Environment for the 9 Billion: Proceedings of the Joint International Conference on Biological Ontology and BioCreative. Jaiswal, P., Hoehndorf, R., Arighi, C. & Meier, A. (eds.). CEUR, Vol. 1747. (CEUR Workshop Proceedings; vol. 1747).

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

  74. Publications content icon
    Published

    To MIREOT or not to MIREOT? A case study of the impact of using MIREOT in the Experimental Factor Ontology (EFO)

    Luke Slater, Georgios Gkoutos, 30 Nov 2016, ICBO-BioCreative 2016 Food, Nutrition, Health and Environment for the 9 Billion: Proceedings of the Joint International Conference on Biological Ontology and BioCreative. Jaiswal, P., Hoehndorf, R., Arighi, C. & Meier, A. (eds.). Vol. 1747.

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

  75. Publications content icon
    Published

    Tight bounds for Gomory-Hu-like cut counting

    Rajesh Chitnis, 28 Sep 2016, Graph-Theoretic Concepts in Computer Science : 42nd International Workshop, WG 2016, Istanbul, Turkey, June 22-24, 2016, Revised Selected Papers. Heggernes, P. (ed.). Springer Verlag, p. 133-144 (Lecture Notes in Computer Science ; vol. 9941).

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

  76. Publications content icon
    E-pub ahead of print

    Finding small sets of random fourier features for shift-invariant kernel approximation

    Frank-Michael Schleif, Ata Kaban & Peter Tino, 9 Sep 2016, Artificial Neural Networks in Pattern Recognition - 7th IAPR TC3 Workshop, ANNPR 2016, Proceedings. Springer Verlag, Vol. 9896 LNAI. p. 42-54 13 p. (Lecture Notes in Computer Science; vol. 9896 LNAI).

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

  77. Publications content icon
    Published

    Emergence of diversity and its benefits for crossover in genetic algorithms

    Per Kristian Lehre, 31 Aug 2016, Parallel Problem Solving from Nature - 14th International Conference, PPSN 2016, Proceedings. Springer Verlag, Vol. 9921 LNCS. p. 890-900 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9921 LNCS).

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

  78. Publications content icon
    Published

    Self-adaptation of mutation rates in non-elitist populations

    Per Kristian Lehre, 31 Aug 2016, Parallel Problem Solving from Nature - 14th International Conference, PPSN 2016, Proceedings. Springer Verlag, Vol. 9921 LNCS. p. 803-813 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9921 LNCS).

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

  79. Publications content icon
    Published

    Designing FPT algorithms for cut problems using randomized contractions

    Rajesh Chitnis, 6 Jul 2016, In : SIAM Journal on Computing. 45, 4, p. 1171-1229 59 p.

    Research output: Contribution to journalArticle

  80. Publications content icon
    Published

    Some wellfounded trees in UniMath

    Benedikt Ahrens, 6 Jul 2016, Mathematical Software - ICMS 2016 : 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings. Greuel, G-M., Koch, T., Paule, P. & Sommese, A. (eds.). Springer Verlag, Vol. 9725. p. 9-17 (Lecture Notes in Computer Science ; vol. 9725).

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

  81. Publications content icon
    Published

    Runtime Analysis of Non-elitist Populations: From Classical Optimisation to Partial Information

    Per Kristian Lehre, 1 Jul 2016, In : Algorithmica. 75, 3, p. 428-461 34 p.

    Research output: Contribution to journalArticle

  82. Publications content icon
    E-pub ahead of print

    List H-coloring a graph by removing few vertices

    Rajesh Chitnis, 27 Apr 2016, In : Algorithmica. 78, 1, p. 110-146 37 p.

    Research output: Contribution to journalArticle

  83. Publications content icon
    Published

    Additively homomorphic ring-LWE masking

    Sujoy Sinha Roy, 4 Feb 2016, Post-Quantum Cryptography : 7th International Workshop, PQCrypto 2016, Fukuoka, Japan, February 24-26, 2016, Proceedings. Takagi, T. (ed.). Springer Verlag, p. 233-244 12 p. (Lecture Notes in Computer Science; vol. 9606).

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

  84. Publications content icon
    Published

    A systematic review of service level management in the cloud

    Rami Bahsoon, 1 Feb 2016, In : ACM Computing Surveys. 48, 3, 27 p., 43.

    Research output: Contribution to journalArticle

  85. Publications content icon
    Published

    Light scattering and optical diffusion from willemite spherulites

    Haider Butt, Afif Batal, Aydin Sabouri & Carl Anthony, 1 Feb 2016, In : Optical Materials Express. 52, p. 163-172 10 p.

    Research output: Contribution to journalArticle

  86. Publications content icon
    Published

    Limits to learning in reinforcement learning hyper-heuristics

    Per Kristian Lehre, 2016, Evolutionary Computation in Combinatorial Optimization - 16th European Conference, EvoCOP 2016, Proceedings. Springer Verlag, Vol. 9595. p. 170-185 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9595).

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

  87. 2015
  88. Publications content icon
    Published

    Lightweight coprocessor for koblitz curves: 283-bit ecc including scalar conversion with only 4300 gates

    Sujoy Sinha Roy, 13 Sep 2015, Cryptographic Hardware and Embedded Systems - CHES 2015: 17th International Workshop, Saint-Malo, France, September 13-16, 2015, Proceedings. Güneysu, T. & Handschuh, H. (eds.). Springer Verlag, p. 102-122 (Lecture Notes in Computer Science ; vol. 9293).

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

  89. Publications content icon
    Published

    On nested sequents for constructive modal logics

    Anupam Das, 3 Sep 2015, In : Logical Methods in Computer Science. 11, 3, 33 p., 7.

    Research output: Contribution to journalArticle

  90. Publications content icon
    Published

    A masked ring-LWE implementation

    Sujoy Sinha Roy, 1 Sep 2015, Cryptographic Hardware and Embedded Systems - CHES 2015: 17th International Workshop Saint-Malo, France, September 13–16, 2015 Proceedings. Güneysu, T. & Handschuh, H. (eds.). Springer Verlag, p. 683-702 (Lecture Notes in Computer Science ; vol. 9293).

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

  91. Publications content icon
    Published

    Efficient ring-LWE encryption on 8-bit AVR processors

    Sujoy Sinha Roy, 1 Sep 2015, Cryptographic Hardware and Embedded Systems - CHES 2015: 17th International Workshop, Saint-Malo, France, September 13-16, 2015, Proceedings. Güneysu, T. & Handschuh, H. (eds.). Springer Verlag, p. 663-682 (Lecture Notes in Computer Science ; vol. 9293).

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

  92. Publications content icon
    Published

    Many-objective evolutionary algorithms: A survey

    Xin Yao, 1 Sep 2015, In : ACM Computing Surveys. 48, 1, A10.

    Research output: Contribution to journalArticle

  93. Publications content icon
    Published

    Toward a Smarter Cloud: Self-Aware Autoscaling of Cloud Configurations and Resources

    Tao Chen & Rami Bahsoon, 1 Sep 2015, In : Computer. 48, 9, p. 93-96 4 p., 7274426.

    Research output: Contribution to journalArticle

  94. Publications content icon
    Published
  95. Publications content icon
    Published

    2015 neuchȃtel’s cast-as-intended verification mechanism

    David Galindo Chacon, 13 Aug 2015, E-Voting and Identity: 5th International Conference, VoteID 2015, Bern, Switzerland, September 2-4, 2015, Proceedings. Haenni, R., Koenig, R. E. & Wikström, D. (eds.). Springer, Vol. 9269. p. 3-18 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9269).

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

  96. Publications content icon
    Published

    Architectural aspects of self-Aware and self-expressive computing systems: From psychology to engineering

    Tao Chen, Rami Bahsoon & Xin Yao, 1 Aug 2015, In : Computer. 48, 8, p. 62-70 9 p., 7185305.

    Research output: Contribution to journalArticle

  97. Publications content icon
    Published

    User study on 3D multitouch interaction (3DMi) and gaze on surface computing

    Neil Cooke, 21 Jul 2015, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, Vol. 9187. p. 425-433 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9187).

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

  98. Publications content icon
    Published

    Relay Cost Bounding for Contactless EMV Payments

    Tom Chothia, Flavio Garcia, Joeri De Ruiter, 16 Jul 2015, Financial Cryptography and Data Security: 19th International Conference, FC 2015, San Juan, Puerto Rico, January 26-30, 2015, Revised Selected Papers. Böhme, R. & Okamoto, T. (eds.). Springer, Vol. 8975 LNCS. p. 189-206 (Lecture Notes in Computer Science; vol. 8975).

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

  99. Publications content icon
    Published

    Self-Aware and Self-Expressive Systems

    Xin Yao, 1 Jul 2015, In : Computer. 48, 7, p. 18-20 3 p., 7163237.

    Research output: Contribution to journalArticle

  100. Publications content icon
    Published
  101. Publications content icon
    Published
  102. Publications content icon
    Published
  103. Publications content icon
    Published

    Optimized adaptive perturb and observe maximum power point tracking control for photovoltaic generation

    Pietro Tricoli, 27 Apr 2015, In : Energies. 8, 5, p. 3418-3436 19 p.

    Research output: Contribution to journalArticle

  104. Publications content icon
    Published

    Machine decision makers as a laboratory for interactive EMO

    Joshua Knowles, 18 Mar 2015, Evolutionary multi-criterion optimization: 8th international conference, EMO 2015 Guimarães, Portugal, March 29 - April 1, 2015 proceedings, Part II. Springer, Vol. 9019. p. 295-309 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9019).

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

  105. Publications content icon
    Published

    A new semantic model for domain-ontology learning

    John Barnden, 4 Mar 2015, Human Centred Computing: First International Conference, HCC 2014, Phnom Penh, Cambodia, November 27-29, 2014, Revised Selected Papers. Zu, Q., Hu, B., Gu, N. & Seng, S. (eds.). Springer, Vol. 8944. p. 140-155 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8944).

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

  106. Publications content icon
    Published

    On the relative proof complexity of deep inference via atomic flows

    Anupam Das, 4 Mar 2015, In : Logical Methods in Computer Science. 11, 1, 23 p., 4.

    Research output: Contribution to journalArticle

Previous 1 2 Next