Search research publications and outputs

  1. 2011
  2. Closed Timelike Curves via Postselection: Theory and Experimental Test of Consistency

    Lloyd, S., Maccone, L., Garcia-Patron, R., Giovannetti, V., Shikano, Y., Pirandola, S., Rozema, L. A., Darabi, A., Soudagar, Y., Shalm, L. K. & Steinberg, A. M., 27 Jan 2011

    Letter in Physical Review Letters

  3. Laser action in a surface-structured free-standing membrane based on a π-conjugated polymer-composite

    Chen, Y., Herrnsdorf, J., Guilhabert, B., Kanibolotsky, A. L., MacKintosh, A. R., Wang, Y., Pethrick, R. A., Gu, E., Turnbull, G. A., Skabara, P. J., Samuel, I. D. W., Laurand, N. & Dawson, M. D., 1 Jan 2011

    Article in Organic Electronics: physics, materials, applications

  4. Advances in artificial immune systems

    Hart, E., McEwan, C., Timmis, J. & Hone, A., 2011

    Article in Evolutionary Intelligence

  5. CARMEN: Code analysis, Repository and Modeling for e-Neuroscience

    Austin, J., Jackson, T., Fletcher, M., Jessop, M., Liang, B., Weeks, M., Smith, L., Ingram, C. & Watson, P., 2011

    Article in Procedia CS

  6. Dynamic QoS Management and Optimization in Service-Based Systems

    Calinescu, R., Grunske, L., Kwiatkowska, M., Mirandola, R. & Tamburrelli, G., 2011

    Article in IEEE Transactions on Software Engineering

  7. Editorial

    Kroening, D., Margaria, T. & Woodcock, J., 2011

    Article in Formal Asp. Comput.

  8. Editorial

    Liu, Z. & Woodcock, J., 2011

    Editorial in Formal Asp. Comput.

  9. IEEE transactions on computational intelligence and AI in games


    Article in Special issue on Monte Carlo Tree Search and Computer Go

  10. Innovative Integrated Architecture for Educational Games: Challenges and Merits

    HodHod, R. A., Cairns, P. A., Kudenko, D., Pan, Z. (ed.), Cheok, A. D. (ed.), Müller, W. (ed.) & Yang, X. (ed.), 2011

    Article in T. Edutainment

  11. 2010
  12. Ada and the software vulnerabilities project: The SPARK Annex

    Burns, A., Tokar, J. L., Baird, S., Barnes, J., Chapman, R., Dismukes, G., González-Harbour, M., Michell, S., Moore, B., Pinho, L. M., Ploedereder, E., Real, J., Rosen, J. P., Schonberg, E., Taft, S. T. & Vardanega, T., 1 Dec 2010

    Article in Ada User Journal


    Zhang, H., Gladisch, A., Pickavet, M., Tao, Z. & Mohr, W., Nov 2010

    Editorial in Ieee communications magazine

  14. PRO2000 vaginal gel for prevention of HIV-1 infection (Microbicides Development Programme 301): a phase 3, randomised, double-blind, parallel-group trial

    McCormack, S., Ramjee, G., Kamali, A., Rees, H., Crook, A. M., Gafos, M., Jentsch, U., Pool, R., Chisembele, M., Kapiga, S., Mutemwa, R., Vallely, A., Palanee, T., Sookrajh, Y., Lacey, C. J., Darbyshire, J., Grosskurth, H., Profy, A., Nunn, A., Hayes, R. & 1 others, Weber, J., 16 Oct 2010

    Article in Lancet

  15. Do drastic weather effects on diet influence changes in chemical composition, mechanical properties and structure in deer antlers?

    Landete-Castillejos, T., Currey, J. D., Estevez, J. A., Fierro, Y., Calatayud, A., Ceacero, F., Garcia, A. J. & Gallego, L., Oct 2010

    Article in Bone

  16. Quantum Cryptography Approaching the Classical Limit

    Weedbrook, C., Pirandola, S., Lloyd, S. & Ralph, T. C., 8 Sep 2010

    Letter in Physical Review Letters

  17. Blind Steganalysis of Mp3stego

    Hernandez-Castro, J. C., Tapiador, J. E., Palomar, E. & Romero-Gonzalez, A., Sep 2010

    Article in Journal of information science and engineering

  18. Guest editorial

    Paige, R. F., Olsen, G. K., Oldevik, J. & Neple, T., Sep 2010

    Editorial in Software and Systems Modeling

  19. Getting ready for REDD plus in Tanzania: a case study of progress and challenges

    Burgess, N. D., Bahane, B., Clairs, T., Danielsen, F., Dalsgaard, S., Funder, M., Hagelberg, N., Harrison, P., Haule, C., Kabalimu, K., Kilahama, F., Kilawe, E., Lewis, S. L., Lovett, J. C., Lyatuu, G., Marshall, A. R., Meshack, C., Miles, L., Milledge, S. A. H., Munishi, P. K. T. & 6 others, Nashanda, E., Shirima, D., Swetnam, R. D., Willcock, S., Williams, A. & Zahabu, E., Jul 2010

    Article in Oryx

  20. Using audio to support animated route information in a hospital touch-screen kiosk

    Wright, P., Soroka, A., Belt, S., Pham, D. T., Dimov, S., De Roure, D. & Petrie, H., Jul 2010

    Article in Computers in Human Behavior

  21. A randomised placebo-controlled safety and acceptability trial of PRO 2000 vaginal microbicide gel in sexually active women in Uganda

    Kamali, A., Byomire, H., Muwonge, C., Bakobaki, J., Rutterford, C., Okong, P., Profy, A., Byaruhanga, R., Namukwaya, S., McCormack, S., Grosskurth, H., Nunn, A. J. & Lacey, C. J. N., Jun 2010

    Article in Sexually Transmitted Infections

  22. Personality in captivity reflects personality in the wild

    Herborn, K. A., Macleod, R., Miles, W. T. S., Schofield, A. N. B., Alexander, L. & Arnold, K. E., Apr 2010


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