Search research publications and outputs

  1. 2013
  2. Explicit Java Control of Low-Power Heterogeneous Parallel Processing in the ToucHMore Project

    Gauthier, L., Gray, I., Larkham, A., Gasser, A. & Acquaviva, A., 2013, JTRES '13 Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems. p. 68-77

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

  3. Exploring the Use of Metaheuristic Search to Infer Models of Dynamic System Behaviour

    Williams, J. R., Poulding, S. M., Paige, R. F. & Polack, F., 2013, MoDELS@Run.time. p. 76-88 13 p.

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

  4. Extending Mixed Criticality Scheduling

    Fleming, T. & Burns, A., 2013, Proc. WMC, RTSS. p. 7-12 6 p.

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

  5. Extending Simple Tabular Reduction with Short Supports

    Jefferson, C. A. & Nightingale, P., 2013, Proceedings of the Twenty-Third International Joint Conference on Artificial Intellegence. p. 573-579 7 p.

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

  6. Extending the Associative Rule Chaining Architecture for Multiple Arity Rules

    Burles, N. J., Austin, J. & O'Keefe, S., 2013, Proceedings of the Ninth International Workshop on Neural-Symbolic Learning and Reasoning. p. 47-51 5 p.

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

  7. Fast transaction-level dynamic power consumption modelling in priority preemptive wormhole switching networks on chip

    Harbin, J. R. & Soares Indrusiak, L., 2013, Proceedings of the International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS) . IEEE, p. 172-179

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

  8. Formal Models of SysML Block

    Miyazawa, A. H., Lima, L. & Cavalcanti, A. L. C., 2013, 15th International Conference on Formal Engineering Methods. Springer, Vol. 8144 LNCS. p. 249-264

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

  9. Gaussian Wave Packet on a Graph

    Aziz, F., Wilson, R. C. & Hancock, E. R., 2013, Graph-Based Representations in Pattern Recognition. Kropatsch, W., Artner, N., Haxhimusa, Y. & Jiang, X. (eds.). Springer Berlin / Heidelberg, Vol. 7877. p. 224-233 (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  10. Graph Characteristics from the Schrödinger Operator

    Suau, P., Hancock, E. R. & Escolano, F., 2013, Graph-Based Representations in Pattern Recognition. Kropatsch, W., Artner, N., Haxhimusa, Y. & Jiang, X. (eds.). Springer Berlin / Heidelberg, Vol. 7877. p. 172-181 (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  11. Graph Characterization Using Gaussian Wave Packet Signature

    Aziz, F., Wilson, R. C. & Hancock, E. R., 2013, Similarity-Based Pattern Recognition. Hancock, E. & Pelillo, M. (eds.). Springer Berlin / Heidelberg, Vol. 7953. p. 176-189 (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  12. Heterogeneity Index for Directed Graphs

    Ye, C., Wilson, R. C. & Hancock, E. R., 2013, Computer Analysis of Images and Patterns. Wilson, R., Hancock, E., Bors, A. & Smith, W. (eds.). PART 2 ed. Springer Berlin / Heidelberg, Vol. 8048. p. 424-431 (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  13. Higher-Order UTP in Theories of Object-Orientation

    Zeyda, F. & Cavalcanti, A. L. C., 2013, 4th International Symposium on Unifying Theories of Programming. Springer, Vol. 7681. p. 204-223 (Lecture Notes in Computer Science; vol. 7681).

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

  14. Immune-Inspired Error Detection for Multiple Faulty Robots in Swarm Robotics

    Lau, H. K., Bate, I. & Timmis, J., 2013, Advances in Artificial Life ECAL 2013. Lio, P., Miglino, O., Nicosia, G., Nolfi, S. & Pavone, M. (eds.). MIT Press, Vol. 12. p. 846-853 8 p.

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

  15. Improved Priority Assignment for the Abort-and-Restart (AR) Model

    Wong, H. C. & Burns, A., 2013, 7th Junior Researcher Workshop on Real-Time Computing (JRWRTC).

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

  16. Improving Reliability of Real-Time Systems through Value and Time Voting

    Aysan, H., Bate, I., Graydon, P. & Punnekkat, S., 2013, Proceedings of the 19th Pacific Rim International Symposium on Dependable Computing (PRDC).

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

  17. Improving the associative rule chaining architecture

    Burles, N. J., O'Keefe, S. & Austin, J., 2013, Artificial Neural Networks and Machine Learning - ICANN 2013: 23rd International Conference on Artificial Neural Networks, Sofia, Bulgaria, September 2013. Proceedings.. Mladenov, V., Palm, G., Appollini, B., Koprinkova-Hristova, P., Villa, A. & Kasabov, N. (eds.). Berlin: Springer-Verlag, Vol. 8131 LNCS. p. 98-105 8 p. (Lecture Notes in Computer Science; vol. 8131).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  18. Increasing accuracy by decreasing presentation quality in transcription tasks

    Soboczenski, F., Cairns, P. & Cox, A. L., 2013, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). PART 2 ed. Vol. 8118 LNCS. p. 380-394 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8118 LNCS, no. PART 2).

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

  19. Information-Theoretic Dissimilarities for Graphs

    Escolano, F., Hancock, E. R., Liu, M. & Lozano, M., 2013, Similarity-Based Pattern Recognition. Hancock, E. & Pelillo, M. (eds.). Springer Berlin / Heidelberg, Vol. 7953. p. 90-105 (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution