Refine your results

Easily toggle selected advanced search features:

Search research publications and outputs

Advanced search options

Reset

to
1 - 39 out of 39Page size: 500
Sort by: Title

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

    Agryzkov, T., Tortosa, L., Vicent, J. & Wilson, R. C., 16 Aug 2017, (E-pub ahead of print)

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

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

    Article in Journal of Systems and Software

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

    Bai, L., Rossi, L., Torsello, A. & Hancock, E. R., 4 Apr 2014, (E-pub ahead of print)

    Article in Pattern Recognition

  4. Architecting Time-Critical Big-Data Systems

    Basanta-Val, P., Audsley, N. C., Wellings, A. J., Gray, I. & Fernandez-Garcio, N., 31 Oct 2016, (E-pub ahead of print)

    Article in IEEE Transactions on Big Data

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

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

    White, D. R., Joffe, L., Bowles, E. & Swan, J., 25 Mar 2017, (E-pub ahead of print) 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

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

    Bahonar, H., Mirzaei, A. & Wilson, R. C., 20 Sep 2017, (E-pub ahead of print)

    Article in Pattern Recognition

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

    Article in Frontiers in human neuroscience

  9. Distributional logic programming for Bayesian knowledge representation

    Angelopoulos, N. & Cussens, J., 17 Aug 2016, (E-pub ahead of print)

    Article in International Journal of Approximate Reasoning

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

    Article in Information Processing Letters

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

    Article in IEEE Transactions on Reliability

  12. Formal mutation testing for Circus

    Alberto, A., Cavalcanti, A. L. C., Gaudel, M-C. & Simao, A., 21 Apr 2016, (E-pub ahead of print)

    Article in Information and Software Technology

  13. Formalising Cosimulation Models

    Zeyda, F., Ouy, J., Foster, S. D. & Cavalcanti, A. L. C., Sep 2017, (E-pub ahead of print) 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

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

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

    Article in JOURNAL OF BUSINESS RESEARCH

  16. Genetic Programming + Proof Search = Automatic Improvement

    Kocsis, Z. A. & Swan, J., 7 Mar 2017, (E-pub ahead of print)

    Article in Journal of Automated Reasoning

  17. Grouping Multi-vector Streaklines for Human Activity Identification

    Stephens, K. & Bors, A. G., 4 Aug 2016, (E-pub ahead of print) 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. Hadoop neural network for parallel and distributed feature selection

    Hodge, V. J., O'Keefe, S. & Austin, J., 5 Sep 2015, (E-pub ahead of print)

    Article in Neural Networks

  19. Image retrieval based on query by saliency content

    Papushoy, A. & Bors, A. G., 26 Sep 2014, (E-pub ahead of print)

    Article in Digital Signal Processing

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

    Bartlett, M. & Cussens, J., 10 Mar 2015, (E-pub ahead of print)

    Article in Artificial Intelligence

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

    Smith, W. A. P., Ramamoorthi, R. & Tozza, S., 17 Sep 2016, (E-pub ahead of print) 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

  22. Metrics for energy-aware software optimisation

    Roberts, S. I., Wright, S. A., Fahmy, S. A. & Jarvis, S. A., 12 May 2017, (E-pub ahead of print) 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

  23. Modelling Timed Reactive Systems from Natural-Language Requirements

    Carvalho, G., Cavalcanti, A. L. C. & Sampaio, A. C. A., 26 Jul 2016, (E-pub ahead of print)

    Article in Formal Aspects of Computing

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

    Mannion, P., Devlin, S., Duggan, J. & Howley, E., 24 Aug 2017, (E-pub ahead of print)

    Article in The Knowledge Engineering Review

  25. Network Analysis using Entropy Component Analysis

    Ye, C., Wilson, R. C. & Hancock, E. R., 28 Sep 2017, (E-pub ahead of print)

    Article in Journal of Complex Networks

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

    Article in Real-Time Systems

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

    Article in Pattern Recognition Letters

  28. Recovering Variations in Facial Albedo from Low Resolution Images

    Xu, C., Zhang, Z., Wang, B., Hu, G. & Hancock, E. R., 22 Sep 2017, (E-pub ahead of print)

    Article in Pattern Recognition

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

    Article in Concurrency and Computation: Practice and Experience

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

  31. Spin Statistics, Partition Functions and Network Entropy

    Wang, J., Wilson, R. C. & Hancock, E. R., 4 Jul 2017, (E-pub ahead of print)

    Article in Journal of Complex Networks

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

    Altmeyer, S., Cucu-Grosjean, L. & Davis, R. I., 13 Jan 2015, (E-pub ahead of print)

    Article in Real-Time Systems

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

    Article in RSC Advances

  34. Stress-Testing Centralised Model Stores

    García-Domínguez, A., Barmpis, K., Kolovos, D. S., Wei, R. & Paige, R. F., 23 Jun 2016, (E-pub ahead of print) 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

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

    Article in Software and Systems Modeling

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

    Article in British journal of oral & maxillofacial surgery

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

    Franks, D. W. & Oxford, G. S., 14 Oct 2017, (E-pub ahead of print)

    Article in Biological Journal of the Linnean Society

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

    Article in Interface

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

    Woodcock, J. C. P., Cheng, S. & D'Souza, D., 20 Aug 2014, (E-pub ahead of print)

    Article in Formal Aspects of Computing