Search research publications and outputs

  1. 2013
  2. Comparing degrees of non-determinism in expression evaluation

    Hayes, I. J., Burns, A., Dongol, B. & Jones, C. B., 1 Jun 2013

    Article in Computer journal

  3. The Receptor Density Algorithm

    Owens, N., Greensted, A. J., Timmis, J. & Tyrrell, A., 15 Apr 2013

    Article in Theoretical Computer Science

  4. Semantic mutation testing

    Clark, J. A., Dan, H. & Hierons, R. M., 1 Apr 2013

    Article in Science of Computer Programming

  5. Semantic mutation testing

    Clark, J. A., Dan, H. & Hierons, R. M., 1 Apr 2013

    Article in Science of Computer Programming

  6. Power-aware dynamic mapping heuristics for NoC-based MPSoCs using a unified model-based approach

    Ost, L., Mandelli, M., Moller, L., Soares Indrusiak, L., Sassatelli, G., Benoit, P., Glesner, M., Robert, M. & Moraes, F., Mar 2013

    Article in ACM Transactions in Embedded Computing Systems

  7. Parallel file system analysis through application I/O Tracing

    Wright, S. A., Hammond, S. D., Pennycook, S. J., Bird, R. F., Herdman, J. A., Miller, I., Vadgama, A., Bhalerao, A. & Jarvis, S. A., 1 Feb 2013

    Article in Computer Journal

  8. An investigation of the performance portability of OpenCL

    Pennycook, S. J., Hammond, S. D., Wright, S. A., Herdman, J. A., Miller, I. & Jarvis, S. A., 1 Jan 2013

    Article in Journal of Parallel and Distributed Computing

  9. Editorial

    Calinescu, R., France, R. & Ghezzi, C., 1 Jan 2013

    Article in Computing

  10. Face Recognition and Verification Using Photometric Stereo: The Photoface Database and a Comprehensive Evaluation

    Zafeiriou, S., Atkinson, G. A., Hansen, M. F., Smith, W. A. P., Argyriou, V., Petrou, M., Smith, M. L. & Smith, L. N., Jan 2013

    Article in Information Forensics and Security, IEEE Transactions on

  11. Search in real-time video games

    Cowling, P. I., Buro, M., Bida, M., Botea, A., Bouzy, B., Butz, M. V., Hingston, P., Muñoz-Avila, H., Nau, D. & Sipper, M., 2013

    Article in Dagstuhl Follow-Ups

  12. 2012
  13. Invariant measures on multimode quantum Gaussian states

    Lupo, C., Mancini, S., De Pasquale, A., Facchi, P., Florio, G. & Pascazio, S., 19 Dec 2012

    Article in Journal of Mathematical Physics

  14. Engineering simulations for cancer systems biology

    Bown, J. L., Andrews, PAUL. S., Deeni, Y., Goltsov, A., Idowu, M., Polack, F. A. C., Sampson, A. T., Shovman, M. & Stepney, S., Nov 2012

    Article in Current Drug Targets

  15. Enabling Adaptive Techniques in Heterogeneous MPSoCs Based on Virtualization

    Ost, L., Varyani, S., Indrusiak, L. S., Mandelli, M., Almeida, G. M., Wachter, E., Moraes, F. & Sassatelli, G., Oct 2012

    Article in ACM Transactions on Reconfigurable Technology and Systems (TRETS)

  16. Abashian-Booth-Crowe resonance structure in the double pionic fusion to 4He

    Adlarson, P., Augustyniak, W., Bardan, W., Bashkanov, M., Bednarski, T., Bergmann, F. S., Berłowski, M., Bhatt, H., Brinkmann, K. T., Büscher, M., Calén, H., Clement, H., Coderre, D., Czerwiński, E., Demmich, K., Doroshkevich, E., Engels, R., Erven, W., Eyrich, W., Fedorets, P. & 87 others, Föhl, K., Fransson, K., Goldenbaum, F., Goslawski, P., Grigoryev, K., Gullström, C. O., Hauenstein, F., Heijkenskjöld, L., Hejny, V., Hinterberger, F., Hodana, M., Höistad, B., Husmann, C., Jany, A., Jany, B. R., Jarczyk, L., Johansson, T., Kamys, B., Kemmerling, G., Khoukaz, A., Kistryn, S., Klaja, J., Kleines, H., Kłos, B., Krzemień, W., Kulessa, P., Kupć, A., Lalwani, K., Lersch, D., Lorentz, B., Magiera, A., Maier, R., Marciniewski, P., Mariański, B., Mikirtychiants, M., Morsch, H. P., Moskal, P., Nandi, B. K., Niedwiecki, S., Ohm, H., Ozerianska, I., Pauly, C., Perez Del Rio, E., Petukhov, Y., Pluciński, P., Podkopał, P., Prasuhn, D., Pricking, A., Pszczel, D., Pysz, K., Pyszniak, A., Redmer, C. F., Ritman, J., Rudy, Z., Sawant, S., Schadmand, S., Schmidt, A., Serdyuk, V., Siudak, R., Skorodko, T., Skurzok, M., Smyrski, J., Sopov, V., Stassen, R., Stepaniak, J., Sterzenbach, G., Stockhorst, H., Ströher, H., Szczurek, A., Tolba, T., Trzciński, A., Varma, R., Vlasov, P., Wagner, G. J., Wȩglorz, W., Wolke, M., Wrońska, A., Wüstner, P., Wurm, P., Yamamoto, A., Yuan, X., Yurev, L., Zabierowski, J., Zieliński, M. J., Zipper, W., Złomańczuk, J. & Zuprański, P., 7 Sep 2012

    Article in Physical Review C - Nuclear Physics

  17. Photochemical-mediated solid-state [2+2]-cycloaddition reactions of an unsymmetrical dibenzylidene acetone (monothiophos-dba)

    Jarvis, A. G., Sparkes, H. A., Tallentire, S. E., Hatcher, L. E., Warren, M. R., Raithby, P. R., Allan, D. R., Whitwood, A. C., Cockett, M. C. R., Duckett, S. B., Clark, J. L. & Fairlamb, I. J. S., 7 Sep 2012

    Article in CrystEngComm

  18. Optimized Frame Packing for Embedded Systems

    Polzlbauer, F., Bate, I. & Brenner, E., 1 Sep 2012

    Article in Embedded Systems Letters

  19. Symmetric M-ary phase discrimination using quantum-optical probe states

    Nair, R., Yen, B. J., Guha, S., Shapiro, J. H. & Pirandola, S., 7 Aug 2012

    Article in Physical Review A

  20. Surveying Rule Inheritance in Model-to-Model Transformation Languages

    Kolovos, D., Wimmer, M., Kappel, G., Kusel, A., Retschitzegger, W., Schonbock, J., Schwinger, W., Paige, R. F., Lauder, M., Schurr, A. & Wagelaar, D., Aug 2012

    Article in Journal of Object Technology

  21. Differential RET Signaling Pathways Drive Development of the Enteric Lymphoid and Nervous Systems

    Patel, A., Harker, N., Moreira-Santos, L., Alden, K. J., Timmis, J., Foster, K., Andrews, PAUL. S., Pachnis, P., Garefalaki, A., Coles, M. C., Enomoto, H., Milbrandt, J., Pachnis, V., Kioussis, D. & Veiga-Fernandes, H., 31 Jul 2012

    Article in Science Signaling

  22. Quantum reading under a local energy constraint

    Spedalieri, G., Lupo, C., Mancini, S., Braunstein, S. L. & Pirandola, S., 13 Jul 2012

    Article in Physical Review A

  23. Large-scale complex IT Systems

    Sommerville, I., Cliff, D., Calinescu, R., Keen, J., Kelly, T., Kwiatkowska, M., McDermid, J. & Paige, R., Jul 2012

    Article in Communications of the ACM

  24. Capacities of linear quantum optical systems

    Lupo, C., Giovannetti, V., Pirandola, S., Mancini, S. & Lloyd, S., 19 Jun 2012

    Article in Physical Review A

  25. Gaussian quantum information

    Weedbrook, C., Pirandola, S., Garcia-Patron, R., Cerf, N. J., Ralph, T. C., Shapiro, J. H. & Lloyd, S., 1 May 2012

    Article in Reviews of Modern Physics

  26. Regio- and stereoselective oxidation of unactivated C-H bonds with Rhodococcus rhodochrous

    O'Reilly, E., Aitken, S. J., Kelly, P. P., Turner, N. J., Flitsch, S. L. & Grogan, G., 3 Apr 2012

    Article in Beilstein Journal of Organic Chemistry

  27. Entanglement Frustration in Multimode Gaussian States

    Lupo, C., Mancini, S., Facchi, P., Florio, G. & Pascazio, S., Mar 2012

    Article in Int. J. Geom. Methods Mod. Phys.

  28. On the acceleration of wavefront applications using distributed many-core architectures

    Pennycook, S. J., Hammond, S. D., Mudalige, G. R., Wright, S. A. & Jarvis, S. A., 1 Feb 2012

    Article in Computer Journal

  29. Exclusive measurement of the η→π +π -γ decay

    Adlarson, P., Adolph, C., Augustyniak, W., Bardan, W., Bashkanov, M., Bednarski, T., Bergmann, F. S., Berłowski, M., Bhatt, H., Brinkmann, K. T., Büscher, M., Calén, H., Clement, H., Coderre, D., Czerwiński, E., Doroshkevich, E., Engels, R., Erven, W., Eyrich, W., Fedorets, P. & 100 others, Föhl, K., Fransson, K., Goldenbaum, F., Goslawski, P., Grigoryev, K., Gullström, C. O., Hanhart, C., Heijkenskjöld, L., Heimlich, J., Hejny, V., Hinterberger, F., Hodana, M., Höistad, B., Jacewicz, M., Jany, A., Jany, B. R., Jarczyk, L., Johansson, T., Kamys, B., Kemmerling, G., Khakimova, O., Khoukaz, A., Kistryn, S., Klaja, J., Kleines, H., Kłos, B., Kren, F., Krzemień, W., Kulessa, P., Kupść, A., Lalwani, K., Leupold, S., Lorentz, B., Magiera, A., Maier, R., Mariański, B., Marciniewski, P., Meißner, U. G., Mikirtychiants, M., Morsch, H. P., Moskal, P., Nandi, B. K., Niedźwiecki, S., Ohm, H., Passfeld, A., Pauly, C., Perez del Rio, E., Petri, T., Petukhov, Y., Piskunov, N., Pluciński, P., Podkopał, P., Povtoreyko, A., Prasuhn, D., Pricking, A., Pysz, K., Pyszniak, A., Rausmann, T., Redmer, C. F., Ritman, J., Rudy, Z., Sawant, S., Schadmand, S., Schmidt, A., Sefzick, T., Serdyuk, V., Siemaszko, M., Siudak, R., Skorodko, T., Skurzok, M., Smyrski, J., Sopov, V., Stassen, R., Stepaniak, J., Sterzenbach, G., Stockhorst, H., Stollenwerk, F., Ströher, H., Szczurek, A., Täschner, A., Terschlüsen, C., Tolba, T., Trzciński, A., Varma, R., Vlasov, P., Wagner, G. J., Weglorz, W., Winnemöller, A., Wirzba, A., Wolke, M., Wrońska, A., Wüstner, P., Wurm, P., Yuan, X., Yurev, L., Zabierowski, J., Zieliński, M. J., Zipper, W., Złomańczuk, J. & Zuprański, P., 20 Jan 2012

    Article in Physics Letters, Section B: Nuclear, Elementary Particle and High-Energy Physics

  30. Π0Π0 Production in proton-proton collisions at Tp=1.4 GeV

    Adlarson, P., Adolph, C., Augustyniak, W., Bashkanov, M., Bednarski, T., Bergmann, F. S., Berłowski, M., Bhatt, H., Brinkmann, K. T., Büscher, M., Calén, H., Clement, H., Coderre, D., Czerwiński, E., Doroshkevich, E., Engels, R., Erven, W., Eyrich, W., Fedorets, P., Föhl, K. & 92 others, Fransson, K., Goldenbaum, F., Goslawski, P., Grigoryev, K., Gullström, C. O., Heijkenskjöld, L., Heimlich, J., Hejny, V., Hinterberger, F., Hodana, M., Höistad, B., Jacewicz, M., Janusz, M., Jany, A., Jany, B. R., Jarczyk, L., Johansson, T., Kamys, B., Kemmerling, G., Khakimova, O., Khoukaz, A., Kistryn, S., Klaja, J., Kleines, H., Kłos, B., Kren, F., Krzemień, W., Kulessa, P., Kupść, A., Lalwani, K., Lorentz, B., Magiera, A., Maier, R., Mariański, B., Marciniewski, P., Mikirtychiants, M., Morsch, H. P., Moskal, P., Nandi, B. K., Niedźwiecki, S., Ohm, H., Passfeld, A., Pauly, C., Perez del Rio, E., Petukhov, Y., Piskunov, N., Pluciński, P., Podkopał, P., Povtoreyko, A., Prasuhn, D., Pricking, A., Pysz, K., Rausmann, T., Redmer, C. F., Ritman, J., Rudy, Z., Sawant, S., Schadmand, S., Schmidt, A., Sefzick, T., Serdyuk, V., Siemaszko, M., Skorodko, T., Skurzok, M., Smyrski, J., Sopov, V., Stassen, R., Stepaniak, J., Sterzenbach, G., Stockhorst, H., Ströher, H., Szczurek, A., Täschner, A., Tolba, T., Trzciński, A., Varma, R., Vlasov, P., Wagner, G. J., Weglorz, W., Wiedner, U., Winnemöller, A., Wolke, M., Wrońska, A., Wüstner, P., Wurm, P., Yuan, X., Yurev, L., Zabierowski, J., Zieliński, M. J., Zipper, W., Złomańczuk, J. & Zuprański, P., 5 Jan 2012

    Article in Physics Letters, Section B: Nuclear, Elementary Particle and High-Energy Physics

  31. A survey of monte carlo tree search methods

    Browne, C. B., Powley, E., Whitehouse, D., Lucas, S. M., Cowling, P. I., Rohlfshagen, P., Tavener, S., Perez, D., Samothrakis, S. & Colton, S., 2012

    Article in IEEE Transactions on Computational Intelligence and AI in Games

  32. 2011
  33. Correct hardware synthesis

    Perna, J., Woodcock, J., Sampaio, A. & Iyoda, J., Dec 2011

    Article in Acta Informatica

  34. Composition-controlled exchange bias training effect in FeCr/IrMn bilayers

    Shi, Z., Qiu, X. P., Zhu, J. T., Chantrell, R. W., Mangin, S. & Zhou, S. M., 1 Nov 2011

    Article in European physical journal b

  35. Quantum reading capacity

    Pirandola, S., Lupo, C., Giovannetti, V., Mancini, S. & Braunstein, S. L., Nov 2011

    Article in New Journal of Physics

  36. Optimal detection of losses by thermal probes

    Invernizzi, C., Paris, M. G. A. & Pirandola, S., 25 Aug 2011

    Article in Physical Review A

  37. Enhanced quantum communication via optical refocusing

    Lupo, C., Giovannetti, V., Pirandola, S., Mancini, S. & Lloyd, S., 25 Jul 2011

    Article in Physical Review A

  38. Abashian-booth-crowe effect in basic double-pionic fusion: A new resonance?

    Adlarson, P., Adolph, C., Augustyniak, W., Baru, V., Bashkanov, M., Bednarski, T., Bergmann, F. S., Berłowski, M., Bhatt, H., Brinkmann, K. T., Büscher, M., Calén, H., Clement, H., Coderre, D., Czerwiński, E., Doroshkevich, E., Ekström, C., Engels, R., Erven, W., Eyrich, W. & 100 others, Fedorets, P., Föhl, K., Fransson, K., Goldenbaum, F., Goslawski, P., Grigoryev, K., Grishina, V., Gullström, C. O., Hampe, J., Hanhart, C., Heijkenskjöld, L., Hejny, V., Hinterberger, F., Hodana, M., Höistad, B., Jacewicz, M., Janusz, M., Jany, A., Jany, B. R., Jarczyk, L., Johansson, T., Kamys, B., Kemmerling, G., Khakimova, O., Khoukaz, A., Kistryn, S., Klaja, J., Kleines, H., Kłos, B., Kren, F., Krzemień, W., Kulessa, P., Kullander, S., Kupć, A., Lalwani, K., Lorentz, B., Magiera, A., Maier, R., Marciniewski, P., Mariański, B., Mikirtychiants, M., Moskal, P., Morsch, H. P., Nandi, B. K., Niedžwiecki, S., Ohm, H., Passfeld, A., Pauly, C., Perez Del Rio, E., Petukhov, Y., Piskunov, N., Pluciński, P., Podkopał, P., Povtoreyko, A., Prasuhn, D., Pricking, A., Pysz, K., Rausmann, T., Redmer, C. F., Ritman, J., Ruber, R. J. M. Y., Rudy, Z., Sawant, S., Schadmand, S., Schmidt, A., Schroeder, W., Sefzick, T., Serdyuk, V., Siemaszko, M., Siudak, R., Skorodko, T., Skurzok, M., Smyrski, J., Sopov, V., Stassen, R., Stepaniak, J., Sterzenbach, G., Stockhorst, H., Ströher, H., Szczurek, A., Täschner, A., Tolba, T., Trzciński, A., Varma, R., Vlasov, P., Wagner, G. J., Wȩglorz, W., Winnemöller, A., Wirzba, A., Wolke, M., Wrońska, A., Wüstner, P., Wurm, P., Yuan, X., Yurev, L., Zabierowski, J., Zieliński, M. J., Zipper, W., Złomańczuk, J. & Zupranski, P., 17 Jun 2011

    Article in Physical Review Letters

  39. Use of macrophages to target therapeutic adenovirus to human prostate tumors

    Muthana, M., Giannoudis, A., Scott, S. D., Fang, H-Y., Coffelt, S. B., Morrow, F. J., Murdoch, C., Burton, J., Cross, N., Burke, B., Mistry, R., Hamdy, F., Brown, N. J., Georgopoulos, L., Hoskin, P., Essand, M., Lewis, C. E. & Maitland, N. J., 1 Mar 2011

    Article in Cancer research

  40. On the classical capacity of quantum Gaussian channels

    Lupo, C., Pirandola, S., Aniello, P. & Mancini, S., 21 Feb 2011

    Article in Physica Scripta

  41. 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

  42. 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

  43. Advances in artificial immune systems

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

    Article in Evolutionary Intelligence

  44. 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

  45. 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

  46. Editorial

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

    Article in Formal Asp. Comput.

  47. Editorial

    Liu, Z. & Woodcock, J., 2011

    Editorial in Formal Asp. Comput.

  48. IEEE transactions on computational intelligence and AI in games

    Lucas, S., AHMADI, SAMAD., ASHLOCK, DANIEL., CONGDON, CLARE. BATES., BAUCKHAGE, CHRISTIAN., BROWNE, CAMERON., CHAMPANDARD, ALEX. J., CHO, SUNG-BAE., CHONG, SIANG. YEW. & COWLING, PETER., 2011

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

  49. 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

  50. 2010
  51. 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

  52. ENERGY EFFICIENCY IN COMMUNICATIONS

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

    Editorial in Ieee communications magazine

  53. 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

  54. 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

  55. Quantum Cryptography Approaching the Classical Limit

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

    Letter in Physical Review Letters

  56. 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

  57. Guest editorial

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

    Editorial in Software and Systems Modeling

  58. 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

  59. 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

  60. 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

  61. 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

    Article in ANIMAL BEHAVIOUR

  62. Mechanisms of Bone Deformation and Fracture

    Gupta, H., Fratzl, P., Kerschnitzki, M., Krauss, S., Seto, J., Wagermaier, W., Benecke, G., Boesecke, P., Funari, S., Currey, J. & Estevez, J., Mar 2010

    Article in Bone

  63. Sound refactorings

    Cornelio, M., Cavalcanti, A. & Sampaio, A., Mar 2010

    Article in Science of Computer Programming

  64. Impact of asthma among primary attention children

    Velastegui, C., Perez-Canto, P., Zarate, V., Arenas, D., Salinas, P., Moreno, G. & Prado, F., Feb 2010

    Article in Revista medica de chile

  65. Considering Software Preservation

    Matthews, B., Shaon, A., Bicarregui, J., Jones, C., Conway, E. & Woodcock, J., 2010

    Article in ERCIM News

  66. SBST: 3rd International Workshop on Search-Based Software Testing

    Feldt, R., Cohen, M., Arcuri, A., Baresel, A. & Clark, J. A., 2010

    Article in computer.org

  67. Visualisation of lymphoid organ development

    Veiga-Fernandes, H., Foster, K., Patel, A., Coles, M. & Kioussis, D., 2010

    Article in Methods in molecular biology (Clifton, N.J.)

  68. 2009
  69. The mechanical properties of red deer antler bone when used in fighting

    Currey, J. D., Landete-Castillejos, T., Estevez, J., Ceacero, F., Olguin, A., Garcia, A. & Gallego, L., 15 Dec 2009

    Article in Journal of Experimental Biology

  70. TAIC PART 2007 and Mutation 2007 special issue editorial

    Harman, M., Li, Z., McMinn, P., Offutt, J. & Clark, J., Nov 2009

    Article in Journal of Systems and Software

  71. Formal methods: Practice and experience

    Woodcock, J., Larsen, P. G., Bicarregui, J. & Fitzgerald, J., 1 Oct 2009

    Article in ACM Comput. Surv.

  72. Genetic Variation in the Schizophrenia-Risk Gene Neuregulin 1 Correlates with Brain Activation and Impaired Speech Production in a Verbal Fluency Task in Healthy Individuals

    Kircher, T., Krug, A., Markov, V., Whitney, C., Krach, S., Zerres, K., Eggermann, T., Stoecker, T., Shah, N. J., Treutlein, J., Noethen, M. M., Becker, T. & Rietschel, M., Oct 2009

    Article in Human Brain Mapping

  73. Overview of physics results from MAST

    Meyer, H., Akers, R. J., Alladio, F., Appel, L. C., Axon, K. B., Ben Ayed, N., Boerner, P., Buttery, R. J., Carolan, P. G., Ciric, D., Challis, C. D., Chapman, I. T., Coyler, G., Connor, J. W., Conway, N. J., Cowley, S., Cox, M., Counsell, G. F., Cunningham, G., Darke, A. & 31 others, deBock, M., deTemmerman, G., Dendy, R. O., Dowling, J., Dnestrovskij, A. Y., Dnestrovskij, Y. N., Dudson, B., Dunai, D., Dunstan, M., Field, A. R., Foster, A., Garzotti, L., Gibson, K., Gryaznevich, M. P., Guttenfelder, W., Harrison, J., Hawkes, N. C., Helander, P., Hender, T. C., Hnat, B., Hole, M. J., Howell, D. F., Hua, M. D., Morgan, T., O'Gorman, T., Patel, A., Thornton, A., Vann, R. G. L., Walsh, M. J., Wilson, H. R. & NBI Team, MAST Team, Oct 2009

    Article in Nuclear Fusion

  74. Concurrency vulnerabilities

    Burns, A. & Wettings, A. J., 1 Sep 2009

    Article in Ada User Journal

  75. Quantum error correction beyond qubits

    Aoki, T., Takahashi, G., Kajiya, T., Yoshikawa, J., Braunstein, S. L., van Loock, P. & Furusawa, A., Aug 2009

    Article in Nature Physics

  76. The Fifth International Conference on Autonomic and Autonomous Systems: ICAS 2009 - Preface

    Coupaye, T., Dini, P., Murata, M., Vasilakos, A., Herrero, L. P., Mauri, J. L., Crosta, S., Ung, K. Y., Calinescu, R., Marin, M., Turro, C., Liberal, F., Ferro, A. & Salaun, M., 23 Jul 2009

    Article in Proceedings of the 5th International Conference on Autonomic and Autonomous Systems, ICAS 2009

  77. Comparative analysis between homoeologous genome segments of brassica napus and its progenitor species reveals extensive sequence-level divergence

    Cheung, F., Town, C., Trick, M., Drou, N., Bancroft, I., Lim, Y. P., Park, J. Y., Kwon, S. J., Kim, J. A., Scott, R., Chris Pires, J. & Paterson, A. H., 1 Jul 2009

    Article in The Plant Cell

  78. Measurement of the η → 3 π0 Dalitz plot distribution with the WASA detector at COSY

    Adolph, C., Angelstein, M., Bashkanov, M., Bechstedt, U., Belostotski, S., Berłowski, M., Bhatt, H., Bisplinghoff, J., Bondar, A., Borasoy, B., Büscher, M., Calén, H., Chandwani, K., Clement, H., Czerwiński, E., Czyzykiewicz, R., D'Orsaneo, G., Duniec, D., Ekström, C., Engels, R. & 115 others, Erven, W., Eyrich, W., Fedorets, P., Felden, O., Fransson, K., Gil, D., Goldenbaum, F., Grigoryev, K., Heczko, A., Hanhart, C., Hejny, V., Hinterberger, F., Hodana, M., Höistad, B., Izotov, A., Jacewicz, M., Janusz, M., Jany, B. R., Jarczyk, L., Johansson, T., Kamys, B., Kemmerling, G., Keshelashvili, I., Khakimova, O., Khoukaz, A., Kilian, K., Kimura, N., Kistryn, S., Klaja, J., Klaja, P., Kleines, H., Klos, B., Kowalczyk, A., Kren, F., Krzemień, W., Kulessa, P., Kullander, S., Kupść, A., Kuzmin, A., Kyryanchuk, V., Majewski, J., Machner, H., Magiera, A., Maier, R., Marciniewski, P., Migdał, W., Meißner, U. G., Mikirtychiants, M., Miklukho, O., Milke, N., Mittag, M., Moskal, P., Nandi, B. K., Nawrot, A., Nißler, R., Odoyo, M. A., Oelert, W., Ohm, H., Paul, N., Pauly, C., Petukhov, Y., Piskunov, N., Pluciński, P., Podkopał, P., Povtoreyko, A., Prasuhn, D., Pricking, A., Pysz, K., Rachowski, J., Rausmann, T., Redmer, C. F., Ritman, J., Ruber, R. J. M. Y., Rudy, Z., Salmin, R., Schadmand, S., Schmidt, A., Schneider, H., Schroeder, W., Scobel, W., Sefzick, T., Serdyuk, V., Siemaszko, M., Siudak, R., Skorodko, T., Smoliński, T., Smyrski, J., Sopov, V., Spölgen, D., Stepaniak, J., Sterzenbach, G., Ströher, H., Szczurek, A., Teufel, A., Tolba, T., Trzciński, A., Ulbrich, K., Varma, R., Vlasov, P., Weglorz, W., Winnemöller, A., Wirzba, A., Wolke, M., Wrońska, A., Wüstner, P., Yamamoto, A., Yamaoka, H., Yuan, X., Yurev, L., Zabierowski, J., Zieliński, M. J., Zipper, W., Złomańczuk, J., Zwoll, K. & Zychor, I., 15 Jun 2009

    Article in Physics Letters, Section B: Nuclear, Elementary Particle and High-Energy Physics

  79. Inhomogeneous fibril stretching in antler starts after macroscopic yielding: Indication for a nanoscale toughening mechanism

    Krauss, S., Fratzl, P., Seto, J., Currey, J. D., Estevez, J. A., Funari, S. S. & Gupta, H. S., Jun 2009

    Article in Bone

  80. Towards scalable intrusion detection

    Shaikh, SA., Chivers, H., Nobles, P. & Clark, J. A., Jun 2009

    Article in Network Security

  81. Grading quality of evidence and strength of recommendations in clinical practice guidelines. Part 1 of 3. An overview of the GRADE approach and grading quality of evidence about interventions.

    Brozek, J. L., Akl, E. A., Alonso-Coello, P., Lang, D., Jaeschke, R., Williams, J. W., Phillips, B., Lelgemann, M., Lethaby, A., Bousquet, J., Guyatt, G. H. & Schünemann HJ; GRADE Working Group, May 2009

    Article in Allergy.

  82. MACULAR DYSTROPHY ASSOCIATED WITH THE ARG172TRP SUBSTITUTION IN PERIPHERIN/RDS Genotype-Phenotype Correlation

    Anand, S., Sheridan, E., Cassidy, F., Inglehearn, C., Williams, G., Springell, K., Allgar, V., Kelly, T-L. & McKibbin, M., May 2009

    Article in Retina-The journal of retinal and vitreous diseases

  83. FDR Explorer

    Freitas, L. & Woodcock, J., Feb 2009

    Article in Formal Aspects of Computing

  84. Filtering algorithms for the multiset ordering constraint

    Frisch, A. M., Hnich, B., Kiziltan, Z., Miguel, I. & Walsh, T., Feb 2009

    Article in Artificial Intelligence

  85. Multiset Ordering Constraints

    Frisch, A. M., Miguel, I., Kiziltan, Z., Hnich, B. & Walsh, T., Feb 2009

    Article in CoRR

  86. Editorial

    Paige, R. F., Brooke, P. J., Dong, J. S. & Woodcock, J. C. P., 2009

    Article in Formal Asp. Comput.

  87. Reverse Coherent Information

    Garcia-Patron, R., Pirandola, S., Lloyd, S. & Shapiro, J. H., 2009

    Article in QUANTUM COMMUNICATION, MEASUREMENT AND COMPUTING (QCMC)

  88. Reverse Coherent Information

    García-Patrón, R., Pirandola, S., Lloyd, S. & Shapiro, J. H., 2009

    Letter in Physical Review Letters

  89. 2008
  90. Quantum Illumination with Gaussian States

    Tan, S-H., Erkmen, B. I., Giovannetti, V., Guha, S., Lloyd, S., Maccone, L., Pirandola, S. & Shapiro, J. H., 18 Dec 2008

    Letter in Physical Review Letters

  91. The insecticidal activity of recombinant garlic lectins towards aphids

    Fitches, E., Wiles, D., Douglas, A. E., Hinchliffe, G., Audsley, N. & Gatehouse, J. A., Oct 2008

    Article in Insect Biochemistry and Molecular Biology

  92. Optimizing amino acid groupings for GPCR classification

    Davies, M. N., Secker, A., Freitas, A. A., Clark, E., Timmis, J. & Flower, D. R., 15 Sep 2008

    Article in Bioinformatics

  93. A constraint language for specifying combinatorial problems

    Frisch, A., Harvey, W., Jefferson, C., Martínez-Hernández, B. & Miguel, I., Sep 2008

    Article in Journal of Constraints

  94. ESSENCE: A constraint language for specifying combinatorial problems

    Frisch, A. M., Harvey, W., Jefferson, C., Hernández, B. M. & Miguel, I., Sep 2008

    Article in Journal of Constraints

  95. Measuring and defining the experience of immersion in games

    Jennett, C., Cox, A. L., Cairns, P., Dhoparee, S., Epps, A., Tijs, T. & Walton, A., Sep 2008

    Article in International journal of human-Computer studies

  96. An analogue sum and threshold neuron based on the quantum tunnelling amplification of electrical pulses

    Samardak, A., Nogaret, A., Taylor, S., Austin, J., Farrer, I. & Ritchie, D. A., 7 Aug 2008

    Article in New Journal of Physics

  97. Hybrid quantum computation in quantum optics

    van Loock, P., Munro, W. J., Nemoto, K., Spiller, T. P., Ladd, T. D., Braunstein, S. L. & Milburn, G. J., 1 Aug 2008

    Article in Physical Review A

  98. Extremism propagation in social networks with hubs

    Franks, D. W., Noble, J., Kaufmann, P. & Stagl, S., Aug 2008

    Article in Adaptive behavior

  99. Untitled

    Barkaoui, K., Broy, M., Cavalcanti, A. & Cerone, A., Jul 2008

    Editorial in Formal Aspects of Computing

  100. Molecular resonances and the Jacobi shape transition in 48Cr

    Salsac, M. D., Haas, F., Courtin, S., Algora, A., Beck, C., Beghini, S., Behera, B. R., Chapman, R., Corradi, L., Dombradi, Z., Farnea, E., Fioretto, E., Gadea, A., Jenkins, D. G., Latina, A., Lebhertz, D., Lenzi, S., Liang, X., Marginean, N., Montagnoli, G. & 16 others, Napoli, D., Papka, P., Pokrovski, I., Pollarolo, G., Rousseau, M., Sahin, E., Sanchez, A. S. I., Scarlassara, F., Sohler, D., Stefanini, M., Szilner, S., Trotta, M., Ur, C., Della Vedova, F., Wang, Z. M. & Wiedemann, K. T., 1 May 2008

    Article in Journal of Physics: Conference Series