Refine your results

Easily toggle selected advanced search features:

Search research publications and outputs

Advanced search options

Reset

to
1 - 500 out of 4,591Page size: 500
Sort by: Type
  1. Conference contribution › Research

  2. "After all the time I put into this": co-creation and the end-of-life of social network games

    Samper-Martinez, A., Gerling, K., Garcia-Alvarez, E., Kirman, B. & Lawson, S., 1 Oct 2015, CHI PLAY '15 Proceedings of the 2015 Annual Symposium on Computer-Human Interaction in Play. ACM, p. 135-140 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  3. "Big data" in macroeconomic forecasting: On the usefulness of knowledge discovery in databases

    Brandl, B., 2004, PROCEEDINGS OF THE 22ND INTERNATIONAL CONFERENCE ON MATHEMATICAL METHODS IN ECONOMICS 2004. Bauer, L. (ed.). BRNO: MASARYKOVA UNIV, p. 30-35 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  4. "Demographic Thought" around 1300 and Dante's Florence

    Biller, P. P. A., 1995, Dante and the Middle Ages: Literary and Historical Essays. Barnes, J. C. & Ó Cuilleanáin, C. (eds.). Dublin: Irish Academic Press, p. 57-92 36 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  5. "Devices are people too" - Using process patterns to elicit security requirements in novel domains: A ubiquitous healthcare example

    Liu, Y., Clark, J. A. & Stepney, S., 2005, SECURITY IN PERVASIVE COMPUTING, PROCEEDINGS. Hutter, D. & Ullmann, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 31-45 15 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  6. "Get lost, GetLostBot!" annoying people by offering recommendations when they are not wanted

    Kirman, B., 1 Sep 2012, Workshop on the Personalising the Local Mobile Experience at ACM Conference on Recommender Systems..

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  7. "I can haz emoshuns?": understanding anthropomorphosis of cats among internet users

    Foster, D., Kirman, B., Linehan, C., Lawson, S., Mills, D., Ellis, S. & Zulch, H., 1 Oct 2011, 3rd International Conference on Social Computing. IEEE, p. 712-715 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  8. "Look Ma, no landmarks!" - Unsupervised, model-based dense face alignment

    Koizumi, T. & Smith, W. A. P., 2 Jul 2020, (Accepted/In press) 16th European Conference on Computer Vision (ECCV 2020) Proceedings. Springer-Verlag, (LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  9. "Marchands parfois, marins plus souvent”: commerce breton à Bruges au quinzième siècle

    Lambert, B. R. D., 2015, Diplomacia y Comercio en la Europa Atlántica Medieval. Solórzano Telechea, J. A., Bolumburu, B. A. & Sicking, L. (eds.). Instituto de Estudios Riojanos, p. 147-159

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  10. "Rightist Resistance to the Market

    Cambefort, M. & Pecot, F. D. C., 2017, NA - Advances in Consumer Research. Duluth, Vol. 45. p. 549 550 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  11. 'Shareholder Stewardship, Entitlement, Primacy and Empowerment'

    Talbot, L. E., 2010, (Unpublished) , ‘Socializing Economic Relationships - New Perspectives and Methods for Analysing Transnational Risk Regulation’ SLSA Symposium. 15-16th April 2010 Centre for Socio-Legal Studies, Oxford University .

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  12. 'Towards Efficient Binaural Room Impulse Response Synthesis'

    Kearney, G., Jun 2009, European Acoustics Association Symposium on Auralization. Espoo, Finland

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  13. '’Is the Board a neutral (and therefore reform-able) institution or one composed of individuals and groups whose decision-making is defined by their socio-economic position?’

    Talbot, L. E., 2013, (Unpublished) Fourth Sustainable Companies Workshop, 'The Role of the Board and Possible Reform Proposals', 12th June 2013 Oslo University.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  14. '’Why orientating corporate governance around labour creates the necessary conditions for a sustainable company'’

    Talbot, L. E., 2013, (Unpublished) Symposium 'New Perspectives on the Role of the Board', 11th June Oslo University .

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  15. (True) polymorphism in SPARK2000

    Lin, T. M. & McDermid, J. A., 2000, RELIABLE SOFTWARE TECHNOLOGIES ADA-EUROPE 2000. Keller, HB. & Plodereder, E. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 252-265 14 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  16. 0-19 Staff wellbeing in UK children's hospices (SWiCH): a mixed-methods study

    Papworth, A. J., Aldridge, J., Beresford, B. A., Fraser, L. K., Mukherjee, S. K. M. & Taylor, J., 17 Nov 2019, BMJ Supportive & Palliative Care. BMJ Publishing;, Vol. 9.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  17. 09381 Extended Abstracts Collection - Refinement Based Methods for the Construction of Dependable Systems

    Abrial, J-R., Butler, M. J., Joshi, R., Troubitsyna, E. & Woodcock, J. C. P., 2009, Refinement Based Methods for the Construction of Dependable Systems, 13.09. - 18.09.2009. Abrial, J-R., Butler, M. J., Joshi, R., Troubitsyna, E. & Woodcock, J. C. P. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, Vol. 09381. (Dagstuhl Seminar Proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  18. 1st international workshop on assurance cases for software-intensive systems (ASSURE 2013)

    Denney, E., Pai, G., Habli, I., Kelly, T. & Knight, J. C., 2013, 35th International Conference on Software Engineering, ICSE '13, San Francisco, CA, USA, May 18-26, 2013. p. 1505-1506 2 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  19. 1st international workshop on combining modelling and search-based software engineering (CMSBSE 2013)

    Harman, M., Paige, R. F. & Williams, J. R., 2013, 35th International Conference on Software Engineering, ICSE '13, San Francisco, CA, USA, May 18-26, 2013. p. 1513-1514 2 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  20. 2D & 3D imaging of hydroxyapatite nanoparticles for pastes and gels

    W Guan, G Thirunavukkarasu, G Möbus, P Hatton, W Austin and E Lester, 2012, Royal Microscopical Society: Proceedings of the European Microscopy Congress (Proc. EMC 2012). Stokes, D. J. & Hutchison, J. (eds.). Oxford

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  21. 2D integrating cell for ultra-long optical path on chip

    Petrov, A. Y., Fohrmann, L. S., Sommer, G., Pitruzzello, G., Krauss, T. F. & Eich, M., Jul 2018, Integrated Photonics Research, Silicon and Nanophotonics, IPRSN 2018. OSA - The Optical Society, Vol. Part F101-IPRSN 2018.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  22. 2D integrating cell waveguide platform employing ultra-long optical path lengths

    Fohrmann, L. S., Sommer, G., Pitruzzello, G., Krauss, T. F., Petrov, A. Y. & Eich, M., 24 Oct 2017, 14th International Conference on Group IV Photonics, GFP 2017. Institute of Electrical and Electronics Engineers Inc., p. 131-132 2 p. 8082231

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  23. 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 proceeding › Conference contribution

  24. 3-D terrain from synthetic aperture radar images

    Bors, A. G., Hancock, E. R. & Wilson, R. C., 2000, IEEE WORKSHOP ON COMPUTER VISION BEYOND THE VISIBLE SPECTRUM: METHODS AND APPLICATIONS, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 63-72 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  25. 3D Electromagnetic Diffusion Models for Reverberant Environments

    Flintoft, I. D. & Dawson, J. F., 11 Sep 2017, 2017 International Conference on Electromagnetics in Advanced Applications (ICEAA). Verona, p. 511-514

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  26. 3D Facial Landmark Localisation by Matching Simple Descriptors

    Romero-Huertas, M. & Pears, N., 2008, 2008 IEEE SECOND INTERNATIONAL CONFERENCE ON BIOMETRICS: THEORY, APPLICATIONS AND SYSTEMS (BTAS). NEW YORK: IEEE, p. 346-351 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  27. 3D Landmark Model Discovery from a Registered Set of Organic Shapes

    Creusot, C., Pears, N. & Austin, J., 16 Jun 2012, 2012 IEEE Computer Society Conference on Computer Vision and Pattern Recognition Workshops (CVPRW) . p. 57-64 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  28. 3D Mesh Steganalysis using local shape features

    Li, Z. & Bors, A. G., May 2016, Proc. IEEE Int. Conf. on Acoustics, Speech and Signal Processing (ICASSP). IEEE, p. 2144-2148 5 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  29. 3D Morphable Face Models Revisited

    Patel, A. & Smith, W. A. P., 2009, CVPR: 2009 IEEE CONFERENCE ON COMPUTER VISION AND PATTERN RECOGNITION, VOLS 1-4. NEW YORK: IEEE, p. 1327-1334 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  30. 3D Object Recognition Using Hyper-Graphs and Ranked Local Invariant Features

    Xia, S. & Hancock, E. R., 2008, STRUCTURAL, SYNTACTIC, AND STATISTICAL PATTERN RECOGNITION. DaVitoria Lobo, N., Kasparis, T., Roli, F., Kwok, JT., Georgiopoulos, M., Anagnostopoulos, GC. & Loog, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5342 LNCS. p. 117-126 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  31. 3D Steganalysis Using LaplacianSmoothing at Various Levels

    Li, Z., Liu, F. & Bors, A. G., 2018, Proc. International Conference on Cloud Computing and Security (ICCCS). Springer, Vol. 11068. p. 223-232 (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  32. 3D Steganalysis Using the Extended Local Feature Set

    Li, Z., Gong, D., Liu, F. & Bors, A. G., 2018, Proc. of IEEE International Conference on Image Processing. IEEE, p. 1683-1687 5 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  33. 3D audio as an information environment

    Lennox, P. P., Vaughan, J. M. & Myatt, T., 2001, PROCEEDINGS OF THE AES 19TH INTERNATIONAL CONFERENCE SURROUND SOUND: TECHNIQUES, TECHNOLOGY AND PERCEPTION. NEW YORK: AUDIO ENGINEERING SOC INC, p. 295-306 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  34. 3D scene correction using disparities with its projections

    Grum, M. & Bors, A. G., Jun 2013, Proc. IEEE Workshop on Image, Video and Multidimensional Signal Processing, Seoul, Korea, . IEEE, p. 1-4 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  35. 3D sound and 3D image interactions: a review of audio-visual depth perception

    Berry, J., Roberts, D. & Holliman, N. S., 25 Feb 2014, Human Vision and Electronic Imaging XIX. Rogowitz, B. E., Pappas, T. N. & de Ridder, H. (eds.). San Francisco: SPIE--The International Society for Optical Engineering, Vol. 9014. 16 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  36. 3DMIN - Challenges and Interventions for the Design, Development and Dissemination of New Musical Instruments.

    Bovermann, T., Egermann, H., Foerstel, A., Hardjowirogo, S-I., Hinrichsen, A., Hildebrand Marques Lopes, D., Pysiewicz, A., Weinzierl, S. & de Campo, A., 2014, Proceedings of the 40th International Computer Music Conference. International Computer Music Association, Vol. 2014. 5 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  37. 5G Waveforms for Overlay D2D Communications: Effects of Time-Frequency Misalignment

    Bodinier, Q., Farhang, A., Bader, F., Ahmadi, H., Palicot, J. & DaSilva, L. A., 14 Jul 2016, ICC 2016. 7 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  38. 5th international workshop on modeling in software engineering (MiSE 2013)

    Atlee, J. M., Baillargeon, R., Chechik, M., France, R. B., Gray, J., Paige, R. F. & Rumpe, B., 2013, 35th International Conference on Software Engineering, ICSE '13, San Francisco, CA, USA, May 18-26, 2013. p. 1531-1532 2 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  39. 7Be(n,α) and 7Be(n,p) cross-section measurement for the cosmological lithium problem at the n-TOF facility at CERN

    Barbagallo, M., Colonna, N., Aberle, O., Andrzejewski, J., Audouin, L., Bécares, V., Bacak, M., Balibrea-Correa, J., Barros, S., Bečvář, F., Beinrucker, C., Berthoumieux, E., Billowes, J., Bosnar, D., Brugger, M., Caamaño, M., Calviño, F., Calviani, M., Cano-Ott, D., Cardella, R. & 111 others, Casanovas, A., Castelluccio, D. M., Cerutti, F., Chen, Y. H., Chiaveri, E., Cortés, G., Cortés-Giraldo, M. A., Cosentino, L., Damone, L. A., Diakaki, M., Domingo-Pardo, C., Dressler, R., Dupont, E., Durán, I., Fernández-Domínguez, B., Ferrari, A. C., Ferreira, P. R., Finocchiaro, P., Furman, V., Göbel, K., García, A. R., Gawlik, A., Glodariu, T., Gonçalves, I. F., González-Romero, E., Goverdovski, A., Griesmayer, E., Guerrero, C., Gunsing, F., Harada, H., Heftrich, T., Heinitz, S., Heyse, J., Jenkins, D. G., Jericha, E., Käppeler, F., Kadi, Y., Katabuchi, T., Kavrigin, P., Ketlerov, V., Khryachkov, V., Kimura, A., Kivel, N., Kokkoris, M., Krtička, M., Leal-Cidoncha, E., Lederer, C., Leeb, H., Lerendegui-Marco, J., Lo Meo, S., Lonsdale, S. J., Losito, R., Macina, D., Marganiec, J., Martínez, T., Massimi, C., Mastinu, P. F., Mastromarco, M., Matteucci, F., Maugeri, E. A., Mendoza, E., Mengoni, A., Milazzo, P. M., Mingrone, F., Mirea, M., Montesano, S., Musumarra, A., Nolte, R., Oprea, A., Patronis, N., Pavlik, A., Perkowski, J., Porras, J. I., Praena, J., Quesada, J. M., Rajeev, K., Rauscher, T., Reifarth, R., Riego-Perez, A., C. Rout, P., Rubbia, C., Ryan, J. A., Sabaté-Gilarte, M., Saxena, A. K., Schillebeeckx, P., Schmidt, S. M., Schumann, D., Sedyshev, P., Smith, A. G., Stamatopoulos, A., Tagliente, G., Tain, J. L., Tarifeño-Saldivia, A., Tassan-Got, L., Tsinganis, A., Valenta, S., Vannini, G., Variale, V., Vaz, P., Ventura, A., Vlachoudis, V., Vlastou, R., Wallner, A., Warren, S., Weigand, M., Weiss, C., Wolf, C. R., Woods, P. J., Wright, T., Ugec, P. & Ugec, P., 13 Sep 2017, ND 2016: International Conference on Nuclear Data for Science and Technology. EDP Sciences, Vol. 146. 01012

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  40. 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 proceeding › Conference contribution

  41. 11Li structural information from inclusive break-up measurements

    Ferńandez-García, J. P., Cubero, M., Acosta, L., Alcorta, M., Alvarez, M. A. G., Borge, M. J. G., Buchmann, L., Diget, C. A., Falou, H. A., Fulton, B. R., Fynbo, H. O. U., Galaviz, D., Ǵomez-Camacho, J., Kanungo, R., Lay, J. A., Madurga, M., Martel, I., Moro, A. M., Mukha, I., Nilsson, T. & 5 others, Rodríguez-Gallardo, M., Śanchez-Benítez, A. M., Shotter, A., Tengblad, O. & Walden, P., 24 Apr 2015, EPJ Web of Conferences. EDP Sciences, Vol. 88. 3 p. 01003

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  42. 12C+16O sub-barrier radiative capture cross-section measurements

    Goasduff, A., Courtin, S., Haas, F., Lebhertz, D., Jenkins, D. G., Beck, C., Fallis, J., Ruiz, C., Hutcheon, D. A., Amandruz, P. A., Davis, C., Hager, U., Ottewell, D. & Ruprecht, G., 19 Oct 2011, 5th International Conference, FUSION 2011. Lacroix, D., Schmitt, C., Navin, A., Goutte, H. & Rejmund, M. (eds.). EDP Sciences, 06002. (EPJ Web of Conferences; vol. 17).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  43. 7Be(n,p)7 Li Cross Section Measurement for the Cosmological Lithium Problem at the n_TOF Facility at CERN

    The n-TOF Collaboration, 20 Aug 2019, Nuclei in the Cosmos XV. Gialanella, L., Imbriani, G., Formicola, A. & Junker, M. (eds.). Springer Science and Business Media, LLC, Vol. 219. p. 25-32 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  44. A 'Scientific' View of Jews from Paris around 1300

    Biller, P. P. A., 2001, Gli Ebrei e le Scienze - The Jews and Sciences. Galluzzo, Florence: SISMEL (Società Internazionale per lo Studio del Medioevo Latino)- Edizioni del Galluzzo, p. 137-168 32 p. (Micrologus: Natura, scienze e società medievali – Nature, Sciences and Medieval Societies ; vol. 9).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  45. A 3D Morphable Model of Craniofacial Shape and Texture Variation

    Dai, H., Pears, N. E., Smith, W. A. P. & Duncan, C., 25 Dec 2017, Proceedings - 2017 IEEE International Conference on Computer Vision, ICCV 2017. Vol. 2017-October. p. 3104-3112 9 p. 8237597. ( Title Proceedings / IEEE International Conference on Computer Vision.).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  46. A 3D spinorial view of 4D exceptional phenomena

    Dechant, P-P., Apr 2016, Symmetries in Graphs, Maps, and Polytopes. Springer-verlag, p. 81-95 (Springer Proceedings in Mathematics & Statistics; vol. 159).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  47. A BAYESIAN INTERPRETATION FOR THE HOPFIELD NETWORK

    HANCOCK, E. R. & KITTLER, J., 1993, 1993 IEEE INTERNATIONAL CONFERENCE ON NEURAL NETWORKS, VOLS 1-3. NEW YORK: I E E E, COMPUTER SOC PRESS, p. 341-346 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  48. 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 proceeding › Conference contribution

  49. A Bayesian Analysis of Algorithms for Learning Finite Functions

    Cussens, J., 1995, Machine Learning: Proceedings of the Twelfth International Conference (ML95). Prieditis, A. & Russell, S. (eds.). San Francisco, CA: Morgan Kaufmann Publishers, p. 142-149 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  50. A Bayesian approach to 3D surface fitting and refinement.

    Turner, M. & Hancock, E. R., 1995, PROCEEDINGS OF THE 6TH BRITISH MACHINE VISION CONFERENCE 1995, VOLS 1 AND 2. Pycock, D. (ed.). GUILDFORD: B M V A PRESS, p. 67-76 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  51. A Binary Neural Shape Matcher using Johnson Counters and Chain Codes

    Hodge, V., O'Keefe, S. & Austin, J., 10 Mar 2006, BICS.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  52. A Biofeedback System For Singing Tuition Of Children and Adolescents

    Barlow, C. & Brereton, J. S., 2008, Readings in Technology: Proceedings of the International Conference on Information Communication Technologies in Education (ICICTE). Corfu, greece

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  53. A COMMAND, CONTROL AND COMMUNICATIONS INTERFACE FOR AN ENVIRONMENTAL SAMPLING ROV

    MACQUARRIE, D. J., COSBY, L. R., EDLEY, C. & GALLANT, W. A., 1993, OCEANS 93 - PROCEEDINGS, VOLS 1-3. NEW YORK: I E E E, COMPUTER SOC PRESS, p. C248-C252 5 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  54. A COMPARISON OF THE USE AND REGULATORY INTERPRETATION OF A PREDICTIVE MODEL, LYSIMETER AND FIELD STUDIES TO DETERMINE THE LEACHING POTENTIAL OF A SEED DRESSING

    FOGG, P., CARTER, A. D. & BROWN, C. D., 1994, BRIGHTON CROP PROTECTION CONFERENCE - PESTS AND DISEASES - 1994. FARNHAM: BRITISH CROP PROTECTION COUNCIL, Vol. 1-3. p. 1283-1288 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  55. A Calculus of Space, Time, and Causality: its Algebra, Geometry, Logic

    Hoare, T., Struth, G. & Woodcock, J. C. P., 4 Nov 2019, Unifying Theories of Programming: 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings. Ribeiro, P. & A. S. (eds.). Lecture Notes in Computer Science, Vol. 11885.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  56. A Candid Industrial Evaluation of Formal Software Verification using Model Checking

    Bennion, M. & Habli, I., 2014, ICSE Companion 2014: Companion Proceedings of the 36th International Conference on Software Engineering. ACM, p. 175-184 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  57. A Characterisation of the Workload on an Engineering Design Grid

    Burkimsher, A., Bate, I. J. & Indrusiak, L. S., 2014, Proceedings of the 22nd High Performance Computing Symposium (HPC). San Diego: Society for Computer Simulation International, p. 639-646 8 p. 8

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  58. A Circus semantics for Ravenscar protected objects

    Atiya, D. A., King, S. & Woodcock, J. C. P., 2003, FME 2003: FORMAL METHODS, PROCEEDINGS. Araki, K., Gnesi, S. & Mandrioli, D. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 617-635 19 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  59. A Clifford Algebraic Framework for Coxeter Group Theoretic Computations

    Dechant, P-P., 2013, Conference proceedings: Applied Geometric Algebras in Computer Science and Engineering 2012 (AGACSE 2012), July 2-4, La Rochelle, France. Springer-verlag, p. 89–108

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  60. A Comparative Study of the Performance of Spatialisation Techniques for a Distributed Audience in a Concert Hall Environment

    Kearney, G., Enda, B., Furlong, D. & Boland, F., Jun 2007, 31st International Conference of the Audio Engineering Society. London, England

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  61. A Comparison Framework for Spectrogram Track Detection Algorithms

    Lampert, T. & O'Keefe, S., 1 May 2009, Computer Recognition Systems . Kurzynski, M. & Wozniak, M. (eds.). Springer, Vol. 3. p. 119 126 p. (Advances in Intelligent and Soft Computing ; vol. 57/2009).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  62. A Comparison of Audio & Visual Analysis of Complex Time Series Data Sets

    Pauletto, S. & Hunt, A., 1 Jul 2005, Proceedings of the International Conference on Auditory Display.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  63. A Comparison of Model Migration Tools

    Rose, L., Herrmannsdoerfer, M., Williams, J., Kolovos, D., Garces, K., Paige, R., Polack, F., Petriu, D. (ed.), Rouquette, N. (ed.) & Haugen, Ã. (ed.), 2010, Model Driven Engineering Languages and Systems. PART 1 ed. Springer Berlin / Heidelberg, Vol. 6394. p. 61-75 15 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  64. A Conformal Thin Boundary Model for FDTD

    Bourke, S., Dawson, J., Robinson, M. & Porter, S., 8 Aug 2018, 2018 IEEE MTT-S International Conference on Numerical Electromagnetic and Multiphysics Modeling and Optimization for RF, Microwave, and Terahertz Applications (NEMO) (NEMO2018). 4 p. 8503410

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  65. A Contract-based Approach to Designing Safe Systems

    Bate, I., Hawkins, R., McDermid, J., Lindsay, P. A. & Cant, A., 2003, Proceedings of the 8th Australian Workshop on Safety Critical Systems and Software. p. 25-36 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  66. A Control Theoretic Approach for Workflow Management

    Ghazzawi, H. A., Bate, I. & Indrusiak, L. S., 1 Jul 2012, In Proceedings of 2012 IEEE 17th International Conference on Engineering of Complex Computer Systems. p. 280-289 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  67. A Cost-Efficient System for Detecting an Intentional Electromagnetic Interference (IEMI) Attack

    Dawson, J. F., Flintoft, I. D., Kortoći, P., Dawson, L., Marvin, A. C., Robinson, M. P., Stojilović, M., Rubinstein, M., Menssen, B., Garbe, H., Hirschi, W. & Rouiller, L., 1 Sep 2014, EMC Europe 2014.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  68. 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 proceeding › Conference contribution

  69. A DETAILED INVESTIGATION INTO THE EFFECTIVENESS OF EARCONS

    Brewster, S. A., Wright, P. C. & Edwards, A. D. N., 1994, AUDITORY DISPLAY. Kramer, G. (ed.). READING: ADDISON-WESLEY PUBL CO, p. 471-498 28 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  70. A DEVELOPMENT OF HAZARD ANALYSIS TO AID SOFTWARE-DESIGN

    McDermid, J. A. & Pumfrey, D. J., 1994, COMPASS '94 - PROCEEDINGS OF THE NINTH ANNUAL CONFERENCE ON COMPUTER ASSURANCE. NEW YORK: I E E E, p. 17-25 9 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  71. A Damn’d bad Place, Sheffield: Brownfields and Historical Archaeology

    Symonds, J., Badcock, A. & Lines, A., 2004, Preserving Archaeological Remains in Situ? : Proceedings of the 2nd Conference, 12-14th September, 2001. Dixon, T. (ed.). Museum of London Archaeology Service, p. 249-53

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  72. A Data-augmented 3D Morphable Model of the Ear

    Dai, H., Pears, N. E. & Smith, W. A. P., 15 May 2018, The 13th IEEE International Conference on AUTOMATIC FACE AND GESTURE RECOGNITION (FG 2018) . IEEE, 5 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  73. A Day in the Life of a Spoken Word

    Dumay, N., Gaskell, M. G. & Feng, X., 2005, PROCEEDINGS OF THE TWENTY-SIXTH ANNUAL CONFERENCE OF THE COGNITIVE SCIENCE SOCIETY. MAHWAH: LAWRENCE ERLBAUM ASSOC PUBL, p. 339-344 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  74. A Deployment Value Model for Intrusion Detection Sensors

    Shaikh, S. A., Chivers, H., Nobles, P., Clark, J. A. & Chen, H., 2009, Advances in Information Security and Assurance, Third International Conference and Workshops, ISA 2009, Seoul, Korea, June 25-27, 200. Vol. 5576 LNCS. p. 250-259 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  75. A Direct Comparison of Localisation Performance When Using First, Third and Fifth Order Ambisonics For Real Loudspeaker And Virtual Loudspeaker Rendering

    Thresh, L. & Kearney, G. C., Oct 2017, Proc. of AES 143rd Convention.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  76. A Distributed Theatre Experiment with Shakespeare

    Williams, D. L., Kegel, I. C., Ursu, M., Cesar, P., Jansen, J., Geelhoed, E., Horti, A., Frantzis, M. & Scott, B., 2015, Proceedings of the 23rd ACM International Conference on Multimedia. New York, NY, USA: ACM, p. 281-290 10 p. (MM '15).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  77. A Domain Specific Transformation Language to Bridge Concrete and Abstract Syntax

    Herrera, A. S-B., Willink, E. D. & Paige, R. F., 1 Jul 2017, Theory and Practice of Model Transformations - 9th International Conference, ICMT 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-5, 2016, Proceedings. SPRINGER, p. 3-18 16 p. (Lecture Notes in Computer Science; vol. 9765).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  78. A Dynamic Embedding Algorithm for Wireless Network Virtualization

    Belt, J. V. D., Ahmadi, H. & Doyle, L. E., 1 Sep 2014, 2014 IEEE 80th Vehicular Technology Conference (VTC2014-Fall). p. 1-6 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  79. A Fast Graph Program for Computing Minimum Spanning Trees

    Courtehoute, B. & Plump, D., 3 Dec 2020, Graph Computation Models (GCM 2020), Revised Selected Papers. p. 163-180 18 p. (Electronic Proceedings in Theoretical Computer Science; vol. 330).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  80. A Formal Model for Natural-Language Timed Requirements of Reactive Systems

    Carvalho, G., Carvalho, A., Rocha, E., Cavalcanti, A. L. C. & Sampaio, A. C. A., 2014, Formal Methods and Software Engineering: 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings. Merz, S. & Pang, J. (eds.). SPRINGER, p. 43-58 16 p. (Lecture Notes in Computer Science; vol. 8829).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  81. A Formal Model of the Safety-Critical Java Level 2 Paradigm

    Luckcuck, M. S., Cavalcanti, A. L. C. & Wellings, A. J., 24 May 2016, Integrated Formal Methods. Springer, p. 226-241 (Lecture Notes in Computer Science; vol. 9681).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  82. 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 proceeding › Conference contribution

  83. A Framework for Remote User Evaluation of Accessibility and Usability of Websites

    Power, C., Petrie, H. & Mitchell, R., 2009, UNIVERSAL ACCESS IN HUMAN-COMPUTER INTERACTION: ADDRESSING DIVERSITY, PT I, PROCEEDINGS. Stephanidis, C. (ed.). PART 1 ed. BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5614 LNCS. p. 594-601 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  84. A Framework for Scheduling in Safety-Critical Embedded Control Systems

    Bate, I. & Burns, A., 1999, 6th International Workshop on Real-Time Computing and Applications Symposium (RTCSA '99), 13-16 December 1999, Hong Kong, China. IEEE Computer Society, p. 46-53 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  85. A Framework to Benchmark NoSQL Data Stores for Large-Scale Model Persistence

    Shah, S. M. A., Wei, R., Kolovos, D., Rose, L. M., Paige, R. F. & Barmpis, K., 2014, Model-Driven Engineering Languages and Systems: 17th International Conference, MODELS 2014, Valencia, Spain, September 28 - October 3, 2014. Proceedings. SPRINGER, p. 586-601 16 p. (LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  86. A Functional-Logic Library for Wired

    Naylor, M., Axelsson, E. & Runciman, C., 2007, HASKELL'07: PROCEEDINGS OF THE ACM SIGPLAN 2007 HASKELL WORKSHOP. NEW YORK: ASSOC COMPUTING MACHINERY, p. 37-48 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  87. A Game that Makes You Question...” Exploring the Role of Reflection for the Player Experience

    Mekler, E., Iacovides, I. & Bopp, J., Oct 2018, Proceedings of the annual ACM Conference CHI Play 2018. ACM

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  88. A Generalised Rate Equation Model for Moderately Broad Area Laser Diodes and its Application to High-Power Lasers with Selective Quantum-Well Intermixing For Improved Beam Quality

    Avrutin, E. A., Russell, B. M. & Yanson, D., 2008, NUSOD '08: PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON NUMERICAL SIMULATION OF OPTOELECTRONIC DEVICES. NEW YORK: IEEE, p. 71-72 2 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  89. 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 proceeding › Conference contribution

  90. A Genetic Algorithm used to Fit Debye Functions to the Dielectric Properties of Tissues

    Clegg, J. & Robinson, M. P., 2010, 2010 ieee congress on evolutionary computation (cec). IEEE, p. - 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  91. A Graph Kernel based on Jensen-Shannon Representation

    Bai, L., Zhang, Z. & Hancock, E. R., 2015, International Joint Conference on Artificial Intelligence (IJCAI). 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  92. A Graph-Based Approach to Feature Selection

    Zhang, Z. & Hancock, E. R., 2011, GRAPH-BASED REPRESENTATIONS IN PATTERN RECOGNITION. Jiang, X., Ferrer, M. & Torsello, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 205-214 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  93. A Grounded Analysis of Player-Described Board Game Immersion

    Farkas, T., Wiseman, S., Cairns, P. A. & Fiebrink, R., 2 Nov 2020, Proceedings of ACM CHI Play 2020. p. 427-437 11 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  94. A HIERARCHICAL EVIDENCE COMBINING EDGE DETECTOR

    HANCOCK, E. R., HAINDL, M. & KITTLER, J., 1992, PROGRESS IN IMAGE ANALYSIS AND PROCESSING II. SINGAPORE: WORLD SCIENTIFIC PUBL CO PTE LTD, p. 494-501 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  95. A HRTF Database for Virtual Loudspeaker Rendering

    Kearney, G. & Doyle, T., 23 Oct 2015, Audio Engineering Society Convention 139: Papers. Audio Engineering Society, 9424

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  96. 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 proceeding › Conference contribution

  97. A Historical Study Of Risk Assessment And Management By The British Government: The Case Of The Burmah Oil Company 1974 Oil Tanker Fleet Financial Crisis

    Abdelrehim, N. T. H., Verma, S. & Linsley, P. M., 2016, European Accounting Association conference, Maastricht.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  98. A Hoare Calculus for Graph Programs

    Poskitt, C. M. & Plump, D., 2010, Proceedings 5th International Conference on Graph Transformation (ICGT 2010). Ehrig, H., Rensink, A., Rozenberg, G. & Schürr, A. (eds.). Springer, Vol. 6372 . p. 139-154 (Lecture Notes in Computer Science; vol. 6372).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  99. A Hormone-Inspired Arbitration System For Self Identifying Abilities Amongst A Heterogeneous Robot Swarm

    Wilson, J., Timmis, J. & Tyrrell, A., 1 Nov 2018, IEEE International Conference on Evolvable Systems. Bengaluru, India

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  100. A Human Ear Reconstruction Autoencoder

    Sun, H., Pears, N. E. & Dai, H., 13 Nov 2020, (Accepted/In press) 16th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications. Springer International Publishing

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  101. A Hypergraph Kernel from Isomorphism Tests

    Bai, L., Ren, P. & Hancock, E. R., 2014, (Accepted/In press) Proceedings of the 22nd International Conference on Pattern Recognition. IEEE Computer Society Press, 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  102. A Hypergraph-Based Approach to Feature Selection

    Zhang, Z. & Hancock, E. R., 2011, Computer Analysis of Images and Patterns - 14th International Conference, CAIP 2011, Seville, Spain, August 29-31, 2011, Proceedings, Part I. Real, P., Díaz-Pernil, D., Molina-Abril, H., Berciano, A. & Kropatsch, W. G. (eds.). PART 1 ed. BERLIN: Springer, Vol. 6854. p. 228-235 8 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  103. A Java-Based Real-Time Reactive Stream Framework

    Gray, I. & Wellings, A., 2016, Proceedings of the 19th IEEE International Symposium on Real-Time Computing.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  104. A Jensen-Shannon Divergence Kernel for Directed Graphs

    Ye, C., Wilson, R. C. & Hancock, E. R., 8 Nov 2016, Structural, Syntactic, and Statistical Pattern Recognition - Joint IAPR International Workshop, S+SSPR 2016, Mérida, Mexico, November 29 - December 2, 2016, Proceedings. p. 196-206 11 p. (Lecture Notes in Computer Science (LNCS); vol. 10029).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  105. A Lightweight Approach for Managing XML Documents with MDE Languages

    Kolovos, D., Rose, L. M., Williams, J. R., Matragkas, N. & Paige, R. F., 2012, Modelling Foundations and Applications: 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012. Proceedings. Springer, Vol. 7349 LNCS. p. 118-132 15 p. (Lecture Notes in Computer Science; vol. 7349).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  106. A Lightweight Hat: simple type-preserving instrumentation for self-tracing lazy functional programs

    Chitil, O., Faddegon, M. & Runciman, C., 2016, Proceedings of 28th Symposium on Implementation and Application of Functional Languages. ASSOC COMPUTING MACHINERY, 10

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  107. A Linear Approach of 3D Face Shape and Texture Recovery using a 3D Morphable Model

    Aldrian, O. & Smith, W. A. P., 2010, Proceedings of the British Machine Vision Conference.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  108. A Low-cost Real-time Tracking Infrastructure for Ground-based Robot Swarms

    Millard, A. G., Hilder, J. A., Winfield, A. F. T. & Timmis, J., 2014, Swarm Intelligence: 9th International Conference, ANTS 2014, Brussels, Belgium, September 10-12, 2014. Proceedings. Dorigo, M., Birattari, M., Garnier, S., Hamann, H., Montes de Oca, M., Solnon, C. & Stützle, T. (eds.). Springer, p. 278-289 2 p. (Lecture Notes in Computer Science; vol. 8667).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  109. A MARTE subset to enable application-platform co-simulation and schedulability analysis of NoC-based embedded systems

    Indrusiak, L. S., Quadri, I., Gray, I., Audsley, N. & Sadovykh, A., 2012, 2012 7th International Workshop on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC). Indrusiak, LS., Gogniat, G. & Voros, N. (eds.). NEW YORK: IEEE, 6322898

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  110. A Markov chain model of the B-cell algorithm

    Clark, E., Hone, A. & Timmis, J., 2005, ARTIFICIAL IMMUNE SYSTEMS, PROCEEDINGS. Jacob, C., Pilat, ML., Bentley, PJ. & Timmis, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 318-330 13 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  111. A Mathematical Approach To Structural Transitions In Viral Capsids

    Indelicato, G. & Twarock, R., Feb 2012, International Journal of Modern Physics: Conference Series . Vol. 9. p. 11-23 13 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  112. A Maturity Model for Integrating Agile Processes and User Centred Design

    Paige, R. F., Mostafa, D. S. E. D. N. & Cairns, P. A., Jun 2016, Software Process Improvement and Capability Determination (SPICE). 16th International Conference ed. p. 109-122 14 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  113. A Mechanical Mapping Model for Real-Time Control of a Complex Physical Modelling Synthesis Engine with a Simple Gesture

    Keenan, F. & Pauletto, S., 2017, Proceedings of the 20th International Conference on Digital Audio Effects (DAFx-17). p. 25-31 7 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  114. A Method for Head Related Impulse Response Simplification

    Kearney, G., Masterson, C., Adams, S. & Boland, F., Aug 2009, 17th European Signal Processing Conference (EUSIPCO). Glasgow, Scotland

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  115. A Methodological Template to Construct Ground Truth of Authentic and Fake Online Reviews

    Banerjee, S., 2018, 2018 IEEE International Conference on Data Science and Advanced Analytics. IEEE, p. 641-648 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  116. A Methodology for the Physically Accurate Visualisation of Roman Polychrome Statuary

    Beale, G. & Earl, G., 2011, The 12th International Symposium on Virtual Reality, Archaeology and Cultural Heritage VAST. Dellepiane, M., Niccolucci, F., Serna, S. P., Rushmeier, H. & Gool, L. V. (eds.). Eurographics Association, p. -

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  117. A Mixed Method Approach for Evaluating and Improving the Design of Learning in Puzzle Games

    Scozzi, M. V., Iacovides, I. & Linehan, C., 1 Oct 2017, The ACM SIGCHI Annual Symposium on Computer-Human Interaction in Play (CHIPLAY 2017). ACM, p. 217-228

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  118. A Mixed Quality of Service based Linear Transceiver Design for Multi-user MIMO Network with Linear Transmit Covariance Constraints

    Cumanan, K., Rahulamathavan, Y., Lambotharan, S. & Ding, Z., 2013, A Mixed Quality of Service based Linear Transceiver Design for Multi-user MIMO Network with Linear Transmit Covariance Constraints. IEEE Wireless Communications and Networking Conference (WCNC)

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  119. A Model-Driven Approach to Assuring Process Reliability

    Habli, I. & Kelly, T., 1 Nov 2008, 19th International Symposium on Software Reliability Engineering, 2008. . p. 7 -16

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  120. A Morphable Face Albedo Model

    Smith, W. A. P., Seck, A., Dee, H., Tiddeman, B., Tenenbaum, J. & Egger, B., 27 Feb 2020, (Accepted/In press) Proceeding of the IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR 2020) . IEEE

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  121. A Multi-Scale Piecewise-Linear Feature Detector for Spectrogram Tracks

    Lampert, T., Pears, N. & O'Keefe, S., 2009, AVSS: 2009 6TH IEEE INTERNATIONAL CONFERENCE ON ADVANCED VIDEO AND SIGNAL BASED SURVEILLANCE. NEW YORK: IEEE, p. 330-335 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  122. A Multi-agent Framework for Dependable Adaptation of Evolving System Architectures

    Johnson, K. H. A., Sinha, R., Calinescu, R. & Ruan, J., 2015, 41st Euromicro Conference on Software Engineering and Advanced Applications (SEAA). IEEE, p. 159-166

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  123. A Multi-objective Optimisation Approach to IDS Sensor Placement

    Chen, H., Clark, J. A., Tapiador, J. E., Shaikh, S. A., Chivers, H. & Nobles, P., 2009, COMPUTATIONAL INTELLIGENCE IN SECURITY FOR INFORMATION SYSTEMS. Herrero, A., Gastaldo, P., Zunino, R. & Corchado, E. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 63 AISC. p. 101-108 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  124. A Multiresolution 3D Morphable Face Model and Fitting Framework

    Huber, P., Hu, G., Tena, R., Mortazavian, P., Koppen, W. P., Christmas, W., Rätsch, M. & Kittler, J., Feb 2016, Proceedings of the 11th Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications. SciTePress, Vol. 4. p. 79-86

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  125. A Mumford-Shah Diffusion Process for Shape-from-Shading

    Robles-Kelly, A. & Hancock, E. R., 2002, BMVC 2000.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  126. A NEW APPROACH TO REDUCED-RANK DOA ESTIMATION BASED ON JOINT ITERATIVE SUBSPACE OPTIMIZATION AND GRID SEARCH

    Wang, L. & de Lamare, R. C., 2009, 2009 16TH INTERNATIONAL CONFERENCE ON DIGITAL SIGNAL PROCESSING, VOLS 1 AND 2. NEW YORK: IEEE, p. 306-311 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  127. A NEW FORMULATION OF NONLINEAR INVERSE DYNAMICS FOR AIRCRAFT CONTROL

    Sun, X. D. & Clarke, T., 1994, PROCEEDINGS OF THE THIRD IEEE CONFERENCE ON CONTROL APPLICATIONS, VOLS 1-3. NEW YORK: I E E E, p. 89-94 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  128. A Nested Alignment Graph Kernel through the Dynamic Time Warping Framework

    Bai, L., Rossi, L., Cui, L. & Hancock, E. R., 2017, Graph-Based Representations in Pattern Recognition - 11th IAPR-TC-15 International Workshop, GbRPR 2017, Anacapri, Italy, May 16-18, 2017, Proceedings. Springer Berlin / Heidelberg, p. 59-69 11 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  129. A Neural-Endocrine Architecture for Foraging in Swarm Robotic Systems

    Timmis, J., Murray, L. & Neal, M., 2010, NICSO 2010: NATURE INSPIRED COOPERATIVE STRATEGIES FOR OPTIMIZATION. Gonzalez, JR., Pelta, DA., Cruz, C., Terrazas, G. & Krasnogor, N. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 284. p. 319-330 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  130. A Neuro-Immune inspired robust real time visual tracking system

    Liu, Y., Timmis, J. & Clarke, T., 2008, Artificial Immune Systems : 7th International Conference, ICARIS 2008, Phuket, Thailand, August 10-13, 2008. Proceedings. Springer, p. 188-199 12 p. (Lecture Notes in Computer Science ; vol. 5132).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  131. A New Approach to Creating Clear Safety Arguments

    Hawkins, R. D., Graydon, P. J., Knight, J. & Kelly, T., 2011, Advances in Systems Safety. SPRINGER-VERLAG LONDON LTD, p. 3-23 21 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  132. A New Crossover Technique for Cartesian Genetic Programming Genetic Programming Track

    Clegg, J., Walker, J. A. & Miller, J. F., 2007, GECCO 2007: GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, VOL 1 AND 2. NEW YORK: ASSOC COMPUTING MACHINERY, p. 1580-1587 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  133. A Novel Attack on a FPGA based True Random Number Generator

    Johnson, A. P., Chakraborty, R. S. & Mukhopadhyay, D., 4 Oct 2015, WESS'15 Proceedings of the WESS'15: Workshop on Embedded Systems Security. ACM, 6

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  134. A Novel Flow Control Mechanism to Avoid Multi-Point Progressive Blocking in Hard Real-Time Priority-Preemptive NoCs

    Burns, A., Soares Indrusiak, L., Smirnov, N. & Harrison, J., 11 Jun 2020, 26th IEEE Real-Time and Embedded Technology and Applications Symposium: Proceedings. IEEE

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  135. A Numerical Study into Perceptually-Weighted Spectral Differences between Differently-Spaced HRTFs

    Young, K., Armstrong, C., Tew, A. I., Murphy, D. T. & Kearney, G., 17 Mar 2019, AES International Conference on Immersive and Interactive Audio. Audio Engineering Society, 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  136. A PCI bus based correlation matrix memory and its application to k-NN classification

    Zhou, P. & Austin, J., 1999, PROCEEDINGS OF THE SEVENTH INTERNATIONAL CONFERENCE ON MICROELECTRONICS FOR NEURAL, FUZZY AND BIO-INSPIRED SYSTEMS, MICORNEURO'99. LOS ALAMITOS: IEEE COMPUTER SOC, p. 196-204 9 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  137. A Pattern for Arguing the Assurance of Machine Learning in Medical Diagnosis Systems

    Picardi, C., Hawkins, R. D., Paterson, C. & Habli, I., 30 Apr 2019, (Accepted/In press) 38th International Conference on Computer Safety, Reliability and Security – SafeComp 2019.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  138. A Plug-in Based Approach for UML Model Simulation

    Radjenovic, A., Paige, R. F., Rose, L. M., Woodcock, J. & King, S., 2012, Modelling Foundations and Applications : 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012. Proceedings. Vallecillo, A., Tolvanen, J-P., Kindler, E., Störrle, H. & Kolovos, D. (eds.). SPRINGER, Vol. 7349. p. 328-339 12 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  139. A Practical Message ID Assignment Policy for Controller Area Network that Maximizes Extensibility

    Pölzlbauer, F., Davis, R. I. & Bate, I. J., Oct 2016, Proceedings of 24th International Conference on Real-Time Networks and Systems: RTNS16. ACM Digital Library, p. 45-54

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  140. A Prioritised Traffic Embedding Mechanism Enabling a Public Safety Virtual Operator

    Belt, J. V. D., Ahmadi, H., Doyle, L. E. & Sallent, O., 1 Sep 2015, 2015 IEEE 82nd Vehicular Technology Conference (VTC2015-Fall). 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  141. A Probabilistic approach to sparse multi scale phase based stereo

    Ulusoy, K., Halici, U. U. & Hancock, E. R., 2004, PROCEEDINGS OF THE IEEE 12TH SIGNAL PROCESSING AND COMMUNICATIONS APPLICATIONS CONFERENCE. NEW YORK: IEEE, p. 249-252 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  142. A Profile for High-Integrity Real-Time Java Programs

    Puschner, P. P. & Wellings, A. J., 2001, 4th International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2001), 2-4 May 2001, Magdeburg, Germany. IEEE Computer Society, p. 15-22 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  143. A Quantum Jensen-Shannon Graph Kernel Using Discrete-Time Quantum Walks

    Bai, L., Rossi, L., Ren, P., Zhang, Z. & Hancock, E. R., 2015, Graph-Based Representations in Pattern Recognition :10th IAPR-TC-15 International Workshop, GbRPR 2015, Beijing, China, May 13-15, 2015. Proceedings. Liu, C-L., Luo, B., Kropatsch, W. G. & Cheng, J. (eds.). SPRINGER, p. 252-261 10 p. (Lecture Notes in Computer Science; vol. 9069).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  144. A Quantum-inspired Entropic Kernel for Multiple Financial Time Series Analysis

    Bai, L., Cui, L., Wang, Y., Jiao, Y. & Hancock, E. R., 1 Jul 2020, Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI-20. International Joint Conferences on Artificial Intelligence Organization, p. 4453-4460 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  145. A REDUCED-RANK APPROACH TO ADAPTIVE LINEARLY CONSTRAINED MINIMUM VARIANCE BEAMFORMING BASED ON JOINT ITERATIVE OPTIMIZATION OF ADAPTIVE FILTERS

    de Lamare, R. C. & Lowe, M. J., 2008, 2008 IEEE 9TH WORKSHOP ON SIGNAL PROCESSING ADVANCES IN WIRELESS COMMUNICATIONS, VOLS 1 AND 2. NEW YORK: IEEE, p. 151-155 5 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  146. A RELATIONAL PROGRAMMING SYSTEM WITH INFERRED REPRESENTATIONS

    Cattrall, D. & Runciman, C., 1992, PROGRAMMING LANGUAGE IMPLEMENTATION AND LOGIC PROGRAMMING. Bruynooghe, M. & Wirsing, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 475-476 2 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  147. A Real-Time CAN-CAN Gateway with Tight Latency Analysis and Targeted Priority Assignment

    Xie, G., Gong, H., Han, Y., Chakraborty, S. & Chang, W., 14 Sep 2020, (Accepted/In press) IEEE Real-Time Systems Symposium (RTSS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  148. A Real-Time Display to be evaluated in the Singing studio.

    Howard, D. M., Welch, G., Brereton, J. & Himonides, E., 2003, Paper presented at the 5th Pan European Voice Conference (PEVoC). Graz, Austria

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  149. A Real-Time Visual Display for the Singing Studio

    Brereton, J., Howard, D. M., Welch, G. F. & Himonides, E., 2005, A STINT on Voice Research. National Centre for Early Music, York: British Voice Association (BVA), Royal Institute of Technology (KTH), The University of York, Sponsored by the Swedish Foundation for International Cooperation in Research and Higher Education

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  150. A Recoil-Beta Tagging Study of N = Z nucleus 66As

    Wadsworth, R., 2011, FRONTIERS IN NUCLEAR STRUCTURE, ASTROPHYSICS, AND REACTIONS: FINUSTAR 3. AIP Conference proceedings, Vol. 1377. p. 417-419 3 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  151. A Recoil-Beta Tagging Study of N=Z nucleus As-66

    Ruotsalainen, P., Scholey, C., Wadsworth, R., Jenkins, D. G., Singh, B. S. N., Brock, T. S., Greenlees, P. T., Jakobsson, U., Jones, P., Julin, R., Juutinen, S., Ketelhut, S., Leino, M., Lumley, N. M., Mason, P. J. R., Nieminen, P., Nyman, M., Paterson, I., Peura, P., Procter, M. G. & 4 others, Rahkila, P., Saren, J., Sorri, J. & Uusitalo, J., 1 Jan 2011, FRONTIERS IN NUCLEAR STRUCTURE, ASTROPHYSICS, AND REACTIONS (FINUSTAR 3). Demetriou, P., Julin, R. & Harissopulos, SV. (eds.). MELVILLE: AMER INST PHYSICS, Vol. 1377. p. 417-419 3 p. (AIP Conference Proceedings; vol. 1377).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  152. A Reconfigurable Ferromagnetic Input Device

    Hook, J. D., Taylor, S., Butler, A., Villar, N. & Izadi, S., 2009, Proceedings of the 22nd annual ACM symposium on User interface software and technology. Association for Computing Machinery (ACM), p. 51-54

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  153. A Reference Interpreter for the Graph Programming Language GP 2

    Bak, C., Faulkner, G., Plump, D. & Runciman, C., 2015, Proceedings 1st Workshop Graphs as Models (GaM 2015). Rensink, A. & Zambon, E. (eds.). Electronic Proceedings in Theoretical Computer Science, Vol. 181. p. 48-64 17 p. (Electronic Proceedings in Theoretical Computer Science; vol. 181).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  154. A Refinement Based Strategy for Local Deadlock Analysis of Networks of CSP Processes.

    Antonino, P., Sampaio, A. & Woodcock, J., 2014, FM 2014: Formal Methods : 19th International Symposium, Singapore, May 12-16, 2014. Proceedings. Jones, C., Pihlajasaari, P. & Sun, J. (eds.). SPRINGER, Vol. 8442. p. 62-77 (Lecture Notes in Computer Science; vol. 8442).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  155. A Repainted Amazon

    Earl, G., Beale, G., Happa, J., Williams, M., Turley, G., Martinez, K. & Chalmers, A., 2009, Electronic Visualisation and the Arts conference. Seal, A., Keene, S. & Bowen, J. (eds.). British Computer Society (BCS), p. 20-29 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  156. A Review of Motion Planning Algorithms for Robotic Arm Systems

    Liu, S. & Liu, P., 15 Nov 2020, (Accepted/In press) 8th International Conference on Robot Intelligence Technology and Applications (proceedings). IEEE

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  157. A Riemannian Self-Organizing Map

    Yu, D., Hancock, E. R. & Smith, W. A. P., 2009, IMAGE ANALYSIS AND PROCESSING - ICIAP 2009, PROCEEDINGS. Foggia, P., Sansone, C. & Vento, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5716 LNCS. p. 229-238 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  158. A Rigorous Evaluation of Crossover and Mutation in Genetic Programming

    White, D. R. & Poulding, S., 2009, GENETIC PROGRAMMING. Vanneschi, L., Gustafson, S., Moraglio, A., DeFalco, I. & Ebner, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5481 LNCS. p. 220-231 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  159. A Robust Method for Estimating Projective Transformations Using Genetic Algorithms

    Song, R. & Szymanski, J. E., 1 Jul 2007, Proceedings of the IADIS International Conference Computer Graphics and Visualization 2007. p. 122-126 5 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  160. A STUDY OF THE FORMATION OF QUASI-CRYSTALS IN RAPIDLY SOLIDIFIED AL-LI ALLOYS

    KIM, D. H., LEE, H. I. & CANTOR, B., 1992, ALUMINIUM-LITHIUM, VOLS 1 AND 2. Peters, M. & Winkler, PJ. (eds.). NEW YORK: DGM METALLURGY INFORMATION, p. 51-56 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  161. A Safety Case Approach to Assuring Configurable Architectures of Safety-Critical Product Lines

    Habli, I. & Kelly, T., 2010, ARCHITECTING CRITICAL SYSTEMS, PROCEEDINGS. Giese, H. (ed.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 6150 LNCS. p. 142-160 19 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  162. A Scalable Architecture for General Real-Time Array-Based DSP on FPGAs with Application to the Wave Equation

    Kirk, R. & Wells, J., Sep 2013, Proceedings of the 16th International Conference on Digital Audio Effects (DAFx13).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  163. A Scalable Solution to N-bit Parity via Artificial Development

    Kuyucu, T., Trefzer, M. A., Miller, J. F. & Tyrrell, A. M., 2009, PRIME: PROCEEDINGS OF THE CONFERENCE 2009 PHD RESEARCH IN MICROELECTRONICS AND ELECTRONICS. NEW YORK: IEEE, p. 144-147 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  164. A Scalable, Correct Time-stamped Stack

    Dodds, M., Haas, A. & Kirsch, C. M., 2015, Proceedings of the 42th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages.. ACM, 14 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  165. A Schedulability Compatible Multiprocessor Resource Sharing Protocol - MrsP

    Burns, A. & Wellings, A. J., 15 Oct 2013, Proceedings - Euromicro Conference on Real-Time Systems. p. 282-291 10 p. 6602108

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  166. A Shadow, An Aura and Some Notes on Light: Re-defining the Sibelius Legacy

    Howell, T., 2012, (Accepted/In press) Proceedings of the Fifth International Sibelius Conference, Oxford 2010. Helsinki: http://sibeliusone.com/sibelius-reconsidered/

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  167. A Simple Coupled Statistical Model for 3D Face Shape Recovery

    Castelan, M. & Hancock, E. R., 2006, ICPR 2006. p. 231-234 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  168. A Simplified Executable Model to Evaluate Latency and Throughput of Networks-on-Chip

    Ost, L., Moraes, F. G., Moller, L., Indrusiak, L. S., Glesner, M., Maatta, S. & Nurmi, J., 2008, Proc 21st Symposium on Integrated Circuits and Systems Design (SBCCI). New York: Association for Computing Machinery (ACM), p. 170-175 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  169. A Smart Contract for Boardroom Voting with Maximum Voter Privacy

    McCorry, P., Shahandashti, S. F. & Hao, F., 2017, Financial Cryptography and Data Security - 21st International Conference, FC 2017, Revised Selected Papers: 21st International Conference, FC 2017, Sliema, Malta, April 3-7, 2017, Revised Selected Papers. Kiayias, A. (ed.). Springer, p. 357-375 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10322 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  170. A Socialisation Perspective on Male Millennials’ Grooming Habits

    Akrobetu, J. & Gonzalez Jimenez, H., 7 Jul 2017, Proceedings of the Global Fashion Management Conference, Vienna, Austria.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  171. A Static Timing Analysis Environment Using Java Architecture for Safety Critical Real-Time Systems

    Hu, E. Y-S., Bernat, G. & Wellings, A. J., 2002, 7th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2002), 7-9 January 2002, San Diego, CA, USA. IEEE Computer Society, p. 77-84 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  172. A Statistical Model for Daylight Spectra

    Williams, M. & Smith, W. A. P., 2009, Advances in Visual Computing: 5th International Symposium, ISVC 2009, Las Vegas, NV, USA, November 30 - December 2, 2009, Proceedings, Part I. PART 1 ed. Springer, Vol. 5875 LNCS. p. 632-643 12 p. (Lecture Notes in Computer Science; vol. 5875).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  173. A Statistical Response-Time Analysis of Real-Time Embedded Systems

    Lu, Y., Nolte, T., Bate, I. & Cucu-Grosjean, L., 2012, Proceedings of the 33rd Real-Time Systems Symposium. p. 351-362 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  174. A Stepwise Approach to Linking Theories

    De Oliveira Salazar Ribeiro, P. F., Cavalcanti, A. L. C. & Woodcock, J., 2016, Unifying Theories of Programming. Springer, (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  175. A Structured Argument for Assuring Safety of the Intended Functionality (SOTIF)

    Birch, J., Blackburn, D., Botham, J., Habli, I., Higham, D., Monkhouse, H., Price, G. & Ratiu, N., 15 Sep 2020, International Workshop on Artificial Intelligence Safety Engineering . SPRINGER, p. 408-414 (Lecture Notes in Computer Science; vol. 12235).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  176. A Study of Enclosure Shielding Effectiveness Measurement using Frequency Stirring in a Mode-Stirred Chamber

    Marvin, A. C. & He, Y., 2008, 2008 IEEE INTERNATIONAL SYMPOSIUM ON ELECTROMAGNETIC COMPATIBILITY. NEW YORK: IEEE, Vol. 1-3. p. 121-126 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  177. A Study of the Challenges Related to DIY Assistive Technology in the Context of Children with Disabilities

    Hook, J. D., Verbaan, S., Durrant, A., Olivier, P. & Wright, P. C., 21 Jun 2014, DIS '14: Proceedings of the 2014 Conference on Designing Interactive Systems. New York: Association for Computing Machinery (ACM), p. 597-606

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  178. A Supercompiler for Core Haskell

    Mitchell, N. & Runciman, C., 2008, Implementation and Application of Functional Languages: 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers. Springer, Vol. 5083. p. 147-164 (Lecture Notes in Computer Science; vol. 5083).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  179. A Suspension-Trace Semantics for CSP

    Cavalcanti, A. L. C., Hierons, R. M., Nogueira, S. & Sampaio, A. C. A., 1 Jul 2016, International Symposium on Theoretical Aspects of Software Engineering. IEEE, p. 3-13 11 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  180. A SysML Profile for Fault Trees: Linking Safety Models to System Design

    Clegg, K. D., McDermid, J. A., Grigg, A. & Mole, L., 8 Aug 2019, Computer Safety, Reliability, and Security: SAFECOMP 2019. Romanovsky, A. & Troubitsyna, E. (eds.). Springer Nature , Vol. 11698. p. 85-93 (Lecture Notes in Computer Science; vol. 11698).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  181. A Systematic Analysis of the Wenzhou High Speed Train Accident Using STAMP

    Niu, R., Ge, X., McDermid, J. A. & Tang, T., Aug 2012, 30th International System Safety Conference : ISSC. The International System Safety Society

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  182. A Systematic Review of Cloud Lock-In Solutions

    Costa Silva, G., Rose, L. M. & Calinescu, R. C., 2013, Cloud Computing Technology and Science (CloudCom), 2013 IEEE 5th International Conference on. IEEE, Vol. 2. p. 363-368

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  183. A TEM structural study of thermal stability of magnetic tunnel junctions integrated with CMOS devices

    Lazarov, V. K., Kohn, A., Uhrmann, T., Dimopoulos, T., Bruecki, H., Achard, H., Baraduc, C., Vizzini, S., Oughaddou, H., Aufray, B., d'Avitaya, F. A. & Lazarov, V., 2008, EMAG: ELECTRON MICROSCOPY AND ANALYSIS GROUP CONFERENCE 2007. Baker, RT., Mobus, G. & Brown, PD. (eds.). BRISTOL: IOP PUBLISHING LTD, p. 12002-12002 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  184. A Team Based Player Versus Player Recommender Systems Framework For Player Improvement

    Joshi, R., Gupta, V., Li, X., Cui, Y., Wang, Z., Ravari, Y., klabjan, D., Sifa, R., Parsaianen, A., Drachen, A. & Demediuk, S. P., 29 Jan 2019, (Accepted/In press) Proceedings of ACSW.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  185. A Tool Architecture for Application of Portable Code to Future Avionic Systems

    Grigg, A., Audsley, N. C., Bate, I. J., Fletcher, M. A. & Wake, A. S., 2001, Proceedings of ERA Avionics Conference. ERA TECHNOLOGY LTD

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  186. A Tool Chain for the Automatic Generation of Circus Specifications of Simulink Diagrams.

    Marriott, C., Zeyda, F. & Cavalcanti, A. L. C., 2012, Abstract State Machines, Alloy, B, VDM, and Z. Vol. 7316. p. 294-307

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  187. A Tool for Development and Evaluation of Accessible Web 2.0 Applications

    Kervina, D., Pustisek, M., Ackermann, P., Velasco, C. A. & Power, C. D., 2012, 21st International Electrotechnical and Computer Science Conference. IEEE COMPUTER SOC, p. 89-92 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  188. A Toolkit for Interactive Sonification

    Pauletto, S. & Hunt, A., 1 Jul 2004, Proceedings of the International Conference on Auditory Displays.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  189. A Traceability-Driven Approach to Model Transformation Testing

    Matragkas, N. D., Kolovos, D. S., Paige, R. F. & Zolotas, A., 2013, Proceedings of the Second Workshop on the Analysis of Model Transformations (AMT 2013), Miami, FL, USA, September 29, 2013.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  190. A Two-direction Method of Solving Variable Demand Equilibrium Models with and without Signal Control

    Smith, M., 2009, Transportation and Traffic Theory 2009: Golden Jubilee: Papers selected for presentation at ISTTT18. Lam, W. H. K., Wong, S. C. & Lo, H. K. (eds.). NEW YORK: Springer, p. 365-386 22 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  191. A Unary Semigroup Trace Algebra

    De Oliveira Salazar Ribeiro, P. F., 16 Dec 2019, (Accepted/In press) 18th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2020). Lecture Notes in Computer Science, 16 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  192. A Unification Algorithm for GP

    Plump, D. & Hristakiev, I., 2014, Proceedings 5th International Workshop Graph Computation Models (GCM 2014). Echahed, R., Habel, A. & Mosbah, M. (eds.). GCM, p. 60-75 16 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  193. A VJ centered exploration of expressive interaction

    Hook, J. D., Green, D., McCarthy, J., Taylor, S., Wright, P. C. & Olivier, P., 2011, Proceedings of the ACM International Conference on Human Factors in Computing Systems. Association for Computing Machinery (ACM), p. 1265-1274

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  194. A Verified Protocol to Implement Multi-way Synchronisation and Interleaving in CSP

    Oliveira, M. V. M., Júnior, I. S. D. M. & Woodcock, J., 2013, Software Engineering and Formal Methods : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings. Hierons, R. M., Merayo, M. G. & Bravetti, M. (eds.). SPRINGER, Vol. 8137. p. 46-60 15 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  195. A Video Database for the Development of Stereo-3D Post-Production Algorithms

    Corrigan, D., Pitie, F., Morris, V., Rankin, A., Linnane, M., Kearney, G., Gorzel, M., O'Dea, M., Lee, C. & Kokaram, A., 17 Oct 2010, The seventh European conference on Visual Media Production: CVMP'10. p. 64-73 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  196. A Virtual Loudspeaker Database for Ambisonics Research

    Kearney, G. & Doyle, T., 8 Sep 2015, ICSA 2015: 3rd International Conference on Spatial Audio. Verband Deutscher Tonmeister e.V.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  197. A Visual Notation for the Representation of Assurance Cases using SACM

    Selviandro, N., Hawkins, R. D. & Habli, I., 16 Sep 2020, International Symposium on Model-Based Safety and Assessment. SPRINGER, p. 3-18 (LNCS; vol. 12297).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  198. A Voice Source Analysis of Chest and Head Registers in Singing

    Brereton, J., 2006, The 3rd International Physiology and Acoustics of Singing Conference. Howard, D. M., Brereton, J. & Daffern, H. (eds.).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  199. A Wormhole NoC Protocol for Mixed Criticality Systems

    Burns, A., Harbin, J. & Indrusiak, L. S., 1 Dec 2014, Real-Time Systems Symposium (RTSS), 2014 IEEE. IEEE, p. 184-195 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  200. A Worst-Case Behavior Analysis for Hard Real-Time Transactions

    Byun, J., Burns, A., Davis, R. & Wellings, A. J., 1997, Real-Time Database Systems. Vol. 396. p. 235-249

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  201. A behavioural framework for designing educational computer games

    Linehan, C., Roche, B., Lawson, S., Doughty, M. & Kirman, B., 1 Dec 2009, Vienna Games Conference: Future and Reality of Gaming 2009. DIGRA Digital Games and Research Association

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  202. A behavioural notion of subtyping for object-oriented programming in SPARK95.

    Lin, T. M. & McDermid, J. A., 2003, RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2003. Rosen, JP. & Strohmeier, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 309-321 13 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  203. A bias-free measure of crossmodal audiovisual action adaptation

    Barraclough, N., Keefe, B. D. & Page, S., 2015, Journal of Vision. 12 ed. Vol. 15. p. 716 1 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  204. A biological development model for the design of robust multiplier

    Liu, H., Miller, J. F. & Tyrrell, A. M., 2005, APPLICATIONS OF EVOLUTIONARY COMPUTING, PROCEEDINGS. Rothlauf, F., Branke, J., Cagnoni, S., Corne, DW., Drechsler, R., Jin, Y., Machado, P., Marchiori, E., Romero, J., Smith, GD. & Squillero, G. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 195-204 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  205. A calorimetric evaluation of the role of impurities in the nucleation of secondary phases in 1xxx Al alloys

    Allen, C. M., O'Reilly, K. A. Q., Evans, P. V. & Cantor, B., 1998, PHASE TRANSFORMATIONS AND SYSTEMS DRIVEN FAR FROM EQUILIBRIUM. Ma, E., Atzmon, M., Bellon, P. & Trivedi, R. (eds.). WARRENDALE: MATERIALS RESEARCH SOCIETY, p. 3-14 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  206. A case study for a WWW based CAD framework

    Indrusiak, L. S. & Reis, R. A. D., 1998, XI BRAZILIAN SYMPOSIUM ON INTEGRATED CIRCUIT DESIGN, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 116-119 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  207. A catchment-scale model for pesticides in surface waters

    Hollis, J. M. & Brown, C. D., 1996, ENVIRONMENTAL FATE OF XENOBIOTICS. DelRe, AAM., Capri, E., Evans, SP. & Trevisan, M. (eds.). 27100 PAVIA: LA GOLIARDICA PAVESE, p. 371-379 9 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  208. A cellular system for pattern recognition using associative neural networks

    Orovas, C. & Austin, J., 1998, CNNA 98 - 1998 FIFTH IEEE INTERNATIONAL WORKSHOP ON CELLULAR NEURAL NETWORKS AND THEIR APPLICATIONS - PROCEEDINGS. Tavsanoglu, V. (ed.). NEW YORK: IEEE, p. 143-148 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  209. A co-evolutionary framework for regulatory motif discovery

    Lones, M. A. & Tyrrell, A. M., 2007, 2007 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1-10, PROCEEDINGS. NEW YORK: IEEE, p. 3894-3901 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  210. A coevolutionary approach to learn animal behavior through controlled interaction

    Li, W., Gauci, M. & Gross, R., 2013, Proceedings of the 2013 Annual Conference on Genetic and Evolutionary Computation. Amsterdam, Netherlands: ACM, p. 223-230

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  211. A coevolutionary model for the virus game

    Cowling, P. I., Naveed, M. H. & Hossain, M. A., 2006, Computational Intelligence and Games, 2006 IEEE Symposium on. p. 45-51 7 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  212. A comparative study of real-valued negative selection to statistical anomaly detection techniques

    Stibor, T., Timmis, J. & Eckert, C., 2005, ARTIFICIAL IMMUNE SYSTEMS, PROCEEDINGS. Jacob, C., Pilat, ML., Bentley, PJ. & Timmis, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 262-275 14 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  213. A comparison of analysis and resynthesis methods for directional segmentation of stereo audio

    Wells, J., Sep 2011, Proceedings of the 14th International Conference on Digital Audio Effects (DAFx-11), Paris, France, September 19-23, 2011. Peeters, G. (ed.). Paris: IRCAM, p. 191-198 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  214. A comparison of direct and indirect multi-touch input for large surfaces

    Schmidt, D., Block, F. & Gellersen, H., 2009, Human-Computer Interaction - INTERACT 2009 - 12th IFIP TC 13 International Conference, Proceedings. PART 1 ed. Vol. 5726 LNCS. p. 582-594 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5726 LNCS, no. PART 1).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  215. A comparison of major issues for the development of forensics in cloud computing

    Jacob, J. L. & Aydin, M., Dec 2013, Proceedings 2013 8th International Conference for Internet Technology and Secured Transactions (ICITST). p. 77--82

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  216. A comparison of multiple-dwell cell testing strategies in serial search direct sequence spread spectrum code acquisition

    Eynon, A. J. & Tozer, T. C., 1995, MILCOM 95 - CONFERENCE RECORD, VOLS 1-3. NEW YORK: I E E E, p. 357-361 5 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  217. A comparison of one-pass and bi-directional approaches applied to large-scale road inspection

    Chen, Y., Polack, F., Cowling, P. & Remde, S., 2017, Operations Research and Enterprise Systems - 5th International Conference, ICORES 2016, Revised Selected Papers. Springer-Verlag, Vol. 695. p. 180-200 21 p. (Communications in Computer and Information Science; vol. 695).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  218. A comparison of rule inheritance in model-to-model transformation languages

    Wimmer, M., Kappel, G., Kusel, A., Retschitzegger, W., Schönböck, J., Schwinger, W., Kolovos, D., Paige, R., Lauder, M., Schürr, A. & Wagelaar, D., 18 Jul 2011, Theory and Practice of Model Transformations - 4th International Conference, ICMT 2011, Proceedings. p. 31-46 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6707 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  219. A comparison of state-based modelling tools for model validation

    Aydal, E. G., Utting, M. & Woodcock, J., 2008, OBJECTS, COMPONENTS, MODELS AND PATTERNS. Paige, RF. & Meyer, B. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 278-296 19 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  220. A comparison of the asynchronous transfer of control features in Ada and the real-time specification for Java (TM)

    Brosgol, B. M. & Wellings, A., 2003, RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2003. Rosen, JP. & Strohmeier, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 113-128 16 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  221. A comparison of the business object notation and the unified modeling language

    Paige, R. F. & Ostroff, J. S., 1 Jan 1999, UML 1999 - The Unified Modeling Language: Beyond the Standard - 2nd International Conference, Proceedings. Rumpe, B. & France, R. (eds.). Springer-Verlag, p. 67-82 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1723).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  222. A comprehensive polarisation model for surface orientation recovery

    Zhang, L. & Hancock, E. R., 2012, Proceedings 21st International Conference on Pattern Recognition . IEEE Computer Society Press, p. 3791-3794

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  223. A computational investigation of radiative cooling in freely expanding recombination lasers.

    Healy, S. B. & Pert, G. J., 1994, X-RAY LASERS 1994 - FOURTH INTERNATIONAL COLLOQUIUM. Eder, DC. & Matthews, DL. (eds.). WOODBURY: AIP PRESS, p. 76-79 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  224. A computational model of degeneracy in a lymph node

    Andrews, P. S. & Timmis, J., 2006, ARTIFICIAL IMMUNE SYSTEMS, PROCEEDINGS. Bersini, H. & Carneiro, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 164-177 14 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  225. A computer based system for space allocation optimisation

    Burke, EK., Cowling, P., Landa, JD., McCollum, B. & Varley, D., 2000, Proceedings of the 27th International Conference on Computers and Industrial Engineering.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  226. A computer study of the calibration of the skeletal biconical antenna and the resonant dipole antenna

    Marvin, A. & Mann, S., 2 Jun 1992, IEE Colloquium on Radiated Emission Test Facilities.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  227. A constructive task mapping algorithm for hard real-time embedded NoCs

    Sayuti, M. N. S. M. & Indrusiak, L. S., 18 May 2016, Proceedings - 2015 IEEE Conference on System, Process and Control, ICSPC 2015. Institute of Electrical and Electronics Engineers Inc., p. 123-128 6 p. 7473571

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  228. A contextualised curriculum for HCI

    Fincher, S., Cairns, P. & Blackwell, A., 2012, Conference on Human Factors in Computing Systems - Proceedings. p. 2707-2710 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  229. A corpus for large-scale phonetic typology

    Salesky, E., Chodroff, E., Pimentel, T., Wiesner, M., Black, A. W. & Eisner, J., 2020, Proceedings of the 58th Annual Meeting for the Association of Computational Linguistics.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  230. A correspondence measure for graph matching using the discrete quantum walk

    Emms, D., Hancock, E. R. & Wilson, R. C., 2007, Graph-Based Representations in Pattern Recognition, Proceedings. Escolano, F. & Vento, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 81-91 11 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  231. A coupled relaxation method for finding perceptual structures

    Wilson, R. C., 18 Aug 2004, STRUCTURAL, SYNTACTIC, AND STATISTICAL PATTERN RECOGNITION, PROCEEDINGS. Fred, A., Caelli, T., Duin, RPW., Campilho, A. & DeRidder, D. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 224-232 9 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  232. A critical analysis of using step-strain and extensional rheology to obtain the multi-mode "pom-pom" model parameters for branched high-density polyethylenes

    McGrady, C. D., Seay, C. W., Baird, D. G., Auhl, D. & McLeish, T. C., 11 Sep 2008, The XVth International Congress on Rheology - The Society of Rheology 80th Annual Meeting. Vol. 1027. p. 409-411 3 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  233. A denotational semantics for Handel-C hardware compilation

    Perna, J. I. & Woodcock, J., 2007, FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS. Butler, M., Hinchey, MG. & LarrondoPetrie, MM. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 266-285 20 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  234. A describing function method for evaluating the statistics of the harmonics scattered from a non-linear device in a mode stirred chamber

    Marvin, A. C., Chen Jiaqi, J., Flintoft, I. D. & Dawson, J. F., 17 Aug 2009, 2009 IEEE International Symposium on Electromagnetic Compatibility: 17-21 August, 2009. Austin, Texas: IEEE, p. 165-170 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  235. A deterministic implementation process for accurate and traceable system timing and space analysis

    Ward, M. & Audsley, N. C., 2007, 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, Proceedings. LOS ALAMITOS: IEEE COMPUTER SOC, p. 432-437 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  236. A deviation based Systems of Systems safety view for modelling Architectural Frameworks

    Despotou, G. & Kelly, T., 2009, Systems Safety 2009. Incorporating the SaRS Annual Conference, 4th IET International Conference on. 555 CP ed. Vol. 2009. p. 1-6 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  237. A digital filter technique for electromagnetic modelling of thin composite layers in TLM

    Cole, J. A., Dawson, J. F. & Porter, S. J., 1997, 13th Annual Review of Progress in Applied Computational Electromagnetics at the Naval Postgraduate School, Monterey, CA, March 17-21, 1997: Conference Proceedings. Vol. 1. p. 686

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  238. A digital front-end electronics for the neutron detector NEDA

    Egea, F. J., Houarner, C., Boujrad, A., Gonzalez, V., Tripon, M., Jastrzab, M., Triossi, A., De France, G., Gadea, A., Valiente-Dobon, J. J., Sanchis, E., Barrientos, D., Blaizot, M., Bourgault, P., De Angelis, G., Erduran, M. N., Erturk, S., Huyuk, T., Jaworski, G., Luo, X. L. & 7 others, Modamio, V., Moszynski, M., Di Nitto, A., Nyberg, J., Soderstrom, P. A., Palacz, M. & Wadsworth, R., 1 Jan 2014, 2014 19th IEEE-NPSS Real Time Conference, RT 2014: Conference Records. Institute of Electrical and Electronics Engineers Inc., 2 p. 7097536

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  239. A distributed associative memory for symbolic reasoning

    Austin, J., 1997, CONNECTIONIST-SYMBOLIC INTEGRATION. Sun, R. & Alexandre, F. (eds.). MAHWAH: LAWRENCE ERLBAUM ASSOC PUBL, p. 265-278 14 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  240. A dynamic acoustic view of real-time change in word-final liquids in spontaneous Glaswegian

    Soskuthy, M., Stuart-Smith, J., Lennon, R., Macdonald, R., Robertson, D., José, B. & Evers, L., 2015, Proceedings of the 18th International Congress of Phonetic Sciences. Glasgow

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  241. A facial statistical model from complex numbers

    Castelan, M. & Hancock, E. R., 2006, 18th International Conference on Pattern Recognition, Vol 1, Proceedings. p. 235-238 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  242. A fast, stable method for density functional simulations of nanostructures

    Hasnip, P. J., 2011, CONDENSED MATTER AND MATERIALS PHYSICS CONFERENCE (CMMP10). Inglesfield, JE. (ed.). BRISTOL: IOP PUBLISHING LTD, 2 p. (Journal of Physics Conference Series; vol. 286).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  243. A feature model for model-to-text transformation languages

    Rose, L. M., Matragkas, N., Kolovos, D. & Paige, R. F., 2012, Modeling in Software Engineering (MISE), 2012 ICSE Workshop on. IEEE, p. 57-63 7 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  244. A feedback-driven timing synchronisation protocol for cellular sensornets

    Tate, J. & Bate, I., 2010, Proceedings of the 7th IEEE International Conference on Mobile Ad-hoc and Sensor Systems. IEEE, p. 482-491 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  245. A formal template language enabling metaproof

    Amalio, N., Stepney, S. & Polack, F., 2006, FM 2006: FORMAL METHODS, PROCEEDINGS. Misra, J., Nipkow, T. & Sekerinski, E. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 252-267 16 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  246. A framework for constraint based local search using ESSENCE

    Akgun, O., Attieh, S. W. A., Gent, I. P., Jefferson, C. A., Miguel, I. J., Nightingale, P. W., Salamon, A. Z., Spracklen, P. & Wetter, J. P., 13 Jul 2018, Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence. Lang, J. (ed.). International Joint Conferences on Artificial Intelligence, p. 1242-1248 7 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  247. A function for hard real-time system search-based task mapping optimisation

    Sayuti, M. N. S. M. & Indrusiak, L. S., 2015, Real-Time Distributed Computing (ISORC): 2015 IEEE 18th International Symposium on Real-Time Distributed Computing. Institute of Electrical and Electronics Engineers Inc., p. 66-73 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  248. A fuzzy classifier based on correlation matrix memories

    Aykin, E. & O'Keefe, S., 2009, Recent Advances in Fuzzy Systems: Proceedings of the 10th WSEAS international conference on Fuzzy systems . Mastorakis, N., Croitoru, A., Balas, V. E., Son, E. & Mladenov, V. (eds.). Stevens Point, Wisconsin: World Scientific and Engineering Academy and Society (WSEAS), p. 63-68

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  249. A generic framework for population-based algorithms, implemented on multiple FPGAs

    Newborough, J. & Stepney, S., 2005, ARTIFICIAL IMMUNE SYSTEMS, PROCEEDINGS. Jacob, C., Pilat, ML., Bentley, PJ. & Timmis, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 43-55 13 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  250. A generic, scalable and globally arbitrated memory tree for shared DRAM access in real-time systems

    Dev Gomony, M., Garside, J., Akesson, B., Audsley, N. & Goossens, K., 22 Apr 2015, 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE). Institute of Electrical and Electronics Engineers Inc., p. 193-198 6 p. 7092381

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  251. A geometry for sub-nanosecond X-ray diffraction from laser-shocked polycrystalline foils

    Wark, J., Higginbotham, A., Kimminau, G., Murphy, W., Nagler, B., Whitcher, T., Hawreliak, J., Kalantar, D., Butterfield, M., El-Dasher, B., McNaney, J., Milathianaki, D., Lorenzana, H., Remington, B., Davies, H., Thornton, L., Park, N. & Lukezic, S., 1 Dec 2007, AIP Conference Proceedings. Vol. 955. p. 1345-1348 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  252. A good practice guide for the use of GTEM cells in EMC measurements according to IEC61000-4-20

    Bozec, D., McCormack, L. M., Marvin, A. C., Nothofer, A. & Alexander, M. J., 2004, 2004 INTERNATIONAL SYMPOSIUM ON ELECTROMAGNETIC COMPATIBILITY, SYMPOSIUM RECORD 1-3. NEW YORK: IEEE, p. 660-665 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  253. A grammatical evolution approach to intrusion detection on mobile ad hoc networks

    en, S. & Clark, J. A., 2009, Proceedings of the second ACM conference on Wireless network security. New York, NY, USA: ACM, p. 95-102 8 p. (WiSec '09).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  254. A graph kernel from the depth-based representation

    Bai, L., Ren, P., Bai, X. & Hancock, E. R., 1 Jan 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Franti, P., Brown, G., Loog, M., Escolano, F. & Pelillo, M. (eds.). Springer-Verlag, Vol. 8621. p. 1-11 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8621 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  255. A graph spectral approach to shape-from-shading

    Robles-Kelly, A. & Hancock, E. R., 2002, 2002 INTERNATIONAL CONFERENCE ON IMAGE PROCESSING, VOL II, PROCEEDINGS. NEW YORK: IEEE, p. 569-572 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  256. A grid based diagnostics and prognosis system for Rolls Royce Aero Engines: The DAME project.

    Austin, J., 2004, PROCEEDINGS OF THE SECOND INTERNATIONAL WORKSHOP ON CHALLENGES OF LARGE APPLICATIONS IN DISTRIBUTED ENVIRONMENTS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 22 1 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  257. A hardware IP-core for information retrieval

    Freeman, M. & Jayasooriya, T., 2006, DSD 2006: 9th EUROMICRO Conference on Digital System Design: Architectures, Methods and Tools, Proceedings. Muthukumar, V. (ed.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 115-122 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  258. A hardware immune system for benchmark state machine error detection

    Bradley, D. & Tyrrell, A., 2002, CEC'02: PROCEEDINGS OF THE 2002 CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1 AND 2. NEW YORK: IEEE, p. 813-818 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  259. A hardware implementation of an embryonic architecture using Virtex (R) FPGAs

    Ortega, C. & Tyrrell, A., 2000, EVOLVABLE SYSTEMS: FROM BIOLOGY TO HARDWARE, PROCEEDINGS. Miller, J., Thompson, A., Thomson, P. & Fogarty, TC. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 155-164 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  260. A hardware-accelerated novel IR system

    Weeks, M., Hodge, V. J. & Austin, J., 2002, 10TH EUROMICRO WORKSHOP ON PARALLEL, DISTRIBUTED AND NETWORK-BASED PROCESSING, PROCEEDINGS. Vajda, F. & Podhorszki, N. (eds.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 283-289 7 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  261. A hierarchical framework for modal correspondence matching

    Carcassoni, M. & Hancock, E. R., 2001, 11TH INTERNATIONAL CONFERENCE ON IMAGE ANALYSIS AND PROCESSING, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 327-332 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  262. A high performance k-NN classifier using a binary correlation matrix memory

    Zhou, P., Austin, J. & Kennedy, J., 1999, ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 11. Kearns, MS., Solla, SA. & Cohn, DA. (eds.). CAMBRIDGE: M I T PRESS, p. 713-719 7 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  263. A honeycomb development architecture for robust fault-tolerant design

    Tyrrell, A. M. & Sun, H., 2006, AHS 2006: First NASA/ESA Conference on Adaptive Hardware and Systems, Proceedings. Stoica, A., Arslan, T., Suess, M., Yalcin, S., Keymeulen, D., Higuchi, T., Zebulum, R. & Aydin, N. (eds.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 281-287 7 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  264. A hormone arbitration system for energy efficient foraging in robot swarms

    Wilson, J., Timmis, J. & Tyrrell, A., 21 Jul 2018, Towards Autonomous Robotic Systems - 19th Annual Conference, TAROS 2018, Proceedings. Giannaccini, M. E., Giuliani, M. & Assaf, T. (eds.). Springer-Verlag, p. 305-316 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10965 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  265. A human action recognition system for embedded computer vision application

    Meng, H., Pears, N. & Bailey, C., 2007, 2007 IEEE CONFERENCE ON COMPUTER VISION AND PATTERN RECOGNITION, VOLS 1-8. NEW YORK: IEEE, p. 3213-3218 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  266. A hyperheuristic approach to scheduling a sales summit

    Cowling, P., Kendall, G. & Soubeiga, E., 2000, International Conference on the Practice and Theory of Automated Timetabling. p. 176-190 15 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  267. A leaching column study of bone meal amendments to metal polluted soil

    Hodson, M. E. & Valsami-Jones, E., 1999, Geochemistry of the Earth's Surface. Armannsson, H. (ed.). Leiden: A A BALKEMA PUBLISHERS, p. 95-98 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  268. A learning adaptive Bollinger band system

    Butler, M. R. & Kazakov, D. L., 2012, 2012 IEEE Conference on Computational Intelligence for Financial Engineering and Economics (CIFEr 2012): New York City, New York, USA, 29-30 March 2012. New York: IEEE, p. 40-47 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  269. A learning, multi-layered, hardware artificial immune system implemented upon an embryonic array

    Canham, R. & Tyrrell, A. M., 2003, EVOLVABLE SYSTEMS: FROM BIOLOGY TO HARDWARE, PROCEEDINGS. Tyrrell, AM., Haddow, PC. & Torresen, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 174-185 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  270. A linear generative model for graph structure

    Luo, B., Wilson, R. C. & Hancock, E. R., 2005, GRAPH-BASED REPRESENTATIONS IN PATTERN RECOGNITION, PROCEEDINGS. Brun, L. & Vento, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 54-62 9 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  271. A locality model for the real-time specification for Java

    Malik, A. H., Wellings, A. J. & Chang, Y., 2010, Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2010, Prague, Czech Republic, August 19-21, 2010. Kalibera, T. & Vitek, J. (eds.). ACM, p. 36-45 10 p. (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  272. A lossless data reduction technique for wireless EEG recorders and its use in selective data filtering for seizure monitoring

    Dai, C. & Crispin-Bailey, C., 25 Aug 2015, 2015 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC 2015): Proceedings of a meeting held 25-29 August 2015, Milan, Italy.. IEEE, p. 6186-6189 5 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  273. A low-complexity RLS-DCD algorithm for Volterra system identification

    Claser, R., Nascimento, V. & Zakharov, Y., 29 Aug 2016, 24th European Signal Processing Conference (EUSIPCO). Budapest, Hungary, 5 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  274. A malleable physical interface for copying, pasting, and organizing digital clips

    Block, F., Villar, N. & Gellersen, H., 2008, TEI'08 - Second International Conference on Tangible and Embedded Interaction - Conference Proceedings. p. 117-120 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  275. A many-body approach to the calculation of the ground-state total energy of semiconductors

    Godby, R. W., Needs, R. J. & Farid, B., 1990, Proceedings of the 20th International Conference on the Physics of Semiconductors. Singapore: World Scientific Publishing

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  276. A mathematical approach to cross-linked structures in viral capsids: Predicting the architecture of novel containers for drug delivery

    Keef, T., 2006, DNA Computing. Mao, C. & Yokomori, T. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 239-249 11 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  277. A maximum likelihood framework for iterative eigendecomposition

    Robles-Kelly, A. & Hancock, E. R., 2001, EIGHTH IEEE INTERNATIONAL CONFERENCE ON COMPUTER VISION, VOL I, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 654-661 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  278. A mechanism for implementing precise exceptions in pipelined processors

    Alli, S. & Bailey, C., 2004, PROCEEDINGS OF THE EUROMICRO SYSTEMS ON DIGITAL SYSTEM DESIGN. Selvaraj, H. (ed.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 598-602 5 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  279. A method of reducing the number of ferrite tiles in an absorber lined chamber

    Clegg, J., Alexander, M., Dawson, L., Dawson, J. F., Jee, J., Marvin, A. C., Loader, B. & Porter, S. J., 1999, EMC YORK 99: INTERNATIONAL CONFERENCE AND EXHIBITION ON ELECTROMAGNETIC COMPATIBILITY. EDISON: INST ELECTRICAL ENGINEERS INSPEC INC, p. 59-64 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  280. A mirror for sound: Introduction and practical exploration of the WinSingad software for teaching singing

    Howard, D. M., Williams, J., Brereton, J., Welch, G. F., Himonides, E., Howard, A. & [Unknown], D., 2006, The 3rd International Physiology and Acoustics of Singing Conference. York

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  281. A model for real time mobility based on the RTSJ

    AlRahmawy, M. & Wellings, A. J., 2007, Proceedings of the 5th International Workshop on Java Technologies for Real-time and Embedded Systems, JTRES 2007, Institute of Computer Engineering, Vienna University of Technology, 26-28 September 2007, Vienna, Austria. Bollella, G. (ed.). ACM, p. 155-164 10 p. (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  282. A modelling study of limonene oxidation products following cleaning activities

    Carslaw, N., 1 Jan 2014, Indoor Air 2014: 13th International Conference on Indoor Air Quality and Climate. International Society of Indoor Air Quality and Climate, p. 9-13 5 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  283. A modular test-case for validation of electromagnetic solvers in electromagnetic compatibility applications

    Flintoft, I. D., Dawson, J. F., Dawson, L. & Marvin, A. C., 19 Mar 2013, Computational Electromagnetics for ELectromagnetic Compatibility. Granada, Spain, 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  284. A modular theory of object orientation in higher-order UTP

    Zeyda, F., Santos, T. L. V. L., Cavalcanti, A. L. C. & Sampaio, A. C. A., 2014, FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings. SPRINGER, p. 627-642 16 p. (Lecture Notes in Computer Science; vol. 8442).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  285. A multi-objective optimization approach associated to climate change analysis to improve systematic conservation planning

    Schlottfeldt, S., Timmis, J., Walter, M. E., Carvalho, A., Simon, L., Loyola, R. & Diniz-Filho, J. A., 1 Jan 2015, Evolutionary Multi-Criterion Optimization: 8th International Conference, EMO 2015, Guimarães, Portugal, March 29 --April 1, 2015. Proceedings, Part II. Gaspar-Cunha, A., Antunes, C. H. & Coello, C. C. (eds.). Springer-Verlag, p. 458-472 15 p. (Lecture Notes in Computer Science; vol. 9019).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  286. A multi-user quantum access network

    Frohlich, B., Dynes, J. F., Lucamarini, M., Sharpe, A. W., Yuan, Z. L. & Shields, A. J., 2013, 2013 Conference on Lasers and Electro-Optics, CLEO 2013. IEEE Computer Society Press, 6834495. (2013 Conference on Lasers and Electro-Optics, CLEO 2013).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  287. A neural network architecture for trademark image retrieval

    Alwis, S. & Austin, J., 1999, ENGINEERING APPLICATIONS OF BIO-INSPIRED ARTIFICIAL NEURAL NETWORKS, VOL II. Mira, J. & SanchezAndres, JV. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 361-372 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  288. A neural relaxation technique for chemical graph matching

    Turner, M. & Austin, J., 1997, FIFTH INTERNATIONAL CONFERENCE ON ARTIFICIAL NEURAL NETWORKS. EDISON: INST ELECTRICAL ENGINEERS INSPEC INC, p. 187-192 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  289. A neural supergraph matching architecture

    Klinger, S. & Austin, J., 2005, Proceedings of the International Joint Conference on Neural Networks (IJCNN), Vols 1-5. NEW YORK: IEEE, p. 2453-2458 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  290. A new approach of supply network performance measurement based on supporting level and operational level

    Mao, Z., Li, X. & Jia, F., 2006, International Technology and Innovation Conference 2006, ITIC 2006. 524 ed. p. 1537-1545 9 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  291. A new framework for measuring the ethical awareness and perception among engineering students in Higher Education

    Baruah, B. J., Ward, A. E. & Atesh, M. H. M. A. A., 17 Mar 2017, International Conference New Perspectives in Science Education. Florence, Italy, Vol. 6. p. 1-5 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  292. A new front-end high-resolution sampling board for the new-generation electronics of EXOGAM2 and NEDA detectors

    Egea, F. J., Gonzalez, V., Tripon, M., Jastrzab, M., Triossi, A., Gadea, A., De France, G., Valiente-Dobon, J. J., Blasco, J. M., Barrientos, D., Sanchis, E., Boujrad, A., Houarner, C., Blaizot, M., Bourgault, P., De Angelis, G., Erduran, M. N., Erturk, S., Huyuk, T., Jaworski, G. & 8 others, Luo, X. L., Modamio, V., Moszynski, M., Di Nitto, A., Nyberg, J., Soderstrom, P. A., Palacz, M. & Wadsworth, R., 1 Jan 2014, 2014 19th IEEE-NPSS Real Time Conference, RT 2014: Conference Records. Institute of Electrical and Electronics Engineers Inc., 3 p. 7097539

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  293. A new general equilibrium model

    Xiang, Y. L., Smith, M. J. & Logie, M., 2002, TRANSPORTATION PLANNING: STATE OF THE ART. Patriksson, M. & Labbe, M. (eds.). DORDRECHT: SPRINGER, p. 105-118 14 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  294. A new simplified method of dielectric material permittivity extraction using a genetic algorithm technique

    Cahill, BJ., Dawson, JF. & Marvin, AC., 1997, Proceedings of the 8th International Conference on Electromagnetic Measurement.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  295. A note on traces refinement and the conf relation in the unifying theories of programming

    Cavalcanti, A. & Gaudel, M. C., 26 Aug 2010, Unifying Theories of Programming - Second International Symposium, UTP 2008, Revised Selected Papers. p. 42-61 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5713 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  296. A novel airborne self-organising architecture for 5G+ networks

    Ahmadi, H., Katzis, K. & Shakir, M. Z., 8 Feb 2018, 2017 IEEE 86th Vehicular Technology Conference, VTC Fall 2017 - Proceedings. Institute of Electrical and Electronics Engineers Inc., 6 p. (IEEE Vehicular Technology Conference; vol. 2017-September).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  297. A novel approach to the detection of cheating in multiplayer online games

    Laurens, P., Paige, R. F., Brooke, P. J. & Chivers, H., 2007, 12TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING COMPLEX COMPUTER SYSTEMS, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 97-106 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  298. A novel entropy-based graph signature from the average mixing matrix

    Bai, L., Rossi, L., Cui, L. & Hancock, E. R., 1 Dec 2016, 2016 23rd International Conference on Pattern Recognition (ICPR). Davis, L., Bimbo, A. D. & Lovell, B. (eds.). Los Alamitos, CA, USA: IEEE Computer Society Press, p. 1339-1344 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  299. A novel radiating structure for close range radiated immunity measurements

    Cahill, B. J., Marvin, A. C. & Dawson, J. F., 1999, EMC YORK 99: INTERNATIONAL CONFERENCE AND EXHIBITION ON ELECTROMAGNETIC COMPATIBILITY. EDISON: INST ELECTRICAL ENGINEERS INSPEC INC, p. 168-172 5 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  300. A novel tripod-driven platform for in-situ positioning of samples and electrical probes in a TEM

    B D Medford, B L Rogers, D Laird, N Berdunov, A J Lockwood, G Thirunavukkarasu, W Guan, J Wang, G Möbus, B J Inkson and P H Beton, 2010, Institute of Physics (UK): Electron Microscopy and Analysis Group Conference 2009 (EMAG 2009). Journal of Physics: Conference Series, Vol. 241. p. 012057

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  301. A parallel implementation of a thin wire EFIE code

    Tinniswood, A., Tyrrell, A. M. & Cloude, S. R., 1994, 10TH ANNUAL REVIEW OF PROGRESS IN APPLIED COMPUTATIONAL ELECTROMAGNETICS, CONFERENCE PROCEEDINGS, VOL II. Terzuoli, A. (ed.). DAYTON: 1994 A C E S Conference, p. 113-119 7 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  302. A parameter-free hyperheuristic for scheduling a sales summit

    Cowling, P., Kendall, G. & Soubeiga, E., 2001, Proceedings of the 4th metaheuristic international conference. Vol. 1101. p. 127-131 5 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  303. A pattern restore method for restoring missing patterns in server side clickstream data

    Ting, I-H., Kudenko, D. & Kimble, C., 2005, Web Technologies Research and Development - APWeb 2005. Zhang, Y., Tanaka, K., Yu, JX., Wang, S. & Li, M. (eds.). Berlin / Heidelberg: Springer, p. 501-512 11 p. (Lecture Notes in Computer Science; vol. 3399).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  304. A phylogenetic classification of the video-game industry’s business model ecosystem

    Goumagias, N., Cabras, I., Fernandes, K. J., Li, F., Nucciarelli, A., Cowling, P., Devlin, S. & Kudenko, D., 2014, Working Conference on Virtual Enterprises. Camarinha-Matos, L. M. & Afsarmanesh, H. (eds.). Springer Berlin / Heidelberg, p. 285-294 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  305. A practical evaluation of synchronicity in action potentials with noise

    Edwards, J. & O'Keefe, S., 2015, CF '15 Proceedings of the 12th ACM International Conference on Computing . ACM, 2 p. 42

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  306. A practical metric for evaluating sound diffusers

    Angus, J. A. S., Marvin, A. C., Clegg, J. & Dawson, J. F., 1 Feb 1995, Audio Engineering Society Convention 98.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  307. A pragmatic perspective on UML for system-on-chip design

    Indrusiak, L. S., 2005, Norchip 2005, Proceedings. NEW YORK: IEEE, p. 169-171 3 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  308. A principled design methodology for auditory interaction

    Mitsopoulos, E. N. & Edwards, A. D. N., 1999, HUMAN-COMPUTER INTERACTION - INTERACT '99. Sasse, MA. & Johnson, C. (eds.). AMSTERDAM: I O S PRESS, p. 263-271 5 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  309. A principled evaluation of the effect of directed mutation on search-based statistical testing

    Poulding, S., Clark, J. A. & Waeselynck, H., 2011, Software Testing, Verification and Validation Workshops (ICSTW), 2011 IEEE Fourth International Conference on. p. 184-193 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  310. A probabilistic framework for schedulability analysis

    Burns, A., Bernat, G. & Broster, I., 2003, EMBEDDED SOFTWARE, PROCEEDINGS. Alur, R. & Lee, I. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 115 15 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  311. A proposed mechanism for super-pipelined instruction-issue for ILP stack machines

    Bailey, C., 2004, Proceedings of Euromicro Symposium on Digital Systems. Selvaraj, H. (ed.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 121-129 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  312. A question of judgment: the iconic programme at Sandbach.

    Hawkes, J. & Bourke, C. (ed.), 1995, Third International Conference on Insular Art. Belfast: HMSO, p. 213-220 7 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  313. A real-time RMI framework for the RTSF

    Borg, A. & Wellings, A., 2003, 15TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 238-246 9 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  314. A real-time cinematography system for interactive 3d environments

    Lino, C., Christie, M., Lamarche, F., Schofield, G. P. & Olivier, P., 2 Jul 2010, Proceedings of the 2010 ACM SIGGRAPH/Eurographics Symposium on Computer Animation. Eurographics Association, p. 139 148 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  315. A real-time isolate specification for Ravenscar-Java

    Cai, H. & Wellings, A., 2004, SEVENTH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS. Gustafsson, J., Aoki, T. & Lee, I. (eds.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 325-328 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  316. A rectangular waveguide cell for measurement of the shielding effectiveness of anisotropic materials

    Flintoft, I. D., Marvin, A. C., Dawson, J. F. & Dawson, L., 1 Sep 2010, EMC Europe 2010, 9th International Symposium on EMC joint with 20th International Wroclaw Symposium on EMC: 13-17 September, 2010. Wroclaw, Poland: Oficyna Wydawnicza Politechniki Wroclawskiej, p. 591-596 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  317. A reduced drift magnetic island theory of neoclassical tearing modes for low collisionality plasmas

    Dudkovskaia, A. V., Connor, J. W., Dickinson, D., Hill, P., Imada, K. & Wilson, H. R., 1 Jan 2018, 45th EPS Conference on Plasma Physics, EPS 2018. Berndt, J., Coda, S., Lapenta, G., Michaut, C., Weber, S. & Mantsinen, M. (eds.). European Physical Society (EPS), Vol. 2018-July. p. 285-288 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  318. A research roadmap towards achieving scalability in model driven engineering

    Kolovos, D., Rose, L. M., Matragkas, N., Paige, R. F., Guerra, E., Sánchez Cuadrado, J., de Lara, J., Ráth, I., Varró, D., Tisi, M. & Cabot, J., 17 Jun 2013, Proceedings of the Workshop on Scalability in Model Driven Engineering. ACM, 2. (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  319. A resonance Raman investigation of the binding of water-soluble porphyrins to bovine serum albumin

    Lefley, C. R., Moore, J. N. & Hester, R. E., 1992, Proceedings of the Thirteenth International Conference on Raman Spectroscopy. Kiefer, W., Cardona, M., Schneider, F. W. & Schrotter, H. W. (eds.). Chichester: John Wiley & Sons, p. 512-513

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  320. A resonance Raman spectroscopic study of bilirubin photoisomers

    Russell, M. P., Moore, J. N. & Hester, R. E., 1992, Proceedings of the Thirteenth International Conference on Raman Spectroscopy . Kiefer, W., Cardona, M., Schneider, F. W. & Schrotter, H. W. (eds.). Chichester: John Wiley & Sons, p. 546-547

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  321. A resonance Raman spectroscopic study of polarity effects in mutant myoglobins

    ANDERTON, C. L., HESTER, R. E. & MOORE, J. N., 1995, SPECTROSCOPY OF BIOLOGICAL MOLECULES. DORDRECHT: KLUWER ACADEMIC PUBL, p. 243-244 2 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  322. A resonance raman-spectroscopic study of bilirubin-serum-albumin complexes

    Coulthurst, S. J., Moore, J. N. & Hester, R. E., 1993, Fifth International Conference on the Spectroscopy of Biological Molecules. Theophanides, T., Anastassopoulou, J. & Fotopoulos, N. (eds.). Dordrecht: Kluwer Academic Publishers, p. 157-158 2 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  323. A review of existing interfaces of automated examination and lecture scheduling systems

    McCollum, B., Ahmadi, S., Burke, E., Barone, R., Cheng, P. & Cowling, P., 2002, PATAT. p. 262-264 3 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  324. A review of low noise oscillator - Theory and design

    Everard, J. K. A., 1997, PROCEEDINGS OF THE 1997 IEEE INTERNATIONAL FREQUENCY CONTROL SYMPOSIUM. NEW YORK: I E E E, p. 909-918 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  325. A review of the terminology of Work Experience in the UK

    Ward, T., Feb 2012, A review of the terminology of Work Experience in the UK”, 23rd EAEEIE Annual Conference on Innovation in Electrical and Information Engineering. Cagliari, Sardinia

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  326. A rights based approach to adaptive capacity

    Ensor, J. E., Park, S., Hoddy, E. T. & Ratner, B., 2014, Resilience 2014.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  327. A robust eigendecomposition framework for inexact graph-matching

    Luo, B. & Hancock, E. R., 2001, 11TH INTERNATIONAL CONFERENCE ON IMAGE ANALYSIS AND PROCESSING, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 465-470 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  328. A robust non-orthogonal space-time block code for four transmit antennas

    Zheng, F. C. & Burr, A. G., 2003, 57TH IEEE VEHICULAR TECHNOLOGY CONFERENCE, VTC 2003-SPRING, VOLS 1-4, PROCEEDINGS. NEW YORK: IEEE, p. 301-305 5 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  329. A round robin scheduling policy for Ada

    Burns, A., Harbour, M. G. & Wellings, A. J., 2003, RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2003. Rosen, JP. & Strohmeier, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 334-343 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  330. A scalable platform for intrinsic hardware and in materio evolution

    Harding, S. & Miller, J. F., 2003, 2003 NASA/DOD CONFERENCE ON EVOLVABLE HARDWARE. LOS ALAMITOS: IEEE COMPUTER SOC, p. 221-224 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  331. A selection mechanism based upon the explicit expression of preference

    Audsley, N. C. & Baker, R. E., 2004, Proceedings of the 1st ACM SIGSOFT Workshop on Self-Managed Systems, WOSS 2004, Newport Beach, California, USA, October 31 - November 1, 2004. Garlan, D., Kramer, J. & Wolf, A. L. (eds.). ACM, p. 13-17 5 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  332. A selective encryption for heterogenous color JPEG images based on VLC and AES stream cipher

    Rodrigues, J. M., Puech, W. & Bors, A. G., Jun 2006, Proc. IS\&T European Conference on Color in Graphics, Imaging and Vision, Leeds, UK,. IS&T, p. 34-39 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  333. A self-adaptive mate selection model for genetic programming

    Fry, R., Smith, S. L. & Tyrrell, A. M., 2005, 2005 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1-3, PROCEEDINGS. NEW YORK: IEEE, p. 2707-2714 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  334. A short overview of the UK master degree in EMC

    Marvin, A., 13 Sep 1994, Proceedings of the EMC Roma '94 Symposium on EMC. Rome, p. 563-564

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  335. A simple abstraction for complex concurrent indexes

    Pinto, P. D. R., Dinsdale-Young, T., Dodds, M. D., Gardner, P. & Wheelhouse, M. J., 2011, OOPSLA '11: Proceedings of the 2011 ACM international conference on Object oriented programming systems language and applications . New York: ACM, p. 845-864 20 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  336. A simple method for representing pcbs in equipment enclosures

    Denton, A., Thomas, D. W. P., Konefal, T., Benson, T. M., Christopoulos, C., Dawson, J. F., Marvin, A. C. & Porter, S. J., 1 Sep 2000, Proceedings of EMC Europe 2000. p. 509-513

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  337. A simple optimum detector for distributed space-time block coding under imperfect synchronisation

    Zheng, F. -C., Burr, A. G. & Olafsson, S., 2007, 2007 IEEE 8TH WORKSHOP ON SIGNAL PROCESSING ADVANCES IN WIRELESS COMMUNICATIONS, VOLS 1 AND 2. NEW YORK: IEEE, p. 146-150 5 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  338. A social pedagogy perspective on bullying in schools

    Kyriacou, C., 1 Aug 2015, Bullying and Cyberbullying across Europe . Proceedings of the 1st Scientific Conference of the European Anti-bullying Network, Athens, June 11th-12th, 2015 (pp. 652-657). Athens: The Smile of the Child.. Alevizos, S. & Salichos, P. (eds.). Athens: The Smile of the Child, p. 652-657

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  339. A spatially distributed assessment for pesticide exposure in surface waters via drainflow

    Brown, C. D., Dubus, I. G. & Gustin, C., 2001, PESTICIDE BEHAVIOUR IN SOILS AND WATER: Proceedings of an International Symposium Held in Brighton, UK on 13-15 November 2001 . Walker, A. (ed.). FARNHAM: BRITISH CROP PROTECTION COUNCIL, p. 265-270 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  340. A spectral analysis of perceptual shape variation

    Hughes, A. & Wilson, R. C., 2003, 12TH INTERNATIONAL CONFERENCE ON IMAGE ANALYSIS AND PROCESSING, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 38-43 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  341. A spectral generative model for graph structure

    Xiao, B. & Hancock, E. R., 2006, STRUCTURAL, SYNTACTIC, AND STATISTICAL PATTERN RECOGNITION, PROCEEDINGS. Yeung, DY., Kwok, JT., Fred, A., Roli, F. & DeRidder, D. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 173-181 9 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  342. A splitting rate model of traffic re-routeing and traffic control

    Smith, M., 2011, Procedia - Social and Behavioral Sciences: 19th International Symposium on Transportation and Traffic Theory. Cassidy, M. & Skarbadonis, A. (eds.). Elsevier, Vol. 17. p. 316-340 25 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  343. A stable digital filter design method for modelling frequency dependent boundaries in TLM

    Cole, J. A., Dawson, J. F. & Porter, S. J., 1998, ROMA'98 International conference on EMC . p. 333-338

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  344. A state-based approach to traceability maintenance

    Drivalos-Matragkas, N., Kolovos, D. S., Paige, R. F. & Fernandes, K. J., 2 Aug 2010, Proceedings of the 6th ECMFA Traceability Workshop, ECMFA-TW'10. p. 23-30 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  345. A statistical approach to radiated immunity testing of digital hardware based in a reverberation chamber

    Chen, J., Marvin, A. C., Flintoft, I. D. & Dawson, J. F., 1 Sep 2010, EMC Europe 2010, 9th International Symposium on EMC joint with 20th International Wroclaw Symposium on EMC: 13-17 September, 2010. Wroclaw, Poland: Oficyna Wydawnicza Politechniki Wroclawskiej, p. 250-254 5 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  346. A statistical approach to simulation model validation in response-time analysis of complex real-time embedded systems

    Lu, Y., Kraft, J., Nolte, T. & Bate, I., 23 Jun 2011, 26th Annual ACM Symposium on Applied Computing, SAC 2011. p. 711-716 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  347. A statistical description of field uniformity and its effect on the measured immunity of equipment under test

    Dawson, L., Mann, S. M. & Marvin, A. C., 1 May 1992, Role of Statistics in EMC Specification Design and Clearance, IEE Colloquium on. p. 4/1-4/6

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  348. A statistical response-time analysis of complex real-time embedded systems by using timing traces

    Lu, Y., Nolte, T., Bate, I. & Cucu-Grosjean, L., 29 Aug 2011, SIES 2011 - 6th IEEE International Symposium on Industrial Embedded Systems, Conference Proceedings. p. 43-46 4 p. 5953676

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  349. A study of concurrency in the Ant Colony System algorithm

    Ridge, E., Kudenko, D. & Kazakov, D., 2006, 2006 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1-6. NEW YORK: IEEE, p. 1647-1654 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  350. A study of the field statistics in nested frequency stirred reverberation chambers

    He, Y., Marvin, A. C. & Flintoft, I. D., 9 Aug 2008, URSI2008, The XXIXth Triennial General Assembly of the International Union of Radio Science: 9-16 August, 2008. Chicago: International Union of Radio Science, 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  351. A study on dynamic vocal tract shaping for diphthong simulation using a 2D Digital Waveguide Mesh

    Rugchatjaroen, A. & Howard, D. M., 1 Dec 2012, 15th International Conference on Digital Audio Effects, DAFx 2012 Proceedings.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  352. A supercompiler for core Haskell

    Mitchell, N. & Runciman, C., 2008, Springer Lectures Notes in Computer Science: Implementation and Application of Functional Languages. Springer, Vol. 5083. p. 147-164 18 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  353. A survey and case study of practical examination timetabling problems

    Cowling, P., Kendall, G. & Hussin, N. M., 2002, PATAT. p. 258-261 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  354. A survey of the theory of recombination lasers

    Pert, G. J., 1994, X-RAY LASERS 1994 - FOURTH INTERNATIONAL COLLOQUIUM. Eder, DC. & Matthews, DL. (eds.). WOODBURY: AIP PRESS, p. 49-54 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  355. A systematic approach to safety case maintenance

    Kelly, T. P. & McDermid, J. A., 1999, COMPUTER SAFETY, RELIABILITY AND SECURITY. Felici, M., Kanoun, K. & Pasquini, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 13-26 14 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  356. A systematic literature review for agile development processes and user centred design integration

    Salah, D., Paige, R. F. & Cairns, P. A., 2014, 18th International Conference on Evaluation and Assessment in Software Engineering, EASE '14, London, England, United Kingdom, May 13-14, 2014. p. 1-10

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  357. A systematic review of the role of ICTs in learning algebra

    Goulding, M. & Kyriacou, C., 2007, Proceedings of the British Society for Research into Learning Mathematics (BSRLM). Kuchemann, D. (ed.). London: BSRLM, p. 36-41

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  358. A taxonomy of attacks on secure devices

    Rae, A. & Wildman, L., 2003, Proceedings of the Australia Information Warfare and Security Conference 2003. p. 251-264

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  359. A taxonomy of number entry error

    Wiseman, S., Cairns, P. & Cox, A., 2011, Proceedings of HCI 2011 - 25th BCS Conference on Human Computer Interaction. British Computer Society (BCS), p. 187-196 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  360. A technique for managing complexity of use cases for large complex embedded systems

    Nasr, E., McDermid, J. & Bernat, G., 2002, ISORC 2002: FIFTH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS. Bacellar, L., Puschner, P. & Hong, S. (eds.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 225-232 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  361. A technique for the rapid measurement of the shielding effectiveness of planar CFC samples at microwave frequencies

    Marvin, A. C., Flintoft, I. D., Dawson, L. & Dawson, J. F., 11 Jun 2009, EMC Europe 2009, Workshop on Electromagnetic Compatibility: Materials in EMC Applications: 11-12 June, 2009. Athens: IEEE, p. 29-32 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  362. A trace-based statistical worst-case execution time analysis of component-based real-time embedded systems

    Lu, Y., Nolte, T., Bate, I. & Cucu-Grosjean, L., 11 Nov 2011, Proceedings of 2011 IEEE 16th Conference on Emerging Technologies and Factory Automation, ETFA 2011. 6059190

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  363. A transitive aligned Weisfeiler-Lehman subtree kernel

    Bai, L., Rossi, L., Cui, L. & Hancock, E. R., 1 Dec 2016, 2016 23rd International Conference on Pattern Recognition (ICPR). Davis, L., Bimbo, A. D. & Lovell, B. (eds.). Los Alamitos, CA, USA: IEEE Computer Society Press, p. 396-401 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  364. A tutorial introduction to CSP in unifying theories of programming

    Cavalcanti, A. & Woodcock, J., 2006, REFINEMENT TECHNIQUES IN SOFTWARE ENGINEERING. Cavalcanti, A., Sampaio, A. & Woodcock, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 220-268 49 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  365. A unified approach to joint adaptive interference cancellation and parameter estimation for CDMA systems in multipath channels

    de Lamare, R. C., Sampaio-Neto, R. & Hjorungnes, A., 2007, 2007 IEEE 8TH WORKSHOP ON SIGNAL PROCESSING ADVANCES IN WIRELESS COMMUNICATIONS, VOLS 1 AND 2. NEW YORK: IEEE, p. 181-185 5 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  366. A university approach to undergraduate, in-service and continuing EMC education

    Marvin, A. & Darnell, M., 1984, Proceedings of the IERE Conference on EMC . Guildford, p. 65-68 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  367. A university post graduate course in EMC

    Marvin, A., Darnell, M., Tealby, J. M. & Riley, N. G., Aug 1990, Proc of the 7th IEE International Conference on EMC. York, p. 240-243 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  368. A variational approach for color image segmentation

    Nasios, N. & Bors, A. G., 2004, PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION, VOL 1. Kittler, J., Petrou, M. & Nixon, M. (eds.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 680-683 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  369. A very low energy electron column for surface studies

    El-Gomati, M., Romanovsky, V., Frank, L. & Mullerova, I., 2001, ELECTRON MICROSCOPY AND ANALYSIS 2001. Aindow, M. & Kiely, CJ. (eds.). BRISTOL: IOP PUBLISHING LTD, p. 111-114 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  370. A video system for recognizing gestures by artificial neural networks for expressive musical control

    Modler, P. & Myatt, T., 2003, GESTURE-BASED COMMUNICATION IN HUMAN-COMPUTER INTERACTION. Camurri, A. & Volpe, G. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 541-548 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  371. A virtual organisation deployed on a service orientated architecture for distributed data mining applications

    Jackson, T., Jessop, M., Fletcher, M. & Austin, J., 2007, Grid-Based Problem Solving Environments. Gaffney, PW. & Pool, JCT. (eds.). NEW YORK: SPRINGER, p. 155-170 16 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  372. A wide-band hybrid antenna for use in reverberation chambers

    Marvin, A. C., Esposito, G., Dawson, J. F., Flintoft, I. D., Dawson, L., Everard, J. A. K. & Melia, G. C. R., 1 Aug 2013, Electromagnetic Compatibility (EMC), 2013 IEEE International Symposium on. p. 222-226

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  373. A, framework for integrating the real-time specification for Java and Java's remote method invocation

    Wellings, A., Clark, R., Jensen, D. & Wells, D., 2002, ISORC 2002: FIFTH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS. Bacellar, L., Puschner, P. & Hong, S. (eds.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 13-22 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  374. ABC effect in double-pionic fusion to 3he

    Del Rio, P. E., Bashkanov, M., Clement, H., Pricking, A. & Skorodko, T., 1 Dec 2011, International PrimeNet Workshop. p. 101-102 2 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  375. ABZ2008 VSR-Net Workshop

    Woodcock, J. & Boca, P., 2008, ABSTRACT STATE MACHINES, B AND Z, PROCEEDINGS. Borger, E., Butler, M., Bowen, JP. & Boca, P. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5238 LNCS. p. 378-379 2 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  376. ADAPTIVE ESTIMATION OF HYSTERESIS THRESHOLDS

    HANCOCK, E. R. & KITTLER, J., 1991, 1991 IEEE COMPUTER SOCIETY CONFERENCE ON COMPUTER VISION AND PATTERN RECOGNITION. LOS ALAMITOS: I E E E, COMPUTER SOC PRESS, p. 196-201 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  377. ADAPTIVE REDUCED-RANK CONSTRAINED CONSTANT MODULUS BEAMFORMING ALGORITHMS BASED ON JOINT ITERATIVE OPTIMIZATION OF FILTERS

    Wang, L. & de Lamare, R. C., 2009, 2009 IEEE/SP 15TH WORKSHOP ON STATISTICAL SIGNAL PROCESSING, VOLS 1 AND 2. NEW YORK: IEEE, p. 153-156 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  378. ADS easy: an automated e-archiving system for Archaeology

    Richards, J. D., Moore, R., Hardman, C. & Xia, L., 2013, Archaeology in the Digital Era: Papers from the 40th Annual Conference of Computer Applications and Quantitative Methods in Archaeology (CAA), Southampton, 26-29 March 2012. p. 299-306

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  379. AEINS: The role of interactive narrative in fostering character education

    Hodhod, R., Kudenko, D. & Cairns, P., 2010, Proceedings of the 3rd International Symposium on AI and Games - A Symposium at the AISB 2010 Convention. p. 47-53 7 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  380. AGRIBOT: enabling agricultural robotics with space hardware technology

    Post, M. A., Palazzetti, R. & Yan, X. T., 31 Oct 2015, 2015 Space Robotics Symposium – Present and Future Robotics in Space Applications.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  381. AI for Herding Sheep.

    Cowling, P. I. & Gmeinwieser, C., 2010, AIIDE.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  382. ALTERATION OF THE SELF-RENEWAL AND DIFFERENTIATION BALANCE IN SINGLE MOUSE HEMATOPOIETIC STEM CELLS BY JAK2 V617F

    Kent, D., Li, J., Tanna, H., Simons, B. & Green, A. R., 1 Aug 2012, EXPERIMENTAL HEMATOLOGY. Vol. 40. p. S112-S112

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  383. AN EVALUATION OF EARCONS FOR USE IN AUDITORY HUMAN-COMPUTER INTERFACES

    Brewster, S. A., Wright, P. C. & Edwards, A. D. N., 1993, HUMAN FACTORS IN COMPUTING SYSTEMS. Ashlund, S., Henderson, A., Hollnagel, E., Mullet, K. & White, T. (eds.). AMSTERDAM: I O S PRESS, p. 222-227 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  384. AN INTEGRATED APPROACH TO AQUIFER VULNERABILITY MAPPING

    HOLLIS, J., BROWN, C. & Brown, C. D., 1993, IX SIMPOSIUM PESTICIDE CHEMISTRY. Delre, AAM., Capri, E., Evans, SP., Natali, P. & Trevisan, M. (eds.). LUCCA: EDIZIONI G BIAGINI, p. 633-644 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  385. ANISOTROPIC FLUID SOLVER FOR ROBUST OPTICAL FLOW SMOOTHING

    Doshi, A. & Bors, A. G., 2009, 2009 10TH INTERNATIONAL WORKSHOP ON IMAGE ANALYSIS FOR MULTIMEDIA INTERACTIVE SERVICES. NEW YORK: IEEE, p. 117-120 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  386. APD-A tool for identifying behavioural patterns automatically from clickstream data

    Ting, I-H., Clark, L., Kimble, C., Kudenko, D. & Wright, P., 2007, Knowledge-Based Intelligent Information and Engineering Systems: KES 2007 - WIRN 2007, Pt II, Proceedings. Apolloni, B., Howlett, RJ. & Jain, L. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 66-73 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  387. APPA symbol timing recovery scheme for turbo codes

    Zhang, L. & Burr, A., 2002, 13TH IEEE INTERNATIONAL SYMPOSIUM ON PERSONAL, INDOOR AND MOBILE RADIO COMMUNICATIONS, VOL 1-5, PROCEEDINGS. NEW YORK: IEEE, p. 44-48 5 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  388. APPLICATION OF AN ASSOCIATIVE MEMORY TO THE ANALYSIS OF DOCUMENT FAX IMAGES

    Okeefe, S. E. M. & Austin, J., 1994, BMVC94 - PROCEEDINGS OF THE 5TH BRITISH MACHINE VISION CONFERENCE, VOLS 1 AND 2. Hancock, ER. (ed.). YORK: BRITISH MACHINE VISION CONF, p. 315-325 11 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  389. APPLICATION OF HYBRID MU/H-INFINITY CONTROL TO MODERN HELICOPTERS

    Sun, X. D. & Clarke, T., 1994, INTERNATIONAL CONFERENCE ON CONTROL 94, VOLS 1 AND 2. STEVENAGE HERTS: INST ELECTRICAL ENGINEERS INSPEC INC, p. 1532-1537 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  390. ARK - AUTONOMOUS MOBILE ROBOT FOR AN INDUSTRIAL ENVIRONMENT

    Jenkin, M., Bains, N., Bruce, J., Campbell, T., Down, B., Jasiobedzki, P., Jepson, A., Majarais, B., Milios, E., Nickerson, S. B., Service, J. R. R., Terzopoulos, D., Tsotsos, J. & Wilkes, D., 1994, IROS '94 - INTELLIGENT ROBOTS AND SYSTEMS: ADVANCED ROBOTIC SYSTEMS AND THE REAL WORLD, VOLS 1-3. NEW YORK: I E E E, p. 1301-1308 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  391. ARTOO: adaptive random testing for object-oriented software

    Ciupa, I., Leitner, A., Oriol, M. & Meyer, B., 2008, ICSE '08 : Proceedings of the 30th international conference on Software engineering . p. 71-80

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  392. ASHiCS: Automating the Search for Hazards in Complex Systems

    Clegg, K. D. & Alexander, R., Aug 2011, Proceedings of the 1st SESAR Innovation Days.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  393. ASPECTS OF PROTEIN MODELING AT THE UNIVERSITY-OF-YORK - A REVIEW OF THE CURRENT RESEARCH-PROGRAM

    HUBBARD, R. E., OLDFIELD, T. J., HERZYK, P. & ZELINKA, J., 1993, RECENT ADVANCES IN CHEMICAL INFORMATION II. CAMBRIDGE: ROYAL SOC CHEMISTRY, p. 265-277 13 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  394. ASSESSING THE ENVIRONMENTAL IMPACT OF PESTICIDES: A SEQUENTIAL MODELLING TECHNIQUE TO INTERPRET AND EXTRAPOLATE LABORATORY AND FIELD DATA

    BROWN, C. D. & HOLLIS, J. M., 1994, BRIGHTON CROP PROTECTION CONFERENCE - PESTS AND DISEASES - 1994. FARNHAM: BRITISH CROP PROTECTION COUNCIL, Vol. 1-3. p. 645-652 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  395. AUTOMATIC MULTILINGUAL LEXICON GENERATION USING WIKIPEDIA AS A RESOURCE

    Shahid, A. R. & Kazakov, D., 2009, ICAART 2009: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE. Fred, A. (ed.). SETUBAL: INSTICC-INST SYST TECHNOLOGIES INFORMATION CONTROL & COMMUNICATION, p. 357-360 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  396. Ab initio path integral molecular dynamics simulation of hydrogen in silicon

    Probert, M. I. J. & Glover, M. J., 2006, Hydrogen in Matter. Myneni, GR. & Hjorvarsson, B. (eds.). MELVILLE: AMER INST PHYSICS, p. 311 9 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  397. Aberration corrected environmental STEM (AC ESTEM) for dynamic in-situ gas reaction studies of nanoparticle catalysts

    Boyes, E. & Gai, P. L., 2013, (Accepted/In press) J Phys Conf Ser. Institute of Physics (UK)

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  398. Abnormal sheep metatarsals: a problem in aetiology and historical geography

    Brothwell, D., Dobney, K. & Jaques, D., 2005, Diet and Health in Past Animal Populations: Current Research and Future Directions. Davies, J., Fabis, M., Mainland, I., Richards, M. & Thomas, R. (eds.). OXFORD: Oxbow Books, p. 75-79 5 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  399. Abnormality Detection in Robots Exhibiting Composite Swarm Behaviours

    Tarapore, D. S., Christensen, A. L. & Timmis, J., 2015, Proceedings of the Thirteenth European Conference on Artificial Life (ECAL 2015). Andrews, P., Caves, L., Doursat, R., Hickinbotham, S., Polack, F., Stepney, S., Taylor, T. & Timmis, J. (eds.). MIT Press, p. 406-413 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  400. Absolute and relative temporal constraints in hard real-time databases

    Audsley, N. C., Burns, A., Richardson, M. F. & Wellings, A. J., 1 Dec 1992, Proceedings - 4th Euromicro Workshop on Real-Time Systems, ECRTS 1992. p. 148-153 6 p. 637486

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  401. Absorption cross section measurement of stacked PCBs in a reverberation chamber

    Parker, S., Flintoft, I. D., Marvin, A., Dawson, J. F., Bale, S. J., Robinson, M. P., Ye, M., Wan, C. & Zhang, M., 18 May 2016, 2016 Asia-Pacific Symposium on Electromagnetic Compatibility (APEMC2016). Shenzhen, China: IEEE, 3 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  402. Absorption cross-section of the human body in a reverberant environment

    Melia, G. CR., Flintoft, I. D. & Robinson, M. P., Sep 2012, Electromagnetic Compatibility (EMC EUROPE), 2012 International Symposium on. IEEE, p. 1-6

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  403. Absorptive scattering model for rough laminar surfaces

    Dahlan, H. A. & Hancock, E. R., 1 Dec 2016, 2016 23rd International Conference on Pattern Recognition (ICPR). Davis, L., Bimbo, A. D. & Lovell, B. (eds.). Los Alamitos, CA, USA: IEEE Computer Society Press, p. 1905-1910 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  404. Accelerating Immunos 99

    Taylor, P. N., Polack, F. A. C. & Timmis, J., 2013, Proceedings of the European Conference on Artificial Life. MIT Press, p. 983-898

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  405. Accessibility of Blended and E-Learning for Mature Age and Disabled Students and Staff: Introduction to the Special Thematic Session

    Petrie, H., Power, C., Veasco, C. A. & Boticario, J. G., 2010, COMPUTERS HELPING PEOPLE WITH SPECIAL NEEDS, PROCEEDINGS, PT 1. Miesenberger, K., Klaus, J., Zagler, W. & Karshmer, A. (eds.). PART 1 ed. BERLIN: SPRINGER-VERLAG BERLIN, Vol. 6179 LNCS. p. 484-485 2 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  406. Accessibility of Shared Space by visually challenged people

    Melis-Dankers, B., Havik, E., Steyvers, F., Petrie, H. & Kooijman, A., 12 Feb 2015, "Enabling Access for Persons with Visual Impairment": Proceedings of the International Conference ICEAPVI Athens, Greece, February 12-14, 2015. Kouroupetroglou, G. (ed.). National and Kapodistrian University of Athens, p. 120-126 7 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  407. Accessibility of blended and E-learning for mature age and disabled students and staff: introduction to the special thematic session

    Petrie, H., Power, C. D., Velasco, C. A. & Boticario, J. G., 2010, International Conference on Computers Helping People with Special Needs. Springer, p. 484-485 2 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  408. Accommodating Learners with Specific Learning Difficulties in Educational Settings: Problems and Solutions

    Indrarathne, B., 1 Sep 2019, Pan Commonwealth Forum 9 (PCF9). Commonwealth of Learning, 7 p. 72

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  409. Accounting for Cache Related Pre-emption Delays in Hierarchical Scheduling

    Lunniss, W. R. E., Altmeyer, S., Lipari, G. & Davis, R. I., 2014, Real-Time Networks and Systems (RTNS). New York: ACM, p. 183-192 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  410. Accounting for Cache Related Pre-emption Delays in Hierarchical Scheduling with Local EDF Scheduler

    Lunniss, W., Altmeyer, S. & Davis, R. I., Aug 2014, Junior Researcher Workshop on Real-Time Computing (JRWRTC). p. 13-16 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  411. Accurate Analysis of Quality Properties of Software with Observation-Based Markov Chain Refinement

    Paterson, C. A. & Calinescu, R. C., 2017, (Accepted/In press) IEEE International Conference on Software Architecture (ICSA 2017). IEEE

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  412. Accurate capture of timing parameters in inductively-coupled on-chip interconnects

    Murgan, T., Schlachta, C., Petrov, M., Indrusiak, L., Garcia Ortiz, A., Glesner, M. & Reis, R., 2004, SBCCI2004:17TH SYMPOSIUM ON INTEGRATED CIRCUITS AND SYSTEMS DESIGN, PROCEEDINGS. NEW YORK: ASSOC COMPUTING MACHINERY, p. 117-122 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  413. Accurate exchange-correlation potentials for semiconductors and their connections with the quasiparticle energies

    Godby, R. W., Schlüter, M. & Sham, L. J., 1987, Proceedings of the 18th International Conference on the Physics of Semiconductors. Singapore: World Scientific Publishing

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  414. Achieving Appropriate Test Coverage for Reliable Measurement-Based Timing Analysis

    Law, S. A. & Bate, I., 1 Sep 2016, Proceedings - 28th Euromicro Conference on Real-Time Systems, ECRTS 2016. Vol. 2016-August. p. 189-199 11 p. 7557880. (Real-Time Systems (ECRTS), Euromicro Conference on).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  415. Achieving Spatial Diversity via PARC for Future Wireless Communication Systems

    Song, L. -Y., Roberts, K. & Burr, A., 2006, 2006 IEEE 64TH VEHICULAR TECHNOLOGY CONFERENCE, VOLS 1-6. NEW YORK: IEEE, p. 1883-1887 5 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  416. Achieving integrated process and product safety arguments

    Habli, I. & Kelly, T., 2007, Safety of Systems. Redmill, F. & Anderson, T. (eds.). GODALMING: SPRINGER-VERLAG LONDON LTD, p. 55-68 14 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  417. Achieving minimal and deterministic interrupt execution in stack-based processor architectures

    Bailey, C., 2000, PROCEEDINGS OF THE 26TH EUROMICRO CONFERENCE, VOLS I AND II. Vajda, F. (ed.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 368-375 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  418. Achieving performance portability for a heat conduction solver mini-application on modern multi-core systems

    Kirk, R. O., Mudalige, G. R., Reguly, I. Z., Wright, S. A., Martineau, M. J. & Jarvis, S. A., 26 Sep 2017, Proceedings - 2017 IEEE International Conference on Cluster Computing, CLUSTER 2017. Institute of Electrical and Electronics Engineers Inc., Vol. 2017-September. p. 834-841 8 p. 8049026

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  419. Acicular building blocks in the corallites of Porites lutea

    Brown, E., Rixen, T. & Kroeger, R., 2010, Electron Microscopy and Analysis Group Conference 2009. Baker, R. T. (ed.). BRISTOL: IOP PUBLISHING LTD, Vol. 241. 4 p. (Journal of Physics Conference Series; vol. 241).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  420. Acoustic Correlates of Deceptive Speech - An Exploratory Study

    Howard, D. M. & Kirchhuebel, C., 2011, ENGINEERING PSYCHOLOGY AND COGNITIVE ERGONOMICS. Harris, D. (ed.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 6781 LNAI. p. 28-37 10 p. (Lecture Notes in Artificial Intelligence; vol. 6781).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  421. Acoustic Impulse Response Interpolation for Multichannel Systems using Dynamic Time Warping

    Kearney, G., Masterson, C. & Boland, F., Feb 2009, Audio Engineering Society 35th Conference.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  422. Acoustic Measurement Methods for Outdoor Sites: A Comparative Study

    Lopez, M. J. & Pauletto, S., 2012, Proceedings of the Digital Audio Effects Conference. 5 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  423. Acoustic validation of a BEM-suitable mesh model of KEMAR

    Young, K., Kearney, G. C. & Tew, A. I., 30 Jul 2018, AES International Conference on Spatial Reproduction - Aesthetics and Science. Audio Engineering Society, 5 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  424. Acoustics, Performers and Audiences in Medieval English Drama

    Lopez, M. J., 2015, Auditorium Acoustics 2015. Vol. 37.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  425. Acquiring height maps of faces from a single image

    Castelan, M. & Hancock, E. R., 2004, 2ND INTERNATIONAL SYMPOSIUM ON 3D DATA PROCESSING, VISUALIZATION, AND TRANSMISSION, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 183-190 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  426. Acquisition of articles by Sinhalese ESL/EFL learners

    Indrarathne, B., 2013, Sri Lanka as a Hub in Asia: The Way Forward, Outcomes of the Annual Symposium 2013 of the General Sir John Kotelawala Defence University. Ratmalana, Sri Lanka

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  427. Active Contour Detection of Linear Patterns in Spectrogram Images

    Lampert, T. & O'Keefe, S., 2008, 19TH INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION, VOLS 1-6. NEW YORK: IEEE, p. 3350-3353 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  428. Actual Vs. Virtual Multichannel Recording

    Kearney, G. & Levison, J., May 2008, Audio Engineering Society 134th Convention. Amsterdam, Netherlands

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  429. Ada 2012: Resource Sharing and Multiprocessors

    Lin, S. & Wellings, A. B. A. J., 1 Apr 2013, Proceeding of the 15th IRTAW. ACM Letters, Vol. XXXII. p. 32-44 13 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  430. Ada 95: An Effective Concurrent Programming Language

    Burns, A. & Wellings, A. J., 1996, Reliable Software Technologies - Ada-Europe '96, 1996 : Proceedings ofAda-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June 10-14, 1996. Strohmeier, A. (ed.). Springer, Vol. 1088. p. 58-77 20 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  431. AdaptMC: A Control-Theoretic Approach for Achieving Resilience in Mixed-Criticality Systems

    Papadopoulos, A., Bini, E., Baruah, S. & Burns, A., 4 Jul 2018, Proceeding ECRTS Conference. Altmeyer, S. (ed.). Dagstuhl: LIPICS, p. 14:1-14:22 22 p. 14

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  432. Adaptable Image Processing System based on FPGA Modular Multi Kernel Instantiations

    Ackermann, K. F., Mayer, F., Indrusiak, L. S. & Glesner, M., 2006, Proceedings of the 2nd International Workshop on Reconfigurable Communication-centric Systems-on-Chip, ReCoSoC 2006, Montpellier, France, July 2006. Sassatelli, G., Indrusiak, L. S., Glesner, M. & Torres, L. (eds.). Univ. Montpellier II, p. 183-188 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  433. Adaptable lymphocytes for artificial immune systems

    Andrews, P. S. & Timmis, J., 2008, ARTIFICIAL IMMUNE SYSTEMS, PROCEEDINGS. Bentley, PJ., Lee, D. & Jung, S. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5132 LNCS. p. 376-386 11 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  434. Adaptation aftereffects when seeing full-body actions: Do findings from traditional 2D presentation apply to 'real-world' stereoscopic presentation?

    Keefe, B. D., Wincenciak, J., Ward, J., Jellema, T. & Barraclough, N., 2012, Perception. PION, Vol. 41. p. 72 1 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  435. Adaptation in digital games: The effect of challenge adjustment on player performance and experience

    Denisova, A. & Cairns, P., 5 Oct 2015, CHI PLAY 2015 - Proceedings of the 2015 Annual Symposium on Computer-Human Interaction in Play. Association for Computing Machinery, Inc, p. 97-101 5 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  436. Adapting Cognitive Task Analysis to Elicit the Skill Chain of a Game

    Horn, B., Cooper, S. & Deterding, C. S., 1 Aug 2017, CHI PLAY'17. Association for Computing Machinery (ACM), 13 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  437. Adapting scale by minimising spectral defocusing for shape from texture

    Ribeiro, E. & Hancock, E. R., 2000, 2000 INTERNATIONAL CONFERENCE ON IMAGE PROCESSING, VOL III, PROCEEDINGS. NEW YORK: IEEE, p. 893-896 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  438. Adaptive Agents and Multi-Agent Systems II: Adaptation and Multi-Agent Learning

    Kudenko, D. & Kazakov, D., 2005, Adaptive Agents and Multi-Agent Systems II: Adaptation and Multi-Agent Learning.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  439. Adaptive Feature Selection Based on the Most Informative Graph-Based Features

    Lu, B., Cui, L., Rossi, L. & Hancock, E. R., 2017, Graph-Based Representations in Pattern Recognition - 11th IAPR-TC-15 International Workshop, GbRPR 2017, Anacapri, Italy, May 16-18, 2017, Proceedings. Springer Berlin / Heidelberg, p. 276-287 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  440. Adaptive Filter Based Image Registration

    Henson, B. & Zakharov, Y., Oct 2015, (Accepted/In press) European Modelling Symposium on Mathematical Modelling and Computer Simulation, EMS-2015. Madrid, Spain, 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  441. Adaptive Generation of Dilemma-based Interactive Narratives

    Barber, H., Kudenko, D., Jain, L. C. (ed.) & Handa, H. (ed.), 2007, Advanced Intelligent Paradigms in Computer Games. Springer, Vol. 71. p. 19-37 19 p. (Studies in Computational Intelligence).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  442. Adaptive Graph Learning for Unsupervised Feature Selection

    Zhang, Z., Bai, L., Liang, Y. & 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. 790-800 11 p. (Lecture Notes in Computer Science; vol. 9256).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  443. Adaptive Linear Interference Suppression Based on Block Conjugate Gradient Method in Frequency Domain for DS-UWB Systems

    Li, S. & de Lamare, R. C., 2009, 2009 6TH INTERNATIONAL SYMPOSIUM ON WIRELESS COMMUNICATION SYSTEMS (ISWCS 2009). NEW YORK: IEEE, p. 343-347 5 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  444. Adaptive Mixed Criticality Scheduling with Deferred Preemption

    Burns, A. & Davis, R. I., Dec 2014, Proceedings: 2014 IEEE Real-Time Systems Symposium (RTSS 2014). IEEE, p. 21-30 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  445. Adaptive Scheduling Using Reflection

    Mitchell, S. E., Burns, A. & Wellings, A. J., 1997, Object-Oriented Technology, ECOOP'97 Workshop Reader: ECOOP'97 Workshops, Jyväskylä, Finland, June 9-13, 1997. Bosch, J. & Mitchell, S. (eds.). Springer, Vol. 1357. p. 74-79 6 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  446. Adaptive Set-Membership Reduced-Rank Interference Suppression for DS-UWB Systems

    Clarke, P. J. & de Lamare, R. C., 2009, 2009 6TH INTERNATIONAL SYMPOSIUM ON WIRELESS COMMUNICATION SYSTEMS (ISWCS 2009). NEW YORK: IEEE, p. 473-477 5 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  447. Adaptive model learning for continual verification of non-functional properties

    Calinescu, R., Rafiq, Y., Johnson, K. & Bakir, M. E., 1 Jan 2014, ICPE 2014: Proceedings of the 5th ACM/SPEC International Conference on Performance Engineering. Association for Computing Machinery (ACM), p. 87-98 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  448. Adaptive modulation and code rate for turbo coded OFDM transmissions

    Ye, L. & Burr, A., 2007, 2007 IEEE 65TH VEHICULAR TECHNOLOGY CONFERENCE, VOLS 1-6. NEW YORK: IEEE, p. 2702-2706 5 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  449. Adaptive reduced-rank MMSE parameter estimation based on an adaptive diversity-combined decimation and interpolation scheme

    de Lamare, R. C. & Sampaio-Neto, R., 2007, 2007 IEEE International Conference on Acoustics, Speech, and Signal Processing, Vol III, Pts 1-3, Proceedings. NEW YORK: IEEE, p. 1317-1320 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  450. Adaptive reduced-rank filtering using a projection operator based on joint iterative optimization of adaptive filters for CDMA interference suppression

    de Lamare, R. C. & Sampaio-Neto, R., 2007, Proceedings of the 2007 15th International Conference on Digital Signal Processing. Sanei, S., Chambers, JA., McWhirter, J., Hicks, Y. & Constantinides, AG. (eds.). NEW YORK: IEEE, p. 43-46 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  451. Adaptive regularization for BEM channel estimation in multicarrier systems

    Zakharov, Y. & Zheng, D., 20 Mar 2016, IEEE Int Conf on Acoustics, Speech, and Signal Processing, ICASSP-2016. Shanghai, China, p. 3676-3680 5 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  452. Adaptive space-time reduced-rank interference suppression for asynchronous DS-CDMA based on a diversity-combined decimation and interpolation scheme

    de Lamare, R. C. & Sampaio-Neto, R., 2007, 2007 IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS, VOLS 1-14. NEW YORK: IEEE, p. 2809-2815 7 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  453. Adaptive space-time signal processing and coding

    Burr, A. G., 2000, MILCOM 2000: 21ST CENTURY MILITARY COMMUNICATIONS CONFERENCE PROCEEDINGS, VOLS 1 AND 2. NEW YORK: IEEE, p. 710-714 5 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  454. Adaptive subcarrier-and-bit allocation in multiclass multiuser OFDM systems using genetic algorithm

    Ahmadi, H. & Chew, Y. H., 1 Sep 2009, 2009 IEEE 20th International Symposium on Personal, Indoor and Mobile Radio Communications. p. 1883-1887 5 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  455. Adaptively parameterised hyperheuristics for sales summit scheduling

    Cowling, P., Kendall, G. & Soubeiga, E., 2001, Selected Papers from the 4th Metaheuristics International Conference.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  456. Adding Spreadsheets to the MDE Toolkit

    Francis, M., Kolovos, D. & Paige, R. F., 2013, Model-Driven Engineering Languages and Systems: 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings. Springer, Vol. 8107 LNCS. p. 35-51 17 p. (Lecture Notes in Computer Science; vol. 8107).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  457. Adding instruction cache effect to schedulability analysis of preemptive real-time systems

    Busquets-Mataix, J. V., Serrano, J. J., Ors, R., Gil, P. J. & Wellings, A. J., 1996, IEEE Real Time Technology and Applications Symposium. IEEE Computer Society, p. 204-

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  458. Adding temporal annotations and associated verification to the Ravenscar Profile

    Burns, A. & Lin, T. M., 2003, RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2003. Rosen, JP. & Strohmeier, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 80-91 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  459. Additive Archaeology: The Spirit of Virtual Archaeology Reprinted

    Beale, G. & Reilly, P., Mar 2014, Archaeological Research in the Digital Age. : Proceedings of the 1st Conference on Computer Applications and Quantitative Methods in Archaeology Greek Chapter (CAA-GR) Rethymno, Crete, 6-8 March 2014. Papadopulos, C., Paliou, E., Chrysanthi, A., Kotoula, E. & Sarris, A. (eds.). Rethymno: Rethymno: Institute for Mediterranean Studies – Foundation of Research and Technology (IMS-Forth), p. 120-128 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  460. Addressing Challenges of Hazard Analysis in Systems of Systems

    Despotou, G., Alexander, R. & Kelly, T., 1 Mar 2009, 2009 IEEE INTERNATIONAL SYSTEMS CONFERENCE, PROCEEDINGS. NEW YORK: IEEE, p. 167-172 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  461. Addressing dynamic dispatching issues in WCET analysis for object-oriented hard real-time systems

    Hu, E. Y. S., Bernat, G. & Wellings, A., 2002, ISORC 2002: FIFTH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS. Bacellar, L., Puschner, P. & Hong, S. (eds.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 109-116 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  462. Addressing resource contention and timing predictability for multi-core architectures with shared memory interconnects

    Wang, H., Audsley, N. C. & Chang, W., Apr 2020, Proceedings - 2020 IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2020. Institute of Electrical and Electronics Engineers Inc., p. 70-81 12 p. 9113099. (Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS; vol. 2020-April).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  463. Addressing the 4+1 Software Safety Assurance Principles within Scrum

    Doss, O. & Kelly, T., 2016, Proceedings of the Scientific Workshop Proceedings of XP2016, Edinburgh, Scotland, UK, May 24, 2016. New York: ACM: New York, p. 17 1 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  464. Addressing the skills gap for facilitating renewable energy entrepreneurship- an analysis of the wind energy sector.

    Baruah, B. J., Ward, A. E., Gbadebo, A. A. & Jackson, N., 19 Mar 2018, Majan International Conference. MIC 2018. Muscat (Oman), 7 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  465. Adjusting Analogy Software Effort Estimation Based on Fuzzy Logic.

    Azzeh, M., Neagu, D. & Cowling, P. I., 2008, ICSOFT (SE/MUSE/GSDCA). p. 127-132 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  466. Adjusting cognitive load to the student’s level of expertise for increasing motivation to learn

    Leppink, J., 2010, Proceedings of the Eighth International Conference on Teaching Statistics. Auckland, New Zealand: International Association for Statistical Education.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  467. Advanced Composition in Virtual Camera Control

    Abdullah, R., Christie, M., Schofield, G. P., Lino, C. & Olivier, P., May 2011, Proceedings of the International Symposium on Smart Graphics. Springer Berlin/Heidelberg

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  468. Advanced divertor research on the TCV tokamak

    Vijvers, W. A. J., Canal, G. P., Duval, B. P., Labit, B., Lipschultz, B., Lunt, T., Nespoli, F., Reimerdes, H., Sheikh, U. A., Theiler, C., Tsui, C. & Verhaegh, K. H. A., 2015, 42nd European Physical Society Conference on Plasma Physics, EPS 2015. European Physical Society (EPS), Vol. 39E. 4 p. P2.150

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  469. Advanced structural representations for question classification and answer re-ranking

    Quarteroni, S., Moschitti, A., Manandhar, S. & Basili, R., 2007, Advances in Information Retrieval. Amati, G., Carpineto, C. & Romano, G. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 234-245 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  470. Advances in Bayesian Network Learning using Integer Programming

    Bartlett, M. & Cussens, J., 2013, Proceedings of the 29th Conference on Uncertainty in Artificial Intelligence (UAI 2013). AUAI Press, p. 182-191 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  471. Advances in virtual archaeology: Research, preservation, and dissemination

    Profico, A., Di Vincenzo, F., Bellucci, L., Strani, F., Tafuri, M. A. & Manzi, G., 1 Jan 2016, IMEKO International Conference on Metrology for Archeology and Cultural Heritage, MetroArcheo 2016. IMEKO-International Measurement Federation Secretariat, Vol. 2016-October. p. 89-94 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  472. Advantages of the Linz-Sprott weak nonlinearity on the FPGA implementation of chaotic systems: a comparative analysis

    Indrusiak, L. S., Dutra e Silva Junior, E. C. & Glesner, M., 2005, ISSCS 2005: International Symposium on Signals, Circuits and Systems, Proceedings. NEW YORK: IEEE, p. 753-756 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  473. Against "Dark Game Design Patterns"

    Deterding, C. S., Stenros, J. & Montola, M., 31 Jan 2020, (Accepted/In press) DiGRA'20 - Abstract Proceedings of the 2020 DiGRA International Conference. Tampere, (DiGRA conference proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  474. Age, stereotypes and videoconferencing

    Pollard, N. G. & Monk, A. F., 2001, HUMAN-COMPUTER INTERACTION - INTERACT'01. Hirose, M. (ed.). AMSTERDAM: I O S PRESS, p. 602-608 7 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  475. Agile requirements traceability using domain-specific modelling languages

    Taromirad, M. & Paige, R. F., 1 Dec 2012, 2012 Extreme Modeling Workshop, XM 2012 - Post-Proceedings, Satellite Event of the IEEE/ACM 15th International Conference on Model Driven Engineering Languages and Systems, MODELS 2012. p. 45-50 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  476. Agile security using an incremental security architecture

    Chivers, H., Paige, R. F. & Ge, X. C., 2005, EXTREME PROGRAMMING AND AGILE PROCESSES IN SOFTWARE ENGINEERING, PROCEEDINGS. Baumeister, H., Marchesi, M. & Holcombe, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 57-65 9 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  477. Aharonov-Bohm type effects and the interference of macro-molecules

    Horsley, S. A. R. & Babiker, M., 2009, TRANSPORT AND OPTICAL PROPERTIES OF NANOMATERIALS. Singh, MR. & Lipson, RH. (eds.). MELVILLE: AMER INST PHYSICS, Vol. 1147. p. 325-330 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  478. AirTight: A Resilient Wireless Communication Protocol for Mixed-Criticality Systems

    Burns, A., Harbin, J. R., Soares Indrusiak, L., Bate, I. J., Davis, R. I. & Griffin, D. J., 1 Aug 2018, IEEE Embedded and Real-Time Computing Systems and Applications: RTCSA. 11 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  479. Airborne chemical measurements provide time-critical decision support during offshore blowouts: Examples from Deepwater Horizon in 2010 and Elgin in 2012

    Ryerson, T. B., Lewis, A. C., Bauguitte, S., Lee, J. D., Hopkins, J. R., Punjabi, S. & Lidster, R. T., 7 Apr 2013, 245th National Meeting of the American-Chemical-Society (ACS), New Orleans, LA, APR 07-11, 2013 : 226-ANYL. American Chemical Society, Vol. ABSTRACTS OF PAPERS OF THE AMERICAN CHEMICAL SOCIETY.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  480. Algebraic Compilation of Safety-Critical Java Bytecode

    Baxter, J. & Cavalcanti, A. L. C., 1 Sep 2017, Integrated Formal Methods. Polikarpova, N. & Schneider, S. (eds.). Springer, p. 161-176 16 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  481. Algebraic Specifications of Computing as a Service with Applications to Cost Analysis

    Johnson, K. H. A. & Tucker, J. V., 2012, (Accepted/In press) Proceedings of the 5th IEEE/ACM International Conference on Utility and Cloud Computing. p. 143-150 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  482. Algorithmic music curation in audio branding: Commercial and critical perspectives on an international research and innovation project

    Edwards, J. & Egermann, H. W., 2019, Algorithmic Music: Value, Creativity and Artificial Intelligence A One-day Symposium.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  483. Algorithms for distributed exploration

    Walker, T., Kudenko, D., Strens, M. J. A., López de Mántaras, R. (ed.) & Saitta, L. (ed.), 2004, ECAI 2004: 16TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS. LopezdeMantaras, R. & Saitta, L. (eds.). AMSTERDAM: IOS Press, p. 84-88 5 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  484. Aligning Curves for More Accurate Curve Comparisons

    Edwards, R. S., Robinson, M. P., Dawson, J. F., Marvin, A. C. & Porter, S. J., 1 Mar 2007, 23rd Annual Review of Progress in Applied Computational Electromagnetics . p. 378-385

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  485. All's fair in sickness and health

    Street, A. D., 1993, Choice and Change: Ethics, Politics and Economics of Public Health: Proceedings of the Twenty-fourth Annual Conference of the Public Health Association of Australia. Canberra, p. 68-71

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  486. Almost Boolean functions: The design of Boolean functions by spectral inversion

    Clark, J. A., Jacob, J. L., Maitra, S. & Stanica, P., 2003, CEC: 2003 CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1-4, PROCEEDINGS. NEW YORK: IEEE, p. 2173-2180 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  487. Alternative methods of damping resonances in a screened room in thefrequency range 30 to 200MHz

    Marvin, A. & Dawson, L., Sep 1988, 6th IERE International Conference on EMC. York

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  488. Aluminium He-β high-resolution spectroscopy and the observation of high field processes

    Woolsey, N. C., Courtois, C., Förster, E., Gregory, C. D., Hall, I. M., Howe, J., Renner, O. & Uschmann, I., 1 Dec 2006, SPECTRAL LINE SHAPES: 18th International Conference on Spectral Line Shapes. Vol. 874. p. 76-86 11 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  489. Aluminium K-shell high-resolution spectroscopy of short and long scale length plasmas

    Woolsey, N. C., Chambers, D. M., Courtois, C., Foerster, E., Gregory, C. D., Hall, I. M., Howe, J., Renner, O. & Uschmann, I., 2006, Superstrong Fields in Plasmas. Batani, D. & Lontano, M. (eds.). MELVILLE: AMER INST PHYSICS, p. 487-492 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  490. Ambiguity and competition in lexical segmentation

    Davis, M. H., Marslen-Wilson, W. D. & Gaskell, M. G., 1997, PROCEEDINGS OF THE NINETEENTH ANNUAL CONFERENCE OF THE COGNITIVE SCIENCE SOCIETY. MAHWAH: LAWRENCE ERLBAUM ASSOC PUBL, p. 167-172 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  491. An Actor-Oriented Model-Based Design Flow for Systems-on-Chip

    Indrusiak, L. S. & Glesner, M., 2006, Dagstuhl-Workshop MBEES: : Modellbasierte Entwicklung eingebetteter Systeme II, Schloss Dagstuhl, Germany, 9.-13. Januar 2006, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme. Giese, H., Rumpe, B. & Schätz, B. (eds.). TU Braunschweig, Institut für Software Systems Engineering, Vol. 2006-1. p. 65-74 10 p. (Informatik-Bericht).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  492. An Adaptive Neuro-Endocrine System for Robotic Systems

    Timmis, J., Neal, M. & Thorniley, J., 2009, 2009 IEEE WORKSHOP ON ROBOTIC INTELLIGENCE IN INFORMATIONALLY STRUCTURED SPACE. NEW YORK: IEEE, p. 129-136 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  493. An Adaptive TDMA-based MAC Protocol for Underwater Acoustic Sensor Networks

    Gorma, W. & Mitchell, P. D., 1 Oct 2019, WUWNET'19: Proceedings of the International Conference on Underwater Networks & SystemsOctober 2019 Article No.: 22 Pages 1–8. ACM Digital Library, p. 1-8

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  494. An Agglomerative Hierarchical Clustering Algorithm for Labelling Morphs

    Can, B. & Manandhar, S., 2013, Recent Advances in Natural Language Processing, RANLP 2013, 9-11 September, 2013, Hissar, Bulgaria. p. 129-135 7 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  495. An Algorithmic Approach to the Manipulation of B-Format Impulse Responses for Sound Source Rotation

    Lovedee-Turner, M., Brereton, J. & Murphy, D., 1 Feb 2016, Audio Engineering Society 61st International Conference: Audio for Games. 8 p. http://www.aes.org/e-lib/browse.cfm?elib=18096

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  496. An Aligned Subtree Kernel for Weighted Graphs

    Bai, L., Rossi, L. & Hancock, E. R., 2015, International Conference on Machine Learning (ICML) 2015. Vol. 37. p. 30-39 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  497. An Analysable Bus-Guardian for Event-Triggered Communication

    Broster, I. & Burns, A., 2003, Proceedings of the 24th IEEE Real-Time Systems Symposium. p. 410-419 9 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  498. An Approach to Designing Safety Critical Systems using the Unified Modelling Language

    Bate, I., Hawkins, R. & Toyn, I., 2003, Proceedings of the Workshop on Critical Systems Development with UML. Technische Universtat Munchen, p. 3-17 15 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  499. An Approach to Maintaining Safety Case Evidence After A System Change

    Jaradat, O., Graydon, P. & Bate, I., 2014, Proceedings of the 10th European Dependable Computing Conference.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  500. An Approach to Task Attribute Assignment for Uniprocessor Systems

    Bate, I. & Burns, A., 1 Jun 1999, 11th Euromicro Workshop on Real-Time Systems. p. 46-53 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  501. An Approach to the Evaluation of Assistive Technology

    Stevens, R. D. & Edwards, A. D. N., 1996, International ACM Conference on Assistive Technologies. p. 64-71 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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