Refine your results

Easily toggle selected advanced search features:

Search research publications and outputs

Advanced search options

Reset

to
1 - 50 out of 127Page size: 50
  1. 2014

  2. A quantum Jensen-Shannon graph kernel for unattributed graphs

    Bai, L., Rossi, L., Torsello, A. & Hancock, E. R., 4 Apr 2014

    Article in Pattern Recognition

  3. Using formal reasoning on a model of tasks for FreeRTOS

    Woodcock, J. C. P., Cheng, S. & D'Souza, D., 20 Aug 2014

    Article in Formal Aspects of Computing

  4. Image retrieval based on query by saliency content

    Papushoy, A. & Bors, A. G., 26 Sep 2014

    Article in Digital Signal Processing

  5. The optimisation of stochastic grammars to enable cost-effective probabilistic structural testing

    Poulding, S., Alexander, R., Clark, J. A. & Hadley, M. J., 6 Dec 2014

    Article in Journal of Systems and Software

  6. 2015

  7. Static probabilistic timing analysis for real-time systems using random replacement caches

    Altmeyer, S., Cucu-Grosjean, L. & Davis, R. I., 13 Jan 2015

    Article in Real-Time Systems

  8. Using argument notation to engineer biological simulations with increased confidence

    Alden, K. J., Andrews, P. S., Polack, F. A. C., Veiga-Fernandes, H., Coles, M. C. & Timmis, J., 6 Mar 2015

    Article in Interface

  9. Integer Linear Programming for the Bayesian network structure learning problem

    Bartlett, M. & Cussens, J., 10 Mar 2015

    Article in Artificial Intelligence

  10. Formal Verification with Confidence Intervals to Establish Quality of Service Properties of Software Systems

    Calinescu, R., Ghezzi, C., Johnson, K. H. A., Pezze, M., Rafiq, Y. & Tamburrelli, G., 4 Aug 2015

    Article in IEEE Transactions on Reliability

  11. Hadoop neural network for parallel and distributed feature selection

    Hodge, V. J., O'Keefe, S. & Austin, J., 5 Sep 2015

    Article in Neural Networks

  12. 2016

  13. On the effectiveness of cache partitioning in hard real-time systems

    Altmeyer, S., Douma, R., Lunniss, W. R. E. & Davis, R. I., 6 Jan 2016

    Article in Real-Time Systems

  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

  15. 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 proceeding › Conference contribution

  16. Modelling Timed Reactive Systems from Natural-Language Requirements

    Carvalho, G., Cavalcanti, A. L. C. & Sampaio, A. C. A., 26 Jul 2016

    Article in Formal Aspects of Computing

  17. 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 proceeding › Conference contribution

  18. Exact Speedup Factors for Linear-Time Schedulability Tests for Fixed-Priority Preemptive and Non-preemptive Scheduling

    von der Bruggen, G., Chen, J-J., Davis, R. I. & Huang, W-H. K., 5 Aug 2016

    Article in Information Processing Letters

  19. Distributional logic programming for Bayesian knowledge representation

    Angelopoulos, N. & Cussens, J., 17 Aug 2016

    Article in International Journal of Approximate Reasoning

  20. 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 proceeding › Conference contribution

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

  22. 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 proceeding › Conference contribution

  23. Architecting Time-Critical Big-Data Systems

    Basanta-Val, P., Audsley, N. C., Wellings, A. J., Gray, I. & Fernandez-Garcio, N., 31 Oct 2016

    Article in IEEE Transactions on Big Data

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

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

  26. 2017

  27. From value chains to technological platforms: the effects of crowdfunding in the digital game industry

    Nucciarelli, A., Li, F., Fernandes, K. J., Goumagias, N., Cabras, I., Devlin, S., Kudenko, D. & Cowling, P. I., 3 Mar 2017

    Article in JOURNAL OF BUSINESS RESEARCH

  28. Genetic Programming + Proof Search = Automatic Improvement

    Kocsis, Z. A. & Swan, J., 7 Mar 2017

    Article in Journal of Automated Reasoning

  29. 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 proceeding › Conference contribution

  30. 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 proceeding › Conference contribution

  31. 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 proceeding › Conference contribution

  32. Ternary graph as a questionnaire: A new approach to assessment of quality of life?

    Brown, R., Tomasello, L., Mitchell, D. A., Sebald, A. & Stepney, S., 18 May 2017

    Article in British journal of oral & maxillofacial surgery

  33. Stress-Testing Remote Model Querying APIs for Relational and Graph-Based Stores

    Paige, R. F., Kolovos, D., Barmpis, K., Wei, R. & Garcia-Dominguez, A., 30 Jun 2017

    Article in Software and Systems Modeling

  34. Spin Statistics, Partition Functions and Network Entropy

    Wang, J., Wilson, R. C. & Hancock, E. R., 4 Jul 2017

    Article in Journal of Complex Networks

  35. A Centrality Measure for Urban Networks Based on the Eigenvector Centrality Concept.

    Agryzkov, T., Tortosa, L., Vicent, J. & Wilson, R. C., 16 Aug 2017

    Article in Environment and Planning B: Urban Analytics and City Science

  36. Multi-Agent Credit Assignment in Stochastic Resource Management Games

    Mannion, P., Devlin, S., Duggan, J. & Howley, E., 24 Aug 2017

    Article in The Knowledge Engineering Review

  37. Formalising Cosimulation Models

    Zeyda, F., Ouy, J., Foster, S. D. & Cavalcanti, A. L. C., Sep 2017, 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems (CoSim-CPS 2017). 15 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  38. Diffusion Wavelet Embedding: a Multi-resolution Approach for Graph Embedding in Vector Space

    Bahonar, H., Mirzaei, A. & Wilson, R. C., 20 Sep 2017

    Article in Pattern Recognition

  39. Recovering Variations in Facial Albedo from Low Resolution Images

    Xu, C., Zhang, Z., Wang, B., Hu, G. & Hancock, E. R., 22 Sep 2017

    Article in Pattern Recognition

  40. Network Analysis using Entropy Component Analysis

    Ye, C., Wilson, R. C. & Hancock, E. R., 28 Sep 2017

    Article in Journal of Complex Networks

  41. Deep Face Model Compression Using Entropy-based Filter Selection

    Han, B., Zhang, Z., Xu, C., Wang, B., Hu, G., Bai, L., Hong, Q. & Hancock, E. R., 13 Oct 2017, Proceedings ICIAP 2017: Lecture Notes in Computer Science. Springer Berlin / Heidelberg, Vol. 10485. p. 127-136

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  42. The co-evolution of anti-predator polymorphisms in sympatric populations

    Franks, D. W. & Oxford, G. S., 14 Oct 2017

    Article in Biological Journal of the Linnean Society

  43. Directed motor-auditory EEG connectivity is modulated by music tempo

    Nicolaou, N., Malik, A., Daly, I., Weaver, J., Hwang, F., Kirke, A., Roesch, E. B., Williams, D., Miranda, E. R. & Nasuto, S. J., 18 Oct 2017

    Article in Frontiers in human neuroscience

  44. A Survey of Schedulability Analysis Techniques for Rate-Dependent Tasks

    Feld, T., Biondi, A., Davis, R. I., Buttazzo, G. C. & Slomka, F., 22 Dec 2017

    Article in Journal of Systems and Software

  45. 2018

  46. GPU-Accelerated Hypothesis Cover Set Testing for Learning in Logic

    Algahtani, E. & Kazakov, D. L., 2018, CEUR Proceedings of the 28th International Conference on Inductive Logic Programming. CEUR Workshop Proceedings

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  47. Vertex-Level Three-Dimensional Shape Deformability Measurement Based on Line Segment Advection

    Li, C. & Hancock, E. R., 11 Jan 2018

    Article in IET Computer Vision

  48. Compositional and Local Livelock Analysis for CSP

    Filho, M. S. C., Oliveira, M. V. M., Sampaio, A. C. A. & Cavalcanti, A. L. C., 12 Jan 2018

    Article in Information Processing Letters

  49. The Anatomical Society's core anatomy syllabus for undergraduate nursing

    Connolly, S. A., Gillingwater, T. H., Chandler, C., Grant, A. W., Greig, J., Meskell, M., Ross, M. T., Smith, C. F., Wood, A. F. & Finn, G. M., 7 Feb 2018

    Article in Journal of Anatomy

  50. Dynamic selection of environmental variables to improve the prediction of aphid phenology: a machine learning approach

    Holloway, P., Kudenko, D. & James, B., 19 Feb 2018

    Article in Ecological Indicators

  51. eSport vs irlSport

    McCutcheon, C., Hitchens, M. & Drachen, A., 21 Feb 2018, Advances in Computer Entertainment Technology: 14th International Conference, ACE 2017, London, UK, December 14-16, 2017, Proceedings. Vol. 10714. p. 531-542 12 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  52. Evolving Graphs by Graph Programming

    Atkinson, T., Plump, D. & Stepney, S., 2 Mar 2018, Proceedings 21st European Conference on Genetic Programming (EuroGP 2018). Springer, 16 p. (Lecture Notes in Computer Science; vol. 10781).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  53. Navigating the Windows Mail database

    Chivers, H. R., 21 Mar 2018

    Article in Digital Investigation

  54. Bragg Diffraction Patterns as Graph Characteristics

    Escolano, F. & Hancock, E. R., 22 Mar 2018, Eleventh International Conference on Energy Minimisation Methods in Computer Vision and Pattern Recognition. Springer Nature , Vol. 10746. p. 59-72 13 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  55. Engineering bidirectional transformations

    Paige, R. F., 28 Mar 2018, Bidirectional Transformations: International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures. Gibbons, J. & Stevens, P. (eds.). Springer-Verlag, Vol. 9715 LNCS. p. 151-187 37 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9715 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Previous 1 2 3 Next