Search research publications and outputs

  1. Artefact › Research
  2. Article › Research › Not peer-reviewed
  3. Article › Research › Peer-reviewed
  4. Advances in Quantum Teleportation

    Pirandola, S., Eisert, J., Weedbrook, C., Furusawa, A. & Braunstein, S. L., 2015

    Article in Nature photonics

  5. An integrated semantics for reasoning about SysML design models using refinement

    Lima, L., Miyazawa, A., Cavalcanti, A. L. C., Cornelio, M., Lyoda, J., Sampaio, A., Hains, R., Larkham, A. & Lewis, V., 2015

    Article in Software and Systems Modeling

  6. Cache related pre-emption delays in hierarchical scheduling

    Lunniss, W. R. E., Altmeyer, S., Lipari, G. & Davis, R. I., Jun 2015

    Article in Real-Time Systems

  7. Ecological Knowledge, Leadership, and the Evolution of Menopause in Killer Whales

    Brent, L. J. N., Franks, D. W., Foster, E. A., Balcomb, K. C., Cant, M. A. & Croft, D. P., 16 Mar 2015

    Article in Current Biology

  8. Exact estimation of multiple directed acyclic graphs

    Oates, C. J., Smith, J. Q., Mukherjee, S. & Cussens, J., 2015

    Article in Statistics and computing

  9. Investigating Perceived Emotional Correlates of Rhythmic Density in Algorithmic Music Composition

    Williams, D., Kirke, A., Miranda, E., Daly, I., Hallowell, J., Weaver, J., Malik, A., Roesch, E., Hwang, F. & Nasuto, S., 1 Jul 2015

    Article in ACM Transactions on Applied Perception

  10. MDI-QKD: Continuous- versus discrete-variables at metropolitan distances

    Pirandola, S., Ottaviani, C., Spedalieri, G., Weedbrook, C., Braunstein, S. L., Lloyd, S., Gehring, T., Jacobsen, C. S. & Andersen, U. L., 22 Jun 2015

    Article in Nature photonics

  11. Mapping strain modulated electronic structure perturbations in mixed phase bismuth ferrite thin films

    Krishnan, P. S. S. R., Aguiar, J. A., Ramasse, Q. M., Kepaptsoglou, D. M., Liang, W. I., Chu, Y. H., BROWNING, N. D., Munroe, P. & Nagarajan, V., 28 Feb 2015

    Article in Journal of Materials Chemistry C

  12. Microwave Quantum Illumination

    Barzanjeh, S., Guha, S., Weedbrook, C., Vitali, D., Shapiro, J. H. & Pirandola, S., 27 Feb 2015

    Article in Physical Review Letters

  13. Noiseless Linear Amplifiers in Entanglement-Based Continuous-Variable Quantum Key Distribution

    Zhang, Y-C., Li, Z., Weedbrook, C., Marshall, K., Pirandola, S., Yu, S. & Guo, H., 1 Jul 2015

    Article in Entropy

  14. S-crucial and bicrucial permutations with respect to squares

    Gent, I. P., Kitaev, S., Konovalov, A., Linton, S. & Nightingale, P., 3 Jun 2015

    Article in Journal of Integer Sequences

  15. Sources and contributions of wood smoke during winter in London: Assessing local and regional influences

    Crilley, L. R., Bloss, W. J., Yin, J., Beddows, D. C. S., Harrison, R. M., Allan, J. D., Young, D. E., Flynn, M., Williams, P., Zotter, P., Prevot, A. S. H., Heal, M. R., Barlow, J. F., Halios, C. H., Lee, J. D., Szidat, S. & Mohr, C., 20 Mar 2015

    Article in Atmospheric Chemistry and Physics

  16. T-CREST: Time-predictable multi-core architecture for embedded systems

    Schoeberl, M., Abbaspour, S., Akesson, B., Audsley, N., Capasso, R., Garside, J., Goossens, K., Goossens, S., Hansen, S., Heckmann, R., Hepp, S., Huber, B., Jordan, A., Kasapaki, E., Knoop, J., Li, Y., Prokesch, D., Puffitsch, W., Puschner, P., Rocha, A. & 3 othersSilva, C., Sparsø, J. & Tocchi, A., 1 Oct 2015

    Article in Journal of systems architecture

  17. The evolution of prolonged life after reproduction

    Croft, D. P., Brent, L. J. N., Franks, D. W. & Cant, M. A., Jul 2015

    Article in Trends in Ecology & Evolution

  18. Thermodynamic characterization of networks using graph polynomials

    Ye, C., Comin, C. H., Peron, T. K. DM., Silva, F. N., Rodrigues, F. A., Costa, L. D. F., Torsello, A. & Hancock, E. R., 1 Sep 2015

    Article in Physical Review E

  19. Letter › Research › Peer-reviewed
  20. Editorial › Research › Not peer-reviewed
  21. Editorial

    Woodcock, J. C. P. & Jones, C. B., Nov 2015

    Editorial in Formal Aspects of Computing

  22. Editorial › Research › Peer-reviewed
  23. Book › Research
  24. Animal Social Networks

    Krause, J., James, R., Franks, D. W. & Croft, D. P., 2015, Oxford: Oxford University Press.

    Research output: Book/ReportBook

  25. Commissioned report › Research
  26. Paper › Research › Peer-reviewed
  27. A Research Agenda for Metaheuristic Standardization

    Swan, J., Adriaensen, S., Bishr, M., Burke, E. K., Clark, J. A., De Causmaecker, P., Durillo, J., Hammond, K., Hart, E., Johnson, C. G., Kocsis, Z. A., Kovitz, B., Krawiec, K., Martin, S., Merelo, J. J., Minku, L. L., Özcan, E., Pappa, G. L., Pesch, E., Garcia-Sànchez, P. & 7 othersSchaerf, A., Sim, K., Smith, J., Stützle, T., Stefan, V., Wagner, S. & Yao, X., Jun 2015, p. 1-3. 3 p.

    Research output: Contribution to conferencePaper

  28. Nonclassical readout of optical memories under local energy constraint

    Spedalieri, G., Lupo, C. & Pirandola, S., 3 Sep 2015, p. 1-11. 11 p.

    Research output: Contribution to conferencePaper

  29. Quantum cryptography with an ideal local relay

    Spedalieri, G., Ottaviani, C., Braunstein, S. L., Gehring, T., Jacobsen, C. S., Andersen, U. L. & Pirandola, S., 3 Sep 2015.

    Research output: Contribution to conferencePaper

  30. Restoring broken entanglement by separable correlations

    Spedalieri, G. & Pirandola, S., 3 Sep 2015.

    Research output: Contribution to conferencePaper

  31. Transparent hardware synthesis of Java for predictable large-scale distributed systems

    Gray, I., Chan, Y., Garside, J., Audsley, N., Wellings, A. & Wellings, A. J., 1 Sep 2015, p. 1-2. 2 p.

    Research output: Contribution to conferencePaper

  32. Abstract › Research › Peer-reviewed
  33. A Morphable Profile Model of the Human Head as an Outcome Tool for Craniosynostosis Surgery

    Duncan, C., Armstrong, R. & Pears, N. E., 14 Sep 2015.

    Research output: Contribution to conferenceAbstract

  34. Other › Research › Peer-reviewed
  35. An evidential reasoning approach for assessing confidence in safety evidence: Software Reliability Engineering (ISSRE), 2015 IEEE 26th International Symposium on

    Nair, S., Walkinshaw, N., Kelly, T. & de la Vara, J. L., 2015, p. 541-552. 12 p.

    Research output: Contribution to conferenceOther

  36. SHREC’15 Track: Non-rigid 3D Shape Retrieval

    Limberger, F. A. & Wilson, R. C., 2015.

    Research output: Contribution to conferenceOther

  37. Chapter › Research
  38. Hard Real-time Guarantee of Automotive Applications during Mode Changes

    Dziurzanski, P., Singh, A. K., Soares Indrusiak, L. & Saballus, B., 2015, RTNS '15 : Proceedings of the 23rd International Conference on Real Time and Networks Systems. New York : ACM Digital Library, p. 161-170

    Research output: Chapter in Book/Report/Conference proceedingChapter

  39. Mechanised Theory Engineering in Isabelle

    Foster, S. D. & Woodcock, J., 2015, Dependable Software Systems Engineering. Irlbeck, M., Peled, D. & Pretschner, A. (eds.). IOS Press, Vol. 40. p. 246-287 (NATO Science for Peace and Security Series, D: Information and Communication Security; vol. 40).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  40. Ortho-diffusion decompositions for face recognition from low quality images

    Gudivada, S. K. N. & Bors, A. G., Oct 2015, 2015 IEEE International Conference on Image Processing ICIP, 2015 : Proceedings . IEEE, p. 3625-3629 5 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  41. Robust Learning from Ortho-Diffusion Decompositions

    Gudivada, S. & Bors, A. G., Sep 2015, Computer Analysis of Images and Patterns : 16th International Conference, CAIP 2015, Valletta, Malta, September 2-4, 2015 Proceedings, Part I. Azzopardi, G. & Petkov, N. (eds.). Springer, p. 546-557 12 p. (Lecture Notes in Computer Science; vol. 9256).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  42. Supporting the Automated Generation of Modular Product Line Safety Cases

    Oliveira, A. L., Braga, R. T. V., Masiero, P. C., Papadopoulos, Y., Habli, I. & Kelly, T., 2015, Theory and Engineering of Complex Systems and Dependability: Proceedings of the Tenth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, June 29 – July 3 2015, Brunów, Poland. Zamojski, W., Mazurkiewicz, J., Sugier, J., Walkowiak, T. & Kacprzyk, J. (eds.). Cham: Springer International Publishing, Vol. 365. p. 319-330 12 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  43. Conference contribution › Research
  44. 2nd International Workshop on Software Engineering Methods in Spreadsheets (SEMS 2015)

    Hermans, F., Paige, R. F. & Sestoft, P., 2015, 37th IEEE/ACM International Conference on Software Engineering, ICSE 2015, Florence, Italy, May 16-24, 2015, Volume 2. Bertolino, A. (ed.). IEEE, Vol. 2. p. 1005-1006 2 p.

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

  45. 7th International Workshop on Modeling in Software Engineering (MiSE 2015)

    Gray, J., Chechik, M., Kulkarni, V. & Paige, R. F., 2015, 37th IEEE/ACM International Conference on Software Engineering, ICSE 2015, Florence, Italy, May 16-24, 2015, Volume 2. Bertolino, A. (ed.). IEEE, Vol. 2. p. 985-986 2 p.

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

  46. A Bailout Protocol for Mixed Criticality Systems

    Bate, I., Burns, A. & Davis, R. I., 1 Jul 2015, Proceedings, 27th Euromicro Conference on Real-Time Systems: ECRTS 2015. IEEE, p. 259-268 10 p. (Euromicro Conference on Real-Time Systems).

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

  47. A Cross-Cultural Study of Motivations to Participate in a Crowdsourcing Project to Support People with Disabilities

    Layas, F., Petrie, H. & Power, C. D., 2015, Third AAAI Conference on Human Computation and Crowdsourcing.

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

  48. A Framework For The Evaluation Of Measurement-based Timing Analyses

    Lesage, B., Griffin, D., Soboczenski, F., Bate, I. & Davis, R. I., Nov 2015, 23rd International Conference on Real-Time Networks and Systems (RTNS): Proceedings of the 23rd International Conference on Real Time and Networks Systems. New York: ACM, p. 35-44

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

  49. A Generic and Compositional Framework for Multicore Response Time Analysis

    Altmeyer, S., Davis, R. I., Soares Indrusiak, L., Maiza, C., Nelis, V. & Reineke, J., Nov 2015, RTNS '15 : Proceedings of the 23rd International Conference on Real Time and Networks Systems. ACM, p. 129-138

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

  50. A High-Order Depth-Based Graph Matching Method

    Bai, L., Zhang, Z., Ren, P. & Hancock, E. R., 2015, Computer Analysis of Images and Patterns :16th International Conference, CAIP 2015, Valletta, Malta, September 2-4, 2015 Proceedings, Part I. Azzopardi, G. & Petkov, N. (eds.). SPRINGER, Vol. 9256. p. 465-476 12 p. (Lecture Notes in Computer Science; vol. 9256).

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

Previous 1 2 3 Next