Department of Computer Science

2023

Assessing Sustainability Impacts of Systems: SuSAF and the SDGs

Brooks, I., Seyff, N., Betz, S., Lammert, D., Porras, J., Duboc, L., Chitchyan, R., Venters, C. C. & Penzenstadler, B., 8 Jul 2023, Evaluation of Novel Approaches to Software Engineering. Kaindl, H., Mannion, M. & Maciaszek, L. A. (eds.). Springer, p. 205-219 15 p. (Communications in Computer and Information Science; vol. 1829 CCIS).

Research output: Chapter in Book/Report/Conference proceeding › Chapter in a book

1 Citation (Scopus)

2022

Academic and Industrial Partnerships in the Research and Development of Hybrid Autonomous Systems: Challenges, Tools and Methods

Barden, E., Crosscombe, M., Galvin, K., Harding, C., Johnson, A., Kent, T., Richards, A. G. & Zanatto, D., 2 Apr 2022, Modelling and Simulation for Autonomous Systems - 8th International Conference, MESAS 2021, Revised Selected Papers. Mazal, J., Fagiolini, A., Vasik, P., Turi, M., Bruzzone, A., Pickl, S., Neumann, V. & Stodola, P. (eds.). Springer, p. 478-493 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13207 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Chapter in a book

Internet of Things and New Frontiers of Datafication

Domínguez Hernández, A., 31 Dec 2022, The SAGE Handbook of Digital Society. Housley, W., Edwards, A., Beneito-Montagut, R. & Fitzgerald, R. (eds.). 1 ed. SAGE Publications Ltd

Research output: Chapter in Book/Report/Conference proceeding › Chapter in a book

Label a Herd in Minutes: Individual Holstein-Friesian Cattle Identification

Gao, J., Burghardt, T. & Campbell, N. W., 13 Apr 2022, (Accepted/In press) 21st International Conference on Image Analysis and Processing Workshop (ICIAPW) on Learning in Precision Livestock Farming (LPLF). (Lecture Notes in Computer Science ).

Research output: Chapter in Book/Report/Conference proceeding › Chapter in a book

2021

Development and delivery of a Sustainable Development unit in UK universities: A Higher Education’s guide for future sustainability leaders

Michalopoulou, E., Tierney, A., Atkins, E., Stanmore, T. H. J., Ma, L., Jester, N. A. & Preist, C. W., 2021, Universities, Sustainability and Society: Supporting the Implementation of the Sustainable Development Goals. Leal Filho, W., Lange Salvia, A., Brandli, L., M Azeiteiro, U. & Pretorius, R. (eds.). Springer Nature, p. 465-481 17 p. (World Sustainability Series).

Research output: Chapter in Book/Report/Conference proceeding › Chapter in a book

Open Access

File

1 Citation (Scopus)

37 Downloads (Pure)

Time Matters: Exploring the Effects of Urgency and Reaction Speed in Automated Traders

Hanifan, H., Watson, B., Cartlidge, J. P. & Cliff, D. T., 14 Mar 2021, Agents and Artificial Intelligence - 12th International Conference, ICAART 2020, Revised Selected Papers. Rocha, A. P., Steels, L. & van den Herik, J. (eds.). Springer, Vol. 12613. p. 149-170 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12613 LNAI).

Research output: Chapter in Book/Report/Conference proceeding › Chapter in a book

Open Access

2020

Big Data Ethics: Darth Vader and the Green Cross Man

Mowbray, M., 12 Mar 2020, Future Law: Emerging Technology, Regulation and Ethics. Edwards, L., Schafer, B. & Harbinja, E. (eds.). Edinburgh University Press, 15 p.

Research output: Chapter in Book/Report/Conference proceeding › Chapter in a book

Open Access

File

53 Downloads (Pure)

Cyber Security

O'Grady, N. & Dwyer, A., 2020, International Encyclopedia of Human Geography. Elsevier Limited, p. 135 - 141 6 p.

Research output: Chapter in Book/Report/Conference proceeding › Chapter in a book

1 Citation (Scopus)

Prediction of Thrombectomy Functional Outcomes Using Multimodal Data

Samak, Z. A., Clatworthy, P. & Mirmehdi, M., 8 Jul 2020, Communications in Computer and Information Science: Medical Image Understanding and Analysis. Springer, Vol. 1248.

Research output: Chapter in Book/Report/Conference proceeding › Chapter in a book

10 Citations (Scopus)

2019

Big Data

