Search research publications and outputs

  1. 3D Mesh Steganalysis using local shape features

    Li, Z. & Bors, A. G., May 2016, Proc. IEEE Int. Conf. on Acoustics, Speech and Signal Processing (ICASSP). IEEE, p. 2144-2148 5 p.

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

  2. A Conceptual Framework of Business Model Emerging Resilience

    Goumagias, N., Fernandes, K., Cabras, I., Li, F., Shao, J., Devlin, S., Hodge, V. J., Cowling, P. I. & Kudenko, D., 7 Jul 2016.

    Research output: Contribution to conferencePaper

  3. A Formal Model of the Safety-Critical Java Level 2 Paradigm

    Luckcuck, M. S., Cavalcanti, A. L. C. & Wellings, A. J., 24 May 2016, Integrated Formal Methods. Springer, p. 226-241 (Lecture Notes in Computer Science; vol. 9681).

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

  4. A Java-Based Real-Time Reactive Stream Framework

    Gray, I. & Wellings, A., 2016, Proceedings of the 19th IEEE International Symposium on Real-Time Computing.

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

  5. A Jensen-Shannon Divergence Kernel for Directed Graphs

    Ye, C., Wilson, R. C. & Hancock, E. R., 8 Nov 2016, Structural, Syntactic, and Statistical Pattern Recognition - Joint IAPR International Workshop, S+SSPR 2016, Mérida, Mexico, November 29 - December 2, 2016, Proceedings. p. 196-206 11 p. (Lecture Notes in Computer Science (LNCS); vol. 10029).

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

  6. A Lightweight Hat: simple type-preserving instrumentation for self-tracing lazy functional programs

    Chitil, O., Faddegon, M. & Runciman, C., 2016, Proceedings of 28th Symposium on Implementation and Application of Functional Languages. ASSOC COMPUTING MACHINERY, 10

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

  7. A Maturity Model for Integrating Agile Processes and User Centred Design

    Paige, R. F., Mostafa, D. S. E. D. N. & Cairns, P. A., Jun 2016, Software Process Improvement and Capability Determination (SPICE). 16th International Conference ed. p. 109-122 14 p.

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

  8. A Multiresolution 3D Morphable Face Model and Fitting Framework

    Huber, P., Hu, G., Tena, R., Mortazavian, P., Koppen, W. P., Christmas, W., Rätsch, M. & Kittler, J., Feb 2016, Proceedings of the 11th Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications. SciTePress, Vol. 4. p. 79-86

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

  9. A Practical Message ID Assignment Policy for Controller Area Network that Maximizes Extensibility

    Pölzlbauer, F., Davis, R. I. & Bate, I. J., Oct 2016, Proceedings of 24th International Conference on Real-Time Networks and Systems: RTNS16. ACM Digital Library, p. 45-54

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

  10. A Stepwise Approach to Linking Theories

    De Oliveira Salazar Ribeiro, P. F., Cavalcanti, A. L. C. & Woodcock, J., 2016, Unifying Theories of Programming. Springer, (Lecture Notes in Computer Science).

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

  11. A Suspension-Trace Semantics for CSP

    Cavalcanti, A. L. C., Hierons, R. M., Nogueira, S. & Sampaio, A. C. A., 1 Jul 2016, International Symposium on Theoretical Aspects of Software Engineering. IEEE, p. 3-13 11 p.

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

  12. A constructive task mapping algorithm for hard real-time embedded NoCs

    Sayuti, M. N. S. M. & Indrusiak, L. S., 18 May 2016, Proceedings - 2015 IEEE Conference on System, Process and Control, ICSPC 2015. Institute of Electrical and Electronics Engineers Inc., p. 123-128 6 p. 7473571

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

  13. A multi-arm bandit neighbourhood search for routing and scheduling problems

    Chen, Y., Cowling, P. I., Polack, F. A. C. & Mourdjis, P. J., 2016. 33 p.

    Research output: Contribution to conferencePaper

  14. A novel entropy-based graph signature from the average mixing matrix

    Bai, L., Rossi, L., Cui, L. & Hancock, E. R., 1 Dec 2016, 2016 23rd International Conference on Pattern Recognition (ICPR). Davis, L., Bimbo, A. D. & Lovell, B. (eds.). Los Alamitos, CA, USA: IEEE Computer Society Press, p. 1339-1344 6 p.

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

  15. A transitive aligned Weisfeiler-Lehman subtree kernel

    Bai, L., Rossi, L., Cui, L. & Hancock, E. R., 1 Dec 2016, 2016 23rd International Conference on Pattern Recognition (ICPR). Davis, L., Bimbo, A. D. & Lovell, B. (eds.). Los Alamitos, CA, USA: IEEE Computer Society Press, p. 396-401 6 p.

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

  16. Absorptive scattering model for rough laminar surfaces

    Dahlan, H. A. & Hancock, E. R., 1 Dec 2016, 2016 23rd International Conference on Pattern Recognition (ICPR). Davis, L., Bimbo, A. D. & Lovell, B. (eds.). Los Alamitos, CA, USA: IEEE Computer Society Press, p. 1905-1910 6 p.

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

  17. Achieving Appropriate Test Coverage for Reliable Measurement-Based Timing Analysis

    Law, S. A. & Bate, I., 2016, Proceedings - 28th Euromicro Conference on Real-Time Systems, ECRTS 2016. Vol. 2016-August. p. 189-199 11 p. 7557880. (Real-Time Systems (ECRTS), Euromicro Conference on).

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

  18. Addressing the 4+1 Software Safety Assurance Principles within Scrum

    Doss, O. & Kelly, T., 2016, Proceedings of the Scientific Workshop Proceedings of XP2016, Edinburgh, Scotland, UK, May 24, 2016. New York: ACM: New York, p. 17 1 p.

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

Previous 1 2 3 4 5 6 7 8 ...10 Next