Search research publications and outputs

  1. Software › Research
  2. AURA: Advanced Uncertain Reasoning Architecture

    Austin, J., 1995

    Research output: Non-textual formSoftware

  3. CARMEN

    Austin, J., 2014

    Research output: Non-textual formSoftware

  4. Code for SPEKE Verification

    Hao, F., Metere, R., Shahandashti, S. F. & Dong, C., 2017

    Research output: Non-textual formSoftware

  5. Demonstration software for IDS Sensor Placement

    Chen, H., Fuller, R. & Clark, J. A., 31 Mar 2011

    Research output: Non-textual formSoftware

  6. Epsilon

    Kolovos, D., Garcia-Dominguez, A., Rose, L. M. & Bezemer, M., 2013

    Research output: Non-textual formSoftware

  7. FaceEnforce: Facial Biometric System

    Austin, J., 2004

    Research output: Non-textual formSoftware

  8. Implementation Code for DOMtegrity: Ensuring Web Page Integrity against Malicious Browser Extensions

    Toreini, E., Mehrnezhad, M., Shahandashti, S. F. & Hao, F., 2018

    Research output: Non-textual formSoftware

  9. Java Bread Board

    Crispin-Bailey, C. & Freeman, M., 2010

    Research output: Non-textual formSoftware

  10. Monte Carlo Tree Search

    Cowling, P. I., Powley, E. J. & Whitehouse, D., 2012

    Research output: Non-textual formSoftware

  11. RoboTool

    Miyazawa, A. H., De Oliveira Salazar Ribeiro, P. F., Li, W., Cavalcanti, A. L. C. & Timmis, J. I., 20 May 2016

    Research output: Non-textual formSoftware

  12. STDetect: Spectrogram Track Detection

    Lampert, T., 20 Dec 2010

    Research output: Non-textual formSoftware

  13. Smart Contract for Anonymous Voting over Ethereum

    McCorry, P., Shahandashti, S. F. & Hao, F., 2017

    Research output: Non-textual formSoftware

  14. YORLL: York Reinforcement Learning Library

    Reinforcement Learning Research Group, 2012

    Research output: Non-textual formSoftware

  15. You Share

    Austin, J., 2012

    Research output: Non-textual formSoftware

  16. jStar: Bringing separation logic to Java

    Distefano, D., Parkinson, M. J., Dodds, M., Grigore, R., Petersen, R., Botincan, M., Gabi, D., Turk, T., Naudziuniene, D., van Staden, S. & Wright, A., 2011

    Research output: Non-textual formSoftware

  17. wdsCarve

    Chivers, H. R. & Hargreaves, C., 2011

    Research output: Non-textual formSoftware

  18. Artefact › Research
  19. A miniature Biomedical Signal Recorder - Digital Circuit Module

    Crispin-Bailey, C., Austin, J., Moulds, A. & Lampert, T., 2013

    Research output: Non-textual formArtefact

  20. Article › Research › Not peer-reviewed
  21. Editorial

    Jones, C. B. & Woodcock, J., 2008

    Article in Formal Asp. Comput.

  22. Editorial

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

    Article in Formal Asp. Comput.

  23. Editorial

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

    Article in Formal Asp. Comput.

  24. Article › Research › Peer-reviewed
  25. A Demonstrably Correct Compiler

    Stepney, S., Whitely, D., Cooper, D. & Grant, C., 1991

    Article in Formal Asp. Comput.

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

  27. A Tactic Calculus-Abridged Version

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

    Article in Formal Asp. Comput.

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

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

  30. A memetic approach to the nurse rostering problem

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

    Article in Applied Intelligence

  31. A posteriori teleportation

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

    Article in Nature

  32. A quantum analog of Huffman coding

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

    Article in IEEE TRANSACTIONS ON INFORMATION THEORY

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

  34. A survey and comparison of transformation tools based on the transformation tool contest

    Edgar, J., Buchwald, S., Wagelaar, D., Li, D., Hegedüs, Á., Herrmannsdoerfer, M., Horn, T., Kalnina, E., Krause, C., Lano, K., Lepper, M., Rensink, A., Rose, L. M., Wätzoldt, S. & Mazanek, S., 1 Jun 2014

    Article in Science of Computer Programming

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

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

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

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

  40. Active versus expectant management for women in the third stage of labour

    Begley, C. M., Gyte, G. M., Devane, D., McGuire, W., Weeks, A. & Biesty, L. M., 13 Feb 2019

    Article in Cochrane Database of Systematic Reviews

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

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

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

    Article in Surface Science

  43. Adsorption-catalytic process for carbon disultide removal from air

    Yegiazarov, Y., Clark, J., Potapova, L., Radkevich, V., Yatsimirsky, V. & Brunel, D., 15 May 2005

    Article in Catalysis Today

  44. Advances in Quantum Teleportation

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

    Article in Nature photonics

  45. Advances in artificial immune systems

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

    Article in Evolutionary Intelligence

  46. Affective brain–computer music interfacing

    Daly, I., Williams, D., Kirke, A., Weaver, J., Malik, A., Hwang, F., Miranda, E. & Nasuto, S. J., 11 Jul 2016

    Article in Journal of Neural Engineering

  47. Airborne observations of IEPOX-derived isoprene SOA in the Amazon during SAMBBA

    Allan, J. D., Morgan, W. T., Darbyshire, E., Flynn, M. J., Williams, P. I., Oram, D. E., Artaxo, P., Brito, J., Lee, J. D. & Coe, H., 29 Oct 2014

    Article in Atmospheric Chemistry and Physics

  48. Amino acid depletion and appearance during porcine preimplantation embryo development in vitro

    Booth, P. J., Humpherson, P. G., Watson, T. J. & Leese, H. J., Nov 2005

    Article in Reproduction

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

  50. An experimental study of the magnetic behaviour of particulate dispersions I: Chromium dioxide

    Mayo, P. I., O'Grady, K., Sollis, P., Bissell, P. R., Gilson, R. G., Chantrell, R. W., Balkenende, A. R., Rekveldt, M. T., Kraan, W. & Por, P. T., 1993

    Article in Journal of Magnetism and Magnetic Materials

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

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

  53. Association between macro and micro mineral composition, and intrinsic mechanical properties, DXA, and cortical thickness, in human femurs and deer antler bone

    Landete-Castillejos, T., Currey, J. D., Estevez, J. A., Gonzalez, B., Insausti, R., Garcia, A., Martinez, A., Ceacero, F., Garcia, A. J. & Gallego, L., 2008

    Article in Calcified tissue international

  54. Automated interpretation and accessible presentation of technical diagrams for blind people

    Horstmann, M., Lorenz, M., Watkowski, A., Ioannidis, G. T., Herzog, O., King, A., Evans, D. G., Hagen, C., Schlieder, C., Burn, A-M., King, N., Petrie, H., Dijkstra, S. & Crombie, D., 2004

    Article in The New Review of Hypermedia and Multimedia

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

  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. Broadband teleportation

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

    Article in Physical Review A

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

  59. CHANNELS IN CRYSTALLINE-STRUCTURE OF GRAMICIDIN-S WITH UREA AS PROTOTYPES OF MEMBRANE CHANNELS

    Tishchenko, G. N., Andrianov, V. I., Vainshtein, B. K. & Dodson, E., 1993

    Article in Kristallografiya

  60. CHARGE-EXCHANGE PHOTOPRODUCTION OF THE ALPHA-2-(1320) IN ASSOCIATION WITH DELTA++ AT 19.3 GEV/C

    CONDO, GT., HANDLER, T., SHIMONY, J., ABE, K., AUSTERN, M., ARMENTEROS, R., BACON, TC., BALLAM, J., BINGHAM, HH., BRAU, JE., BRAUNE, K., BRICK, D., BUGG, WM., BUTLER, JM., CAMERON, W., COHN, HO., COLLEY, DC., DADO, S., DIAMOND, R., DINGUS, P. & 64 others, ERICKSON, R., FALICOV, A., FIELD, RC., FORTNEY, LR., FRANEK, B., FUJIWARA, N., GLANZMAN, T., GODFREY, IM., GOLDBERG, JJ., GOSHAW, AT., HALL, G., HANCOCK, ER., HARGIS, HJ., HART, EL., HARWIN, MJ., HASEGAWA, K., HULSIZER, RI., JOBES, M., KAFKA, T., KALMUS, GE., KELSEY, DP., KENT, J., KITAGAKI, T., LEVY, A., LUCAS, PW., MANN, WA., MCCRORY, ES., MERENYI, R., MILBURN, R., MILSTENE, C., MOFFEIT, KC., NAPIER, A., NOGUCHI, S., OCHIAI, F., ODELL, VR., ONEALE, S., PALOUNEK, APT., PLESS, IA., RANKIN, P., ROBERTSON, WJ., SAGAWA, H., SATO, T., SCHNEPS, J., SEWELL, SJ., SHANK, J., SHAPIRO, AM., SUGAHARA, R., SUZUKI, A., TAKAHASHI, K., TAMAI, K., TANAKA, S., TETHER, S., WAIDE, DA., WALKER, WD., WIDGOFF, M., WILKINS, CG., WOLBERS, S., WOODS, CA., YAMAGUCHI, A., YAMAMOTO, RK., YAMASHITA, S., YOSHIMURA, Y., YOST, GP. & YUTA, H., 1 Jun 1990

    Article in Physical Review D

  61. CHARM PHOTOPRODUCTION AT 20 GEV

    ABE, K., BACON, TC., BALLAM, J., BEVAN, AV., BINGHAM, HH., BRAU, JE., BRAUNE, K., BRICK, D., BUGG, WM., BUTLER, JM., CAMERON, W., CARROLL, JT., CHIMA, JS., COHN, HO., COLLEY, DC., CONDO, GT., DADO, S., DIAMOND, R., DORNAN, PJ., ERICKSON, R. & 74 others, FIELD, RC., FRANEK, B., FUJIWARA, N., FURUNO, K., GEARHART, R., GERSHONI, D., GLANZMAN, T., GODFREY, IM., GOLDBERG, JJ., GOPAL, GP., GOSHAW, AT., HAGOPIAN, V., HALL, G., HANCOCK, ER., HANDLER, T., HARGIS, HJ., HART, EL., HARWIN, MJ., HASEGAWA, K., HAYASHINO, T., HIDETA, I., HULSIZER, RI., ISACSON, S., JOBES, M., KALMUS, GE., KELSEY, DP., KENT, J., KITAGAKI, T., LANNUTTI, J., LEVY, A., LUCAS, PW., MANN, WA., MERENYI, R., MILBURN, R., MILSTENE, C., MOFFEIT, KC., MURRAY, JJ., NAPIER, A., NOGUCHI, S., OCHIAI, F., OHTANI, Y., ONEALE, S., PALOUNEK, APT., PLESS, IA., RANKIN, P., ROBERTSON, WJ., ROGERS, AH., RONAT, E., RUDNICKA, H., SAGAWA, H., SATO, T., SCHNEPS, J., SEWELL, SJ., SHANK, J., SHAPIRO, AM., SUGAHARA, R., SUZUKI, A., TAKAHASHI, K., TAMAI, K., TANAKA, S., TETHER, S., WAIDE, DA., WALKER, WD., WIDGOFF, M., WILKINS, CG., WOLBERS, S., WOODS, CA., YAMAGUCHI, A., YAMAMOTO, RK., YAMASHITA, S., YEKUTIELI, G., YOSHIMURA, Y., YOST, GP. & YUTA, H., 1984

    Article in Physical Review D

  62. CHARM PHOTOPRODUCTION CROSS-SECTION AT 20 GEV

    ABE, K., BACON, TC., BALLAM, J., BERNY, L., BEVAN, AV., BINGHAM, HH., BRAU, JE., BRAUNE, K., BRICK, D., BUGG, WM., BUTLER, J., CAMERON, W., CARROLL, JT., CAUTIS, CV., CHIMA, JS., COHN, HO., COLLEY, DC., CONDO, GT., DADO, S., DIAMOND, R. & 79 others, DORNAN, PJ., ERICKSON, R., FIEGUTH, T., FIELD, RC., FORTNEY, L., FRANEK, B., FUJIWARA, N., GEARHART, R., GLANZMAN, T., GOLDBERG, JJ., GOPAL, GP., GOSHAW, AT., HAFEN, ES., HAGOPIAN, V., HALL, G., HANCOCK, ER., HANDLER, T., HARGIS, HJ., HART, EL., HARIDAS, P., HASEGAWA, K., HAYASHINO, T., HUANG, DQ., HULSIZER, RI., ISAACSON, S., JOBES, M., KALMUS, GE., KELSEY, DP., KENT, J., KITAGAKI, T., LANNUTTI, J., LEVY, A., LUCAS, PW., MACDERMOTT, M., MANN, WA., MARUYAMA, T., MERENYI, R., MILBURN, R., MILSTENE, C., MOFFEIT, KC., MURRAY, JJ., NAPIER, A., NOGUCHI, S., OCHIAI, F., ONEALE, S., PALOUNEK, APT., PLESS, IA., RABIN, M., RANKIN, P., ROBERTSON, WJ., ROGERS, AH., RONAT, E., RUDNICKA, H., SATO, T., SCHNEPS, J., SEWELL, SJ., SHANK, J., SHAPIRO, AM., SINCLAIR, CK., SUGAHARA, R., SUZUKI, A., TAKAHASHI, K., TAMAI, K., TANAKA, S., TETHER, S., WALD, HB., WALKER, WD., WIDGOFF, M., WILKINS, CG., WOLBERS, S., WOODS, CA., WU, Y., YAMAGUCHI, A., YAMAMOTO, RK., YAMASHITA, S., YEKUTIELI, G., YOSHIMURA, Y., YOST, GP. & YUTA, H., 1983

    Article in Physical Review Letters

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

  64. Capacities of linear quantum optical systems

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

    Article in Physical Review A

  65. Cationic liposome-DNA complexes: From liquid crystal science to gene delivery applications

    Safinya, C. R., Ewert, K., Anmad, A., Evans, H. M., Raviv, U., Needleman, D. J., Lin, A. J., Slack, N. L., George, C., Samuel, C. E., Matharu, A. S., Li, M. H., Percec, V. & Seddon, J., 15 Oct 2006

    Article in Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences

  66. Characterising intrusion detection sensors

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

    Article in Network Security

  67. Co-created evaluation: Identifying how games support police learning

    Adams, A., Hart, J., Iacovides, I., Beavers, S., Oliveira, M. & Magroudi, M., 26 Mar 2019

    Article in International Journal of Human Computer Studies

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

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

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

  71. Concentric network symmetry

    Silva, F. N., Comin, C. H., DM. Peron, T. K., Rodrigues, F. A., Ye, C., Wilson, R. C., Hancock, E. & da F. Costa, L., 10 Mar 2016

    Article in Information Sciences

  72. Concurrency vulnerabilities

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

    Article in Ada User Journal

  73. Conditional channel simulation

    Pirandola, S., Laurenza, R. & Banchi, L., Jan 2019

    Article in Annals of Physics

  74. Considering Software Preservation

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

    Article in ERCIM News

  75. Contactless magnetoresistance studies of Co/Cu multilayers using the infrared magnetorefractive effect

    Vopsaroiu, M., Bozec, D., Matthew, J. A. D., Thompson, S. M., Marrows, C. H. & Perez, M., Dec 2004

    Article in Physical Review B

  76. Core outcome domains for clinical trials on somatic symptom disorder, bodily distress disorder and functional somatic syndromes: European Network on Somatic Symptom Disorders Recommendations

    Rief, W., Burton, C., Frostholm, L., Henningsen, P., Kleinstäuber, M., Kop, W. J., Löwe, B., Martin, A., Malt, U. F., Rosmalen, J. G. M., Schröder, A., Shedden-Mora, M., Toussaint, A. & van der Feltz-Cornelis, C. M., 1 Nov 2017

    Article in Psychosomatic medicine

  77. Correct hardware synthesis

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

    Article in Acta Informatica

  78. Cross-modal Hashing with Semantic Deep Embedding

    Yan, C., Bai, X., Wang, S., Zhou, J. & Hancock, E. R., 23 Jan 2019

    Article in Neurocomputing

  79. DIODE LASER-BASED INDIRECT ABSORBENCY DETECTOR FOR CAPILLARY ELECTROPHORESIS

    Williams, S. J., Bergstrom, E. T., Goodall, D. M., Kawazumi, H. & Evans, K. P., 23 Apr 1993

    Article in Journal of chromatography

  80. Deep Supervised Hashing using Symmetric Relative Entropy

    Zhang, X., Zhou, L., Bai, X., Luan, X., Luo, J. & Hancock, E. R., 11 Jul 2019

    Article in Pattern Recognition Letters

  81. Demonstration of quantum telecloning of optical coherent states

    Koike, S., Takahashi, H., Yonezawa, H., Takei, N., Braunstein, S. L., Aoki, T. & Furusawa, A., 17 Feb 2006

    Article in Physical Review Letters

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