Dufresne, Y. & Davidson, B., 2019, (Accepted/In press) Key Concepts in Research Methods. Oxford University Press

Research output: Chapter in Book/Report/Conference proceeding › Chapter in a book

Everything is Awesome! Or is it? Cyber Security Risks in Critical Infrastructure

Rashid, A., Gardiner, J., Green, B. & Craggs, B., 2019, (Accepted/In press) Critical Information Infrastructures Security - 14th International Conference, CRITIS 2019, Linköping, Sweden.. Springer, p. 3 - 17 11 p.

Research output: Chapter in Book/Report/Conference proceeding › Chapter in a book

Open Access

File

138 Downloads (Pure)

Machine Decisions and Human Consequences

Scantamburlo, T., Charlesworth, A. & Cristianini, N., 2019, Algorithmic Regulation. Yeung, K. & Lodge, M. (eds.). Oxford University Press

Research output: Chapter in Book/Report/Conference proceeding › Chapter in a book

Oops I Did it Again: Further Adventures in the Land of ICS Security Testbeds

Gardiner, J., Craggs, B., Green, B. & Rashid, A., 1 Nov 2019, ACM Workshop on ACM Workshop on Cyber-Physical Systems Security & Privacy (CPS-SPC) : In Conjunction with the ACM Conference on Computer and Communications Security (CCS) November 11 2019, London, UK. ACM Press / Sheridan, p. 75–86 12 p.

Research output: Chapter in Book/Report/Conference proceeding › Chapter in a book

Open Access

File

19 Citations (Scopus)

870 Downloads (Pure)

Parametric Optimization for Nonlinear Quadcopter Control Using Stochastic Test Signals

Matus-Vargas, A., Rodriguez-Gomez, G. & Martinez-Carranza, J., 29 Jun 2019, (E-pub ahead of print) Robot Operating System (ROS): The Complete Reference . Koubaa, A. (ed.). Springer Verlag, Vol. 4. p. 55-79 25 p. (Studies in Computational Intelligence; vol. 831).

Research output: Chapter in Book/Report/Conference proceeding › Chapter in a book

Path Planning and Following for an Autonomous Model Car Using an “Eye in the Sky”

Rill-García, R., Martinez-Carranza, J., Granados, E. & Morales, M., 29 Jun 2019, (E-pub ahead of print) Robot Operating System (ROS): The Complete Reference. Koubaa, A. (ed.). Springer Verlag, Vol. 4. p. 25-51 27 p. (Studies in Computational Intelligence; vol. 831).

Research output: Chapter in Book/Report/Conference proceeding › Chapter in a book

1 Citation (Scopus)

Places for News: A Situated Study of Context in News Consumption

Cohen, Y., Constantinides, M. & Marshall, P., 25 Aug 2019, Human-Computer Interaction – INTERACT 2019. Lamas, D., Loizides, F., Nacke, L., Petrie, H., Winckler, M. & Zaphiris, P. (eds.). 1st ed. Springer, p. 69-91 (Human-Computer Interaction – INTERACT 2019; vol. 11747).

Research output: Chapter in Book/Report/Conference proceeding › Chapter in a book

Open Access

File

2 Citations (Scopus)

14 Downloads (Pure)

Reversible Logic: An Introduction

Gaur, H. M., Sasamal, T. N., Singh, A. K., Mohan, A. & Pradhan, D. K., 28 Jul 2019, (E-pub ahead of print) Design and Testing of Reversible Logic. Singh, A. K., Fujita, M. & Mohan, A. (eds.). Springer Verlag, p. 3-18 16 p. (Lecture Notes in Electrical Engineering; vol. 577).

Research output: Chapter in Book/Report/Conference proceeding › Chapter in a book

9 Citations (Scopus)

Sustainability in Higher Education: Beyond the Green Mirror

Walsh, A., Michalopoulou, E., Tierney, A., Tweddell, H., Preist, C. & Willmore, C., 1 May 2019, (E-pub ahead of print) Universities as Living Labs for Sustainable Development: Supporting the Implementation of the Sustainable Development Goals. Filho, W. L., Salvia, A. L., Pretorius, R. W., Brandli, L. L., Manolas, E., Alves, F., Azeiteiro, U., Rogers, J., Shiel, C. & Paco, A. D. (eds.). Springer, p. 183-191 9 p. (World Sustainability Series).

Research output: Chapter in Book/Report/Conference proceeding › Chapter in a book

4 Citations (Scopus)

Video Stabilization of the NAO Robot Using IMU Data

