Browse Publications

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

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

  3. Publications content icon
    Published

    A Growing Story [President's Message]

    Xin Yao, 12 Oct 2015, In: IEEE Computational Intelligence Magazine. 10, 4, p. 3-3 1 p., 7296714.

    Research output: Contribution to journalArticlepeer-review

  4. Publications content icon
    Published

    A Tight Algorithm for Strongly Connected Steiner Subgraph on Two Terminals with Demands (Extended Abstract)

    Rajesh Chitnis, , , , & , 3 Dec 2014, Parameterized and Exact Computation : 9th International Symposium, IPEC 2014, Wroclaw, Poland, September 10-12, 2014. Revised Selected Papers. Cygan, M. & Heggernes, P. (eds.). Springer Verlag, p. 159-171 (Lecture Notes in Computer Science ; vol. 8894).

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

  5. Publications content icon
    Published

    A constructive model of uniform continuity

    Martin Escardo, 2013, Typed Lambda Calculi and Applications - 11th International Conference, TLCA 2013, Proceedings. p. 236-349 114 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7941 LNCS).

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

  6. Publications content icon
    Published

    A crown jewel defense strategy based particle swarm optimization

    Shan He & , 2012, 2012 IEEE Congress on Evolutionary Computation, CEC 2012. 6256145. (2012 IEEE Congress on Evolutionary Computation, CEC 2012).

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

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

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

  9. Publications content icon
    Published

    A logical approach for behavioural composition of scenario-based models

    Behzad Bordbar & , 2015, Formal Methods and Software Engineering 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings. Editor, M., Conchon, S. & Zaidi, F. (eds.). Springer, Vol. 9407. p. 252-269 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9407).

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

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

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

  12. Publications content icon
    Published

    A memory binary particle swarm optimization

    Shan He & , 2012, 2012 IEEE Congress on Evolutionary Computation, CEC 2012. 6256150. (2012 IEEE Congress on Evolutionary Computation, CEC 2012).

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

  13. Publications content icon
    Published

    A multimodal optimization and surprise based consensus community detection algorithm

    Shan He, , & , 11 Jul 2015, GECCO 2015 - Companion Publication of the 2015 Genetic and Evolutionary Computation Conference. Silva, S. (ed.). Association for Computing Machinery , p. 1407-1408 2 p. (GECCO 2015 - Companion Publication of the 2015 Genetic and Evolutionary Computation Conference).

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

  14. Publications content icon
    Published

    A new memetic algorithm with fitness approximation for the defect-tolerant logic mapping in crossbar-based nanoarchitectures

    Xin Yao, 1 Dec 2014, In: IEEE Transactions on Evolutionary Computation. 18, 6, p. 846-859 14 p., 6655961.

    Research output: Contribution to journalArticlepeer-review

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

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

  17. Publications content icon
    Published

    A proof-theoretic analysis of the classical propositional matrix method

    Eike Ritter & , 1 Feb 2014, In: Journal of Logic and Computation. 24, 1, p. 283-301 19 p.

    Research output: Contribution to journalArticlepeer-review

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

  19. Publications content icon
    Published

    A system-level game semantics

    Dan Ghica & , 24 Sep 2012, In: Electronic Notes in Theoretical Computer Science. 286, p. 191-211 21 p.

    Research output: Contribution to journalArticlepeer-review

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

  21. Publications content icon
    Published

    A test problem for visual investigation of high-dimensional multi-objective search

    Miqing Li, & , 16 Sep 2014, Proceedings of the 2014 IEEE Congress on Evolutionary Computation, CEC 2014. Institute of Electrical and Electronics Engineers (IEEE), p. 2140-2147 6900306

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

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

  23. Publications content icon
    Published

    A tool for estimating information leakage

    Tom Chothia, Yusuke Kawamoto & , 12 Aug 2013, Computer Aided Verification - 25th International Conference, CAV 2013, Proceedings. p. 690-695 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8044 LNCS).

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

  24. Publications content icon
    Published

    ANNE - A new algorithm for evolution of artificial neural network classifier systems

    Marco Castellani, 2006, 2006 IEEE Congress on Evolutionary Computation, CEC 2006. p. 3294-3301 8 p. 1688728

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

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

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

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

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

  29. Publications content icon
    Published

    Agent-based grid load balancing using performance-driven task scheduling

    Stephen Jarvis, & , 2003, Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2003. Institute of Electrical and Electronics Engineers (IEEE), 1213139. (Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2003).

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

  30. Publications content icon
    Published

    Algorithmic solution of higher type equations

    Martin Escardo, Aug 2013, In: Journal of Logic and Computation. 23, 4, p. 839-854 16 p.

    Research output: Contribution to journalArticlepeer-review

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

  32. Publications content icon
    Published

    All cartesian closed categories of quasicontinuous domains consist of domains

    Achim Jung, , & , 23 Aug 2015, In: Theoretical Computer Science. 594, p. 143-150 9 p.

    Research output: Contribution to journalArticlepeer-review

  33. Publications content icon
    Published
  34. Publications content icon
    Published

    An asymptotic bound for the strong chromatic number

    Allan Lo & , Sep 2019, In: Combinatorics, Probability and Computing. 28, 5, p. 768-776 9 p.

    Research output: Contribution to journalArticlepeer-review

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

  36. Publications content icon
    Published

    An implemented context system that combines belief reasoning, metaphor-based reasoning and uncertainty handling

    John Barnden & Mark Lee, 1 Jan 1999, Modeling and Using Context - 2nd International and Interdisciplinary Conference, CONTEXT 1999, Proceedings. Springer Verlag, p. 28-41 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1688).

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

  37. Publications content icon
    Published

    An improved two archive algorithm for many-objective optimization

    Xin Yao, 16 Sep 2014, Proceedings of the 2014 IEEE Congress on Evolutionary Computation, CEC 2014. Institute of Electrical and Electronics Engineers (IEEE), p. 2869-2876 8 p. 6900491

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

  38. Publications content icon
    Published

    An investigation into the application of different performance prediction methods to distributed enterprise applications

    Stephen Jarvis, , , & , Nov 2005, In: Journal of Supercomputing. 34, 2, p. 93-111 19 p.

    Research output: Contribution to journalArticlepeer-review

  39. Publications content icon
    Published

    An investigation of the performance portability of OpenCL

    Stephen Jarvis, 2013, In: Journal of Parallel and Distributed Computing. 73, 11, p. 1439-1450 12 p.

    Research output: Contribution to journalArticlepeer-review

  40. Publications content icon
    Published

    An unstructured CFD mini-application for the performance prediction of a production CFD code

    Stephen Jarvis, 25 May 2020, In: Concurrency Computation. 32, 10, e5443.

    Research output: Contribution to journalArticlepeer-review

  41. Publications content icon
    Published

    Analysing an SQL application with a BSPlib call-graph profiling tool

    Stephen Jarvis, & , 1998, Euro-Par 1998 Parallel Processing - 4th International Conference, Proceedings. Springer Verlag, p. 157-164 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1470 LNCS).

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

  42. Publications content icon
    Published

    Analysing the reliability of actuation elements in series and parallel configurations for high-redundancy actuation

    Roger Dixon, 1 Aug 2013, In: International Journal of Systems Science. 44, 8, p. 1504-1521 18 p.

    Research output: Contribution to journalArticlepeer-review

  43. Publications content icon
    Published

    Assessing the impact of positive feedback in constraint-based tutors

    Devon Barrow, , & , 1 Dec 2008, Intelligent Tutoring Systems - 9th International Conference, ITS 2008, Proceedings. p. 250-259 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5091 LNCS).

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

  44. Publications content icon
    Published

    Automata-Theoretic Semantics of Idealized Algol with Passive Expressions

    Uday Reddy, 4 Nov 2013, p. 325-348. 24 p.

    Research output: Contribution to conference (unpublished)Paperpeer-review

  45. Publications content icon
    Published

    Automated detection of galaxy groups through probabilistic hough transform

    Peter Tino, , Trevor Ponman & , 2015, Neural Information Processing : 22nd International Conference, ICONIP 2015, Istanbul, Turkey, November 9-12, 2015, Proceedings Part III. Arik, S., Huang, T., Lai, W. K. & Lui, Q. (eds.). Springer, Vol. 9491. p. 323-331 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9491).

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

  46. Publications content icon
    Published

    Automatic detection of meddies through texture analysis of sea surface temperature maps

    Marco Castellani & , 2005, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 3808 LNCS. p. 359-370 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3808 LNCS).

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

  47. Publications content icon
    Published

    Automatically calculating quantitative integrity measures for imperative programs

    Tom Chothia, Chris Novakovic & , 2015, Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance : 9th International Workshop, DPM 2014, 7th International Workshop, SETOP 2014, and 3rd International Workshop, QASA 2014, Wroclaw, Poland, September 10-11, 2014. Revised Selected Papers. Garcia-Alfaro, J., Herrera-Joancomartí, J. & Lupu, E. (eds.). Springer, Vol. 8872. p. 250-265 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8872).

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

  49. Publications content icon
    Published

    Black-box search by unbiased variation

    Per Kristian Lehre & , 2010, Proceedings of the 12th Annual Genetic and Evolutionary Computation Conference, GECCO '10. p. 1441-1448 8 p.

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

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

  51. Publications content icon
    Published

    Brief announcement: New streaming algorithms for parameterized maximal matching & beyond

    Rajesh Chitnis, , , & , 13 Jun 2015, SPAA 2015: Proceedings of the 27th ACM Symposium on Parallelism in Algorithms and Architectures. Association for Computing Machinery , p. 56-58 (Annual ACM Symposium on Parallelism in Algorithms and Architectures).

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

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

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

  54. Publications content icon
    Published

    Categorisation of 3D objects in range images using compositional hierarchies of parts based on MDL and entropy selection criteria

    Krzysztof Walas & Ales Leonardis, 2015, Image Analysis: 19th Scandinavian Conference, SCIA 2015, Copenhagen, Denmark, June 15-17, 2015. Proceedings. Paulsen, R. R. & Pedersen, K. S. (eds.). Springer, Vol. 9127. p. 289-301 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9127).

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

  55. Publications content icon
    Published

    Cayley type graphs and cubic graphs of large girth

    John Bray, Chris Parker & , 21 Mar 2000, In: Discrete Mathematics. 214, 1-3, p. 113-121 9 p.

    Research output: Contribution to journalArticlepeer-review

  56. Publications content icon
    Published

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

    Tom Chothia, Chris Novakovic, Andreea-Ina 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

  57. Publications content icon
    Published

    Classification of Maximum Hittings by Large Families

    Richard Mycroft, 16 Nov 2019, In: Graphs and Combinatorics. 36, p. 27-39 13 p.

    Research output: Contribution to journalArticlepeer-review

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

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

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

  61. Publications content icon
    Published

    Community detection in social and biological networks using differential evolution

    Mirco Musolesi, , Daniel Tennant, Ralf Weber, John Heath & Shan He, 30 Oct 2012, Learning and Intelligent Optimization - 6th International Conference, LION 6, Revised Selected Papers. p. 71-85 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7219 LNCS).

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

  62. Publications content icon
    Published

    Community detection using cooperative co-evolutionary differential evolution

    Thomas White, , Mirco Musolesi, Nil Turan Jurdzinski, , Shan He, John Heath & Xin Yao, 2012, Parallel Problem Solving from Nature, PPSN XII - 12th International Conference, Proceedings. PART 2 ed. p. 235-244 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7492 LNCS, no. PART 2).

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

  63. Publications content icon
    Published

    Concentrated hitting times of randomized search heuristics with variable drift

    Per Kristian Lehre & , 2014, Algorithms and Computation - 25th International Symposium, ISAAC 2014, Proceedings. Ahn, H-K. & Shin, C-S. (eds.). Springer Verlag, p. 686-697 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8889).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  64. Publications content icon
    Published

    Connected chord diagrams and bridgeless maps

    Noam Zeilberger, 22 Nov 2019, In: The Electronic Journal of Combinatorics. 26, 4, p. 1-56 56 p., P4.37.

    Research output: Contribution to journalArticlepeer-review

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

  66. Publications content icon
    Published

    Convex Hull-Based Multiobjective Genetic Programming for Maximizing Receiver Operating Characteristic Performance

    Xin Yao, 1 Apr 2015, In: IEEE Transactions on Evolutionary Computation. 19, 2, p. 188-200 13 p., 6762993.

    Research output: Contribution to journalArticlepeer-review

  67. Publications content icon
    Published

    Cooperative co-evolution with differential grouping for large scale optimization

    Xin Yao, Jun 2014, In: IEEE Transactions on Evolutionary Computation. 18, 3, p. 378-393 16 p., 6595612.

    Research output: Contribution to journalArticlepeer-review

  68. Publications content icon
    Published

    Cooperative coevolution with route distance grouping for large-scale capacitated arc routing problems

    Xin Yao, 2014, In: IEEE Transactions on Evolutionary Computation. 18, 3, p. 435-449 15 p., 6595573.

    Research output: Contribution to journalArticlepeer-review

  69. Publications content icon
    Published

    Cryptographic algorithms on the GA144 asynchronous multi-core processor: implementation and side-channel analysis

    David Oswald, Oct 2014, In: Journal of Signal Processing Systems. 77, 1-2, p. 151-167 17 p.

    Research output: Contribution to journalArticlepeer-review

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

  71. Publications content icon
    Published
  72. Publications content icon
    Published

    Decompositions of complete uniform hypergraphs into Hamilton Berge cycles

    Daniela Kuhn & Deryk Osthus, 1 Jan 2014, In: Journal of Combinatorial Theory, Series A. 126, 1, p. 128-135 8 p.

    Research output: Contribution to journalArticlepeer-review

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

  74. Publications content icon
    Published

    Design and usability evaluation of adaptive e-learning systems based on learner knowledge and learning style

    Robert Hendley, 2015, Human-Computer Interaction – INTERACT 2015: 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part II. Abascal, J., Barbosa, S., Fetter, M., Gross, T., Palanque, P. & Winckler, M. (eds.). Springer, Vol. 9297. p. 584-591 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9297).

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

  75. Publications content icon
    Published

    Diversity-driven selection of multiple crossover operators for the capacitated arc routing problem

    Xin Yao, 23 Apr 2014, Evolutionary Computation in Combinatorial Optimisation : 14th European Conference, EvoCOP 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers. Blum, C. & Ochoa, G. (eds.). Springer, Vol. 8600. p. 97-108 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8600).

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

  76. Publications content icon
    Published

    Dragmath

    Christopher Sangwin & , 10 Oct 2010

    Research output: Non-textual formSoftware

  77. Publications content icon
    Published
  78. 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

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

  80. Publications content icon
    Published

    Electronic Notes in Theoretical Computer Science: Preface

    Martin Escardo & Achim Jung, 25 Oct 2004, In: Electronic Notes in Theoretical Computer Science. 73, p. 1-2 2 p.

    Research output: Contribution to journalConference articlepeer-review

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

  82. Publications content icon
    E-pub ahead of print

    Endogenous Queue Number Determination in G/M/s Systems

    Vasco Alves, 17 Apr 2020, (E-pub ahead of print) In: 4OR.

    Research output: Contribution to journalArticlepeer-review

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

  84. Publications content icon
    Published

    Evolving exact integer algorithms with Genetic Programming

    Xin Yao, 16 Sep 2014, Proceedings of the 2014 IEEE Congress on Evolutionary Computation, CEC 2014. Institute of Electrical and Electronics Engineers (IEEE), p. 1816-1823 8 p. 6900292

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

  85. Publications content icon
    Published

    Extended episodic experience in social mediating technology: Our Legacy

    Alan Dix, 2014, Social Computing and Social Media: 6th International Conference, SCSM 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014. Proceedings. Meiselwitz, G. (ed.). Springer, Vol. 8531 LNCS. p. 452-461 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8531 LNCS).

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

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

  87. Publications content icon
    E-pub ahead of print

    Factoring Products of Braids via Garside Normal Form

    Christophe Petit, 6 Apr 2019, (E-pub ahead of print) 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

  88. Publications content icon
    Published

    Faster exact algorithms for some terminal set problems

    Rajesh Chitnis, , , , & , 1 Sep 2017, In: Journal of Computer and System Sciences. 88, September, p. 195-207 13 p.

    Research output: Contribution to journalArticlepeer-review

  89. 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, (E-pub ahead of print) 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

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

  91. Publications content icon
    Published

    Fractional and integer matchings in uniform hypergraphs

    Daniela Kuhn, Deryk Osthus & , 1 May 2014, In: European Journal of Combinatorics. 38, p. 83-96 14 p.

    Research output: Contribution to journalArticlepeer-review

  92. Publications content icon
    Published

    Frequency fitness assignment

    Xin Yao, 27 Mar 2014, In: IEEE Transactions on Evolutionary Computation. 18, 2, p. 226-243 18 p., 6476662.

    Research output: Contribution to journalArticlepeer-review

  93. Publications content icon
    Published

    Fully online clustering of evolving data streams into arbitrarily shaped clusters

    A. Robert MacKenzie, 1 Mar 2017, In: Information Sciences. 382-383, p. 96-114 19 p.

    Research output: Contribution to journalArticlepeer-review

  94. Publications content icon
    Published

    Game semantics in the nominal model

    Dan Ghica, 24 Sep 2012, In: Electronic Notes in Theoretical Computer Science. 286, p. 173-189 17 p.

    Research output: Contribution to journalArticlepeer-review

  95. Publications content icon
    Published

    Gaze allocation analysis for a visually guided manipulation task

    Jeremy Wyatt, 2012, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7426 LNAI. p. 44-53 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7426 LNAI).

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

  96. Publications content icon
    Published

    Generalizations of Hedberg's theorem

    Martin Escardo, & , 2013, Typed Lambda Calculi and Applications - 11th International Conference, TLCA 2013, Proceedings. p. 173-188 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7941 LNCS).

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

  97. Publications content icon
    Published

    Global path planning of mobile robots using a memetic algorithm

    Shan He & , 18 Aug 2015, In: International Journal of Systems Science. 46, 11, p. 1982-1993 12 p.

    Research output: Contribution to journalArticlepeer-review

  98. Publications content icon
    Published

    Goal-based composition of scalable hybrid analytics for heterogeneous architectures

    Stephen Jarvis, Oct 2017, In: Journal of Parallel and Distributed Computing. 108, p. 59-73 15 p.

    Research output: Contribution to journalArticlepeer-review

  99. Publications content icon
    Published

    Guest editors' introduction: Special issue on practical development of exact real number computation

    Martin Escardo & , Jul 2005, In: Journal of Logic and Algebraic Programming. 64, 1, p. 1-2 2 p.

    Research output: Contribution to journalArticlepeer-review

  100. Publications content icon
    Published

    HEAT: Hyperbolic Embedding of Attributed Networks

    Shan He, 2020, Intelligent Data Engineering and Automated Learning – IDEAL 2020 - 21st International Conference, 2020, Proceedings. Analide, C., Novais, P., Camacho, D. & Yin, H. (eds.). Springer, p. 28-40 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12489 LNCS).

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

Previous 1 2 3 Next