Search research publications and outputs

  1. 2017
  2. Metrics for energy-aware software optimisation

    Roberts, S. I., Wright, S. A., Fahmy, S. A. & Jarvis, S. A., 12 May 2017, High Performance Computing - 32nd International Conference, ISC High Performance 2017, Proceedings. Springer-Verlag, Vol. 10266 LNCS. p. 413-430 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10266 LNCS).

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

  3. Adaptive Hash Retrieval with Kernel Based Similarity

    Xiao, B., Yan, C., Yang, H., Lu, B., Zhou, J. & Hancock, E. R., 30 Mar 2017

    Article in Pattern Recognition

  4. Deep Parameter Tuning of Concurrent Divide and Conquer Algorithms in Akka

    White, D. R., Joffe, L., Bowles, E. & Swan, J., 25 Mar 2017, Applications of Evolutionary Computation: 20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings, Part II. Squillero, G. & Sim, K. (eds.). Cham: Springer International Publishing Switzerland, p. 35-48 14 p.

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

  5. Sparse, Continuous Policy Representations for Uniform Online Bin Packing via Regression of Interpolants

    Drake, J. H., Swan, J., Neumann, G. & Özcan, E., 9 Mar 2017, Evolutionary Computation in Combinatorial Optimization: 17th European Conference, EvoCOP 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings. Hu, B. & López-Ibáñez, M. (eds.). Cham: Springer International Publishing Switzerland, p. 189-200 12 p.

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

  6. 2016
  7. Stochastic domain wall depinning in permalloy nanowires with various types of notches

    Gao, Y., You, B., Yang, H. L., Zhan, Q. F., Li, Z., Lei, N., Zhao, W. S., Wu, J., Tu, H. Q., Wang, J., Wei, L. J., Zhang, W., Xu, Y. B. & Du, J., 29 Dec 2016

    Article in AIP Advances

  8. Safety-critical Java for embedded systems

    Schoeberl, M., Dalsgaard, A. E., Hansen, R. R., Korsholm, S., Ravn, A., Rivas, J., Strom, T., Søndergaard, H., Zhao, S. & Wellings, A. J., 14 Dec 2016

    Article in Concurrency and Computation: Practice and Experience

  9. Linear Depth Estimation from an Uncalibrated, Monocular Polarisation Image

    Smith, W. A. P., Ramamoorthi, R. & Tozza, S., 17 Sep 2016, Lecture Notes in Computer Science. p. 109-125 17 p. (Lecture Notes in Computer Science; vol. 9912).

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

  10. Quantum Jensen-Shannon Graph Kernels using Discrete-time Quantum Walks

    Bai, L., Rossi, L., Cui, L., Zhang, Z., Ren, P., Xiao, B. & Hancock, E. R., 9 Sep 2016

    Article in Pattern Recognition Letters

  11. From formalised state machines to implementation of robotic controllers

    Li, W., Miyazawa, A. H., De Oliveira Salazar Ribeiro, P. F., Cavalcanti, A. L. C., Woodcock, JAMES. C. P. & Timmis, J. I., Sep 2016, 13th International Conference on Distributed Autonomous Robotic Systems. London, UK: Springer Verlag, 14 p. (Springer Tracts in Advanced Robotics).

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

  12. Grouping Multi-vector Streaklines for Human Activity Identification

    Stephens, K. & Bors, A. G., 4 Aug 2016, Proc. IEEE Workshop on Image, Video and Multidimensional Signal Processing. IEEE, p. 1-5 6 p.

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

  13. Stress-Testing Centralised Model Stores

    García-Domínguez, A., Barmpis, K., Kolovos, D. S., Wei, R. & Paige, R. F., 23 Jun 2016, Modelling Foundations and Applications - 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings. SPRINGER, p. 48-63 16 p.

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

  14. Formal mutation testing for Circus

    Alberto, A., Cavalcanti, A. L. C., Gaudel, M-C. & Simao, A., 21 Apr 2016

    Article in Information and Software Technology

Previous 1 2 3 4 Next