Alquisiris-Quecha, O. & Martinez-Carranza, J., 29 Jun 2019, Studies in Computational Intelligence. Koubaa, A. (ed.). Springer Verlag, p. 147-162 16 p. (Studies in Computational Intelligence; vol. 831).

Research output: Chapter in Book/Report/Conference proceeding › Chapter in a book

2 Citations (Scopus)

2018

From Case Law to Ratio Decidendi

Valvoda, J. & Ray, O., 2018, Lecture Notes in Artificial Intelligence: New Frontiers in Artificial Intelligence. Arai, S., Kojima, K., Mineshima, K., Bekki, D., Satoh, K. & Ohta, Y. (eds.). Springer, Vol. 10838. p. 20-34

Research output: Chapter in Book/Report/Conference proceeding › Chapter in a book

1 Citation (Scopus)

Modelling complex financial markets using real-time human-agent trading experiments

Cartlidge, J. & Cliff, D., 21 Nov 2018, Complex Systems Modeling and Simulation in Economics and Finance. Chen, S-H., Kao, Y-F., Venkatachalam, R. & Du, Y-R. (eds.). Springer International Publishing AG, p. 35-69 34 p. (Springer Proceedings in Complexity).

Research output: Chapter in Book/Report/Conference proceeding › Chapter in a book

Open Access

File

7 Citations (Scopus)

301 Downloads (Pure)

Technologically Enhanced Dating: Augmented Human Relationships, Robots, and Fantasy

Davidson, B., Joinson, A. & Jones, S., 5 Jun 2018, A Networked Self and Love. Papacharissi, Z. (ed.). Routledge, p. 129-155

Research output: Chapter in Book/Report/Conference proceeding › Chapter in a book

2 Citations (Scopus)

Two Sides of the Same Coin: Counting and Enumerating Keys Post Side-Channel Attacks Revisited

Martin, D. P., Mather, L. & Oswald, E., 7 Mar 2018, Two Sides of the Same Coin: Counting and Enumerating Keys Post Side-Channel Attacks Revisited. p. 394-412 Chapter 21. (Topics in Cryptology – CT-RSA 2018; vol. 10808).

Research output: Chapter in Book/Report/Conference proceeding › Chapter in a book

10 Citations (Scopus)

2017

Detecting dynamical changes in vital signs using switching Kalman filter

Almeida, V. G. & Nabney, I. T., 14 Sept 2017, (E-pub ahead of print) 2017 39th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2017. United States: IEEE Computer Society, p. 2223 2226 p.

Research output: Chapter in Book/Report/Conference proceeding › Chapter in a book

Open Access

File

1 Citation (Scopus)

346 Downloads (Pure)

Embodied Decisions and the Predictive Brain

Burr, C., 2017, Philosophy and Predictive Processing. Metzinger, T. & Wiese, W. (eds.). MIND Group

Research output: Chapter in Book/Report/Conference proceeding › Chapter in a book

Open Access

Goal-Based Automation of Peer-to-Peer Electricity Trading

Murkin, J., Chitchyan, R. & Ferguson, D., 25 Aug 2017, From Science to Society: New Trends in Environmental Informatics. Springer, Cham, p. 139-151 13 p. (Progress in IS).

Research output: Chapter in Book/Report/Conference proceeding › Chapter in a book

I'd Like to Have an Argument, Please: Using Dialectic for Effective App Security

Weir, C., Rashid, A. & Noble, J., 1 Apr 2017, EuroUSEC 2017. Internet Society

Research output: Chapter in Book/Report/Conference proceeding › Chapter in a book

Polyhedral approaches to learning Bayesian networks

Haws, D., Cussens, J. & Studený, M., 2017, Algebraic and Geometric Methods in Discrete Mathematics. Harrington, H. A., Omar, M. & Wright, M. (eds.). Providence, RI: American Mathematical Society, Vol. 685. p. 155-188 34 p.

Research output: Chapter in Book/Report/Conference proceeding › Chapter in a book

SPHERE: A sensor platform for healthcare in a residential environment

Woznowski, P. R., Burrows, A., Diethe, T., Fafoutis, X., Hall, J., Hannuna, S., Camplani, M., Twomey, N., Kozlowski, M., Tan, B., Zhu, N., Elsts, A., Vafeas, A., Paiement, A., Tao, L., Mirmehdi, M., Burghardt, T., Damen, D., Flach, P., Piechocki, R., & 2 othersCraddock, I. & Oikonomou, G., 2017, Designing, Developing, and Facilitating Smart Cities: Urban Design to IoT Solutions. Angelakis, V., Tragos, E., Pöhls, H. C., Kapovits, A. & Bassi, A. (eds.). Springer, p. 315-333 19 p.

