Search research publications and outputs

  1. 2003
  2. Theorem Proving Support for View Consistency Checking

    Paige, R. F., Ostroff, J. S. & Brooke, P. J., 2003

    Article in L'OBJET

  3. 2002
  4. Weak-force detection with superposed coherent states

    Munro, WJ., Nemoto, K., Milburn, GJ. & Braunstein, SL., 1 Aug 2002

    Article in Physical Review A

  5. Jolly SAD

    Dauter, M., Dodson, E. J. & Dauter, Z., Mar 2002

    Article in Acta Crystallographica Section D: Biological Crystallography

  6. Preface

    Derrick, J., Boiten, E. A., Woodcock, J. & Wright, J. V., 2002

    Article in Electr. Notes Theor. Comput. Sci.

  7. 2001
  8. Radical damage to proteins studied by EPR spin-trapping techniques

    Clement, J. L., Gilbert, B. C., Rockenbauer, A. & Tordo, P., Sep 2001

    Article in JOURNAL OF THE CHEMICAL SOCIETY-PERKIN TRANSACTIONS 2

  9. Quantum-interferometric optical lithography: Towards arbitrary two-dimensional patterns

    Kok, P., Boto, AN., Abrams, DS., Williams, CP., Braunstein, SL. & Dowling, JP., 1 Jun 2001

    Article in Physical Review A

  10. Learning in multi-agent systems

    Alonso, E., D'Inverno, M., Kudenko, D., Luck, M. & Noble, J., Jun 2001

    Article in The Knowledge Engineering Review

  11. Modelling and verification of an atomic action protocol implemented in Ada

    Burns, A., Wellings, A. J., Burns, F., Koelmans, A. M., Koutny, M., Romanovsky, A. & Yakovlev, A., May 2001

    Article in Computer systems science and engineering

  12. Weakly hard real-time systems

    Burns, A., Liamosi, A. & Bernat, G., Apr 2001

    Article in IEEE Transactions on Computers

  13. A memetic approach to the nurse rostering problem

    Burke, E., Cowling, P., De Causmaecker, P. & Berghe, G. V., 2001

    Article in Applied Intelligence

  14. A penalized likelihood approach to image warping - Discussion

    Molchanov, I., Jennison, C., Ersboll, B. K., Hancock, E., Wilson, R., Horgan, G., Kent, J. T., Ashburner, J., Dryden, I. L., Petrou, M., Angulo, J. M., Berman, M., Coleman, R., Duta, N., Jain, A. K., Ghosh, J. K., Murthy, C. A., Gray, A., Gustafsson, J., Rudemo, M. & 14 others, Hogg, D., Koch, I., Linney, A., Ramsay, J. O., Ramsay, T. O., Rao, M. M., Sebastiani, G., de Souza, K., Sun, C. M., Buckley, M., Titterington, D. M., Trubuil, A., Worsley, K. J. & Yu, K. M., 2001

    Editorial in JOURNAL OF THE ROYAL STATISTICAL SOCIETY SERIES B-STATISTICAL METHODOLOGY

  15. Achieving a World-Wide Software Engineering Profession

    Edwards, H., Thompson, B., Jovanovic, V., Layzell, P., McDermid, J. A. & Williams, N., 2001

    Article in Education and Information Technologies

  16. Atomic spectrometry update. Environmental analysis

    Cave, M. R., Butler, O., Chenery, S. R. N., Cook, J. M., Cresser, M. S. & Miles, D. L., 2001

    Literature review in JOURNAL OF ANALYTICAL ATOMIC SPECTROMETRY

  17. 2000
  18. Broadband teleportation

    van Loock, P., Braunstein, SL. & Kimble, HJ., 1 Aug 2000

    Article in Physical Review A

  19. A quantum analog of Huffman coding

    Braunstein, SL., Fuchs, CA., Gottesman, D. & Lo, HK., 1 Jul 2000

    Article in IEEE TRANSACTIONS ON INFORMATION THEORY

  20. Statistical and logical reasoning in disambiguation

    Wilks, Y. A., Pulman, S. G., Pereira, F., Jones, K. I. B. S., Jourlin, P., Cussens, J. & Sabin, M., 15 Apr 2000

    Editorial in Philosophical Transactions: Mathematical, Physical and Engineering Sciences

  21. Universal teleportation with a twist

    Braunstein, SL., D'Ariano, GM., Milburn, GJ. & Sacchi, MF., 10 Apr 2000

    Article in Physical Review Letters

  22. The meaning and role of value in scheduling flexible real-time systems

    Burns, A., Prasad, D., Bondavalli, A., Di Giandomenico, F., Ramamritham, K., Stankovic, J. & Strigini, L., Feb 2000

    Article in Journal of systems architecture

  23. A behavioural intervention improved cognitive function and depression in elderly people in residential homes

    Proctor, R., Stratton-Powell, H., Burns, A., Tarrier, N., Richardson, G., Davies, L., South, B. & Farragher, B., 2000

    Article in Evidence Based Nursing

  24. Efficient alignment and correspondence using edit distance

    Bergamini, P., Cinque, L., Cross, A. D. J., Hancock, E. R., Levialdi, S. & Myers, R., 2000

    Article in ADVANCES IN PATTERN RECOGNITION

  25. Reports on the AAAI 1999 Workshop Program

    Drabble, B., Chaudron, L., Tessier, C., Abu-Hakima, S., Willmott, S., Austin, J., Faltings, B., Freuder, E. C., Friedrich, G., Freitas, A. A., Cortés, U., Sànchez-Marrè, M., Aha, D. W., Becerra-Fernandez, I., Muñoz-Avila, H., Ghose, A., Menzies, T., Satoh, K., Califf, M. E., Cox, M. T. & 5 others, Sen, S., Brézillon, P., Pomerol, J-C., Turner, R. M. & Turner, E. H., 2000

    Article in AI Magazine

  26. 1999
  27. Separability of very noisy mixed states and implications for NMR Quantum computing

    Braunstein, SL., Caves, CM., Jozsa, R., Linden, N., Popescu, S. & Schack, R., 2 Aug 1999

    Article in Physical Review Letters

  28. Behavioural management in nursing and residential homes: a randomised controlled trial

    Proctor, R., Burns, A., Powell, H. S., Tarrier, N., Faragher, B., Richardson, G. & Davies, L., 3 Jul 1999

    Article in Lancet

  29. GUARDS: A generic upgradable architecture for real-time dependable systems

    Powell, D., Arlat, J., Beus-Dukic, L., Bondavalli, A., Coppola, P., Fantechi, A., Jenn, E., Rabejac, C. & Wellings, A., Jun 1999

    Article in Ieee transactions on parallel and distributed systems

  30. Localisation of amylose and amylopectin in starch granules using enzyme-gold labelling

    Atkin, N. J., Cheng, S. L., Abeysekera, R. M. & Robards, A. W., May 1999

    Article in Starch-Starke

  31. Vitamin B12: insights into biosynthesis's mount improbable

    Raux, E., Schubert, H. L., Roper, J. M., Wilson, K. S. & Warren, M. J., Apr 1999

    Article in RUSSIAN JOURNAL OF BIOORGANIC CHEMISTRY

  32. Adsorption and decomposition of Fe(CO)(5) on Cu(111)

    Sun, L. & McCash, E. M., 22 Feb 1999

    Article in Surface Science

  33. Graph Transformation for Specification and Programming

    Andries, M., Engels, G., Habel, A., Hoffmann, B., Kreowski, H-J., Kuske, S., Plump, D., Schürr, A. & Taentzer, G., 1999

    Article in Science of Computer Programming

  34. 1998
  35. Distributed atomic actions in Ada 95

    Mitchell, S. E., Wellings, A. J. & Romanovsky, A., 1 Dec 1998

    Article in Computer journal

  36. Unconditional quantum teleportation

    Furusawa, A., Sorensen, JL., Braunstein, SL., Fuchs, CA., Kimble, HJ. & Polzik, ES., 23 Oct 1998

    Article in Science

  37. A posteriori teleportation

    Braunstein, SI. & Kimble, HJ., 27 Aug 1998

    Article in Nature

  38. Use of a phosphorylated spin trap to discriminate between the hydroxyl radical and other oxidising species

    Clement, J. L., Gilbert, B. C., Ho, W. F., Jackson, N. D., Newton, M. S., Silvester, S., Timmins, G. S., Tordo, P. & Whitwood, A. C., Aug 1998

    Article in JOURNAL OF THE CHEMICAL SOCIETY-PERKIN TRANSACTIONS 2

  39. The cost of COTS

    Talbert, N. & McDermid, J., Jun 1998

    Article in Computer

  40. Power-stroke measured for a single myosin molecule.

    Coluccio, L. M., Veigel, C., White, D. C. S. & Molloy, J. E., Feb 1998

    Article in Biophysical Journal

  41. Whither magnetic recording

    O'Grady, K., White, R. L. & Grundy, P. J., Jan 1998

    Article in Journal of Magnetism and Magnetic Materials

  42. A Mössbauer investigation of advanced magnetic recording media

    Walton, S. A., Dickson, D. P. E., O'Grady, K. & Mayo, P. I., 1998

    Article in Hyperfine Interactions

  43. Extreme interleavings

    Ben-Ari, M. & Burns, A., 1998

    Editorial in Ieee concurrency

  44. 1997
  45. Quantum copying: A network

    Buzek, V., Braunstein, SL., Hillery, M. & Bruss, D., 1 Nov 1997

    Article in Physical Review A

  46. Single molecule energy transduction.

    Veigel, C., White, D. C. S. & Molloy, J. E., Feb 1997

    Article in Biophysical Journal

  47. 1996
  48. The collisionality dependence of tokamak beta-limits

    Wilson, H. R., Alexander, M., Connor, J. W., Edwards, A. M., Gates, D., Gruber, O., Hastie, R. J., Hegna, C. C., Hender, T. C., LaHaye, R. J., Lao, L. L., Morris, A. W., Roach, C. M., Strait, E. J., Taylor, T. S., Valovic, M. & Zohm, H., Dec 1996

    Article in Plasma Physics and Controlled Fusion

  49. Archival journal requirements for data deposition

    Baker, E. N., Blundell, T. L., Vijayan, M., Dodson, E., Dodson, G., Gilliland, G. L. & Sussman, J. L., Jun 1996

    Letter in Biophysical Journal

  50. Deposition of macromolecular data

    Baker, E. N., Blundell, T. L., Vijayan, M., Dodson, E., Dodson, G., Gilliland, G. L. & Sussman, J. L., 1 May 1996

    Letter in Acta crystallographica section d-Biological crystallography

  51. Untitled

    Baker, E. N., Blundell, T. L., Vijayan, M., Dodson, E., Dodson, G., Gilliland, G. L. & Sussman, J. L., Apr 1996

    Letter in BIOPOLYMERS

  52. Untitled

    Baker, E. N., Blundell, T. L., Vijayan, M., Dodson, E., Dodson, G., Gilliland, G. L. & Sussman, J. L., 27 Feb 1996

    Letter in BIOCHEMICAL AND BIOPHYSICAL RESEARCH COMMUNICATIONS

  53. Publication of macromolecular crystal structures

    Baker, E. N., Bluntell, T. L., Vijayan, M., Dodson, E., Dodson, G., Gilliland, G. L. & Sussman, J. L., 19 Feb 1996

    Letter in FEBS Letters

  54. Diffraction data deposition

    Baker, E. N., Blundell, T. L., Dodson, E., Dodson, G., Gilliland, G. L., Sussman, J. L. & Vijayan, M., 15 Feb 1996

    Letter in Structure

  55. Crystallographic data deposition

    Baker, E. N., Blundell, T. L., Vijayan, M., Dodson, E., Dodson, G., Gilliland, G. I. & Sussman, J. L., 18 Jan 1996

    Letter in Nature

  56. A Tactic Calculus-Abridged Version

    Martin, A. P., Gardiner, P. H. B. & Woodcock, J., 1996

    Article in Formal Asp. Comput.

  57. ILPNET Repositories on WWW: Inductive Logic Programming Systems, Datasets and Bibliography

    Lavrac, N., Weber, I., Zupanic, D., Kazakov, D., Stepánková, O. & Dzeroski, S., 1996

    Article in AI Commun.

  58. Structuring Requirements Specifications for Reuse

    Whittle, B. R., Vickers, A. J., McDermid, J. A., Rimmer, R., Essam, P. & Hill, J., 1996

    Article in IJAST

  59. 1995
  60. High integrity software development: Process and tool issues

    Hutcheon, A. D., Jordan, D. T., McDermid, J. A., Pierce, R. H., Wand, I. C. & Jepson, B. J., Nov 1995

    Article in Microprocessors and Microsystems

  61. RADAR OBSERVATIONS OF AURORAL-ZONE FLOWS DURING A MULTIPLE-ONSET SUBSTORM

    Morelli, J. P., Bunting, R. J., Cowley, S. W. H., Farrugia, C. J., Freeman, M. P., Friischristensen, E., Jones, G. O. L., Lester, M., Lewis, R. V., Lubr, H., Orr, D., Pinnock, M., Reeves, G. D., Williams, P. J. S. & Yeoman, T. K., Nov 1995

    Article in Annales geophysicae-Atmospheres hydrospheres and space sciences

  62. Destruction of photocount oscillations by thermal noise

    MUSSLIMANI, ZH., BRAUNSTEIN, SL., MANN, A. & REVZEN, M., 1 Jun 1995

    Article in Physical Review A

  63. GENERATING FEASIBLE CYCLIC SCHEDULES

    Burns, A., Hayes, N. & Richardson, M. F., Feb 1995

    Article in Control engineering practice

  64. Optimal rolling mill planning at Usines Gustave Boöl

    Baccus, F., Cowling, P., Vaessen, N. & Van Nerom, L., 1995

    Article in Steel Times

  65. Some thoughts on combinatorial optimisation

    Bjorndal, MH., Caprara, A., Cowling, P. I., Della Croce, F., Lourenco, H., Malucelli, F., Orman, A. J., Pisinger, D., Rego, C. & Salazar, J. J., 1995

    Article in European Journal of Operational Research

  66. 1994
  67. ADSORPTION STUDIES OF DIFFERENT END-FUNCTIONALIZED LINEAR POLY(DIMETHYLSILOXANE)

    Patel, A., Cosgrove, T., Semlyen, J. A., Webster, J. R. P. & Scheutjens, J. M. H. M., 28 Jul 1994

    Article in Colloids and surfaces a-Physicochemical and engineering aspects