Refine your results

Easily toggle selected advanced search features:

Search research publications and outputs

  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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference contribution

  8. "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 proceedingConference contribution

  9. "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 proceedingConference contribution

  10. '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 proceedingConference contribution

  11. (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 proceedingConference contribution

  12. 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 proceedingConference contribution

  13. 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 proceedingConference contribution

  14. 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 proceedingConference contribution

  15. 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 proceedingConference contribution

  16. 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 proceedingConference contribution

  17. 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 proceedingConference contribution

  18. 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 proceedingConference contribution

  19. 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 proceedingConference contribution

  20. 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 proceedingConference contribution

  21. 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 proceedingConference contribution

  22. 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 proceedingConference contribution

  23. 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 proceedingConference contribution

  24. 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 proceedingConference contribution

  25. 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 proceedingConference contribution

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

  27. 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 proceedingConference contribution

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

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

  30. 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 proceedingConference contribution

  31. 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 proceedingConference contribution

  32. 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 proceedingConference contribution

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

  34. 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 proceedingConference contribution

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

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

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

  38. 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 proceedingConference contribution

  39. 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 proceedingConference contribution

  40. 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 proceedingConference contribution

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

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

  43. 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 proceedingConference contribution

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

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

  46. 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 proceedingConference contribution

  47. 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 proceedingConference contribution

  48. 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 proceedingConference contribution

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

  50. 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 proceedingConference contribution

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

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

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

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

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

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

  57. 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 proceedingConference contribution

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

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

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

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

  62. 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 proceedingConference contribution

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

  64. 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 proceedingConference contribution

  65. 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 proceedingConference contribution

  66. 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 proceedingConference contribution

  67. 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 proceedingConference contribution

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

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

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

  71. 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 proceedingConference contribution

  72. 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 proceedingConference contribution

  73. 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 proceedingConference contribution

  74. 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 proceedingConference contribution

  75. 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 proceedingConference contribution

  76. 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 proceedingConference contribution

  77. 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 proceedingConference contribution

  78. 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 proceedingConference contribution

  79. 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 proceedingConference contribution

  80. 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 proceedingConference contribution

  81. 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 proceedingConference contribution

  82. 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 proceedingConference contribution

  83. 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 proceedingConference contribution

  84. 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 proceedingConference contribution

  85. 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 proceedingConference contribution

  86. 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 proceedingConference contribution

  87. 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 proceedingConference contribution

  88. 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 proceedingConference contribution

  89. 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 proceedingConference contribution

  90. 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 proceedingConference contribution

  91. 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 proceedingConference contribution

  92. 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 proceedingConference contribution

  93. 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 proceedingConference contribution

  94. 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 proceedingConference contribution

  95. 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 proceedingConference contribution

  96. 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 proceedingConference contribution

  97. 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 proceedingConference contribution

  98. 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 proceedingConference contribution

  99. 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 proceedingConference contribution

  100. 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 proceedingConference contribution

  101. 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 proceedingConference contribution

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