Research output: Chapter in Book/Report/Conference proceeding › Chapter in a book

59 Citations (Scopus)

2016

Autonomic curation of crowdsourced knowledge: the case of career data management

Patelli, A., Lewis, P. R., Wang, H., Nabney, I., Bennett, D., Lucas, R. & Coles, A., 2016, Proceedings : 2016 International Conference on Cloud and Autonomic Computing. United States: IEEE Computer Society, p. 40-49 10 p.

Research output: Chapter in Book/Report/Conference proceeding › Chapter in a book

1 Citation (Scopus)

Early warnings of heart rate deterioration

Almeida, V. G. & Nabney, I. T., 18 Oct 2016, 2016 38th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2016. United States: IEEE Computer Society, p. 940-943 4 p.

Research output: Chapter in Book/Report/Conference proceeding › Chapter in a book

Open Access

File

3 Citations (Scopus)

266 Downloads (Pure)

Ethiopian volcanic hazards: A changing research landscape

Vye-Brown, C., Sparks, R. S. J., Lewi, E., Mewa, G., Asrat, A., Loughlin, S. C., Mee, K. & Wright, T. J., 2016, Geological Society Special Publication. 1 ed. Geological Society of London, Vol. 420. p. 355-365 11 p. (Geological Society Special Publication; vol. 420, no. 1).

Research output: Chapter in Book/Report/Conference proceeding › Chapter in a book

11 Citations (Scopus)

Handwritten and machine-printed text discrimination using a template matching approach

Emambakhsh, M., He, Y. & Nabney, I., 13 Jun 2016, Proceedings : 12th IAPR International Workshop on Document Analysis Systems, DAS 2016. United States: IEEE Computer Society, p. 399-404 6 p.

Research output: Chapter in Book/Report/Conference proceeding › Chapter in a book

Open Access

File

6 Citations (Scopus)

308 Downloads (Pure)

Knowledge-intensive cloud services: Transforming the cloud delivery stack

Papazoglou, M. P. & Vaquero, L. M., 19 Apr 2016, Knowledge Service Engineering Handbook. CRC Press, p. 447-491 45 p.

Research output: Chapter in Book/Report/Conference proceeding › Chapter in a book

3 Citations (Scopus)

The Effects of Power Users’ Data Privacy Measures on Mobile Device Investigations

Andriotis, P. & Tryfonas, T., 2016, (Accepted/In press) Advances in Digital Forensics XII. Springer International Publishing AG

Research output: Chapter in Book/Report/Conference proceeding › Chapter in a book

Verification of Control Systems Implemented in Simulink with Assertion Checks and Theorem Proving: A Case Study

Araiza Illan, D., Eder, K. & Richards, A., 2016, (Accepted/In press) European Control Conference. Institute of Electrical and Electronics Engineers (IEEE), 6 p.

Research output: Chapter in Book/Report/Conference proceeding › Chapter in a book

2015

Bayesian Methods for Intelligent Task Assignment in Crowdsourcing Systems

Simpson, E. & Roberts, S., 10 Feb 2015, (E-pub ahead of print) Scalable Decision Making: Uncertainty, Imperfection,Deliberation. Guy, T., Kárný, M. & Wolpert, D. (eds.). Springer, p. 1-32 33 p. ( Studies in Computational Intelligence; vol. 538).

Research output: Chapter in Book/Report/Conference proceeding › Chapter in a book

Open Access

File

22 Citations (Scopus)

168 Downloads (Pure)

High dynamic range computational photography on mobile GPUs

McIntosh-Smith, S. N., Chohan, A., Curran, D. & Lokhmotov, A., 17 May 2015, GPU Pro 6: Advanced Rendering Techniques. Engel, W. (ed.). (GPU Pro; vol. 6).

Research output: Chapter in Book/Report/Conference proceeding › Chapter in a book

Integrating digital preservation into experimental workflows for space science

Waddington, S., Tonkin, E. L., Palansuriya, C., Muller, C. & Pandey, P., 2015, Proceedings of PV 2015. EUMETSAT

Research output: Chapter in Book/Report/Conference proceeding › Chapter in a book

Visualisation of heterogeneous data with simultaneous feature saliency using Generalised Generative Topographic Mapping

