Refine your results

Easily toggle selected advanced search features:

Search research publications and outputs

  1. “Rapid review” methodology to inform a policy decision: when is it fit for purpose? A case study

    Llewellyn, A., Simmonds, M. C., Brunton, G., Thomas, J. & Sowden, A. J., 2015, Cochrane Colloquium, Vienna. p. 1-6 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  2. “One of the baddies all along”: Moments that challenge a player’s perspective

    Whitby, M. A., Deterding, S. & Iacovides, I., 17 Oct 2019, CHI PLAY 2019 - Proceedings of the Annual Symposium on Computer-Human Interaction in Play. Association for Computing Machinery, Inc, p. 339-350 12 p. (CHI PLAY 2019 - Proceedings of the Annual Symposium on Computer-Human Interaction in Play).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  3. “Non obstant le commandement de mondit seigneur”: Bonnore Olivier’s Account and the Double-Edged Sword of Social Control

    Lambert, B. R. D., 2015, Monuments ou documents? Les comptabilités, sources pour l’histoire du contrôle social (XIIIe-XVIIIe siècles)/Monuments or Documents ? Accounts: Sources for the History of Social Control (13th-18th Centuries). Wirth-Jaillard, A., Demaret, N., Bodart, E. & Rousseaux, X. (eds.). State Archives of Belgium, 255-268

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  4. “More than just Space”: Designing to Support Assemblage in Virtual Creative Hubs

    Luik, J. E., Ng, J. P-S. & Hook, J. D., 8 Jun 2018, DIS 2018 - Proceedings of the 2018 Designing Interactive Systems Conference. Association for Computing Machinery (ACM), p. 1269-1282 14 p. (ACM Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  5. “LITTLE EMPERORS” AND LUXURY BRANDS: HOW OVERT AND COVERT NARCISSISM IMPACT BRAND LOYALTY AND PRONENESS TO BUY COUNTERFEITS

    Fastoso, F. J. & Wang, S., 20 Mar 2017, Mystique of Luxury Brands Conference .

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  6. “Horror, guilt and shame” – Uncomfortable Experiences in Digital Games

    Gowler, C. P. R. & Iacovides, I., 17 Oct 2019, CHI PLAY 2019 - Proceedings of the Annual Symposium on Computer-Human Interaction in Play. Association for Computing Machinery, Inc, p. 325-337 13 p. (CHI PLAY 2019 - Proceedings of the Annual Symposium on Computer-Human Interaction in Play).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  7. “Grand visions” for post-capitalist human-computer interaction

    Feltwell, T., Lawson, S., Encinas, E., Linehan, C., Kirman, B., Maxwell, D., Jenkins, T. & Kuznetsov, S., 20 Apr 2018, CHI 2018 - Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems: Engage with CHI. Association for Computing Machinery (ACM), Vol. 2018-April. W04

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  8. “Could You Define That in Bot Terms?”: Requesting,Creating and Using Bots on Reddit

    Long, K., Vines, J., Sutton, S., Brooker, P., Kirman, B. J., Feltwell, T., Barnett, J. & Lawson, S., 6 May 2017, CHI '17 Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems. ACM, p. 3488-3500 13 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  9. ‘The Environmental History of the Steppe in a Global Perspective’

    Moon, D., 2014, Ekologicheskaya istorii v Rossii: Etapy stanovleniia i perspektivnye napravleniia issledovanii. Materialy mezhdunarodnoi konferentsii (g. Elabuga, 13-15 noyabrya 2014 g.) . Merzon, E. E. (ed.). Elabuga, Tatarstan, Russian Federation: Izdatel'svo Elabuzhskogo instituta KFU, p. 8-31 23 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  10. О спектрах открытых течений идеальной жидкости в кольцевых областях

    Ilin, K. & Morgulis, A., 2014, Исследования по мат. анализу, диф. уравнениям, мат. моделированию и их приложениям. Vladikavkaz: South Mathematical Institute of RAS, p. 408-419

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  11. Как степи стали хлебными полями

    Moon, D., 1 Nov 2015, Социокультурная среда российской провинции в прошлом и настоящем: Сб. научных статей. Мерзон, E. E. (ed.). Елабуга: Издатель Белов Евгений Валериянович, p. 15-17 3 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  12. σ-channel low-mass enhancement in double-pionic fusion

    Bashkanov, M., Clement, H., Khakimova, O., Kren, F., Pricking, A., Skorodko, T. & Wagner, G. J., 1 Jan 2007, 2nd International EtaMesonNet Workshop, ETA 2007. CERN, 1 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  13. Εισήγηση του Werner Bonefeld: ΠΡΟΣΕΓΓΙΣΕΙΣ ΓΙΑ ΤΗΝ ΚΡΙΣΗ

    Bonefeld, W., 2012, Communismos. Thessaloniki, p. 78-103

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  14. transML: A Family of Languages to Model Model Transformations

    Guerra, E., de Lara, J., Kolovos, D., Paige, R., dos Santos, O., Petriu, D., Rouquette, N. & Haugen, Ø., 2010, Model Driven Engineering Languages and Systems : 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I. p. 106-120 15 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  15. jStar-eclipse: an IDE for automated verification of Java programs

    Naudziuniene, D., Botincan, M., Distefano, D., Dodds, M., Grigore, R. & Parkinson, M. J., 5 Sep 2011, ESEC/FSE '11 Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering. ACM, p. 428-431 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  16. humanaquarium: exploring audience, participation, and interaction

    Schofield, G. P., Taylor, R., Shearer, J., Wallace, J., Wright, P. C., Boulanger, P. & Olivier, P., 7 May 2011, CHI'11 Extended Abstracts on Human Factors in Computing Systems. Association for Computing Machinery (ACM), p. 1117-1122

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  17. humanaquarium: a participatory performance system

    Taylor, R., Schofield, G. P., Shearer, J., Boulanger, P., Wallace, J. & Olivier, P., 2010, New Interfaces for Musical Expression. 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  18. gamma-spectroscopy and radioactive beams: How to perform channel selection?

    Rosse, B., Redon, N., Stezowski, O., Schmitt, C., Guinet, D., Meyer, M., Lautesse, P., Nolan, P. J., Boston, A. J., Cooper, R., Dimmock, A., Gros, S., McGuirck, B., Paul, E. S., Petri, M., Scraggs, H., Turk, G., De France, G., Bhattachasyya, S., Mukherjee, G. & 22 others, Rejmund, F., Rejmund, M., Savajols, H., Scheurer, J. N., Astier, A., Deloncle, I., Porquet, M. G., Prevost, A., Nyako, B. M., Gal, J., Molnar, J., Timar, J., Zolnai, L., Juhasz, K., Wadsworth, R., Joshi, P., La Rana, G., Moro, R., Trotta, M., Vardaci, E., Hackman, G. & Ball, G., 2006, Frontiers in Nuclear Structure Astrophysics, and Reactions: FINUSTAR. Harissopulos, S., Demetriou, P. & Julin, R. (eds.). MELVILLE: AMER INST PHYSICS, p. 541-543 3 p. (AIP CONFERENCE PROCEEDINGS; vol. 831).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  19. gamma-ray Spectroscopy of Proton Drip-Line Nuclei in the A similar to 1.30 Region using SPIRAL beams

    Stezowski, O., Guinet, D., Lautesse, P., Meyer, M., Redon, N., Rosse, B., Schmitt, C., Nolan, P. J., Boston, A. J., Cooper, R., Dimmock, M., Gros, S., McGuirck, B., Paul, E. S., Petri, M., Scraggs, H., Turk, G., De France, G., Bhattachasyya, S., Mukherjee, G. & 22 others, Rejmund, F., Rejmund, M., Savajols, H., Scheurer, J. N., B M Nyako, N. V., J Gal, N. V., J Molnar, N. V., J Timar, N. V., L Zolnai, N. V., Astier, A., Deloncle, I., Porquet, M. G., Prevost, A., K Juhasz, N. V., Wadsworth, R., Joshi, P., La Rana, G., Moro, R., Trotta, M., Vardaci, E., Hackman, G. & Ball, G., 2008, NUCLEAR PHYSICS AND ASTROPHYSICS. Boztosun & Balantekin, AB. (eds.). MELVILLE: AMER INST PHYSICS, p. 166-171 6 p. (AIP Conference Proceedings; vol. 1072).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  20. fMRI Activation Network Analysis Using Bose-Einstein Entropy

    Wang, J., 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. Springer International Publishing, p. 218-228 11 p. (Lecture Notes in Computer Science; vol. 10029).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  21. comprising selected papers from the 2001 British Sociological Association Conference

    Black, P., Crossley, N., Fagan, C. & Savage, M., 2003, BSA Conference 2001 selected papers. Sociological Research Online

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  22. beta-decay of Al-23 and nova nucleosynthesis

    Saastamoinen, A., Trache, L., Banu, A., Bentley, M. A., Davinson, T., Hardy, J. C., Iacob, V. E., Jenkins, D. G., Jokinen, A., McCleskey, M., Roeder, B., Simmons, E., Tabacaru, G., Tribble, R. E., Woods, P. J. & Aysto, J., 2010, EXOTIC NUCLEI AND NUCLEAR - PARTICLE ASTROPHYSICS III: FROM NUCLEI TO STARS. Trache, L., Stoica, S. & Smirnov, A. (eds.). MELVILLE: AMER INST PHYSICS, p. 411-414 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  23. Zones of negotiation: the Auckland Museum’s relationships with Pacific Islands communities

    Morgan, J., 2007, BAR International Series: World Heritage: Global Challenges, Local Solutions. BRITISH ARCHAEOL REPORTS ARCHAEOPRESS, Vol. 1698. p. 117-122

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  24. Zones of negotiation: The Auckland Museum's relationships with Pacific Islands communities

    Morgan, J. E., 2007, British Archaeological Review : International Series. White, R. & Carman, J. (eds.). Vol. 1698. p. 117 122 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  25. YORwalK: Desiging a Smartphone Exercise Application for People with Intermittent Claudication

    Shalan, A., Abdulrahman, A., Habli, I., Tew, G. & Thompson, A., 25 Apr 2018, Studies in health technology and informatics . Vol. 247. p. 311-315 5 p. (Studies in Health Technology and Informatics).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  26. YASS: a Scaleable Sensornet Simulator for Large Scale Experimentation

    Tate, J. & Bate, I., 1 Sep 2008, Communicating Process Architectures 2008. Welch, PH., Stepney, S., Polack, FAC., Barnes, FRM., McEwan, AA. & Stiles, GS. (eds.). AMSTERDAM: I O S PRESS, p. 411-430 20 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  27. XRound: Bidirectional transformations and unifications via a reversible template language

    Chivers, H. & Paige, R. F., 2005, MODEL DRIVEN ARCHITECTURE FOUNDATIONS AND APPLICATIONS, PROCEEDINGS. Hartman, A. & Kreische, D. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 205-219 15 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  28. XRTJ: An extensible distributed high-integrity real-time Java environment

    Hu, E. Y. S., Wellings, A. & Bernat, G., 2003, REAL-TIME AND EMBEDDED COMPUTING SYSTEMS AND APPLICATIONS. Chen, J. & Hong, S. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 208-228 21 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  29. X-ray lasers driven by ultra-short pulsed lasers

    Pert, G. J., Healy, S. B., McCabe, S. & Simms, P. A., 1999, X-RAY LASERS 1998. Kato, Y., Takuma, H. & Daido, H. (eds.). BRISTOL: IOP PUBLISHING LTD, p. 371-378 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  30. X-ray lasers

    Pert, G. J., 1995, LASER PLASMA INTERACTIONS 5: INERTIAL CONFINEMENT FUSION. Hooper, MB. (ed.). EDINBURGH: SCOTTISH UNIV SUMMER SCHOOL PHYSICS PUBLICATIONS, p. 293-312 20 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  31. X-ray diagnostics of fast electrons propagation in high density plasmas obtained by cylindrical compression

    Vauzour, B., Koenig, M., Batani, D., Baton, S., Beg, F. N., Benedetti, C., Brambrink, E., Chawla, S., Dorchies, F., Fourment, C., Galimberti, M., Gizzi, L. A., Heathcote, R., Higginson, D. P., Hulin, S., Jafer, R., Koester, P., Labate, L. L., Lancaster, K., MacKinnon, A. J. & 12 others, MacPhee, A. G., Nazarov, W., Nicolai, P., Pasley, J., Perez, F., Ribeyre, X., Richetta, M., Santos, J. J., Schurtz, G., Sgattoni, A., Spindloe, C. & Volpe, L., 2010, SIXTH INTERNATIONAL CONFERENCE ON INERTIAL FUSION SCIENCES AND APPLICATIONS. BRISTOL: IOP PUBLISHING LTD, Vol. 1-4. 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  32. X-ray and proton measurements from petawatt laser interactions

    Patel, P. K., Mackinnon, A. J., Heathcote, R., Foord, M. E., Gregori, G., Key, M. H., King, J. A., Moon, S., Park, H. S., Pasley, J., Theobald, W., Town, R., Van Maren, R., Wilks, S. C. & Zhang, B., 1 Dec 2006, Conference on Lasers and Electro-Optics and 2006 Quantum Electronics and Laser Science Conference, CLEO/QELS 2006. Optical Society of America, 4628446

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  33. X-ray Polarization Spectroscopy from Ultra-Intense Interactions

    Booth, N., Clarke, R., Gallegos, P., Gizzi, L., Gregori, G., Koester, P., Labate, L., Levato, T., Li, B., Makita, M., Pasley, J., Rajeev, P. P., Riley, D., Wagenaars, E., Waugh, J. N. & Woolsey, N. C., 2010, SIXTH INTERNATIONAL CONFERENCE ON INERTIAL FUSION SCIENCES AND APPLICATIONS. BRISTOL: IOP PUBLISHING LTD, Vol. 1-4. 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  34. X-ray Polarization Measurements of Dense Plasmas Heated by Fast Electrons

    Booth, N., Clarke, R. J., Gallegos, P., Gizzi, L. A., Gregori, G., Koester, P., Labate, L., Levato, T., Li, B., Makita, M., Pasley, J., Rajeev, P. P., Riley, D., Wagenaars, E., Waugh, J. N. & Woolsey, N. C., 2010, LIGHT AT EXTREME INTENSITIES: OPPORTUNITIES AND TECHNOLOGICAL ISSUES OF THE EXTREME LIGHT INFRASTRUCTURE. Dumitras, D. (ed.). MELVILLE: AMER INST PHYSICS, Vol. 1228. p. 79-85 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  35. X-UV imaging of indirectly driven foam-foil packages

    Pasley, J., Nilson, P., Willingale, L., Haines, M. G., Notley, M., Tolley, M., Neely, D., Nazarov, W. & Willi, O., 1 Dec 2004, Inertial Fusion Sciences and Applications 2003. Hammel, B. A., Meyerhofer, D. D. & Meyer-ter-Vehn, J. (eds.). p. 498-501 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  36. Worst-case execution time analysis for dynamic branch predictors

    Bate, I. & Reutemann, R., 2004, 16TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 215-222 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  37. Worst-Case Execution Time Analysis for Dynamic Branch Predictors

    Bate, I. & Reutemann, R., 1 Jul 2004, Proceedings of the 16th Euromicro Conference on Real-Time Systems. Catania, Italy: IEEE, p. 215-222 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  38. Work-In-Progress: Real-Time RPC for Hybrid Dual-OS System

    Pan, D., Jiang, Z., Burns, A., Ding, Y. & Ma, J., 15 Dec 2019, 2019 IEEE Real-Time Systems Symposium (RTSS). IEEE, p. 1-4 4 p. (Real-Time Systems Symposium (RTSS)).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  39. Word-level distributions and structural factors codetermine GOOSE fronting

    Soskuthy, M., Foulkes, P., Haddican, W., Hay, J. & Hughes, V., 2015, Proceedings of the 18th International Congress of Phonetic Sciences. Glasgow

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  40. Word sense induction disambiguation using hierarchical random graphs

    Klapaftis, I. P. & Manandhar, S., 2010, EMNLP '10 Proceedings of the 2010 Conference on Empirical Methods in Natural Language Processing . Stroudsburg, PA: Association for Computational Linguistics, p. 745-755 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  41. Word Sense Induction Using Graphs of Collocations

    Klapaftis, I. P. & Manandhar, S., 2008, Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence . Amsterdam: IOS Press, p. 298-302 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  42. Women and Texts in Languedocian Catharism

    Biller, P. P. A., 1995, Women, the Book and the Godly: Selected Proceedings of the St Hilda's Conference, 1993. Smith, L. & Taylor, J. H. M. (eds.). Cambridge: D.S. Brewer, p. 171-182 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  43. Wireless Sensor Network Wormhole Avoidance Using Disturbance-Based Routing Schemes

    Harbin, J., Mitchell, P. & Pearce, D., 2009, 2009 6TH INTERNATIONAL SYMPOSIUM ON WIRELESS COMMUNICATION SYSTEMS (ISWCS 2009). NEW YORK: IEEE, p. 76-80 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  44. Wing Loss for Robust Facial Landmark Localisation with Convolutional Neural Networks

    Feng, Z., Kittler, J., Awais, M., Huber, P. & Wu, X-J., 14 Dec 2018, Proceedings - 2018 IEEE/CVF Conference on Computer Vision and Pattern Recognition, CVPR 2018. IEEE Computer Society, p. 2235-2245 11 p. 8578336

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  45. William of Newburgh and the Cathar Mission to England

    Biller, P. P. A., 1999, Life and Thought in the Northern Church c.1100-c.1700: Essays in Honour of Claire Cross. Wood, D. (ed.). Woodbridge: Boydell & Brewer for the Ecclesiastical History Society, p. 11-30 20 p. (Studies in Church History: Subsidia; vol. 12).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  46. Will you be happier? Designing a game that employs gifting to non-player characters

    Li, S., Ursu, M., Williams, D. & Kegel, I., 4 Dec 2018, HAI 2018 - Proceedings of the 6th International Conference on Human-Agent Interaction. Association for Computing Machinery, Inc, p. 338-340 3 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  47. Wiener filter channel estimation for OFDM/OQAM with iterative interference cancellation in LTE channel

    Harbi, Y. J. & Burr, A. G., 2016, Proceedings of the 19th International Conference on OFDM and Frequency Domain Techniques (ICOF 2016). Czylwik, A. (ed.). p. 1-6 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  48. Widening the Goal Posts: Program Stretching to Aid Search Based Software Testing

    Ghani, K. & Clark, J. A., 2009, 1ST INTERNATIONAL SYMPOSIUM ON SEARCH BASED SOFTWARE ENGINEERING, PROCEEDINGS. DiPenta, M. & Poulding, S. (eds.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 122-131 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  49. Widening participation in EIE programmes across Europe for students with disabilities

    Grout, I., Grindei, L., Ward, T., Busk Marner, C., Welzer, T. & Snowden, P., Jun 2015, 14th International Conference on Information Technology based Higher Education and Training (ITHET). Lisbon: IEEE, p. 57-62 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  50. Wideband outdoor MIMO channel model derived from directional channel measurements at 2 GHz

    Foo, S. E., Beach, M. & Burr, A. G., Sep 2004, Proceedings of the 7th International Symposium on Wireless Personal Multimedia Communications (WPMC ’04). 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  51. Wide-band channel modelling using a spatial model

    Burr, A. G., 1998, 1998 IEEE 5TH INTERNATIONAL SYMPOSIUM ON SPREAD SPECTRUM TECHNIQUES AND APPLICATIONS - PROCEEDINGS, VOLS 1-3. NEW YORK: IEEE, p. 255-257 3 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  52. Why do audiences applaud political speeches? An analysis of invited and uninvited applause

    Bull, P., 2001, Proceedings of the British Psychological Society.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  53. Why Game Designers Should Study Magic

    Kumari, S., Deterding, C. S. & Kuhn, G., 7 Aug 2018, Proceedings of the 13th International Conference on the Foundations of Digital Games, FDG 2018. Deterding, S., Khandaker, M., Risi, S., Font, J., Dahlskog, S., Salge, C. & Olsson, C. M. (eds.). New York, NY: ACM Press, 30

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  54. Why Functional Safety Experts Worry About Automotive Systems Having Increasing Autonomy

    Monkhouse, H. E., Habli, I., McDermid, J. A., Khastgir, S. & Dhadyalla, G., Aug 2017, International Workshop on Driver and Driverless Cars: Competition or Coexistence.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  55. Who supports the support workers? E-learning for support workers of students with disabilities

    Power, C. D., Petrie, H., Swallow, D. & Sannia, M., 2009, CTA 2009 Proceedings of the Second International Conference on Information and Communication Technologies and Accessibility. p. 167-178 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  56. Who Supports the Support Workers? e-Learning for Support Workers of Students With Disabilities

    Power, C., Petrie, H., Swallow, D. & Sannia, M., 2008, 7TH EUROPEAN CONFERENCE ON E-LEARNING, VOL 2. Willimas, R. & Remenyi, D. (eds.). NR READING: ACADEMIC CONFERENCES LTD, p. 304-312 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  57. When the requirements for adaptation and high integrity meet

    Calinescu, R., 2011, Proceedings of the 8th ESEC/FSE Workshop on Assurances for Self-Adaptive Systems. New York, NY, USA: ACM, p. 1-4 4 p. (ASAS '11).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  58. When the donkey lost its fleas: Persistence, contextual restriction, and minimal situations

    Zweig, E., 2006, Proceedings of the Sinn und Bedeutung 10. Ebert, C. & Endriss, C. (eds.). p. 469 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  59. When the MUSIC's over - Final results of MUSIC, an EU project to design and implement traffic signal timings which meet a variety of transport goals

    Clegg, R., Clune, A. & Smith, M., 2001, MATHEMATICAL METHODS ON OPTIMIZATION IN TRANSPORTATION SYSTEMS. Pursula, M. & Niittymaki, J. (eds.). DORDRECHT: SPRINGER, p. 133-145 3 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  60. When ontology and reality collide: the Archaeotools project, faceted classification and natural language processing in an archaeological context

    Jeffrey, S., Richards, J. D., Ciravegna, F., Waller, S., Chapman, S. & Zhang, Z., 2009, On the road to reconstructing the past: Proceedings of the 36th International Conference on Computer Applications and Quantitative Methods in Archaeology (CAA) Budapest, Hungary, 2008.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  61. What's Your Problem with the Dog Internet?

    Kirman, B., Linehan, C. & Lawson, S., 30 Apr 2020, Extended Abstracts of the ACM SIGCHI conference on Human Factors in Computing Systems.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  62. What professional historians want II

    Divall, C. M., 1997, Proceedings of a Seminar on Railway Records . Bruce, C. (ed.). London: Railway Heritage Committee, p. 67-74 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  63. What does mental imagery mean to university music students and their professors?

    Haddon, E., 2007, Proceedings of the International Symposium on Performance Science 2007. Williamon, A. & Coimbra, D. (eds.). The Netherlands: Association Europeenne des Conservatoires, Academies de Musique et Musikhochschulen (AEC), p. 301-306

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  64. What do users really care about? a comparison of usability problems found by users and experts on highly interactive websites

    Petrie, H. & Power, C., 2012, CHI '12: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems. Konstan, J. A., Chi, E. H. & Höök, K. (eds.). New York: Association for Computing Machinery (ACM), p. 2107-2116 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  65. What do Metamodels Really Look Like?

    Williams, J. R., Zolotas, A., Matragkas, N. D., Rose, L. M., Kolovos, D. S., Paige, R. F. & Polack, F. A. C., 2013, Proceedings of the 3rd International Workshop on Experiences and Empirical Studies in Software Modeling co-located with 16th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2013), Miami, USA, October 1, 2013.. p. 55-60 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  66. What can automatic accent recognition technology bring to language analysis in the asylum process (LAAP)? A demonstration using spoken Arabic dialect data. Workshop on Arabic and language analysis in asylum procedures

    Brown, G., Alhussein Almbark, R., French, J. P. & Hellmuth, S., 9 Apr 2019, Workshop on Arabic and language analysis in asylum procedures.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  67. What Moves Players? Visual Data Exploration of Twitter and Gameplay Data

    Drescher, C., Wallner, G., Krieglstein, S., Sifa, R., Drachen, A. & Pohl, M., 21 Apr 2018, CHI '18 Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems Paper No. 560. New York: ACM, Vol. 2018-April. 13 p. 560. (Proceedings of the CHI Conference Human Factors in Computing Systems).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  68. Weighted principal geodesic analysis for facial gender classification

    Wu, J., Smith, W. A. P. & Hancock, E. R., 2007, PROGRESS IN PATTERN RECOGNITION, IMAGE ANALYSIS AND APPLICATIONS, PROCEEDINGS. Rueda, L., Mery, D. & Kittler, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 331-339 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  69. Weighted LS multiuser channel estimation for LTE

    Zakharov, Y. & Zheng, D., Jul 2015, IEEE 16th International Workshop on Signal Processing Advances in Wireless Communications (SPAWC). IEEE, p. 405-409 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  70. Weighted Graph Characteristics from Oriented Line Graph Polynomials

    Ren, P., Wilson, R. C. & Hancock, E. R., 2009, 2009 IEEE 12TH INTERNATIONAL CONFERENCE ON COMPUTER VISION (ICCV). NEW YORK: IEEE, p. 2280-2287 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  71. Web-based Tutorial for Ambisonics Theory

    Gorzel, M., Kearney, G. & Boland, F., 10 Aug 2011, The first annual Irish Sound, Science and Technology Convocation. Limerick, Ireland

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  72. Web accessibility for older adults: effects of line spacing and text justification on reading web pages

    Petrie, H., Kamollimsakul, S. & Power, C. D., 21 Oct 2013, ASSETS '13 Proceedings of the 15th International ACM SIGACCESS Conference on Computers and Accessibility. ACM, 77

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  73. Web accessibility - Automatic/manual evaluation and authoring tools - Introduction to the special thematic session

    Petrie, H., Power, C. & Weber, G., 2008, COMPUTERS HELPING PEOPLE WITH SPECIAL NEEDS, PROCEEDINGS. Miesenberger, K., Klaus, J., Zagler, W. & Karshmer, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5105 LNCS. p. 334-337 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  74. Web Accessibility for Older Readers: Effects of Font Type and Font Size on Skim Reading Webpages in Thai

    Kamollimsakul, S., Petrie, H. & Power, C. D., 2014, Computers Helping People with Special Needs. PART 1 ed. Springer, Vol. 8547 LNCS. p. 332-339 8 p. (Lecture Notes in Computer Science; vol. 8547).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  75. Web Accessibility Metrics: Effects of Different Computational Approaches

    Freire, A. P., Power, C., Petrie, H., Tanaka, E. H., Rocha, H. V. & Fortes, R. P. M., 2009, UNIVERSAL ACCESS IN HUMAN-COMPUTER INTERACTION: APPLICATIONS AND SERVICES, PT III. Staphanidis, C. (ed.). PART 3 ed. BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5616 LNCS. p. 664-673 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  76. Weaving an Assurance Case from Design: A Model-Based Approach

    Hawkins, R., Habli, I., Kolovos, D. S., Paige, R. F. & Kelly, T., Jan 2015, 16th IEEE International Symposium on High Assurance Systems Engineering, HASE 2015, Daytona Beach, FL, USA, January 8-10, 2015. IEEE, p. 110-117 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  77. Weaving Parallel Threads

    Calderon Trilla, J. M., Poulding, S. M. & Runciman, C., 2015, Proceedings of International Symposium on Search-based Software Engineering. Barros, M. & Labiche, Y. (eds.). Bergamo, Italy: Springer, p. 62-76 14 p. (LNCS; vol. 9275).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  78. Weakly hard real-time constraints on controller area network

    Broster, I., Bernat, G. & Burns, A., 2002, EUROMICRO RTS 2002: 14TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 134-141 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  79. Waves: exploring idiographic design for live performance

    Hook, J. D., McCarthy, J., Wright, P. C. & Olivier, P., 2013, Proceedings of the ACM Conference on Human Factors in Computing Systems. Association for Computing Machinery (ACM), p. 2969-2978

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  80. Waves: Multi-Touch VJ Interface

    Hook, J. D. & Olivier, P., 2010, Proceedings of the ACM International Conference on Interactive Tabletops and Surfaces. Association for Computing Machinery (ACM), p. 305

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  81. Waveguide resonance Raman spectroscopy for the study of chromophores

    Ellahi, S., Sanchez de la Blanca, E., Williams, K. P. J., 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. 1084-1085

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  82. Wattsup? Motivating reductions in domestic energy consumption using social networks

    Foster, D., Lawson, S., Blythe, M. & Cairns, P., 2010, NordiCHI 2010: Extending Boundaries - Proceedings of the 6th Nordic Conference on Human-Computer Interaction. p. 178-187 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  83. Watermarking graphical objects

    Harte, T. & Bors, A. G., 2002, DSP 2002: 14TH INTERNATIONAL CONFERENCE ON DIGITAL SIGNAL PROCESSING PROCEEDINGS, VOLS 1 AND 2. Skodras, AN. & Constantinides, AG. (eds.). NEW YORK: IEEE, p. 709-712 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  84. Watermarking 3D shapes using local moments

    Bors, A. G., 2004, ICIP: 2004 INTERNATIONAL CONFERENCE ON IMAGE PROCESSING, VOLS 1- 5. NEW YORK: IEEE, p. 729-732 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  85. Watermarking 3D models

    Harte, T. & Bors, A. G., 2002, 2002 INTERNATIONAL CONFERENCE ON IMAGE PROCESSING, VOL III, PROCEEDINGS. NEW YORK: IEEE, p. 661-664 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  86. Watermark Optimization of 3D Shapes for Minimal Distortion and High Robustness

    Bors, A. G. & Luo, M., 2013, Computer Analysis of Images and Patterns: 15th International Conference, CAIP 2013, York, UK, August 27-29, 2013, Proceedings, Part II. PART 2 ed. Springer, Vol. 8048 LNCS. p. 298-306 9 p. (Lecture Notes in Computer Science; vol. 8048).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  87. Walter Crane and Hermann Obrist: craft, sculpture and transnationality at the fin de siècle

    Turner, S. V., 16 Jun 2010, Henry Moore Institute Online Papers and Proceedings. Henry Moore Institute Leeds

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  88. WSRF-based modeling of clinical trial information for collaborative cancer research

    Zang, T., Calinescu, R., Harris, S., Tsui, A., Kwiatkowska, M., Gibbons, J., Davies, J., Maccallum, P. & Caldas, C., 5 Sep 2008, Proceedings CCGRID 2008 - 8th IEEE International Symposium on Cluster Computing and the Grid. p. 73-81 9 p. 4534204

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  89. WHAT ARE GALLS FOR - TESTS OF THE NUTRITION HYPOTHESIS

    Hartley, S. E., 1991, INSECTS-PLANTS 89. SZENTESI, A. & JERMY, T. (eds.). BUDAPEST: Akademiai Kiado, p. 265-274 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  90. WCET preserving hardware prefetch for Many-Core real-time systems

    Garside, J. & Audsley, N. C., 8 Oct 2014, ACM International Conference Proceeding Series. Association for Computing Machinery (ACM), p. 193-202 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  91. WCET analysis of probabilistic hard real-time systems

    Colin, A., Petters, S. M. & Bernat, G., 2002, 23rd IEEE Real-Time Systems Symposium. IEEE, p. 279-288 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  92. WCET Analysis of Modern Processors Using Multi-Criteria Optimisation

    Khan, U. & Bate, I., 2009, 1ST INTERNATIONAL SYMPOSIUM ON SEARCH BASED SOFTWARE ENGINEERING, PROCEEDINGS. DiPenta, M. & Poulding, S. (eds.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 103-112 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  93. WCET Analysis of Modern Processors Using Multi-Criteria Optimisation

    Khan, U. & Bate, I., 2009, Proceedings of the 1st International Symposium on Search Based Software Engineering (SSBSE '09). p. 103-112 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  94. W.G. Collingwood and Anglo-Saxon sculpture: art history or archaeology.

    Hawkes, J. & Moss, R. (ed.), 2007, Making and Meaning in Insular Art. Dublin: Four Courts Press, p. 142-152 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  95. VoodooSketch: Extending interactive surfaces with adaptable interface palettes

    Block, F., Haller, M., Gellersen, H., Gutwin, C. & Billinghurst, M., 2008, TEI'08 - Second International Conference on Tangible and Embedded Interaction - Conference Proceedings. p. 55-58 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  96. VoodooIO

    Villar, N., Block, F., Molyneaux, D. & Gellersen, H., 2006, ACM SIGGRAPH 2006: Emerging Technologies. 36

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  97. Volvelles, Domes and Wristbands: Embedding Digital Fabrication Within a Visitor's Trajectory of Engagement

    Nissen, B., Bowers, J., Wright, P. C., Hook, J. D. & Newell, C., 2014, Proceedings of the 2014 Conference on Designing Interactive Systems. New York: Association for Computing Machinery (ACM), p. 825-834

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  98. Voice as a design material: sociophonetic inspired design strategies in Human-Computer Interaction

    Sutton, S., Foulkes, P., Kirk, D. & Lawson, S., 2019, CHI Conference on Human Factors in Computing Systems Proceedings (CHI 2019). ACM: New York, (CHI Conference on Human Factors in Computing Systems Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  99. Vitraux, Retables et 'English Decorated Style' La Verrière Orientale de l'Eglise Abbatiale de Dorchester, Comté d'Oxford

    Ayers, T., 2002, Representations Architecturales dans les Vitraux, Colloque International. Tollet, R. (ed.). Liege, p. 105-116 11 p. (Dossier de la commission royale des monuments, sites et fouilles; vol. 9).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  100. Visualising Discourse: An Approach to Archaeological Uncertainty. Interpretation and Reconstruction of the Grandi Magazzini di Settimio Severo at Portus, Italy.

    Beale, G., 2012, On the Road to Reconstructing the Past. Computer Applications and Quantitative Methods in Archaeology. J. Erzsébet, F. R. . V. S. (ed.). Archaeolingua, p. 46-52 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  101. Visual navigation using planar homographies

    Liang, B. J. & Pears, N., 2002, 2002 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, VOLS I-IV, PROCEEDINGS. NEW YORK: IEEE, p. 205-210 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  102. Visual enhancement using multiple audio streams in live music performance

    Dahyot, R., Kearney, G. & Kelly, C., Jun 2007, 31st International Conference of the Audio Engineering Society. London, United Kingdom

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  103. Visual attention for content based image retrieval

    Papushoy, A. & Bors, A. G., Oct 2015, IEEE International Conference on Image Processing (ICIP), 2015. IEEE, p. 971-975 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  104. Visual aftereffects for walking reveal underlying neural mechanisms for action recognition

    Barraclough, N. E. & Jellema, T., 2010, Perception. PION, Vol. 39. p. 77 1 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  105. Visual adaptation to emotional actions

    Wincenciak, J., Ingham, J. & Barraclough, N., 2011, Perception. PION, Vol. 40. p. 213 1 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  106. Visual adaptation distorts judgments of human behaviour during naturalistic viewing

    Barraclough, N., Keefe, B. D., Wincenciak, J., Ward, J. & Jellema, T., 2015, Perception. PION, Vol. 44. p. 240 1 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  107. Visual Word Recognition Insights From MEG and Implications for Developmental Dyslexia

    Cornelissen, P. L., 2011, HOW CHILDREN LEARN TO READ: CURRENT ISSUES AND NEW DIRECTIONS IN THE INTEGRATION OF COGNITION, NEUROBIOLOGY AND GENETICS OF READING AND DYSLEXIA RESEARCH AND PRACTICE. Pugh, K. & McCardle, P. (eds.). HOVE: Psychology Press, p. 171-194 24 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  108. Vista s: towards Behavioural Cloud Control

    Wood, A. M. & Zhao, Y., 2011, Euro-Par 2010 Parallel Processing Workshops : HeteroPar, HPCC, HiBB, CoreGrid, UCHPC, HPCF, PROPER, CCPI, VHPC, Ischia, Italy, August 31–September 3, 2010, Revised Selected Papers. Springer, Vol. 6586 LNCS. p. 689-696 8 p. (Lecture Notes in Computer Science; vol. 6586).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  109. Virtualization of Spatial Streams for Enhanced Spectrum Sharing

    Ahmadi, H., Macaluso, I., Gomez, I., DaSilva, L. & Doyle, L., 6 Feb 2017, 2016 IEEE Global Communications Conference (GLOBECOM). 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  110. Virtual relighting of a Roman statue head from Herculaneum: a case study

    Happa, J., Williams, M., Turley, G., Earl, G., Dubla, P., Beale, G., Gibbons, G., Debattista, K. & Chalmers, A., 2009, Proceedings of the 6th International Conference on Computer Graphics, Virtual Reality, Visualisation and Interaction in Africa. 1503456: ACM, p. 5-12 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  111. Virtual director adapting visual presentation to conversation context in group videoconferencing: An interactive demo

    Kaiser, R., Weiss, W., Falelakis, M. & Ursu, M. F., 2014, MM 2014 - Proceedings of the 2014 ACM Conference on Multimedia. Association for Computing Machinery, Inc, p. 733-734 2 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  112. Virtual acoustics and performance spaces in Medieval English Drama

    Lopez, M. J., Pauletto, S. & Kearney, G., 18 Sep 2011, The Acoustics of Ancient Theatres. Patras, Greece

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  113. Virtual Learning Environments: Another Barrier to Blended and E-Learning

    Power, C., Petrie, H., Sakharov, V. & Swallow, D., 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. 519-526 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  114. Virtual Hubs: Understanding Relational Aspects and Remediating Incubation

    Luik, J. E., Ng, J. P-S. & Hook, J. D., 4 May 2019, Proceedings of the ACM CHI 2019 Conference on Human Factors in Computing Systems. Association for Computing Machinery (ACM)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  115. Virtual HIRF tests in CST STUDIO SUITE™: A Reverberant environment application

    Tallini, D., Dawson, J. F., Flintoft, I. D., Kunze, M. & Munteanu, I., 12 Sep 2011, ICEAA 2011 International Conference on Electromagnetics in Advanced Applications . Torino, Italy , p. 849-852 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  116. Virtual Acoustics and the study of music in the York Cycle

    Lopez, M. J., Pauletto, S. & Kearney, G., 30 Aug 2011, Conference of Interdisciplinary Musicology. Glasgow

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  117. Virtual 5.1 Surround Sound Localization using Head-Tracking Devices

    O'Toole, B., Gorzel, M., Kelly, I., O' Sullivan, L., Kearney, G. & Boland, F., 26 Jun 2014, Irish Signals and Systems Conference/ China-Ireland International Conference on Information and Communications Technologies. IET

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  118. Viking VR: Designing a Virtual Reality Experience for a Museum

    Schofield, G. P., Beale, G., Beale, N. E., Fell, M., Hadley, D., Hook, J. D., Murphy, D. T., Richards, J. D. & Thresh, L., 8 Jun 2018, DIS 2018 - Proceedings of the 2018 Designing Interactive Systems Conference. Association for Computing Machinery (ACM), p. 805-816 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  119. Views of Jews from Paris around 1300: Christian or 'Scientific'?

    Biller, P. P. A., 1992, Christianity and Judaism. Wood, D. (ed.). Oxford: Basil Blackwell, Oxford, for the Ecclesiastical History Society, p. 187-208 32 p. (Studies in Church History; vol. 29).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  120. Video communication for networked communities: Challenges and opportunities

    Stevens, T., Kegel, I., Williams, D., Torres, P., Cesar, P., Stenton, P., Kaiser, R., Ursu, M., Falelakis, M. & Farber, N., 1 Dec 2012, 2012 16th International Conference on Intelligence in Next Generation Networks, ICIN 2012. p. 148-155 8 p. 6376018

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  121. Video Subset Selection for Measurement Based Worst Case Execution Time Analysis

    Wheeler, S., Bate, I. & Bartlett, M., 2011, Proceedings of the 6th IEEE International Symposium on Industrial Embedded Systems (SIES'11).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  122. Video Showcase: Using Expressy to Showcase Expressiveness in Touch-based Interactions

    Wilkinson, G., Green, D., Wood, G., Kharrufa, A., Hook, J. D., Pursgrove, B., Haeuser, H., Hammerla, N., Hodges, S. & Olivier, P., 7 May 2016, CHI EA '16 Proceedings of the 2016 CHI Conference Extended Abstracts on Human Factors in Computing Systems . Association for Computing Machinery (ACM), 1 p. (CHI EA '16 Proceedings of the 2016 CHI Conference Extended Abstracts on Human Factors in Computing Systems ).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  123. Vibrato production and its impact on spectral energy in the performance of early music

    Daffern, H., 8 Jul 2009, National Early Music Association.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  124. Very quaffable and great fun: Applying NLP to wine reviews

    Hendrickx, I., Lefever, E., Croijmans, I., Majid, A. & Van Den Bosch, A., 1 Jan 2016, 54th Annual Meeting of the Association for Computational Linguistics, ACL 2016 - Short Papers. Association for Computational Linguistics (ACL), p. 306-312 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  125. Very low energy electron microscopy of doped semiconductors

    El-Gomati, M. M., Wells, T. C. R. & Jayakody, H., 2001, MICROSCOPY OF SEMICONDUCTING MATERIALS 2001. Cullis, AG. & Hutchison, JL. (eds.). BRISTOL: IOP PUBLISHING LTD, p. 435-438 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  126. Very extended shapes in Cd-108: Evidence for the occupation of "hyper-intruder" orbitals

    Gorgen, A., Clark, RM., Fallon, P., Cromaz, M., Deleplanque, MA., Diamond, RM., Lane, GJ., Lee, IY., Macchiavelli, AO., Ramos, RG., Stephens, FS., Svensson, CE., Vetter, K., Ward, D., Carpenters, MP., Janssens, RVF. & Wadsworth, R., 2003, FRONTIERS OF NUCLEAR STRUCTURE. Fallon, P. & Clark, R. (eds.). MELVILLE: AMER INST PHYSICS, p. 17-24 8 p. (AIP CONFERENCE PROCEEDINGS; vol. 656).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  127. Verifying the CICS file control API with Z/Eves: An experiment in the verified software repository

    Freitas, L., Mokos, K. & Woodcock, J., 2007, 12TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING COMPLEX COMPUTER SYSTEMS, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 290-298 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  128. Verifying fault-tolerant distributed systems using Object-Based Graph Grammars

    Dotti, F. L., Mendizabal, O. M. & dos Santos, O. M., 2005, DEPENDABLE COMPUTING, PROCEEDINGS. Maziero, CA., Silva, JG., SantosAndrade, AM. & Silva, FMD. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 80-100 21 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  129. Verifying a Copying Garbage Collector in GP 2

    Plump, D. & Wulandari, G., 6 Dec 2018, Software Technologies: Applications and Foundations - STAF 2018 Collocated Workshops, Revised Selected Papers. Mazzara, M., Ober, L. & Salaün, G. (eds.). Springer, p. 479--494 16 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  130. Verifying Total Correctness of Graph Programs

    Poskitt, C. & Plump, D., 2012, Proceedings 4th International Workshop on Graph Computation Models (GCM 2012). Echahed, R., Habel, A. & Mosbah, M. (eds.). p. 1-15

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  131. Verifying Monadic Second-Order Properties of Graph Programs

    Poskitt, C. & Plump, D., 2014, Proceedings 7th International Conference on Graph Transformation (ICGT 2014). Giese, H. & Koenig, B. (eds.). Springer, p. 33-48 16 p. (Lecture Notes in Computer Science; vol. 8571).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  132. Verification of control systems using Circus

    Cavalcanti, A. & Clayton, P., 2006, ICECCS 2006: 11TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS. Kawada, S. (ed.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 269-278 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  133. Verification of a behavioural model to define RF interference effects in integrated circuits

    Whyman, N. L., Dawson, J. F. & Centeno, A., 1 Jul 2000, York EMC 2000, York, 10-11 July 2000.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  134. Variational expectation-maximization training for Gaussian networks

    Nasios, N. & Bors, A. G., 2003, 2003 IEEE XIII WORKSHOP ON NEURAL NETWORKS FOR SIGNAL PROCESSING - NNSP'03. NEW YORK: IEEE, p. 339-348 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  135. Variational Gaussian mixtures for blind source detection

    Nasios, N. & Bors, A. G., 2003, 2003 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOLS 1-5, CONFERENCE PROCEEDINGS. NEW YORK: IEEE, p. 474-479 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  136. Variational Bayesian inference for partially observed stochastic dynamical systems - art. no. 012022

    Wang, B. & Titterington, D. M., 2009, INTERNATIONAL WORKSHOP ON STATISTICAL-MECHANICAL INFORMATICS 2008 (IW-SMI 2008). Hayashi, M., Inoue, JI., Kabashima, Y. & Tanaka, K. (eds.). BRISTOL: IOP PUBLISHING LTD, p. 12022-12022 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  137. Variable stiffness actuators embedded with soft-bodied polycaprolactone and shape memory alloy wires

    Liao, T., Tse, Z. T. H. & Ren, H., 17 Oct 2019, Proceedings of the 2019 IEEE/ASME International Conference on Advanced Intelligent Mechatronics, AIM 2019. Institute of Electrical and Electronics Engineers Inc., p. 108-113 6 p. 8868905. (IEEE/ASME International Conference on Advanced Intelligent Mechatronics, AIM; vol. 2019-July).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  138. Variability Management in Safety-Critical Software Product Line Engineering

    De Oliveira, A. L., Braga, R. T. V., Masiero, P. C., Papadopoulos, Y., Habli, I. & Kelly, T. P., 2018, International Conference on Software Reuse.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  139. Value-based software traceability workshop (VALSOT 2011)

    Espinoza, A., Paige, R. & Garbajosa, J., 1 Jan 2011, Agile Processes in Software Engineering and Extreme Programming - 12th International Conference, XP 2011, Proceedings. Springer-Verlag, 1 p. (Lecture Notes in Business Information Processing; vol. 77 LNBIP).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  140. Value-based scheduling of flexible real-time systems for intelligent autonomous vehicle control

    Burns, A. & Prasad, D., 1998, INTELLIGENT AUTONOMOUS VECHICLES 1998 (IAV'98). Salichs, MA. & Halme, A. (eds.). OXFORD: PERGAMON PRESS LTD, p. 33-38 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  141. Value-Based Allocation of Docker Containers

    Dziurzanski, P., 21 Mar 2018, 26th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP). IEEE, p. 358-362

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  142. Value and energy optimizing dynamic resource allocation in many-core HPC systems

    Singh, A. K., Dziurzanski, P. & Indrusiak, L. S., 1 Feb 2016, 2015 IEEE 7th International Conference on Cloud Computing Technology and Science (CloudCom). Institute of Electrical and Electronics Engineers Inc., p. 180-185 6 p. 7396154

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  143. Value and energy aware adaptive resource allocation of soft real-time jobs on many-core HPC data centers

    Singh, A. K., Dziurzanski, P. & Indrusiak, L. S., 18 Jul 2016, Proceedings - 2016 IEEE 19th International Symposium on Real-Time Distributed Computing, ISORC 2016. Institute of Electrical and Electronics Engineers Inc., p. 190-197 8 p. 7515628

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  144. Validation of intermediate level circuit models (ILCM) of a generic system through measurement

    Watkins, S. P., Hoad, R., Chirwa, L. C., Dawson, J. F. & Robinson, M. P., 1 Mar 2004, IEE Seminar on 'Validation of Computational Electromagnetics, Farnborough, 29 March. p. 65-69

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  145. Validation of Performance Data using Experimental Verification Process in Wireless Sensor Networks

    Lim, T. H., Timmis, J. & Bate, I. J., 2012, 17th IEEE International Conference on Emerging Technologies & Factory Automation.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  146. Validation of Performance Data using Experimental Verification Process in Wireless Sensor Network

    Lim, T. H., Bate, I. & Timmis, J., 2012, Proceedings of the IEEE 17th International Conference on Emerging Technologies and Factory Automation (ETFA 2012).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  147. Validation of Executable Application Models Mapped onto Network-on-Chip Platforms

    Määttä, S., Indrusiak, L. S., Ost, L., Moller, L., Nurmi, J., Glesner, M. & Moraes, F., 2008, Int Symposium on Industrial Embedded Systems. New York: IEEE, p. 118-125 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  148. Vadim Borisovich Kuznetsov - 1963-2005

    Sklyanin, E. & Sleeman, B. D., 2006, Jack, Hall-Littlewood and Macdonald Polynomials. Kuznetsov, VB. & Sahi, S. (eds.). PROVIDENCE: AMER MATHEMATICAL SOC, p. 357-360 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  149. VRML and Microelectronics Education

    Reis, R. A. D. L. & Indrusiak, L. S., 1999, IEEE International Conference on Microelectronic Systems Education, MSE 1999, July 19-21, 1999, Arlington, Virginia, USA. IEEE Computer Society, p. 84-85 2 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  150. VOXed: Technology as a meaningful teaching aid in the singing studio

    Welch, G. F., Himonides, E., Howard, D. M. & Brereton, J., 2004, Conference on Interdisciplinary Musicology, CIM04.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  151. VHDL Guidance for Safe and Certifiable FPGA Design

    Conmy, P., Pygott, C. & Bate, I., 1 Oct 2010, IET System Safety Conference.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  152. VENUS, Virtual ExploratioN of Underwater Sites

    Chapman, P., Conte, P., Drap, G., Gambogi, P., Gauch, F., Hanke, K., Long, L., Loureiro, V., Papini, P., Pascoal, A., Richards, J. D. & Roussell, D., 2006, The e-volution of Information Communication Technology in Cultural Heritage, Nicosia, Cyprus 2006. Ioannides, M., Arnold, D., Niccolucci, F. & Mania, K. (eds.). Hungary: Archaeolingua, p. 86-93

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  153. VCDC: The virtualized complicated device controller

    Jiang, Z. & Audsley, N., 1 Jun 2017, 29th Euromicro Conference on Real-Time Systems, ECRTS 2017. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 76. p. 51-520 470 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  154. VARIABLE STEP SIZE DICHOTOMOUS COORDINATE DESCENT AFFINE PROJECTION ALGORITHM

    Albu, F., Paleologu, C., Benesty, J. & Zakharov, Y. V., 2009, EUROCON 2009: INTERNATIONAL IEEE CONFERENCE DEVOTED TO THE 150 ANNIVERSARY OF ALEXANDER S. POPOV. NEW YORK: IEEE, Vol. 1-4. p. 1364-1369 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  155. V2V Channel allocation method based on SWM communication demand matrix

    Ye, L., Peng, C., Han, Q., Zeng, L., Chen, L., Liu, X. & Xu, Y., 22 Dec 2016, 2016 IEEE 19th International Conference on Intelligent Transportation Systems, ITSC 2016. Institute of Electrical and Electronics Engineers Inc., p. 2095-2100 6 p. 7795895

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  156. Utility and stability measures for agent-based dynamic scheduling of steel continuous casting

    Ouelhadj, D., Cowling, P. I. & Petrovic, S., 2003, Robotics and Automation, 2003. Proceedings. ICRA'03. IEEE International Conference on. Vol. 1. p. 175-180 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  157. Utilising Application Flexibility in Energy Aware Computing

    Bate, I., 2008, RTCSA 2008: 14TH IEEE INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS - PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 285-290 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  158. Utilising Application Flexibility in Energy Aware Computing

    Bate, I., 2008, 14th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications. p. 285-290 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  159. Using trace scratchpads to reduce execution times in predictable real-time architectures

    Whitham, J. & Audsley, N., 2008, PROCEEDINGS OF THE 14TH IEEE REAL-TIME AND EMBEDDED TECHNOLOGY AND APPLICATIONS SYMPOSIUM. LOS ALAMITOS: IEEE COMPUTER SOC, p. 305-316 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  160. Using the executor framework to implement asynchronous event handling in the RTSJ

    Kim, M. & Wellings, A. J., 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. 16-25 10 p. (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  161. Using the Internet in project management

    Edwards, A. D. N., 1998, IMPROVING THE QUALITY OF LIFE FOR THE EUROPEAN CITIZEN. Porrero, IP. & Ballabio, E. (eds.). AMSTERDAM: I O S PRESS, p. 453-457 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  162. Using the Fisher-Rao Metric to Compute Facial Similarity

    Ceolin, S. & Hancock, E. R., 2010, IMAGE ANALYSIS AND RECOGNITION, PT I, PROCEEDINGS. Campilho, A. & Kamel, M. (eds.). PART 1 ed. BERLIN: SPRINGER-VERLAG BERLIN, Vol. 6111 LNCS. p. 384-393 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  163. Using societal impact assessment (SIA) to improve technological development in the field of crime prevention

    Clavell, G. G. & Frowd, P. M., 1 Jan 2015, Social Informatics: SocInfo 2014 International Workshops, Barcelona, Spain, November 11, 2014, Revised Selected Papers. Aiello, L. M. & McFarland, D. (eds.). Springer-Verlag, p. 118-124 7 p. (Lecture Notes in Computer Science; vol. 8852).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  164. Using social marketing techniques to improve parental engagement in reading at home with Y5 children (age 9-10)

    Wells, VK. & Smithson, J., 1 Sep 2016, n/a.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  165. Using simulation to validate style-specific architectural refactoring patterns

    Stephenson, Z., McDermid, J. & Choy, J., 2006, 30th Annual IEEE/NASA Software Engineering Workshop, Proceedings. LOS ALAMITOS: IEEE COMPUTER SOC, p. 123-132 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  166. Using quantitative analysis to implement autonomic IT systems

    Calinescu, R. & Kwiatkowska, M., 2009, Proceedings of the 31st International Conference on Software Engineering (ICSE). p. 100-110 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  167. Using parallel corpora for word sense disambiguation

    Shahid, A. R. & Kazakov, D. L., 2013, RANLP-13. Hissar, Bulgaria

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  168. Using observation ageing to improve Markovian model learning in QoS engineering

    Calinescu, R. C., Johnson, K. H. A. & Rafiq, Y., 2011, Proceedings of the 2nd ACM/SPEC International Conference on Performance Engineering. p. 505 510 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  169. Using neural networks for strategy selection in real-time strategy games

    Randall, T., Cowling, P., Baker, R. & Jiang, P., 2009, AISB 2009 Symposium: AI and Games, Edinburgh, Scotland, 8th-9th April.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  170. Using neural networks as part of a system to recognise formations of aircraft

    Zanelli, P. R. & Austin, J., 1997, FIFTH INTERNATIONAL CONFERENCE ON ARTIFICIAL NEURAL NETWORKS. EDISON: INST ELECTRICAL ENGINEERS INSPEC INC, p. 152-157 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  171. Using multi-objective artificial immune systems to find core collections based on molecular markers

    Schlottfeldt, S., Carvalho, A. C. P. L. F., Walter, M. E. M. T., Telles, M. P. C., Timmis, J. & Diniz-Filho, J. A. F., 11 Jul 2015, GECCO 2015 - Proceedings of the 2015 Genetic and Evolutionary Computation Conference. Association for Computing Machinery, Inc, p. 1271-1278 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  172. Using model checking to validate style-specific architectural refactoring patterns

    Stephenson, Z. & McDermid, J., 2007, 31ST IEEE SOFTWARE ENGINEERING WORKSHOP, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 53-62 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  173. Using mobile robotic agents to increase service availability and extend network lifetime on WSRNs

    Caliskanelli, I. & Indrusiak, L. S., 2014, Proceedings - 2014 12th IEEE International Conference on Industrial Informatics, INDIN 2014. Institute of Electrical and Electronics Engineers Inc., p. 388-393 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  174. Using maximum entropy in a defeasible logic with probabilistic semantics

    Cussens, J. & Hunter, A., 1993, IPMU'92 - Advanced Techniques in Artificial Intelligence. Bouchon-Meunier, B., Valverde, L. & Yager, R. R. (eds.). Lecture Notes in Computer Science 682, Springer-Verlag, p. 43-52 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  175. Using harmonic task-sets to increase the schedulable utilization of cache-based preemptive real-time systems

    Busquets-Mataix, J. V., Serrano, J. J., Ors, R., Gil, P. J. & Wellings, A. J., 1996, Third International Workshop on Real-Time Computing Systems Application (RTCSA '96), October 30 - November 01, 1996, Seoul, Korea. IEEE Computer Society, p. 195-202 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  176. Using hardware methods to improve time-predictable performance in real-time Java systems

    Whitham, J., Audsley, N. C. & Schoeberl, M., 2009, Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2009, Madrid, Spain, September 23-25, 2009. Higuera-Toledano, M. T. & Schoeberl, M. (eds.). ACM, p. 130-139 10 p. (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  177. Using fuzzy self-organising maps for safety critical systems

    Kurd, Z. & Kelly, T. P., 2004, COMPUTER SAFETY, RELIABILITY, AND SECURITY, PROCEEDINGS. Heisel, M., Liggesmeyer, P. & Wittmann, S. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 17-30 14 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  178. Using document dimensions for enhanced information retrieval

    Jayasooriya, T. & Manandhar, S., 2004, APPLIED COMPUTING, PROCEEDINGS. Manandhar, S., Austin, J., Desai, U., Oyanagi, Y. & Talukder, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 145-152 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  179. Using defeasible logic for a window on a probabilistic database: some preliminary notes

    Cussens, J. & Hunter, A., 1991, Symbolic and Quantitative Approaches for Uncertainty. Kruse, R. & Seigel, P. (eds.). Springer, Vol. 548. p. 146-152 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  180. Using card sorts for understanding website information architectures: technological, methodological and cultural issues

    Petrie, H., Power, C., Cairns, P. & Seneler, C., 2011, Human-Computer Interaction – INTERACT 2011 : 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings, Part IV. Berlin, Heidelberg: Springer-verlag, p. 309-322 14 p. (Lecture Notes in Computer Science; vol. 6949).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  181. Using bugs and viruses to teach artificial intelligence

    Cowling, PI., Fennell, R., Hogg, R., King, G., Rhodes, P. & Sephton, N., 2004, Proceedings of The International Conference on Computer Games: Artificial Intelligence, Design and Education (CGAIDE).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  182. Using association rule mining to predict opponent deck content in android: Netrunner

    Sephton, N., Cowling, P. I., Devlin, S., Hodge, V. J. & Slaven, N. H., 20 Sep 2016, 2016 IEEE Conference on Computational Intelligence and Games, CIG 2016. IEEE Computer Society Press, 7860399

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  183. Using ants to attack a classical cipher

    Russell, M., Clark, J. A. & Stepney, S., 2003, GENETIC AND EVOLUTIONARY COMPUTATION - GECCO 2003, PT I, PROCEEDINGS. CantuPaz, E., Foster, JA., Deb, K., Davis, LD., Roy, R., OReilly, UM., Beyer, HG., Standish, R., Kendall, G., Wilson, S., Harman, M., Wegener, J., Dasgupta, D., Potter, MA., Schultz, AC., Dowsland, KA., Jonoska, N. & Miller, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 146-147 2 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  184. Using agent-based modelling approaches to support the development of safety policy for systems of systems

    Hall-May, M. & Kelly, T., 2006, COMPUTER SAFETY, RELIABILTIY, AND SECURITY, PROCEEDINGS. Gorski, J. (ed.). BERLIN: SPRINGER-VERLAG BERLIN, p. 330-343 14 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  185. Using a model merging language for reconciling model versions

    Engel, K-D., Paige, R. F. & Kolovos, D. S., 2006, MODEL DRIVEN ARCHITECTURE - FOUNDATIONS AND APPLICATIONS, PROCEEDINGS. Rensink, A. & Warmer, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 143-157 15 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  186. Using a Software Safety Argument Pattern Catalogue: Two Case Studies

    Hawkins, R. D., Clegg, K. D., Alexander, R. & Kelly, T., Sep 2011, Computer Safety, Reliability, and Security: Proceedings of the 30th international conference on Computer safety, reliability, and security. Berlin: SPRINGER-VERLAG BERLIN, Vol. 6894. p. 185-198 14 p. (Lecture Notes in Computer Science; vol. 6894).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  187. Using UML to Model EAE and Its Regulatory Network

    Read, M., Timmis, J., Andrews, P. S. & Kumar, V., 2009, ARTIFICIAL IMMUNE SYSTEMS, PROCEEDINGS. Andrews, PS., Timmis, J., Owens, NDL., Aickelin, U., Hart, E., Hone, A. & Tyrrell, AM. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5666 LNCS. p. 46 3 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  188. Using Sensitivity Analysis to Facilitate the Maintenance of Safety Cases

    Jaradat, O., Bate, I. & Punnekkat, S., 2015, Reliable Software Technologies – Ada-Europe. p. 162-176 15 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  189. Using Semi-automatic 3D Scene Reconstruction to Create a Digital Medieval Charnel Chapel

    Hadley, D., Shui, W., Maddock, S., Heywood, P., Craig-Atkins, E., Crangle, J. & Scott, R., 3 Nov 2016, CGVC '16 Proceedings of the conferece on Computer Graphics & Visual Computing. Bournmouth: Eurographics Association, p. 87-94

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  190. Using Safety Critical Artificial Neural Networks in gas turbine aero-engine control

    Kurd, Z. & Kelly, T. P., 2005, COMPUTER SAFETY, RELIABILITY, AND SECURITY, PROCEEDINGS. Winther, R., Gran, BA. & Dahll, G. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 136-150 15 p. (Lecture Notes in Computer Science; vol. 3688).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  191. Using Safety Contracts to Guide the Maintenance of Systems and Safety Cases

    Jaradat, O. T. S. & Bate, I., 28 Nov 2017, Proceedings - 2017 13th European Dependable Computing Conference, EDCC 2017. Institute of Electrical and Electronics Engineers Inc., p. 95-102 8 p. 8123558

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  192. Using Prior Probabilities and Density Estimation for Relational Classification

    Cussens, J., 1998, Inductive Logic Programming: Proceedings of the 8th International Conference (ILP-98). Page, D. (ed.). SPRINGER, Vol. 1446. p. 106-115 10 p. (Lecture Notes in Artificial Intelligence).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  193. Using Photo Diaries to Elicit User Requirements from Older Adults: A Case Study on Mobility Barriers

    Swallow, D., Petrie, H., Power, C. D. & Edwards, A. D. N., 2015, Human-Computer Interaction. Springer, p. 147-164 18 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  194. Using Model Transformation to Generate Graphical Counter-Examples for the Formal Analysis of xUML Models

    Santos, O. M. D., Woodcock, J. & Paige, R. F., 2011, 16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, Las Vegas, Nevada, USA, 27-29 April 2011. Perseil, I., Breitman, K. & Sterritt, R. (eds.). IEEE Computer Society Press, p. 117-126 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  195. Using Job Advertisements to inform curricula design for the Key Global Challenges

    Ward, T., Baruah, B. J. & Gbadebo, A., Jun 2015, 14th International Conference on Information Technology based Higher Education and Training (ITHET). Lisbon: IEEE, 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  196. Using Inductive Logic Programming for Natural Language Processing

    Cussens, J., Page, D., Muggleton, S. & Srinivasan, A., 1997, ECML'97 -- Workshop Notes on Empirical Learning of Natural Language Tasks. Daelemans, W., Weijters, T. & Bosch, A. V. D. (eds.). Prague: University of Economics, Prague, p. 25-34 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  197. Using Genetic Algorithms to Map Hard Real-Time NoC-based Systems

    Racu, A. & Indrusiak, L. S., 2012, 2012 7th International Workshop on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC). Indrusiak, LS., Gogniat, G. & Voros, N. (eds.). NEW YORK: IEEE, p. - 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  198. Using GAs to create a waveguide model of the oral vocal tract

    Cooper, C. H. V., Howard, D. M. & Tyrrell, A. M., 2004, APPLICATIONS OF EVOLUTIONARY COMPUTING. Raidl, GR. (ed.). BERLIN: SPRINGER-VERLAG BERLIN, p. 280-288 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  199. Using Feedback to Regulate Gene Expression in a Developmental Control Architecture

    Clegg, K., Stepney, S. & Clarke, T., 2007, GECCO 2007: GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, VOL 1 AND 2. NEW YORK: ASSOC COMPUTING MACHINERY, p. 966-973 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  200. Using Feedback Control Within WSN's to Meet Application Requirements

    Fairbairn, M. L. & Bate, I., 1 May 2013, 5th Workshop on Performance Control in Wireless Sensor Networks 2013 (PWSN2013). Cambridge, USA

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  201. Using Design of Experiments to Optimise a Decision of Sufficient Testing

    Malekzadeh, M., Bate, I. & Punnekkat, S., 1 Aug 2015, Software Engineering and Advanced Applications (SEAA): 2015 41st Euromicro Conference on Software Engineering and Advanced Applications. IEEE, p. 53-60 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  202. Using Contracts to Guide the Search-Based Verification of Concurrent Programs

    Poskitt, C. M. & Poulding, S. M., 2013, Proceedings of SSBSE 2013. Vol. 8084 LNCS. p. 263-268 (Lecture Notes in Computer Science; vol. 8084).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  203. Using Cognitive Radio to Deliver 'Green' Communications

    Grace, D., Chen, J., Jiang, T. & Mitchell, P. D., 2009, 2009 4TH INTERNATIONAL CONFERENCE ON COGNITIVE RADIO ORIENTED WIRELESS NETWORKS AND COMMUNICATIONS. NEW YORK: IEEE, p. 341-346 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  204. Using Coevolution and Gradient-based learning for the Virus Game

    Naveed, M. H. & Cowling, P. I., 2006, Proceedings of the 2006 international conference on Game research and development. p. 283-287 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  205. Using Bayes Theorem for Path Prediction

    Baker, R., Cowling, P., Randall, T. & Jiang, P., 2008, 9th Informatics Research Workshop for Research Students, University of Bradford, UK.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  206. Using An Embedded Programmable Logic Controller As A Flexible Interface In Industrial Control Systems

    Dawson, J. F., 1 Apr 1991, Advances in Supervisory Control and Data Acquisition. p. 9-18 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  207. Uses and Gratifications of Initiating Use of Gamifed Learning Platforms

    van Roy, R., Deterding, C. S. & Zaman, B., 20 Apr 2018, CHI'18 Extended Abstracts. New York, LBW565

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  208. User-centric JT-CoMP for high altitude platforms

    Zakaria, M. D. B., Grace, D., Mitchell, P. D. & Al-Shami, T., 3 Dec 2018, International Conference on Software, Telecommunications and Computer Networks (SOFTCOM) 13/09/18 → 15/09/18.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  209. User powered games for research

    Kirman, B., Casey, S., Lawson, S. & Rowland, D., 1 Nov 2008, ACM Games Design and Technology Workshop and Conference (GDTW).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  210. User modelling for personalized question answering

    Quarterom, S. & Manandhar, S., 2007, AI(ASTERISK)IA 2007: ARTIFICIAL INTELLIGENCE AND HUMAN-ORIENTED COMPUTING. Basili, R. & Pazienza, MT. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 386-397 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  211. User Reviews of Gamepad Controllers: a Source of User Requirements and User Experience

    Merdenyan, B. & Petrie, H., 4 Oct 2015, Proceedings of the 2015 Annual Symposium on Computer-Human Interaction in Play. ACM, p. 643 - 648 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  212. User Name Disambiguation in Community Question Answering

    Yang, B. & Manandhar, S., 2015, Proceedings of Recent Advances in Natural Language Processing (RANLP 2015). The Association for Computational Linguistics, p. 707-713 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  213. User Experience for Model-Driven Engineering: Challenges and Future Directions

    Abrahao, S., Bourdeleau, F., Cheng, B., Kokaly, S., Paige, R., Stoerrle, H. & Whittle, J., 7 Nov 2017, Proceedings - ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems, MODELS 2017. Institute of Electrical and Electronics Engineers Inc., p. 229-236 8 p. 8101269

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  214. User Behaviour Based Phishing Websites Detection

    Dong, X., Clark, J. A. & Jacob, J. L., 2008, 2008 INTERNATIONAL MULTICONFERENCE ON COMPUTER SCIENCE AND INFORMATION TECHNOLOGY (IMCSIT), VOLS 1 AND 2. Ganzha, M., Paprzycki, M. & PelechPilichowski, T. (eds.). NEW YORK: IEEE, Vol. 3. p. 728-735 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  215. Use of recursive filters to model thin layers in time-domain numerical methods

    Dawson, J. F., Cole, J. A. & Porter, S. J., 1995, COST243 Meeting on "Numerical methods in EMC", Hamburg, June 8/9, 1995. p. 137-142

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  216. Use of amino acids and amino acid racemization for age determination in archaeometry

    Csapo, J., Collins, M., Csapo-Kiss, Z., Varga-Visi, E., Pohn, G. & Csapo, J., 2004, PROGRESS IN BIOLOGICAL CHIRALITY. AMSTERDAM: ELSEVIER SCIENCE BV, p. 65-78 14 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  217. Use of a Genetic Algorithm in Modelling Small Structures in Airframes: Characterising and modelling joints, seams, and apertures

    Xia, R., Dawson, J. F., Flintoft, I., Marvin, A. & Porter, S. J., 2012, 2012 International Symposium on Electromagnetic Compatibility (EMC EUROPE). IEEE, 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  218. UoY: Graphs of Unambiguous Vertices for Word Sense Induction and Disambiguation

    Korkontzelos, I. & Manandhar, S., 2010, Proceedings of the 5th International Workshop on Semantic Evaluation, SemEval@ACL 2010, Uppsala University, Uppsala, Sweden, July 15-16, 2010. p. 355-358 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  219. Untersuchung zur Validität von Hörversuchen im Internet

    Pysiewicz, A. & Egermann, H., 2014, Fortschritte der Akustik - DAGA 2014. Deutsche Gesellschaft für Akustik, p. 788-789 2 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  220. Unsynchronised dual-hop scheduling for practical data gathering in underwater sensor networks

    Morozs, N., Mitchell, P. D. & Zakharov, Y., 18 Oct 2018, Underwater Communications and Networking (UCOMMS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  221. Unsupervised spectral feature selection for face recognition

    Zhang, Z. & Hancock, E. R., 2012, 21st International Conference on Pattern Recognition. p. 1787-1790 6460498

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  222. Unsupervised Spectral Feature Selection for Face Recognition

    Zhang, Z. H. & Hancock, E. R., 2012, Proceedings 21st International Conference on Pattern Recognition . IEEE Computer Society Press, p. 1787-1790 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  223. Unsupervised Feature Selection via Hypergraph Embedding

    Zhang, Z. H. & Hancock, E. R., Sep 2012, Proceedings British Machine Vision Conference 2012. Bowden, R., Collmose, J. & Mikolajczyk, K. (eds.). BMVA Press, p. 39.1--39.11. 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  224. Unsupervised Feature Selection by Graph Optimization

    Zhang, Z., Bai, L., Liang, Y. & Hancock, E. R., 2015, Image Analysis and Processing - ICIAP 2015 :18th International Conference, Genoa, Italy, September 7-11, 2015, Proceedings, Part I. Murino, V. & Puppo, E. (eds.). SPRINGER, p. 130-140 11 p. (Lecture Notes in Computer Science; vol. 9279).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  225. Unpacking how supply chain disruption risks influencing sourcing strategy: An empirical investigation into thailand beverage industry

    Tse, Y. K., Tan, K. H. & Sato, Y., 2012, IWSPE.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  226. Unlimited editions: three approaches to the dissemination and display of digital art

    Blythe, M., Briggs, J., Hook, J. D., Wright, P. C. & Olivier, P., 2013, Proceedings of the ACM Conference on Human Factors in Computing Systems. Association for Computing Machinery (ACM), p. 139-148

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  227. Universities of York and Hull joint Master's degree in EMC

    Marvin, A., Aug 1992, IEEE International Symposium on EMC 1992. Anaheim CA, p. 158-163 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  228. Universal Design: Everyone has Special Needs

    Bergman, E., Edwards, A. D. N., Kaplan, D., Lowney, G., Raman, T. V. & Johnson, E., 1996, CHI Conference Companion. p. 153-154 2 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  229. Units of interaction: Tone units or Turn Constructional Phrases?

    Szczepek Reed, B. B., 2010, Conference Proceedings: Interface Discourse and Prosody. University of Chicago Press

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  230. Unifying theories in ProofPower-Z

    Oliveira, M., Cavalcanti, A. & Woodcock, J., 2006, UNIFYING THEORIES OF PROGRAMMING. Dunne, S. & Stoddart, B. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 123-140 18 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  231. Unifying heterogeneous state-spaces with lenses

    Foster, S., Zeyda, F. & Woodcock, J., 24 Oct 2016, Theoretical Aspects of Computing - ICTAC 2016, 13th International Colloquium, Proceedings. Wang, F. & Sampaio, A. (eds.). Springer Verlag, p. 295-314 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9965 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  232. Unifying Theories of Undefinedness in UTP

    Woodcock, J. & Bandur, V., 2012, Unifying Theories of Programming, 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers. Wolff, B., Gaudel, M-C. & Feliachi, A. (eds.). Heidelberg: SPRINGER, Vol. 7681. p. 1-22 22 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  233. Unifying Theories of Programming in Isabelle

    Foster, S. & Woodcock, J., 2013, Unifying Theories of Programming and Formal Engineering Methods - International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures. Liu, Z., Woodcock, J. & Zhu, H. (eds.). SPRINGER, Vol. 8050. p. 109-155 47 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  234. Unifying Theories of Logic and Specification

    Bandur, V. & Woodcock, J., 2013, Formal Methods: Foundations and Applications - 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings. Iyoda, J. & Moura, L. M. D. (eds.). SPRINGER, Vol. 8195. p. 18-33 16 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  235. Uniform Boilerplate and List Processing Or: Scrap Your Scary Types

    Mitchell, N. & Runciman, C., 2007, HASKELL'07: PROCEEDINGS OF THE ACM SIGPLAN 2007 HASKELL WORKSHOP. NEW YORK: ASSOC COMPUTING MACHINERY, p. 49-60 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  236. Unexpected and sustained symmetry in the repopulation programs displayed by clonally amplified hematopoietic stem cells.

    Dykstra, B., Kent, D., Hamilton, M., Kristiansen, M., Lyons, K., McCaffrey, L., Russell, S. & Eaves, CJ., 16 Nov 2006, BLOOD. Vol. 108. p. 471A-471A

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  237. Une décennie de Modifications des Approches d’archéologie Programmée et Préventive en Préhistoire Récente dans le Département des Hautes-Alpes (1998-2012): A decade of modifying research methods and approaches in research and field archaeology in the Hautes Alpes Department (1998 - 2012)

    Margarit, X., Mocci, F., Tzortis, S., Walsh, K. J. & Voyez, C., 2014, Méthodologie des recherches de terrain sur la Préhistoire récente en France: nouveaux acquis, nouveaux outils, 1987-2012 : actes des Premières Rencontres Nord-Sud de Préhistoire récente.. Toulouse: Éditions Archives d’Écologie Préhistorique, p. 57 -72

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  238. Underworld encounters: recent archaeological research at the Covesea Caves

    Buster, L. S. & Armit, I., 2018, Forgotten, Hidden and Lost: Unearthing Moray’s Archaeology.: Proceedings of the Elgin Museum Archaeology Conference 2017. Elgin: The Moray Society, p. 100-106

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  239. Understanding visitors' experiences with multimedia guides in cultural spaces

    Othman, M. K., Petrie, H. & Power, C. D., 2010, Proceedings of Transforming Culture in the Digital Age (International Conference in Tartu, April 14--16), Tartu, Estonia. Estonian National Museum, Estonian Literary Museum, University of Tartu, p. 30-36

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  240. Understanding the lived experience of five individuals with mobility aids

    Walsh, T. & Petrie, H., 21 Aug 2016, Universal Design 2016: Learning from the past, designing for the future (Proceedings of the 3rd International Conference on Universal Design, UD2016). Petrie, H., Darzentas, J., Walsh, T., Swallow, D., Sandoval, L., Lewis, A. & Power, C. (eds.). Amsterdam: IOS Press, p. 582 - 593 12 p. (Studies in Health Technology and Informatics; vol. 229).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  241. Understanding the Safety Lifecycle of Systems of Systems

    Despotou, G. & Kelly, T., 2010, 28th International System Safety Conference (ISSC).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  242. Understanding and supporting web developers: design and evaluation of a web accessibility information resource (WebAIR)

    Swallow, D. M., Petrie, H. & Power, C. D., 21 Aug 2016, Universal Design 2016: Learning from the past, designing for the future (Proceedings of the 3rd International Conference on Universal Design, UD2016). Amsterdam: IOS Press, Vol. 229. p. 482-491 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  243. Understanding and harnessing self-organization

    Santini, C. C. & Tyrrell, A., 2006, 2007 IEEE SYMPOSIUM ON ARTIFICIAL LIFE. NEW YORK: IEEE, p. 192-198 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  244. Understanding and Supporting the Needs of Educational Professionals Working with Students with Disabilities and Mature Age Students

    Swallow, D., Petrie, H. & Power, C., 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. 486-491 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  245. Understanding Engagement within the Context of a Safety Critical Game

    Hart, J., Iacovides, I., Adams, A., Oliveira, M. & Magroudi, M., 1 Oct 2017, The ACM SIGCHI Annual Symposium on Computer-Human Interaction in Play (CHIPLAY 2017). p. 253-264

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  246. Understanding Behavioural Tradeoffs In Large-Scale Sensornet Design

    Tate, J. & Bate, I., 1 May 2009, IEEE International Workshop on Quantitative Evaluation of Large-Scale Systems and Technologies. NEW YORK: IEEE Computer Society Press, p. 1085-1091 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  247. Unconventional arithmetic: A system for computation using action potentials

    Edwards, J., O'Keefe, S. & Henderson, W. D., 1 Jan 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer-Verlag, Vol. 8553 LNCS. p. 155-163 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8553 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  248. Uncertainties due to cross-polar coupling in GTEM cell emission measurements

    Marvin, A. & Nothofer, A., 14 Sep 1998, Proceedings of EMC Roma '98. Rome

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  249. Uncalibrated two-view metrology

    Liang, B. J., Chen, Z. Z. & Pears, N., 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. 96-99 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  250. Umberto Eco et les interrogations de Bernard Gui

    Biller, P. P. A., 2004, Inquisition et Pouvoir. Aix-en-Provence: Université de Provence, p. 257-269 13 p. (Le Temps de l'Histoire).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  251. Ultrafast resonant soft X-ray scattering in manganites: Direct measurement of time-dependent orbital order

    Ehrke, H., Tobey, R. I., Wall, S., Cavill, S. A., Prabhakaran, D., Boothroyd, A. T., Gensch, M., Reutler, P., Revcolevschi, A., Dhesi, S. S. & Cavalleri, A., 1 Dec 2010, Optics InfoBase Conference Papers.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  252. Ultrafast magnetism as seen by x-rays

    Radu, I., Vahaplar, K., Stamm, C., Kachel, T., Pontius, N., Radu, F., Abrudan, R., Dürr, H., Ostler, T., Barker, J., Evans, R., Chantrell, R., Tsukamoto, A., Itoh, A., Kirilyuk, A., Rasing, T., Kimel, A. & Evans, R. F. L., 23 Mar 2012, Proceedings of SPIE - The International Society for Optical Engineering. Vol. 8260. 82601M

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  253. Ultrafast laser plasma assisted rare-earth doping for silicon photonics

    Jose, G., Chandrappan, J., Kamil, S. A., Murray, M., Zolnai, Z., Agocs, E., Petrik, P., Steenson, P. & Krauss, T., 16 Dec 2016, 2016 Conference on Lasers and Electro-Optics, CLEO 2016. Institute of Electrical and Electronics Engineers Inc., 7787390

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  254. Ultrafast demagnetization rates in two-component magnetic materials

    Chubykalo-Fesenko, O., Atxitia, U., Nieves, P., Barker, J. & Chantrell, R. W., 1 Jan 2015, Ultrafast Magnetism I: Proceedings of the International Conference UMC 2013 Strasbourg, France, October 28th - November 1st, 2013. Springer Science and Business Media, LLC, p. 251-254 4 p. (Springer Proceedings in Physics; vol. 159).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  255. Ultra-low phase noise crystal oscillators

    Everard, J. & Ng, K., 2007, PROCEEDINGS OF THE 2007 IEEE INTERNATIONAL FREQUENCY CONTROL SYMPOSIUM-JOINTLY WITH THE 21ST EUROPEAN FREQUENCY AND TIME FORUM, VOLS 1-4. NEW YORK: IEEE, ELECTRON DEVICES SOC & RELIABILITY GROUP, p. 1246-1250 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  256. Ultra-low phase noise ceramic based dielectric resonator oscillators

    Everard, J. & Theodoropoulos, K., 2006, Proceedings of the 2006 IEEE International Frequency Control Symposium and Exposition, Vols 1 and 2. NEW YORK: IEEE, p. 869-874 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  257. Ubiquitous access to reconfigurable hardware: Application scenarios and implementation issues

    Indrusiak, L. S., Lubitz, F., Reis, R. & Glesner, M., 2003, DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 940-945 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  258. UTP Designs for Binary Multirelations

    De Oliveira Salazar Ribeiro, P. F. & Cavalcanti, A. L. C., 2014, Theoretical Aspects of Computing: ICTAC 2014. 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings. Ciobanu, G. & Méry, D. (eds.). SPRINGER, Vol. 8687. p. 388-405 18 p. (Lecture Notes in Computer Science; vol. 8687).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  259. USING INTEGRAL EQUATION METHODS TO INCORPORATE OPEN-AREA TEST SITE EFFECTS IN FINITE MODELLING TECHNIQUES

    Porter, S. J., Dawson, J. F. & Marvin, A. C., 1994, NINTH INTERNATIONAL CONFERENCE ON ELECTROMAGNETIC COMPATIBILITY. STEVENAGE HERTS: INST ELECTRICAL ENGINEERS INSPEC INC, p. 241-245 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  260. USER MODELING BY CLASSIFICATION - A NEURAL-BASED APPROACH

    Beale, R., Finlay, J., Austin, J. & Harrison, M., 1989, NEW DEVELOPMENTS IN NEURAL COMPUTING. TAYLOR, JG. & MANNION, CLT. (eds.). BRISTOL: ADAM HILGER LTD, p. 103-110 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  261. URBAN FOXES (VULPES-VULPES): FOOD ACQUISITION, TIME AND ENERGY BUDGETING OF A GENERALIZED PREDATOR

    SAUNDERS, G., WHITE, P. C. L., HARRIS, S. & RAYNER, J. M. V., 1993, MAMMALS AS PREDATORS. Dunstone, N. & Gorman, ML. (eds.). OXFORD: Oxford University Press, p. 215-234 20 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  262. ULTRA LOW NOISE MICROWAVE OSCILLATORS WITH LOW RESIDUAL FLICKER NOISE

    Everard, J. K. A. & Pagejones, M., 1995, 1995 IEEE MTT-S INTERNATIONAL MICROWAVE SYMPOSIUM DIGEST, VOLS 1-3. Kirby, L. (ed.). NEW YORK: I E E E, p. 693-696 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  263. UBB mining: Finding Unexpected Browsing Behaviour in clickstream data to improve a web site's design

    Ting, I. H., Kimble, C. & Kudenko, D., 2005, 2005 IEEE/WIC/ACM International Conference on Web Intelligence, Proceedings. LOS ALAMITOS: IEEE COMPUTER SOC, p. 179-185 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  264. Types of problems elicited by verbal protocols for blind and sighted participants

    Savva, A., Petrie, H. & Power, C. D., 13 Jul 2016, Proceedings of the 15th International Conference on Computers Helping People with Special Needs. Springer, (Lecture Notes in Computer Science; vol. 9758).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  265. Type inference in flexible model-driven engineering

    Zolotas, A., Matragkas, N., Devlin, S., Kolovos, D. S. & Paige, R. F., 2015, Modelling Foundations and Applications : 11th European Conference, ECMFA 2015 Held as Part of STAF 2015, Proceedings. Springer-Verlag, Vol. 9153. p. 75-91 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9153).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  266. Type Inference Using Concrete Syntax Properties in Flexible Model-Driven Engineering

    Zolotas, A., Matragkas, N. D., Devlin, S., Kolovos, D. S. & Paige, R. F., 2015, Proceedings of the Workshop on Flexible Model Driven Engineering co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages Systems (MoDELS 2015), Ottawa, Canada, September 29, 2015.. p. 22-31 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  267. Two-way registration: A fast handoff scheme for IPV4 macro-mobility management

    Zhang, J., Pearce, D. A. J. & Tozer, T. C., 2004, 2004 IEEE 15TH INTERNATIONAL SYMPOSIUM ON PERSONAL, INDOOR AND MOBILE RADIO COMMUNICATIONS, VOLS 1-4, PROCEEDINGS. NEW YORK: IEEE, p. 1252-1256 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  268. Two-way non-coherent Physical-Layer Network Coded differential distributed space-time block coding

    Zhu, K. & Burr, A. G., 21 Aug 2013, IEEE Wireless Communications and Networking Conference, WCNC. p. 2416-2421 6 p. 6554939

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  269. Two-stage visual localisation: Landmark-based pose initialisation and model-based pose refinement

    Chen, Z. Z., Pe, P., McDermid, J. & Pears, N., 2005, 2005 IEEE/RSJ International Conference on Intelligent Robots and Systems, Vols 1-4. NEW YORK: IEEE, p. 3763-3769 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  270. Two-pion production in the ΔΔ region: Is the ABC-effect the result of a resonance in the pn ↔ ΔΔ system?

    Bashkanov, M., Clement, H., Khakimova, O., Kren, F., Pricking, A., Skorodko, T. & Wagner, G. J., 1 Dec 2007, Meson Physics at COSY-11 and WASA-at-COSY - An International Symposium. Vol. 950. p. 256-258 3 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  271. Two-pion production in proton-proton collisions

    Skorodko, T., Bashkanov, M. & Doroshkevich, H. C. E., 1 Dec 2011, International PrimeNet Workshop. p. 103-105 3 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  272. Two-pion production in isoscalar nn collisions: Abc effect and resonance

    Bashkanov, M., Clement, H., Doroshkevich, E., Del Rio, E. P., Pricking, A. & Skorodko, T., 1 Dec 2011, International PrimeNet Workshop. p. 96-99 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  273. Two-pass heap profiling: A matter of life and death

    Runciman, C. & Rojemo, N., 1997, IMPLEMENTATION OF FUNCTIONAL LANGUAGES. Kluge, W. (ed.). BERLIN 33: SPRINGER-VERLAG BERLIN, p. 222-232 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  274. Two-direction methods for variable demand traffic assignment

    Gordon, A., Springham, J., Skrobanski, G., Smith, M., Woods, A., Lv, Q., Salis, A. & Heydecker, B. (ed.), 2005, Fourth IMA International Conference on Mathematics in Transport. Elsevier Science, p. 71-96 25 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  275. Two-Pion Production in Protona Proton Collisions

    Bashkanov, M., Abdel-Samad, S., Brinkmann, K. T., Calén, H., Cappellaro, F., Clement, H., Demiroers, L., Doroshkevich, E., Dshemuchadse, S., Ekström, C., Erhardt, A., Eyrich, W., Fransson, K., Freiesleben, H., Fritsch, M., Gillitzer, A., Gustafsson, L., Hoïstad, B., Jacewicz, M., Johansson, T. & 32 others, Karsch, L., Keleta, S., Kilian, K., Koch, I., Kress, J., Kuhlmann, E., Kullander, S., Kupsc, A., Marcello, S., Marciniewski, P., Meier, R., Möller, K., Morosov, B., Morsch, H. P., Pauly, C., Petukhov, Y., Roderburg, E., Schönmeier, P., Schröder, W., Schulte-Wissermann, M., Scobel, W., Sefzick, T., Skorodko, T., Stepaniak, J., Wagner, G. J., Wagner, M., Wiedner, U., Wintz, P., Wüstner, P., Zabierowski, J., Zlomanczuk, J. & Zupranski, P., 30 Aug 2004, Hadron Spectroscopy: 10th International Conference on Hadron Spectroscopy. American Institute of Physics Inc., Vol. 717. p. 241-244 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  276. Two-Particle Separation Energies in the Superdeformed Well

    Wilson, A. N., Korichi, A., Siem, S., Astier, A., Bazzacco, D., Bednarczyk, P., Bergstrom, M. H., Chmel, S., Cullen, D. M., Davidson, P. M., Goergen, A., Hannachi, F., Huebel, H., Kintz, N., Lauritsen, T., Lopez-Martens, A., Lunardi, S., Naguleswaran, S., Nyako, B. M., Rejmund, M. & 6 others, Schoenwasser, G., Schueck, C., Sharpey-Schafer, J. F., Timar, J., Wadsworth, R. & Libert, J., 2011, INTERNATIONAL NUCLEAR PHYSICS CONFERENCE 2010 (INPC): NUCLEAR STRUCTURE. BRISTOL: IOP PUBLISHING LTD, 6 p. (Journal of Physics Conference Series; vol. 312).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  277. Two level, in-band/out-of-band modelling RF interference effects in integrated circuits and electronic systems

    Whyman, N. L. & Dawson, J. F., 1 Jul 1999, EUROEM 2000, Euro Electromagnetics, Edinburgh, 30th May - 2nd June 2000. p. 135-139

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  278. Two Versions of the Fifth Symphony: A Study in Compositional Process

    Howell, T., 1995, Proceedings from the First International Jean Sibelius Conference, August, 1990, . Sibelius Academy, Helsinki

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  279. Twisted beams, chirality and angular momentum

    Andrews, D. L., Romero, L. C. D. & Babiker, M., 1 Jan 2003, 2003 European Quantum Electronics Conference, EQEC 2003. Institute of Electrical and Electronics Engineers Inc., 1 p. 1314195. (2003 European Quantum Electronics Conference, EQEC 2003).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  280. Tutorials

    Nelson, M. J., Burelli, P., Karpouzis, K., Lucas, S. & Cowling, P., 2012, 2012 IEEE Conference on Computational Intelligence and Games (CIG). p. F-1

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  281. Turkish plural nouns are number-neutral: experimental data

    Renans, A., Tsoulas, G., Folli, R., Ketrez, N., Tieu, L., De Vries, H. & Romoli, J., 2017, Proceedings of the 21st Amsterdam Colloquium. Cremers, A., van Gessel, T. & Roelofsen, F. (eds.). p. 365-375 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  282. Turbo multiuser receiver for space-time turbo coded downlink CDMA

    Shen, J. & Burr, A. G., 2003, 57TH IEEE VEHICULAR TECHNOLOGY CONFERENCE, VTC 2003-SPRING, VOLS 1-4, PROCEEDINGS. NEW YORK: IEEE, p. 1099-1103 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  283. Turbo joint multiuser detection and channel estimation for space-time turbo coded TDMA systems

    Shen, J., Mai, H. & Burr, A. G., 2004, VTC2004-SPRING: 2004 IEEE 59TH VEHICULAR TECHNOLOGY CONFERENCE, VOLS 1-5, PROCEEDINGS. NEW YORK: IEEE, p. 1693-1697 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  284. Tuning the performance of the MMAS heuristic

    Ridge, E. & Kudenko, D., 2007, Engineering Stochastic Local Search Algorithms: Designing, Implementing and Analyzing Effective Heuristics. Stutzle, T., Birattari, M. & Hoos, HH. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 46-60 15 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  285. Tuning Protocols To Improve The Energy Efficiency Of Sensornets

    Tate, J., Bate, I. & Poulding, S., 1 Sep 2008, Fourth UK Embedded Forum.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  286. Tuning Complex Sensornet Systems Using Principled Engineering Methods

    Tate, J. & Bate, I., 2009, 16TH ANNUAL IEEE INTERNATIONAL CONFERENCE AND WORKSHOP ON THE ENGINEERING OF COMPUTER BASED SYSTEMS, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 275-284 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  287. Tuning Complex Sensornet Systems Using Principled Engineering Methods

    Tate, J. & Bate, I., 1 Apr 2009, Proceedings of the 16th Annual IEEE International Conference and Workshop on the Engineering of Computer-Based Systems. Los Alamitos, CA: IEEE Computer Society Press, p. 275-284 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  288. TryFilm: Situated Support for Interactive Media Productions

    Bartindale, T., Schofield, G. P., Crivellaro, C. & Wright, P. C., 27 Feb 2016, Proceedings of the 19th ACM Conference on Computer-Supported Cooperative Work & Social Computing. Association for Computing Machinery (ACM), (CSCW '16 Proceedings of the 19th ACM Conference on Computer-Supported Cooperative Work & Social Computing).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  289. Treatment of extravasation injuries in infants and young children: a systematic scoping review and survey of nhs practice

    Corbett, M. S., Marshall, D., Oddie, S., Harden, M., Phillips, R. & McGuire, W., Mar 2018, Archives of Disease in Childhood. G195(P)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  290. Treaties: Behaviour-Controlling Capabilities

    Zhao, Y. & Wood, A. M., 2011, Proc. 2nd Annual International Conference on Advances in Distributed and Parallel Computing (ADPC 2011). Global Science and Technology Forum, p. 19-24

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  291. Travelling-wave Modelling of Optical Feedback Effect on Mode-Locked Laser Diodes and its Reduction by Amplifier-Absorber Modules

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

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  292. Travelling processes

    Tang, X. & Woodcock, J., 2004, Mathematics of Program Construction, MPC 2004 Proceedings. Berlin / Heidelberg: Springer, p. 381-399 18 p. (Lecture Notes in Computer Science; vol. 3125).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  293. Travelling Salesman Problem Solved ‘in materio’ by Evolved Carbon Nanotube Device

    Clegg, K. D., Miller, J. F., Massey, K. & Petty, M., 2014, Parallel Problem Solving from Nature – PPSN XIII: 13th International Conference, Ljubljana, Slovenia, September 13-17, 2014. Proceedings. Springer International Publishing, Vol. 8672. p. 692-701 10 p. 8672. (Lecture Notes in Computer Science; vol. 8672).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  294. Transport of PPCPs and veterinary medicines from agricultural fields following application of biosolids or manure

    Topp, E., Metcalfe, C. D., Boxall, A. B. & Lapen, D. R., 2 Nov 2010, ACS Symposium Series. American Chemical Society, Vol. 1048. p. 227-240 14 p. (ACS Symposium Series; vol. 1048).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  295. Transmission through a two dimensional quantum metamaterial

    Wilson, R. D., Everitt, M. J., Samson, J. H., Savelev, S. E., Zagoskin, A. M. & Spiller, T. P., 24 Jul 2013, Proceedings of SPIE - The International Society for Optical Engineering. Vol. 8771. 87710Z

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  296. Translating Java for resource constrained embedded systems

    Plumbridge, G. & Audsley, N., 23 Nov 2012, ReCoSoC 2012 - 7th International Workshop on Reconfigurable and Communication-Centric Systems-on-Chip, Proceedings. 6322868

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  297. Transitive state alignment for the quantum jensen-shannon kernel

    Torsello, A., Gasparetto, A., Rossi, L., Bai, L. & Hancock, E. R., 2014, Structural, Syntactic, and Statistical Pattern Recognition: Joint IAPR International Workshop, S+SSPR 2014, Joensuu, Finland, August 20-22, 2014. Proceedings. Fränti, P., Brown, G., Loog, M., Escolano, F. & Pelillo, M. (eds.). Springer-Verlag, Vol. 8621 LNCS. p. 22-31 10 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 proceedingConference contribution

  298. Transient optical angular momentum effects and atom trapping in multiple twisted beams - art. no. 613103

    Andrews, D. L., Carter, A. C., Babiker, M. & Al-Amri, M., 2006, Nanomanipulation with Light II. Andrews, DL. (ed.). BELLINGHAM: SPIE-INT SOC OPTICAL ENGINEERING, p. 13103-13103 8 p. (PROCEEDINGS OF THE SOCIETY OF PHOTO-OPTICAL INSTRUMENTATION ENGINEERS (SPIE); vol. 6131).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  299. Transient intermediates in photoreactions of derivatized anthraquinone and duroquinone

    Hester, R. E., Moore, J. N., McCubbin, I. & Phillips, D., 1986, Proceedings of the Tenth International Conference on Raman Spectrosctroscopy. Peticolas, W. L. & Hudson, B. (eds.). Eugene: University of Oregon Press

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  300. Transient high gains at 196 angstrom produced by picosecond pulse heating of a preformed germanium plasma.

    Healy, S. B., Janulewicz, K. A., Plowes, J. A. & Pert, G. J., 1996, X-RAY LASERS 1996. Svanberg, S. & Wahlstrom, CG. (eds.). BRISTOL: IOP PUBLISHING LTD, p. 94-98 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  301. Transient gain in travelling wave pumped Ni-like X-ray lasers

    MacPhee, A. G., O'Rourke, R. M. N., Lewis, C. L. S., Lin, J. Y., Demir, A., Tallents, G. J., Collier, J., Neely, D., Ros, D., Zeitoun, P., McCabe, S. P., Simms, P. & Pert, G. J., 1999, X-RAY LASERS 1998. Kato, Y., Takuma, H. & Daido, H. (eds.). BRISTOL: IOP PUBLISHING LTD, p. 75-78 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  302. Training Novel Phonemic Contrasts: A Comparison of Identification and Oddity Discrimination Training

    Handley, Z. L., Mike, S. & Moore, D., 2009, SLaTE 2009.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  303. Traffic Shaping to Reduce Jitter in Controller Area Network (CAN)

    Davis, R. I. & Navet, N., Jul 2012, Work-in-progress session, Euromicro Conference on Real-Time Systems.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  304. Traffic Control and Route Choice; Capacity Maximization and Stability

    Smith, M. J., Liu, R. & Mounce, R., 2015, Transportation Research Procedia. Elsevier, Vol. 7. p. 556-577 22 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  305. Trade in Viking Age Britain: Identity and the Production and Distribution of Bone and Antler Combs

    Ashby, S., 2006, Dynamics of Northern Societies: Proceedings of the SILA/NABO Conference on Arctic and North Atlantic Archaeology, Copenhagen, May 10th-14th, 2004. Arneborg, J. & Grønnow, B. (eds.). Copenhagen: National Museum of Copenhagen, p. 273-279 (Studies in Archaeology and History ; vol. 10).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  306. Tracing the Growth of IMDb Reviewers in terms of Rating, Readability and Usefulness

    Banerjee, S. & Chua, A. Y. K., 25 Jun 2018, 2018 4th International Conference on Information Management (ICIM). IEEE, p. 57-61 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  307. Traces as a Solution to Pessimism and Modeling Costs in WCET Analysis

    Whitham, J. & Audsley, N. C., 2008, 8th International Workshop on Worst-Case Execution Time (WCET) Analysis: Prague, Czech Republic, July 1, 2008. Kirner, R. (ed.). Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, Vol. 8. (OASICS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  308. Trace-Based Statistical Response-Time Analysis of Complex Real-Time Embedded Systems

    Lu, Y., Nolte, T., Bate, I. & Cucu-Grosjean, L., 2011, Proceedings of the 6th IEEE International Symposium on Industrial Embedded Systems (SIES'11).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  309. Trace Specifications in Alloy

    Jacob, J. L., 2010, ABSTRACT STATE MACHINES, ALLOY, B AND Z, PROCEEDINGS. Frappier, M., Glasser, U., Khurshid, S., Laleau, R. & Reeves, S. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5977 LNCS. p. 105-117 13 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  310. Township comets: The impact of South African jazz on the UK scene

    Eato, J. E., Dec 2012, iaspm 2011 proceedings: Situating popular musics. Montano, E. & Nardi, C. (eds.). International Association for the Study of Popular Music, Vol. IASPM 16th International Conference Proceedings. p. 112-118

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  311. Towards the systematic generation of channelling constraints

    Martinez-Hernandez, B. & Frisch, A. M., 2005, PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP 2005, PROCEEDINGS. VanBeek, P. (ed.). BERLIN: SPRINGER-VERLAG BERLIN, p. 859-859 1 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  312. Towards the high-accuracy determination of the 238U fission cross section at the threshold region at CERN - N-TOF

    Diakaki, M., Audouin, L., Berthoumieux, E., Calviani, M., Colonna, N., Dupont, E., Duran, I., Gunsing, F., Leal-Cidoncha, E., Le Naour, C., Leong, L. S., Mastromarco, M., Paradela, C., Tarrio, D., Tassan-Got, L., Aerts, G., Altstadt, S., Alvarez, H., Alvarez-Velarde, F., Andriamonje, S. & 146 others, Andrzejewski, J., Badurek, G., Barbagallo, M., Baumann, P., Becares, V., Becvar, F., Belloni, F., Berthier, B., Billowes, J., Boccone, V., Bosnar, D., Brugger, M., Calvino, F., Cano-Ott, D., Capote, R., Carrapiço, C., Cennini, P., Cerutti, F., Chiaveri, E., Chin, M., Cortes, G., Cortes-Giraldo, M. A., Cosentino, L., Couture, A., Cox, J., David, S., Dillmann, I., Domingo-Pardo, C., Dressler, R., Dridi, W., Eleftheriadis, C., Embid-Segura, M., Ferrant, L., Ferrari, A., Finocchiaro, P., Fraval, K., Fujii, K., Furman, W., Ganesan, S., Garcia, A. R., Giubrone, G., Gomez-Hornillos, M. B., Goncalves, I. F., Gonzalez-Romero, E., Goverdovski, A., Gramegna, F., Griesmayer, E., Guerrero, C., Gurusamy, P., Haight, R., Heil, M., Heinitz, S., Igashira, M., Isaev, S., Jenkins, D. G., Jericha, E., Kadi, Y., Kaeppeler, F., Karadimos, D., Karamanis, D., Kerveno, M., Ketlerov, V., Kivel, N., Kokkoris, M., Konovalov, V., Krticka, M., Kroll, J., Lampoudis, C., Langer, C., Lederer, C., Leeb, H., Lo Meo, S., Losito, R., Lozano, M., Manousos, A., Marganiec, J., Martinez, T., Marrone, S., Massimi, C., Mastinu, P., Mendoza, E., Mengoni, A., Milazzo, P. M., Mingrone, F., Mirea, M., Mondelaers, W., Moreau, C., Mosconi, M., Musumarra, A., O'Brien, S., Pancin, J., Patronis, N., Pavlik, A., Pavlopoulos, P., Perkowski, J., Perrot, L., Pigni, M. T., Plag, R., Plompen, A., Plukis, L., Poch, A., Pretel, C., Praena, J., Quesada, J., Rauscher, T., Reifarth, R., Riego, A., Roman, F., Rudolf, G., Rubbia, C., Rullhusen, P., Salgado, J., Santos, C., Sarchiapone, L., Sarmento, R., Saxena, A., Schillebeeckx, P., Schmidt, S., Schumann, D., Stephan, C., Tagliente, G., Tain, J. L., Tavora, L., Terlizzi, R., Tsinganis, A., Valenta, S., Vannini, G., Variale, V., Vaz, P., Ventura, A., Versaci, R., Vermeulen, M. J., Villamarin, D., Vincente, M. C., Vlachoudis, V., Vlastou, R., Voss, F., Wallner, A., Walter, S., Ware, T., Weigand, M., Weiß, C., Wiesher, M., Wisshak, K., Wright, T. & Zugec, P., 15 Mar 2016, WONDER 2015 - 4th International Workshop on Nuclear Data Evaluation for Reactor Applications. EDP Sciences, Vol. 111. 6 p. 02002

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  313. Towards the automated generation of hard disk models through physical geometry discovery

    Wright, S. A., Pennycook, S. J. & Jarvis, S. A., 1 Dec 2012, Proceedings - 2012 SC Companion: High Performance Computing, Networking Storage and Analysis, SCC 2012. p. 437-445 9 p. 6495845

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  314. Towards real-time robotic motion planning for grasping in cluttered and uncertain environments

    Liu, P., ElGeneidy, K., Pearson, S., Huda, M. N. & Neumann, G., 2018, Towards Autonomous Robotic Systems: 19th Annual Conference, TAROS 2018, Bristol, UK July 25-27, 2018, Proceedings. Vol. 10965. p. 481 1 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  315. Towards memory management for service-oriented real-time systems

    Richardson, T., Wellings, A. J., Dianes, J. A. & Díaz, M., 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. 128-137 10 p. (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  316. Towards industrially applicable formal methods: Three small steps, and one giant leap

    McDermid, J., Galloway, A., Burton, S., Clark, J., Toyn, I., Tracey, N. & Valentine, S., 1998, SECOND INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, PROCEEDINGS. Staples, J., Hinchey, MG. & Liu, S. (eds.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 76-88 13 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  317. Towards incremental updates in large-scale model indexes

    Barmpis, K., Shah, S. & Kolovos, D. S., 17 Jul 2015, Modelling Foundations and Applications - 11th European Conference, ECMFA 2015 Held as Part of STAF 2015, Proceedings. Springer-Verlag, Vol. 9153. p. 137-153 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9153).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  318. Towards flexible parsing of structured textual model representations

    Kolovos, D. S., Matragkas, N. & Garcia-Dominguez, A., 2 Oct 2016, Proceedings of the 2nd Workshop on Flexible Model Driven Engineering: CEUR Workshop Proceedings. Vol. 1694. p. 22-31 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  319. Towards fault diagnosis in robot swarms: An online behaviour characterisation approach

    O’Keeffe, J., Tarapore, D., Millard, A. G. & Timmis, J., 20 Jul 2017, Towards Autonomous Robotic Systems - 18th Annual Conference, TAROS 2017, Proceedings. Springer-Verlag, Vol. 10454 LNAI. p. 393-407 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10454 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  320. Towards exogenous fault detection in swarm robotic systems

    Millard, A. G., Timmis, J. & Winfield, A. F. T., 28 Jun 2014, Towards Autonomous Robotic Systems. Springer-Verlag, Vol. 8069 LNAI. p. 429-430 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8069 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  321. Towards evidence-based architectural design for safety-critical software applications

    Wu, W. & Kelly, T., 2007, Architecting Dependable Systems IV. DeLemos, R., Gacek, C. & Romanovsky, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 383-408 26 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  322. Towards evaluating the shielding of enclosures with contents at frequencies above 1 GHz

    Marvin, A. & Cul, Y., 2005, EMC 2005: IEEE International Symposium on Electromagnetic Compatibility, Vols 1-3, Proceedings. NEW YORK: IEEE, p. 200-205 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  323. Towards better radiated emission measurements

    Marvin, A., Sep 2000, EMC Korea 2000. Seoul

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  324. Towards autonomic cloud services engineering via intention workflow model

    Baker, T., Rana, O. F., Calinescu, R., Tolosana-Calasanz, R. & Bañares, J. Á., 30 Oct 2013, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 8193. p. 212-227 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8193 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  325. Towards automatic generation of UML profile graphical editors for papyrus

    Zolotas, A., Wei, R., Gerasimou, S., Hoyos Rodriguez, H., Kolovos, D. S. & Paige, R. F., 25 Jun 2018, Modelling Foundations and Applications - 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Proceedings. Springer-Verlag, Vol. 10890 LNCS. p. 12-27 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10890 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  326. Towards an understanding of the expressive power of the RTSJ scoped memory model

    Borg, A. & Wellings, A., 2004, ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2004: OTM 2004 WORKSHOPS, PROCEEDINGS. Meersman, R., Tari, Z., Corsaro, A., Herrero, P., Perez, MS., Radenkovic, M., Robles, V., Santoro, C., Albani, A., Turowski, K., Jarrar, M., Gangemi, A., Duval, E., Spyns, P. & Palinginis, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 315-332 18 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  327. Towards an improved definition of electromagnetic shielding effectiveness

    Ward, S. M., Dawson, J. F. & Marvin, A. C., 1 Sep 2000, EMC Europe 2000, Brugge, Belgium, 11-15 September 2000. p. 493-498

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  328. Towards an improved definition and measurement of electromagnetic shielding effectiveness

    Ward, S. M., Marvin, A. C. & Dawson, J. F., 2000, Shielding and Grounding (Ref. No. 2000/016), IEE Seminar on. p. 6/1-6/6

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  329. Towards an agile process for building software product lines

    Paige, R. F., Wang, X., Stephenson, Z. R. & Brooke, P. J., 2006, EXTREME PROGRAMMING AND AGILE PROCESSES IN SOFTWARE ENGINEERING, PROCEEDINGS. Abrahamsson, P., Marchesi, M. & Succi, G. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 198-199 2 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  330. Towards a unified definition of web accessibility

    Petrie, H., Savva, A. & Power, C. D., 2015, Proceedings of the 12th Web for all Conference. ACM, p. 35 1 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  331. Towards a multi-view point safety contract

    Ruiz, A., Kelly, T. & Espinoza, H., 2013, SAFECOMP 2013 - Workshop SASSUR (Next Generation of System Assurance Approaches for Safety-Critical Systems) of the 32nd International Conference on Computer Safety, Reliability and Security, Toulouse, France, 2013.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  332. Towards a high integrity real-time Java virtual machine

    Cai, H. & Wellings, A. J., 2003, ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2003: OTM 2003 WORKSHOPS. Meersman, R. & Tari, Z. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 319-334 16 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  333. Towards a generic autonomic architecture for legacy resource management

    Calinescu, R., 1 Dec 2008, Innovations and Advanced Techniques in Systems, Computing Sciences and Software Engineering. p. 410-415 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  334. Towards a conceptual framework for artiflcial immune systems

    Stepney, S., Smith, R. E., Timmis, J. & Tyrrell, A. M., 2004, ARTIFICIAL IMMUNE SYSTEMS, PROCEEDINGS. Nicosia, G., Cutello, V., Bentley, PJ. & Timmis, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 53-64 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  335. Towards a UTP semantics for modelica

    Foster, S., Thiele, B., Cavalcanti, A. & Woodcock, J., 1 Jan 2017, Unifying Theories of Programming - 6th International Symposium, UTP 2016, Revised Selected Papers. Bowen, J. P. & Zhu, H. (eds.). Springer Verlag, p. 44-64 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10134 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  336. Towards a Scalable Cloud Platform for Search-Based Probabilistic Testing

    Rose, L. M., Poulding, S., Feldt, R. & Paige, R. F., 1 Sep 2013, Software Maintenance (ICSM), 2013 29th IEEE International Conference on. p. 480-483

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  337. Towards a Novel Real-Time Visual Display for Singing Training.

    Howard, D. M., Welch, G., Brereton, J. & Himonides, E., 2003, Published proceedings of the 3rd International Workshop on Models and Analysis of Vocal Emissions for Biomedical Applications (MAVEBA). Firenze, Italy: Firenze University Press, p. 179-182 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  338. Towards a Multi-Domain Model-Driven Traceability Approach

    Taromirad, M., Matragkas, N. D. & Paige, R. F., 2013, Proceedings of the 7th Workshop on Multi-Paradigm Modeling co-located with the 16th International Conference on Model Driven Engineering Languages and Systems, MPM@MoDELS 2013, Miami, Florida, September 30, 2013.. p. 27-36 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  339. Towards a Model-Driven Solution to the Vendor Lock-In Problem in Cloud Computing

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

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  340. Towards a Model-Based Refinement Process for Contractual Statecharts

    Paige, R. F., 4 May 2010, Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW), 2010 13th IEEE International Symposium on . 2010 ed. IEEE Computer Society, Vol. 2. p. 108-115 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  341. Towards a Hierarchical-Control Architecture for Distributed Autonomous Systems

    Calinescu, R. C. & Yonbawi, S. R., 18 Jul 2018, Workshop on Verification and Validation of Autonomous Systems.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  342. Towards a Framework for Safety Assurance of Autonomous Systems

    McDermid, J. A., Jia, Y. & Habli, I., 11 Aug 2019, Artificial Intelligence Safety 2019. Espinoza, H., Yu, H., Huang, X., Lecue, F., Chen, C., Hernandex-Orallo, J., o hEigeartaigh, S. & Mallah, R. (eds.). CEUR Workshop Proceedings, Vol. 2419. p. 1-7 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  343. Towards a Fixed Priority Scheduler for an Aircraft Application

    Bate, I. J., Burns, A., McDermid, J. A. & Vickers, A. J., 1996, Proceedings of 8th Euromicro Conference on Real-Time Systems, L'Aquila, Italy. p. 34-40 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  344. Towards a File System Interface for Mobile Resources in Networked Embedded Systems

    Audsley, N. C., Gao, R. & Patil, A., 2006, Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation: ETFA 2006, September 20-22, 2006, Diplomat Hotel Prague, Czech Republic. IEEE, p. 913-920 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  345. Towards Verification of Cyber-Physical Systems with UTP and Isabelle/HOL

    Foster, S. D. & Woodcock, JAMES. C. P., 9 Jan 2017, Concurrency, Security, and Puzzles: Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday. Lecture Notes in Computer Science, Vol. 10160. p. 39-64 25 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  346. Towards Verification of Constituent Systems through Automated Proof

    Foster, S. D., 7 May 2014, Workshop on Engineering Dependable Systems of Systems. ACM CoRR

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  347. Towards Semantically Integrated Models and Tools for Cyber-Physical Systems Design

    Larsen, P. G., Fitzgerald, J., Woodcock, J., Nilsson, R., Gamble, C. & Foster, S. D., Oct 2016, 7th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation. p. 171-186 16 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  348. Towards Rigorously Faking Bidirectional Model Transformations

    Poskitt, C., Dodds, M., Paige, R. F. & Rensink, A., 2014, AMT 2014 - Analysis of Model Transformations Workshop Proceedings. Dingel, J., de Lara, J., Lucio, L. & Vangheluwe, H. (eds.). CEUR Workshop Proceedings, Vol. 1277. p. 70-75 (CEUR Workshop Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  349. Towards Platform Independent Database Modelling in Enterprise Systems

    Ellison, M. H., Calinescu, R. C. & Paige, R. F., 2016, STAF 2016: Software Technologies: Applications and Foundations. SPRINGER, p. 42-50 9 p. (Lecture Notes in Computer Science (LNCS); vol. 9946).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  350. Towards New Methods for Developing Real-Time Systems: Automatically Deriving Loop Bounds Using Machine Learning

    Kazakov, D. & Bate, I., 2006, Proceedings of the 11th IEEE International Conference on Emerging Technologies and Factory Automation. p. 421-428 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  351. Towards Na-26 via (d,p) with SHARC and TIGRESS and a novel zero-degree detector

    Wilson, G. L., Gafford, W. N., Diget, C. A., Orr, N. A., Adsley, P., Al-Falou, H., Ashley, R., Austin, R. A. E., Ball, G. C., Blackmon, J. C., Boston, A. J., Boston, H. J., Brown, S. M., Chen, A. A., Chen, J., Churchman, R. M., Cross, D. S., Dech, J., Djongolov, M., Drake, T. E. & 22 others, Hager, U., Fox, S. P., Fulton, B. R., Galinski, N., Garnsworthy, A. B., Hackman, G., Jamieson, D., Kanungo, R., Leach, K., Martini, J-P., Orce, J. N., Pearson, C. J., Porter-Peden, M., Sarazinii, F., Sjue, S., Sumithrarachchi, C., Svensson, C. E., Triambak, S., Unsworth, C., Wadsworth, R., Williams, S. J. & TIGRESS Collaboration, 2012, Rutherford Centennial Conference on Nuclear Physics. Freeman, S., Andreyev, A., Bruce, A., Deacon, A., Jenkins, D., Joss, D., MacGregor, D., Regan, P., Simpson, J., Tungate, G., Wadsworth, B. & Watts, D. (eds.). BRISTOL: IOP PUBLISHING LTD, 012097 . (Journal of Physics Conference Series; vol. 381).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  352. Towards Multi-Objective Optimisation of Hadoop 2.x Application Deployment on Public Clouds

    Alasmari, N. N. M. & Calinescu, R. C., 2018, Proceedings of the 6th International Conference on Enterprise Systems.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  353. Towards Graph Programs for Graph Algorithms

    Plump, D. & Steinert, S., 2004, Proceedings 2nd International Conference on Graph Transformation (ICGT 2004). Ehrig, H., Engels, G., ParisiPresicce, F. & Rozenberg, G. (eds.). Berlin: Springer, p. 128-143 16 p. (Lecture Notes in Computer Science; vol. 3256).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  354. Towards Critical Pair Analysis for the Graph Programming Language GP 2

    Plump, D. & Hristakiev, I., Dec 2017, Recent Trends in Algebraic Development Techniques (WADT 2016), Revised Selected Papers. James, P. & Roggenbach, M. (eds.). Springer, p. 153-169 17 p. (Lecture Notes in Computer Science; vol. 10644).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  355. Towards Cost-Effective High-Assurance Software Product Lines:

    McDermid, J. A. & Hutchesson, S., 2011, Software Product Line Conference (SPLC), 2011 15th International. IEEE Computer Society, p. 55 - 64 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  356. Towards Argument-Driven Validation of an in silico Model of Immune Tissue Organogenesis

    Alden, K. J., Andrews, PAUL. S., Timmis, J., Viega-Fernandes, H. & Coles, M. C., 2011, Proceedings of 10th International Conference on Artificial Immune Systems. Lecture Notes in Computer Science, Vol. 6825. p. 66-70 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  357. Towards Algebraic Semantics of Circus Time

    Wei, K. & Woodcock, J., 2015, Unifying Theories of Programming - 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers. Naumann, D. (ed.). SPRINGER, Vol. 8963. p. 84-104 21 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  358. Towards Agile Engineering of High-Integrity Systems

    Paige, R. F., Charalambous, R., Ge, X. & Brooke, P. J., 2008, COMPUTER SAFETY, RELIABILITY, AND SECURITY, PROCEEDINGS. Harrison, MD. & Sujan, MA. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5219 LNCS. p. 30-43 14 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  359. Towards A More Practical Model for Mixed Criticality Systems

    Burns, A. & Baruah, S., 2013, Proc. WMC, RTSS. p. 1-6 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  360. Toward quantum information processing using EIT in diamond

    Santori, C., Fattal, D., Spillane, S. M., Fiorentino, M., Beausoleil, R. G., Munro, W. J., Spiller, T. P., Greentree, A. D., Olivero, P., Draganski, M., Rabeau, J. R., Reichart, P., Gibson, B. C., Rubanov, S., Huntington, S. T., Jamieson, D. N. & Prawer, S., 26 May 2006, Proceedings of SPIE - The International Society for Optical Engineering. Vol. 6130. 613005

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  361. Tourism and Multicultural Heritage in the Enlarged Europe: Tools for Participation by low-income residents

    Forrester, J. M., Shaw, S. & Karmowska, J., 2007, Proceedings of the 7th European Commission Conference "SAUVEUR" Safeguarding Cultural Heritage: Understanding & Viability for the Enlarged Europe. prague: Czech academy of Sciences, Prague, p. 345 353 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  362. TouchBridge: augmenting active tangibles for camera-based multi-touch surfaces

    Ladha, C., Ladha, K., Hook, J. D., Jackson, D., Wood, G. & Olivier, P., 2010, Proceedings of the ACM International Conference on Interactive Tabletops and Surfaces. Association for Computing Machinery (ACM), p. 271-272

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  363. Touch-display keyboards: Transforming keyboards into interactive surfaces

    Block, F., Gellersen, H. & Villar, N., 2010, CHI 2010 - The 28th Annual CHI Conference on Human Factors in Computing Systems, Conference Proceedings. Vol. 2. p. 1145-1154 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  364. ToucHMore Toolchain and System Software for Energy and Variability Customisation

    Audsley, N. C., Gray, I., Acquaviva, A. & Haines, R., 2012, IEEE International High Level Design Validation and Test Workshop (HLDVT).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  365. Total body water content observations using cavity - Perturbation techniques

    Stone, D. A. & Robinson, M. P., 2003, 2003 HIGH FREQUENCY POSTGRADUATE STUDENT COLLOQUIUM. NEW YORK: IEEE, p. 31-34 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  366. To Be or Not to Be … Social: Incorporating Simple Social Features in Mobile Game Customer Lifetime Value Predictions

    Drachen, A., Pastor, J. M. S., Fontaine, D. J., Liu, A., Chang, C., Chang, Y., Sifa, R., Runge, J. & Klabjan, D., 28 Jan 2018, Proceedings of Australian Computer Science Week, Interactive Entertainment. Association for Computing Machinery (ACM)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  367. Titbits revisited: towards a respectable archaeology of Strait Street, Valletta (Malta)

    Schofield, J. & Morrissey, E., 2007, Contemporary and Historical Archaeology in Theory: Papers from the 2003 and 2004 CHAT conferences. McAtackney, L., Palus, M. & Piccini, A. (eds.). Oxford: Archaeopress, p. 88-99

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  368. TinyOS extensions for a wireless sensor network node based on a dynamically reconfigurable processor

    Ochirsuren, E., Hinkelmann, H., Indrusiak, L. S. & Glesner, M., 2008, Distributed Embedded Systems: Design, Middleware and Resources. LAXENBURG: IFIP - International Federation for Information Processing, Vol. 271. p. 161-170 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  369. Timing faults and mixed criticality systems

    Burns, A. & Baruah, S., 1 Dec 2011, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6875 LNCS. p. 147-166 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6875 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  370. Timing Analyzing for Systems with Task Execution Dependencies

    Lu, Y., Nolte, T., Bate, I. & Norstrom, C., 2010, Proceedings of the 34th Annual IEEE International Computer Software and Applications Conference, COMPSAC 2010, Seoul, Korea, 19-23 July 2010. Ahamed, S. I., Bae, D-H., Cha, S. D., Chang, C. K., Subramanyan, R., Wong, E. & Yang, H-I. (eds.). IEEE Computer Society, p. 515-524 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  371. Timing Analyzing for Systems with Execution Dependencies between Tasks

    Lu, Y., Nolte, T., Bate, I. & Norstrom, C., 2010, The 25th ACM Symposium on Applied Computing (SAC2010). p. 357-358 2 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  372. Timely use of the CAN protocol in critical hard real-time systems with faults

    Broster, I. & Burns, A., 2001, 13TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 95-102 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  373. Timed circus: Timed CSP with the miracle

    Wei, K., Woodcock, J. & Burns, A., 25 Jul 2011, 16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, Las Vegas, Nevada, USA, 27-29 April 2011. Perseil, I., Breitman, K. & Sterritt, R. (eds.). IEEE Computer Society Press, p. 55-64 10 p. 5773380

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  374. Time-resolved resonance Raman spectroscopy of sulphonated anthraquinone derivatives

    Moore, J. N., Phillips, D., Hester, R. E., ATKINSON, G. H. & KILLOUGH, P. M., 1987, Time-Resolved Laser Raman Spectroscopy. Phillips, D. & Atkinson, G. H. (eds.). London, UK: Harwood Academic, p. 75-97

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  375. Time-resolved resonance Raman spectroscopy of electronically excited species

    Moore, J. N. & Phillips, D., 1987, Time-Resolved Laser Raman Spectroscopy. Phillips, D. & Atkinson, G. H. (eds.). London, UK: Harwood Academic, p. 23-56

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  376. Time-resolved imaging investigation of the domain walls dynamics in Landau domain pattern

    Bukin, N., Burgos Parra, E. O., McKeever, C. J., Keatley, P. S., Hicken, R. J., Kruglyak, V. V., Fripp, K., Beutier, G., Jaouen, N., Popescu, H., Yakhou, F., Cavill, S. A., Dupraz, M., van der Laan, G. & Ogrin, F. Y., 10 Aug 2017, 2017 IEEE International Magnetics Conference, INTERMAG 2017. Institute of Electrical and Electronics Engineers Inc., 8007692

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  377. Time-related dependability mechanisms in guards

    Beus-Dukic, L. & Wellings, A., 1998, DATA SYSTEMS IN AEROSPACE - PROCEEDINGS. PARIS: EUROPEAN SPACE AGENCY, p. 335-340 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  378. Time-optimal quantum control via differential geometry

    Wang, X., Allegra, M., Jacobs, K., Lloyd, S., Lupo, C. & Mohseni, M., 2017, Advances in Photonics of Quantum Computing, Memory, and Communication X. SPIE, Vol. 10118. 101180F

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  379. Time-of-flight and activation experiments on 147Pm and 171Tm for astrophysics

    Guerrero, C., Lerendegui-Marco, J., Domingo-Pardo, C., Casanovas, A., Dressler, R., Halfon, S., Heinitz, S., Kivel, N., Köster, U., Paul, M., Quesada-Molina, J. M., Schumann, D., Tarifeño-Saldivia, A., Tessler, M., Weissman, L., Aberle, O., Andrzejewski, J., Audouin, L., Bacak, M., Balibrea-Correa, J. & 104 others, Barbagallo, M., Becvar, F., Berthoumieux, E., Billowes, J., Bosnar, D., Brown, A., Caamaño, M., Calviño, F., Calviani, M., Cano-Ott, D., Cardella, R., Cerutti, F., Chen, Y. H., Chiaveri, E., Colonna, N., Cortés, G., Cortés-Giraldo, M. A., Cosentino, L., Damone, L. A., Diakaki, M., Dupont, E., Durán, I., Fernández-Domínguez, B., Ferrari, A. C., Ferreira, P. R., Finocchiaro, P., Göbel, K., García, A. R., Gawlik, A., Gilardoni, S., Glodariu, T., Gonçalves, I. F., González-Romero, E., Griesmayer, E., Gunsing, F., Harada, H., Heyse, J., Jenkins, D. G., Jericha, E., Käppeler, F., Kadi, Y., Kalamara, A., Kavrigin, P., Kimura, A., Kivel, N., Kokkoris, M., Krticka, M., Kurtulgil, D., Leal-Cidoncha, E., Lederer, C., Leeb, H., Lo Meo, S., Lonsdale, S. J., Macina, D., Marganiec, J., Martínez, T., Masi, A., Massimi, C., Mastinu, P. F., Mastromarco, M., Maugeri, E. A., Mazzone, A., Mendoza, E., Mengoni, A., Milazzo, P. M., Mingrone, F., Musumarra, A., Negret, A., Nolte, R., Oprea, A., Patronis, N., Pavlik, A., Perkowski, J., Porras, I., Praena, J., Radeck, D., Rauscher, T., Reifarth, R., C. Rout, P., Rubbia, C., Ryan, J. A., Sabaté-Gilarte, M., Saxena, A. K., Schillebeeckx, P., Smith, A. G., Sosnin, N. V., Stamatopoulos, A., Tagliente, G., Tain, J. L., Tassan-Got, L., Tsinganis, A., Valenta, S., Vannini, G., Variale, V., Vaz, P., Ventura, A., Vlachoudis, V., Vlastou, R., Wallner, A., Warren, S., Weiss, C., Woods, P. J., Wright, T. & Ugec, P., 13 Sep 2017, ND 2016: International Conference on Nuclear Data for Science and Technology. EDP Sciences, Vol. 146. 01007

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  380. Time telescope: encouraging engagement with heritage through participatory design

    Schofield, G. P., 21 Jun 2014, 2014 ACMSIGCHI conference on Designing interactive systems. New York: Association for Computing Machinery (ACM), p. 117-120

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  381. Time resolved observation of in-situ nanoparticle synthesis in 2D and 3D

    G Thirunavukkarasu, J Ghatak, W Guan and G Möbus, 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

  382. Time Evolving Networks in Finance and Medicine

    Hancock, E. R., 2018, Proceedings of the 7th International Conference on Pattern Recognition Applications and Methods, ICPRAM 2018, Funchal, Madeira - Portugal, January 16-18, 2018.. p. 7 1 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  383. Time Domain Technique for Rapid, Broadband Measurement of Human Absorption Cross Section in a Reverberation Chamber

    Robinson, M. P., Zhang, X. & Flintoft, I. D., 19 Aug 2017, 32nd URSI General Assembly and Scientific Symposium (URSI GASS). Montreal

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  384. Tighter dimensioning of heterogeneous multi-resource autonomous CPS with control performance guarantees

    Roy, D., Chang, W., Mitter, S. & Chakraborty, S., 22 Aug 2019, DAC '19: Proceedings of the 56th Annual Design Automation Conference 2019. 10

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  385. Three-dimensional elliptic Fourier methods for the parameterization of human pinna shape

    Hetherington, C., Tew, A. I. & Tao, Y. F., 2003, 2003 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH, AND SIGNAL PROCESSING, VOL V, PROCEEDINGS. NEW YORK: IEEE, p. 612-615 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  386. Three-Dimensional Bit-oriented Optical Storage in Photopolymers

    Orlic, S., Müller, C., Reinicke, A., Schön, R., Trefzer, M. A., Eichler, H. J. & Trefzer, M. A., 2001, The International Symposium on Optical Science and Technology, SPIE's 46th Annual Meeting.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  387. Three perspectives in formal engineering

    McDermid, J. & Galloway, A., 2006, Formal Methods and Software Engineering, Proceedings. Liu, Z. & He, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 35-54 20 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  388. Three obstacles to flexible scheduling

    Bernat, G. & Burns, A., 2001, 13TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 11-18 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  389. Three methods to automate the space allocation process in UK universities

    Burke, E. K., Cowling, P., Silva, JD. L. & McCollum, B., 2000, International Conference on the Practice and Theory of Automated Timetabling. p. 254-273 20 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  390. Three methods to automate the space allocation process

    Burke, EK., Cowling, P., Silva, A. & Mccollum, B., 2001, in UK universities. Lecture Notes in Computer Science.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  391. Three case studies on methods of working with older people in the design of new technologies

    Petrie, H., Abdullah Sani, Z. H., Swallow, D. M. & Lewis, A. W., 21 Aug 2016, Universal Design 2016: Learning from the past, designing for the future (Proceedings of the 3rd International Conference on Universal Design, UD2016). Amsterdam: IOS Press, Vol. 229. p. 1-12 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  392. Three Reasons Why: Framing the Challenges of Assuring AI

    Johnson, N. L. & Fang, X., 9 Aug 2019, Three Reasons Why: Framing the Challenges of Assuring AI.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  393. Three Approaches to Timed External Choice in UTP

    Canham, S. J. & Woodcock, J., 2015, Unifying Theories of Programming : 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers. Naumann, D. (ed.). SPRINGER, Vol. 8963. p. 1-20 (Lecture Notes in Computer Science; vol. 8963).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  394. Threat Modelling in User Performed Authentication

    Dong, X., Clark, J. A. & Jacob, J. L., 2008, INFORMATION AND COMMUNICATIONS SECURITY, PROCEEDINGS. Chen, L., Ryan, MD. & Wang, G. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5308 LNCS. p. 49-64 16 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  395. Thread-local Scope Caching for Real-time Java

    Wellings, A. & Schoeberl, M., 2009, PROCEEDINGS OF THE 12TH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT/COMPONENT/SERVICE-ORIENTED REAL-TIME DISTRIBUTED COMPUTING. LOS ALAMITOS: IEEE COMPUTER SOC, p. 275-282 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  396. Thinking outside the search box: The Common Information Environment and Archaeobrowser

    Jeffrey, S., Kilbride, W., Waller, S. & Richards, J. D., 2008, Layers of Perception: Proceedings of the 35th International Conference on Computer Applications and Quantitative Methods in Archaeology (CAA) Berlin, Germany, April 2-6, 2007. Posluschny, A., Lambers, K. & Herzog, I. (eds.). Bonn: Kolloquien zur Vor- und Frühgeschichte Band 10, p. 206-11 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  397. Thesaurus absconditus: the treasure of the medieval Waldensians

    Biller, P. P. A., 1987, The Church and Wealth. Sheils, W. J. & Wood, D. (eds.). Oxford: Basil Blackwell, Oxford, for the Ecclesiastical History Society, p. 139-154 16 p. (Studies in Church History; vol. 24).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  398. Thermodynamics of Time Evolving Networks

    Ye, C., Torsello, A., Wilson, R. C. & 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. 315-324 10 p. (Lecture Notes in Computer Science; vol. 9069).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  399. Thermodynamic Network Analysis with Quantum Spin Statistics

    Wang, J., 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. Springer International Publishing, p. 153-162 10 p. (Lecture Notes in Computer Science; vol. 10029).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  400. Thermodynamic Characterization of Temporal Networks

    Minello, G., Torsello, A. & Hancock, E. R., 8 Nov 2016, Structural, Syntactic, and Statistical Pattern Recognition - Joint IAPR International Workshop, S+SSPR 2016, Merida, Mexico, Nov 30- Dec 2, 2016. Proceedings. Springer International Publishing, p. 49-59 11 p. (Lecture Notes in Computer Science; vol. 10029).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  401. There's no "I" in "Emergency Management Team:" designing and evaluating a serious game for training emergency managers in group decision making skills

    Linehan, C., Lawson, S., Doughty, M. & Kirman, B., 2009, Proceedings of the 39th Conference of the Society for the Advancement of Games & Simulations in Education and Training (SAGSET). p. 20-27 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  402. There's always one! Modelling outlying user performance

    Schiller, J. & Cairns, P., 2008, Conference on Human Factors in Computing Systems - Proceedings. p. 3513-3518 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  403. There's a monster in my kitchen: using aversive feedback to motivate behaviour change

    Kirman, B., Linehan, C., Lawson, S., Foster, D. & Doughty, M., 1 Apr 2010, Conference on Human Factors in Computer Systems (alt.CHI). p. 2685-2694 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  404. Theory and modelling of the power conversion efficiency of large optical cavity laser diodes

    Avrutin, E. A. & Ryvkin, B. S., 22 Mar 2016, Proceedings of the 2015 High Power Diode Lasers and Systems Conference, HPD 2015 - Co-located with Photonex 2015. Institute of Electrical and Electronics Engineers Inc., p. 9-10 2 p. 7439669

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  405. Theoretical Considerations of Potential-Based Reward Shaping for Multi-Agent Systems

    Devlin, S. & Kudenko, D., May 2011, The 10th International Conference on Autonomous Agents and Multiagent Systems . ACM, p. 225-232

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  406. The x-point radiation regime in detached H-Modes in full-tungsten ASDEX Upgrade

    Reimold, F., Bernert, M., Kallenbach, A., Lipschultz, B., Meisl, G., Potzel, S., Reinke, M. L., Wischmeier, M. & Wünderlich, D., 2015, 42nd European Physical Society Conference on Plasma Physics, 22-26 June 2015. European Physical Society (EPS), Vol. 39E. 4 p. O4.118

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  407. The vulnerability paradox: The illusion of permanence in the UK public transport industry

    Tennent, K. D., Jul 2015, Management History Research Group.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  408. The vocal tract as a biometric: output measures, interrelationships, and efficacy

    French, P., Foulkes, P., Harrison, P., Hughes, V., San Segundo Fernandez, E. & Stevens, L. C., 2015, Proceedings of ICPhS 2015: 18th International Congress of Phonetic Sciences. University of Glasgow, 5 p. (ICPhS Proceedings; vol. 18).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  409. The view glue

    Radjenovic, A. & Paige, R., 2007, Architecting Dependable Systems IV. DeLemos, R., Gacek, C. & Romanovsky, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 66-88 23 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  410. The value chain for web accessibility: challenges and opportunities

    Petrie, H., Power, C. D., Swallow, D., Velasco, C. A., Gallagher, B., Magennis, M., Murphy, E., Collin, S. & Down, K., 2011, Proceedings of Accessible Design In the Digital World 2011. University of York

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  411. The use of wavelet transforms in low-resolution phase extension

    Wilson, J. & Main, P., 2001, METHODS IN MACROMOLECULAR CRYSTALLOGRAPHY. Turk, D. & Johnson, L. (eds.). AMSTERDAM: I O S PRESS, p. 82-94 13 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  412. The use of the transmission line matrix method to optimise a mode stirrer

    Clegg, J., Marvin, A. C., Dawson, J. F., Porter, S. J. & Brunger-Koch, M., 1 Sep 2001, Fourth International Workshop on Computational electromagnetics in the time-domain: TLM/FDTD and related techniques (CEM-TD),Nottingham, 17-19 September 2001. p. 85-90

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  413. The use of phase reflection gratings in a screened room

    Marvin, A. C., Angus, J. A. S., Clegg, J. & Dawson, J. F., 1 Apr 1995, IEE Colloquium on "EMC tests in screened rooms", Savoy Place, London, 11th April 1995. Vol. Digest No 1995/074. p. 8/1-8/5

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  414. The use of multiple mode analogous transmission lines in the prediction of coupling between monopoles inside a rectangular cavity

    Konefal, T., Dawson, J. F., Denton, A., Benson, T. M., Christopoulos, C., Marvin, A. C., Porter, S. J. & Thomas, D. W. P., 1 Jul 2000, York EMC 2000, York, 10-11 July 2000.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  415. The use of coexistence etiquettes in the development of adaptive access mobile military communications

    Grace, D., Burr, A. G., Tozer, T. C. & Baines, S. J., 1995, MILCOM 95 - CONFERENCE RECORD, VOLS 1-3. NEW YORK: I E E E, p. 508-512 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  416. The use of a standard radiating source to predict radiated emissions in a GTEM cell (30 MHz-1 GHz)

    Nothofer, A., Marvin, A. C. & Dawson, L., 1999, Measurement Dissemination by Transfer Methods (Ref. No. 1999/048), IEE Seminar. p. 7/1-7/4

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  417. The use of a genetic algorithm to optimize the functional form of a multi-dimensional polynomial fit to experimental data

    Clegg, J., Dawson, J., Porter, S. & Barley, M., 1 Sep 2005, IEEE Congress on Evolutionary Computation, Edinburgh. NEW YORK: IEEE, Vol. 1. p. 928-934 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  418. The use of TLM modelling to predict the performance of ferrite tiles in damping resonances within a screened enclosure

    Dawson, L., Dawson, JF., Marvin, A. C. & Welsh, D., 1 Aug 1999, Electromagnetic Compatibility, 1999 IEEE International Symposium on. Vol. 2. p. 867-872

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  419. The usability of accessibility evaluation tools

    Petrie, H., King, N., Velasco, C., Gappa, H. & Nordbrock, G., 2007, Universal Access in Human-Computer Interaction: Applications and Services, Pt 3, Proceedings. Stephanidis, C. (ed.). BERLIN: SPRINGER-VERLAG BERLIN, p. 124-132 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  420. The tree of life - An overview

    Baldauf, S. L., Bhattacharya, D., Cockrill, J., Hugenholtz, P., Pawlowski, J. & Simpson, A. G. B., 2004, ASSEMBLING THE TREE OF LIFE. Cracraft, J. & Donoghue, MJ. (eds.). NEW YORK: OXFORD UNIV PRESS, p. 43-75 33 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  421. The trade off between diversity and quality for multi-objective workforce scheduling

    Cowling, P., Colledge, N., Dahal, K. & Remde, S., 2006, European Conference on Evolutionary Computation in Combinatorial Optimization. p. 13-24 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  422. The topography and location of nanoparticles using STEM imaging in a FESEM

    Gai, P. L. & Smith, D., 2006, Proceedings of the 16th International Microscopy Congress (IMC 16).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  423. The topographic effect in earth resistivity arrays: A comparative study

    Tsourlos, P. I., Szymanski, J. E. & Dittmer, J. K., 1995, IGARSS '95 - 1995 International Geoscience and Remote Sensing Symposium. Stein, TI. (ed.). NEW YORK: I E E E, p. 30-32 3 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  424. The temporality of the Mesolithic landscape: new work at Star Carr

    Conneller, C., Milner, N., Schadla-Hall, T. & Taylor, B., 2009, Chronology and Evolution within the Mesolithic of North-West Europe: Proceedings of an International Meeting, Brussels, May 30th-June 1st 2007. Crombé, P., Strydonck, V., Sergant, M., Boudin, M. & Bats, M. (eds.). Newcastle upon Tyne: Cambridge Scholars Publishing, p. 77-94

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  425. The temporal knapsack problem and its solution

    Bartlett, M., Frisch, A. M., Hamadi, Y., Miguel, I., Tarim, S. A. & Unsworth, C., 2005, INTEGRATION OF AI AND OR TECHNIQUES IN CONSTRAINT PROGRAMMING FOR COMBINATORIAL OPTIMIZATION PROBLEMS. Bartak, R. & Milano, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 34-48 15 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  426. The technology transfer gap: A case study of academic-industrial technology transfer

    Smith, J., Wright, P., McDermid, J. & Cockram, T., 1998, CONFERENCE ON ACADEMIC AND INDUSTRIAL COOPERATION IN SPACE RESEARCH. PARIS: EUROPEAN SPACE AGENCY, p. 63-72 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  427. The structure around w=1680 MeV in η photoproduction off the neutron

    Werthmüller, D. & Witthauer, L., 1 Dec 2011, International PrimeNet Workshop. p. 131-133 3 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  428. The state problem for test generation in Simulink

    Zhan, Y. & Clark, J. A., 2006, Proceedings of the 8th annual conference on Genetic and evolutionary computation. New York, NY, USA: ACM, p. 1941-1948 8 p. (GECCO '06).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  429. The source of the building stones from the Sagunto Castle archaeological area and its surroundings

    Gallello, G., Ramacciotti, M., Lezzerini, M., Hernandez, E., Calvo, M., Morales, A., Pastor, A. & Guardia, M. D. L., 11 Jun 2017, Abstract Book CSI XL PISA 2017, EMSLIBS 2017. Corozzi, A. (ed.). Pisa, Poster Session I-PP15

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  430. The sonification of EMG data

    Pauletto, S. & Hunt, A., 2006, Proceedings of the International Conference on Auditory Display.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  431. The sonic enhancement of graphical buttons

    Brewster, S. A., Wright, P. C., Dix, A. J. & Edwards, A. D. N., 1995, Human-Computer Interaction, INTERACT '95, IFIP TC13 Interantional Conference on Human-Computer Interaction, 27-29 June 1995, Lillehammer, Norway. Nordby, K., Helmersen, P. H., Gilmore, D. J. & Arnesen, S. A. (eds.). Chapman and Hall, p. 43-48 6 p. (IFIP Conference Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  432. The solar occultation mission ACE: An overview

    Bernath, P., 2004, OCCULTATIONS FOR PROBING ATMOSPHERE AND CLIMATE. BERLIN: SPRINGER-VERLAG BERLIN, p. 319-331 13 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  433. The social organization of trouble management in psychic practitioner - sitter interaction: three discursive strategies

    Wooffitt, R., 2006, Proceedings of the 49th Annual Convention of the Parapsychological Association . The Parapsychological Association

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  434. The sexualities of Edward II

    Ormrod, M., Dodd, G. & Musson, A. (ed.), 2006, The Reign of Edward II: New Perspectives. York/Woodbridge: York Medieval Press in association with Boydell & Brewer, p. 22-47 25 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  435. The segregation of spatialised speech in interference by optimal mapping of diverse cues

    Gao, J. & Tew, A. I., 19 Apr 2015, 2015 IEEE International Conference on Acoustics, Speech, and Signal Processing : Proceedings. Brisbane: IEEE, p. 2095-2099 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  436. The security implications of the UK quitting the EU: How will Brexit affect EU strategic ambitions and the common security and defence policy?

    Sweeney, S., 6 Sep 2017, UACES Annual Conference, Krakow, Poland.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  437. The safety argument manager: An integrated approach to the engineering and safety assessment of computer based systems

    Wilson, S. P., McDermid, J. A., Kirkham, P. M. & Fenelon, P., 1996, IEEE SYMPOSIUM AND WORKSHOP ON ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS. LOS ALAMITOS: I E E E, COMPUTER SOC PRESS, p. 198-205 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  438. The role of the government in promoting and steering cluster development: The case of a top-down energy cluster

    Vernay, A. L., D'Ippolito, B. & Pinkse, J., 2015, Regional Studies Conference. Università Cattolica del Sacro Cuore, Italy

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  439. The role of spoken language in internationally-mixed university classrooms

    Hardman, J., 2012, Changing Englishes in Internationalising Universities: increasing the language awareness of ‘home’ and ‘international’ students and academic staff . Higher Education Academy

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  440. The role of mimesis in infant language development: Evidence for phylogeny

    Vihman, M. M. & DePaolis, R. A., 2000, The Evolutionary Emergence of Language. Knight, C., Studdert-Kennedy, M. & Hurford, J. R. (eds.). Cambridge University Press, p. 130-145 15 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  441. The role of gesture in environmental control

    Kirk, R., Hunt, A., Hildred, M. & Verity, A., 2000, PROCEEDINGS OF THE 26TH EUROMICRO CONFERENCE, VOLS I AND II. Vajda, F. (ed.). LOS ALAMITOS: IEEE COMPUTER SOC, p. A377-A383 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  442. The role of gaming during difficult life experiences

    Iacovides, I. & Mekler, E. D., 2 May 2019, CHI 2019 - Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery (ACM)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  443. The role of carrier accumulation in the optical confinement layer in output efficiency deterioration of laser diodes

    Avrutin, E. A. & Ryvkin, B. S., 2 Dec 2016, 2016 International Semiconductor Laser Conference, ISLC 2016. Institute of Electrical and Electronics Engineers Inc., 2 p. 7765818

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  444. The role of anisotropy for the defect properties in a-plane GaN - art. no. 689403

    Kroger, R. & Paskova, T., 2008, GALLIUM NITRIDE MATERIALS AND DEVICES III. Morkoc, H., Litton, CW., Chyi, JI., Nanishi, Y. & Yoon, E. (eds.). BELLINGHAM: SPIE-INT SOC OPTICAL ENGINEERING, p. 89403-89403 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  445. The role of anisotropy for defect properties in a-plane GaN

    Kröger, R. & Paskova, T., 21 Apr 2008, Gallium Nitride Materials and Devices III. Vol. 6894. 689403

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  446. The relationship between accessibility and usability of websites

    Petrie, H. & Kheir, O., 2007, Proceedings of the Special Interest Group on Computer-Human Interaction 2007 Conference on Human Factors. p. 397 - 406

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  447. The rapid quenching of steels

    RAYMENT, J. J. & Cantor, B., 1980, Rapid Solidification Processing - Principles and Technologies II. Mehrabian, R., Kear, BH. & Cohen, M. (eds.). Baton Rouge: Claitors, p. 165

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  448. The psychosocial impact of having diabetes alongside severe mental illness: Comparing results from the Diabetes Attitudes, Wishes and Needs‐Severe Mental Illness (DAWN‐SMI) and Diabetes Attitudes, Wishes and Needs Second (DAWN2) studies

    Taylor, J., Lister, J. E., Boehnke, J., Holt, R., Phillips, A., Peyrot, M., Stubbs, B., Stuckey, H. & Siddiqi, N., 5 Mar 2019, Diabetic Medicine. 376

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  449. The psychodynamics of rural enterprise: The role of emotions, leadership and family dynamics in firm strategy and survival

    Glover, J. & Trehan, K., 2015, Institute of Small Business Enterprise Conference.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  450. The proper treatment of undefinedness in constraint languages

    Frisch, A. M. & Stuckey, P. J., 2009, Principles and Practice of Constraint Programming - CP 2009 : 15th International Conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 Proceedings. SPRINGER-VERLAG BERLIN, p. 367-382 (Lecture Notes in Computer Science; vol. 5732).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  451. The printed circuit board assembly problem: heuristic approaches for multi-headed placement machinery

    Burke, E., Cowling, P. & Keuthen, R., 2001, Proc. of the IC-AI2001, Las Vegas, CSREA Press (2001.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  452. The prediction of Henry's law constant: A QSPR from fundamental considerations

    Dearden, J. C., Cronin, M. T. D., Sharra, J. A., Higgins, C., Boxall, A. B. A. & Watts, C. D., 1997, QUANTITATIVE STRUCTURE-ACTIVITY RELATIONSHIPS IN ENVIRONMENTAL SCIENCES -. Chen, F. & Schuurmann, G. (eds.). PENSACOLA: SETAC PRESS, Vol. VII. p. 135-142 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  453. The pop-up ethnographer: roles of the researcher in temporary spaces

    Maxwell, D., Woods, M. & Prior, S., 2013, Proceedings of the Ethnographic Praxis in Industry Conference. : EPIC 2013, London 15-18 September 2013. John Wiley & Sons, p. 175-190

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  454. The plant-life of early Anglo-Saxon art

    Hawkes, J. & Biggam, C. (ed.), 2003, From Earth to Art. Amsterdam: Rodopi, p. 263-286 23 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  455. The placebo effect in digital games: Phantom perception of adaptive artificial intelligence

    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. 23-33 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  456. The pioneering development and applications of atomic resolution: In situ ETEM

    Gai, P. L., 2004, European Microscopy Conference Proceedings. Vol. 2.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  457. The phosphorus nutrition of wild plants and the paradox of arsenate tolerance: Does leaf phosphate concentration control flowering?

    Fitter, A. H., Wright, W. J., Williamson, L., Belshaw, M., Fairclough, J. & Meharg, A. A., 1999, PHOSPHORUS IN PLANT BIOLOGY: REGULATORY ROLES IN MOLECULAR, CELLULAR, ORGANISMIC, AND ECOSYSTEM PROCESSES. Lynch, JP. & Deikman, J. (eds.). ROCKVILLE: AMER SOC PLANT BIOLOGISTS, p. 39-51 13 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  458. The phonological and phonetic encoding of information status in American English nuclear accents

    Chodroff, E. R. & Cole, J., 2019, Proceedings of the 19th International Congress of Phonetic Sciences. 187. (Proceedings of the International Congress of Phonetic Sciences).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  459. The performance of polyploid evolutionary algorithms is improved both by having many chromosomes and by having many copies of each chromosome on symbolic regression problems

    Cavill, R., Smith, S. & Tyrrell, A., 2005, 2005 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1-3, PROCEEDINGS. NEW YORK: IEEE, p. 935-941 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  460. The perceptual influences on gait transition of step parameters in optic flow in virtual environment locomotion simulators

    Dong, H., Pelah, A., Cameron, J. I. & Lasenby, J., 2008, Applied Perception in Graphics and Visualisation: Proceedings of the 5th symposium on Applied perception in graphics and visualization. p. 143-146 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  461. The pathways of complement

    Aitken, J. M., Clarke, T. & Timmis, J. I., 2008, Lecture Notes in Computer Science: Artificial Immune Systems. Springer Berlin / Heidelberg, Vol. 5132. p. 364-375 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  462. The organization of demonstrations of paranormal cognition

    Wooffitt, R., 2003, Proceedings of the 46th Annual Convention of the Parapsychological Association . The Parapsychological Association, p. 329-346

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  463. The optimal focus position when scrolling using a small display

    Whalley, J. & Monk, A., 2005, HUMAN-COMPUTER INTERACTION - INTERACT 2005, PROCEEDINGS. Costabile, MF. & Paterno, F. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 982-985 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  464. The oldest rainforests in Africa: stability or resilience for survival and diversity?

    Lovett, J. C., Marchant, R., Taplin, J. & Kuper, W., 2005, Phylogeny and Conservation. Purvis, A., Gittleman, JL. & Brooks, T. (eds.). NEW YORK: CAMBRIDGE UNIV PRESS, p. 198-229 32 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  465. The officeair project: Preliminary results from a detailed chemical model

    Carslaw, N. & Ashmore, M., 1 Dec 2011, 12th International Conference on Indoor Air Quality and Climate 2011. Vol. 4. p. 3038-3039 2 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  466. The new political history: Recent rends in the historiography of later medieval England

    Ormrod, M., 2009, New Approaches to the History of Late Medieval and Early Modern Europe: Selected Proceedings of Two International Conferences at the Royal Danish Academy of Sciences and Letters in Copenhagen in 1997 and 1999. Dahlerup, T. & Ingesman, P. (eds.). Copenhagen: Historsik-filosofiske Meddelelser CIV, p. 37-59 22 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  467. The new OPEC

    Pfaltzgraff, L. A., Budarin, V. & Clark, J. H., 20 Aug 2012, Technical Proceedings of the 2012 NSTI Nanotechnology Conference and Expo, NSTI-Nanotech 2012. p. 495-498 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  468. The need for macro-models in the simulation of EMI effects in integrated circuits

    Dawson, J. F., Persyn, W., Hagiwara, S. & Wood, J., 1 Jan 1994, EMC'94 Roma. Rome, Italy, p. 638-643 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  469. The n-TOF facility: Neutron beams for challenging future measurements at CERN

    Chiaveri, E., Aberle, O., Andrzejewski, J., Audouin, L., Bacak, M., Balibrea-Correa, J., Barbagallo, M., Bečvář, F., Berthoumieux, E., Billowes, J., Bosnar, D., Brown, A., Caamaño, M., Calviño, F., Calviani, M., Cano-Ott, D., Cardella, R., Casanovas, A., Cerutti, F., Chen, Y. H. & 96 others, Colonna, N., 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., Göbel, K., García, A. R., Gawlik, A., Gilardoni, S., Glodariu, T., Gonçalves, I. F., González-Romero, E., Griesmayer, E., Guerrero, C., Gunsing, F., Harada, H., Heinitz, S., Heyse, J., Jenkins, D. G., Jericha, E., Käppeler, F., Kadi, Y., Kalamara, A., Kavrigin, P., Kimura, A., Kivel, N., Kokkoris, M., Krtička, M., Kurtulgil, D., Leal-Cidoncha, E., Lederer, C., Leeb, H., Lerendegui-Marco, J., Lo Meo, S., Lonsdale, S. J., Macina, D., Marganiec, J., Martínez, T., Masi, A., Massimi, C., Mastinu, P. F., Mastromarco, M., Maugeri, E. A., Mazzone, A., Mendoza, E., Mengoni, A., Milazzo, P. M., Mingrone, F., Musumarra, A., Negret, A., Nolte, R., Oprea, A., Patronis, N., Pavlik, A., Perkowski, J., Porras, I., Praena, J., Quesada, J. M., Radeck, D., Rauscher, T., Reifarth, R., Rubbia, C., Ryan, J. A., Sabaté-Gilarte, M., Saxena, A. K., Schillebeeckx, P., Schumann, D., Smith, A. G., Sosnin, N. V., 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., Woods, P. J., Wright, T. & Ugec, P., 13 Sep 2017, ND 2016: International Conference on Nuclear Data for Science and Technology. EDP Sciences, Vol. 146. 03001

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  470. The museum as digital storyteller: Collaborative participatory creation of interactive digital experiences

    Roussou, M., Pujol, L., Katifori, A., Chrysanthi, A., Perry, S. E. & Vayanou, M., 2015, Museums and the Web. p. 1 1 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  471. The molecular basis of host specificity of rhizobia

    Spaink, H. P., Bakkers, J., Bladergroen, M., Bloemberg, G. V., Dandal, I., Diaz, C. L., BlokTip, L., Gisel, A., Harteveld, M., LopezLara, I. M., Kafetzopoulos, D., Kamst, E., Kijne, J. W., Meijer, D., Lugtenberg, B. J. J., Ovtsyna, A. O., Potrykus, I., Quaedvlieg, N. E. M., Quinto, C., Ritsema, T. & 9 others, Sautter, C., Schlaman, H. R. M., Thomas-Oates, J. E., vanBoom, J. H., vanderDrift, K., vanderMarel, G. A., vanLeeuwen, S., Veldhuis, A. & Wijfjes, A. H. M., 1996, BIOLOGY OF PLANT-MICROBE INTERACTIONS. ST PAUL: INTERNATIONAL SOC MOLECULAR PLANT-MICROBE INTERACTIONS, p. 299-306 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  472. The microstructure origin of large strain plastically deformed SiC nanowires

    Fu, X., Jiang, J., Hu, X., Yuan, J., Zhang, Y., Han, X. & Zhang, Z., 2008, EMAG: ELECTRON MICROSCOPY AND ANALYSIS GROUP CONFERENCE 2007. Baker, RT., Mobus, G. & Brown, PD. (eds.). BRISTOL: IOP PUBLISHING LTD, p. 12072-12072 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  473. The metal detector and the Viking Age in England

    Richards, J. D. & Naylor, J., 2010, The Viking Age: Ireland and the West: Proceedings of the 15th Viking Congress. O’Corrain, D. & Sheehan, J. (eds.). Cork: Four Courts Press, p. 338-52

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  474. The measurement programme at the neutron time-of-flight facility n-TOF at CERN

    Gunsing, F., Aberle, O., Andrzejewski, J., Audouin, L., Bécares, V., Bacak, M., Balibrea-Correa, J., Barbagallo, M., Barros, S., Bečvář, F., Beinrucker, C., Belloni, F., Berthoumieux, E., Billowes, J., Bosnar, D., Brown, A., Brugger, M., Caamaño, M., Calviño, F., Calviani, M. & 131 others, Cano-Ott, D., Cardella, R., Casanovas, A., Castelluccio, D. M., Cerutti, F., Chen, Y. H., Chiaveri, E., Colonna, N., Cortés-Giraldo, M. A., Cortés, G., Cosentino, L., Damone, L. A., Deo, K., 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., Frost, R. J. W., Furman, V., Ganesan, S., García, A. R., Gawlik, A., Gheorghe, I., Gilardoni, S., Glodariu, T., Gonçalves, I. F., González-Romero, E., Goverdovski, A., Griesmayer, E., Guerrero, C., Göbel, K., Harada, H., Heftrich, T., Heinitz, S., Hernández-Prieto, A., Heyse, J., Jenkins, D. G., Jericha, E., Käppeler, F., Kadi, Y., Kalamara, A., Katabuchi, T., Kavrigin, P., Ketlerov, V., Khryachkov, V., Kimura, A., Kivel, N., Kokkoris, M., Krtička, M., Kurtulgil, D., Leal-Cidoncha, E., Lederer, C., Leeb, H., Lerendegui, J., Licata, M., Lo Meo, S., Lonsdale, S. J., Losito, R., Macina, D., Marganiec, J., Martínez, T., Masi, A., Massimi, C., Mastinu, P. F., Mastromarco, M., Matteucci, F., Maugeri, E. A., Mazzone, A., Mendoza, E., Mengoni, A., Milazzo, P. M., Mingrone, F., Mirea, M., Montesano, S., Musumarra, A., Nolte, R., Negret, A., Oprea, A., Palomo-Pinto, F. R., Paradela, C., Patronis, N., Pavlik, A., Perkowski, J., Porras, I., Praena, J., Quesada, J. M., Radeck, D., Rajeev, K., Rauscher, T., Reifarth, R., Riego-Perez, A., Robles, M. S., 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., Sosnin, N. V., Stamatopoulos, A., Suryanarayana, S. V., Tagliente, G., Tain, J. L., Tarifeño-Saldivia, A., Tarrío, D., 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., 13 Sep 2017, ND 2016: International Conference on Nuclear Data for Science and Technology. EDP Sciences, Vol. 146. 11002

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  475. The measurement and use of groundplane reflection coefficientsfor improving the accuracy of radiation measurements using open-field test sites

    Marvin, A. & Mann, S., 1991, British Electromagnetics Mewasurement Conference 1991. Malvern

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  476. The intrinsic evolution of Virtex devices through Internet reconfigurable logic

    Hollingworth, G., Smith, S. & Tyrrell, A., 2000, EVOLVABLE SYSTEMS: FROM BIOLOGY TO HARDWARE, PROCEEDINGS. Miller, J., Thompson, A., Thomson, P. & Fogarty, TC. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 72-79 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  477. The interactional basis of subjects’ circumspect stance towards their imagery in mentation review stage of ganzfeld experiments

    Wooffitt, R., 2006, Proceedings of the 49th Annual Convention of the Parapsychological Association . The Parapsychological Association

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  478. The interaction of optical vortices with chiral matter

    Andrews, DL., Babiker, M., Carter, AR. & Romero, LCD., 2004, COMPLEX MEDIUMS V: LIGHT AND COMPLEXITY. McCall, MW. & Dewar, G. (eds.). BELLINGHAM: SPIE-INT SOC OPTICAL ENGINEERING, p. 8-15 8 p. (PROCEEDINGS OF THE SOCIETY OF PHOTO-OPTICAL INSTRUMENTATION ENGINEERS (SPIE); vol. 5508).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  479. The interaction between inference and branching heuristics

    Drake, L. & Frisch, A., 2004, THEORY AND APPLICATIONS OF SATISFIABILITY TESTING. Giunchiglia, E. & Tacchella, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 370-382 13 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  480. The influence of emotion on number entry errors

    Cairns, P. A., Pandab, P. & Power, C. D., 26 Apr 2014, CHI '14 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems. ACM, p. 2293-2296 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  481. The influence of controllers on immersion in mobile games

    Cairns, P., Li, J., Wang, W. & Nordin, A. I., 2014, CHI '14: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems. Association for Computing Machinery (ACM), p. 371-380 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  482. The influence of Walkable Urban Green Spaces in the Population of Amadora, Portugal

    Santana, P., Costa, C., Santos, R. & Loureiro, A., 2011, TRIA - Territorio della Ricerca su Insediamenti e Ambiente. Naples: Università degli Studi "Federico II" di Napoli, Nápoles, Vol. 6. p. 57-69

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  483. The improved correlation matrix memory (CMML)

    Shah, N., O'Keefe, S. & Austin, J., 2007, 2007 IEEE INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS, VOLS 1-6. NEW YORK: IEEE, p. 1168-1173 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  484. The improved correlation matrix memory (CMML)

    Shah, N., O'Keefe, S. & Austin, J., 1 Dec 2007, IEEE International Conference on Neural Networks - Conference Proceedings. p. 1168-1173 6 p. 4371123

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  485. The implications of dependent plural readings

    Zweig, E., 2006, NELS 36: Proceedings of the thirty-sixth annual meeting of the North East Linguistic Society. Davis, C., Deal, A. R. & Zabbal, Y. (eds.). p. 735 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  486. The impact of cognitive load on the perception of time

    Block, F. & Gellersen, H., 2010, NordiCHI 2010: Extending Boundaries - Proceedings of the 6th Nordic Conference on Human-Computer Interaction. p. 607-610 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  487. The identification and extraction of itemset support defined by the weight matrix of a Self-Organising Map

    Baez-Monroy, V. & O'Keefe, S., 2006, International Joint Conference on Neural Networks, 2006. IJCNN '06.. p. 6550-6557 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  488. The identification and extraction of itemset support defined by the weight matrix of a Self-Organising Map

    Baez-Monroy, V. & O'Keefe, S., 1 Dec 2006, IEEE International Conference on Neural Networks - Conference Proceedings. p. 3518-3525 8 p. 1716581

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  489. The identification and extraction of itemset support defined by the weight matrix of a Self-Organising Map

    Baez-Monroy, V. & O'Keefe, S., 2006, 2006 IEEE INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORK PROCEEDINGS, VOLS 1-10. NEW YORK: IEEE, p. 3518-3525 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  490. The human singing voice

    Howard, D. M., 1999, PROCEEDINGS OF THE ROYAL INSTITUTION OF GREAT BRITAIN, VOL 70. Day, P. (ed.). OXFORD: Oxford University Press, p. 113-134 22 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  491. The gopher game: a social, mobile locative game with user generated content and peer review

    Casey, S., Kirman, B. & Rowland, D., 1 Dec 2007, International Conference on Advances in Computer Entertainment Technology. New York, NY: ACM Press, p. 9-16 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  492. The future of techno-disruption in gig economy workforces: challenging the dialogue with fictional abstracts

    Bates, O., Remy, C., Nash, C. & Kirman, B., Nov 2019, Proceedings of the Halfway to the Future Symposium 2019. NY: Association for Computing Machinery (ACM), p. 1-4 4 p. 32. (The ACM International Conference Proceeding Series (ICPS)).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  493. The foot as the domain of tonal alignment of intonational pitch accents.

    Hellmuth, S., 2007, Proceedings of 16th ICPhS, Saarbruecken, Germany..

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  494. The food web approach in the environmental management of toxic substances

    Baird, D. J., Brock, T. C. M., de Ruiter, P. C., Boxall, A. B. A., Culp, J. M., Eldridge, P., Hommen, U., Jak, R. G., Kidd, K. A. & DeWitt, T., 2001, ECOLOGICAL VARIABILITY: SEPARATING NATURAL FROM ANTHROPOGENIC CAUSES OF ECOSYSTEM IMPAIRMENT. Baird, DJ. & Burton, GA. (eds.). PENSACOLA: SETAC PRESS, p. 83-122 40 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  495. The epsilon object language (EOL)

    Kolovos, D. S., Paige, R. F. & Polack, F. A. C., 2006, MODEL DRIVEN ARCHITECTURE - FOUNDATIONS AND APPLICATIONS, PROCEEDINGS. Rensink, A. & Warmer, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 128-142 15 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  496. The engineering of concurrent simulations of complex systems

    Polack, F. A. C., Andrews, P. S. & Sampson, A. T., 2009, 2009 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION. NEW YORK: IEEE, p. 217-224 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  497. The end of the line for static cyclic scheduling?

    Audsley, N., Tindell, K. & Burns, A., 1 Dec 1993, Proceedings - 5th Euromicro Workshop on Real-Time Systems, ECRTS 1993. p. 36-41 6 p. 639042

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  498. The effects of variable stationarity in a financial time-series on Artificial Neural Networks

    Butler, M. & Kazakov, D., 1 Apr 2011, 2011 IEEE Symposium on Computational Intelligence for Financial Engineering and Economics (CIFEr). Paris: IEEE, p. 1 -8 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  499. The effects of multi-pulse irradiation on x-ray laser media

    Behjat, A., Lin, J., Tallents, G. J., Demir, A., Kurkcuoglu, M., Lewis, C. L. S., MacPhee, A. G., McCabe, S. P., Warwick, P. J., Neely, D., Wolfrum, E., Healy, S. B. & Pert, G. J., 1996, X-RAY LASERS 1996. Svanberg, S. & Wahlstrom, CG. (eds.). BRISTOL: IOP PUBLISHING LTD, p. 247-249 3 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  500. The effects of cross-polarisation terms in the measurement of radiated emissions on open-area test-sires and in GTEM cells

    Marvin, A., Nothofer, A. & Turnbull, L., 6 Jan 1997, Proceedings of PIERS 1997. Hong Kong

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

Previous 1 2 3 4 5 6 7 8 9 Next