Mumtaz, S., Randrianandrasana, M. F., Bassi, G. & Nabney, I. T., 1 Oct 2015, Workshop new challenges in neural computation 2015. Hammer, B., Martinetz, T. & Villmann, T. (eds.). Universität Bielefeld, p. 114-121 8 p. (Machine learning reports).

Research output: Chapter in Book/Report/Conference proceeding › Chapter in a book

11 Downloads (Pure)

Visualisation of heterogeneous data with the generalised generative topographic mapping

Randrianandrasana, M., Mumtaz, S. & Nabney, I., 2015, Proceedings of the 6th international conference on information visualization theory and applications. Braz, J., Kerren, A. & Linsen, L. (eds.). SciTePress, p. 233-238 6 p.

Research output: Chapter in Book/Report/Conference proceeding › Chapter in a book

11 Downloads (Pure)

Volcanic ash fall hazard and risk

Jenkins, S., Wilson, T., Magill, C. R., Miller, V., Stewart, C., Blong, R., Marzocchi, W., Boulton, M., Bonadonna, C. & Costa, A., Aug 2015, Global Volcanic Hazards and Risk. Loughlin, S., Sparks, S., Brown, S., Jenkin, S. & Vye-Brown, C. (eds.). Cambridge: Cambridge University Press, 65 p.

Research output: Chapter in Book/Report/Conference proceeding › Chapter in a book

95 Citations (Scopus)

2014

Automated Twitter Accounts

Mowbray, M., 1 Jan 2014, Twitter and Society. Weller, K., Bruns, A., Burgess, J., Mahrt, M. & Puschmann, C. (eds.). New York: Peter Lang International Academic Publishers, p. 183-194 11 p. (Digital Formations; no. 89).

Research output: Chapter in Book/Report/Conference proceeding › Chapter in a book

Open Access

10 Downloads (Pure)

ICEPOLE: High-Speed, Hardware-Oriented Authenticated Encryption

Morawiecki, P., Gaj, K., Homsirikamol, E., Matusiewicz, K., Pieprzyk, J., Rogawski, M., Srebrny, M. & Wojcik, M., 2014, Cryptographic Hardware and Embedded Systems – CHES 2014. Springer Berlin Heidelberg, Vol. 8731. p. 392-413 22 p.

Research output: Chapter in Book/Report/Conference proceeding › Chapter in a book

16 Citations (Scopus)

Introduction to energy-efficient fault-tolerant systems

Shafik, R. A., Mathew, J. & Pradhan, D. K., 1 Jul 2014, Energy-Efficient Fault-Tolerant Systems. Liviana/Springer, New York, p. 1-10 10 p.

Research output: Chapter in Book/Report/Conference proceeding › Chapter in a book

6 Citations (Scopus)

Leibniz on Probability and Statistics

Cussens, J., 2014, Oxford Handbook on Leibniz. Antognazza, M. R. (ed.). Oxford: Oxford University Press

Research output: Chapter in Book/Report/Conference proceeding › Chapter in a book

Metric Space Analysis of Neural Information Flow

Houghton, C. J., 2014, Encyclopedia of Computational Neuroscience. Jaeger, D. & Jung, R. (eds.). Springer, New York, NY, 4 p.

Research output: Chapter in Book/Report/Conference proceeding › Chapter in a book

Multi-level visualisation using Gaussian process latent variable models

Mumtaz, S., Flower, D. R. & Nabney, I., 2014, IVAPP 2014. Laramee, R. S., Kerren, A. & Braz, J. (eds.). SciTePress, p. 122-129 8 p.

Research output: Chapter in Book/Report/Conference proceeding › Chapter in a book

1 Citation (Scopus)

Portable performance with OpenCL

McIntosh-Smith, S. N. & Mattson, T., 4 Nov 2014, High Performance Parallelism Pearls: Multicore and Many-core Programming Approaches. Reinders, J. & Jeffers, J. (eds.). Morgan Kaufmann, p. 359--375 17 p.

Research output: Chapter in Book/Report/Conference proceeding › Chapter in a book

The rheology of dense colloidal pastes used in 3D-printing

Avery, M. P., Klein, S., Richardson, R., Bartlett, P., Adams, G., Dickin, F. & Simske, S., 2014, HP Laboratories Technical Report. 29 ed. Hewlett Packard Laboratories

Research output: Chapter in Book/Report/Conference proceeding › Chapter in a book

1 Citation (Scopus)

Department of Computer Science

Research output

Search results