Computer Science

Title	Computer Science
Alternative	S&T - CS
Faculty	Faculty of Science and Technology

Latest research outputs

Sort by Date Title

Programming a cognitive architecture with simulated neurons, Chris Eliasmith. How to Build a Brain: A Neural Architecture for Biological Cognition. Oxford University Press, Oxford (2013). 456 pp., ISBN: 978-0-19-026212-9 [Book review]

Huyck, C. 2017. Programming a cognitive architecture with simulated neurons, Chris Eliasmith. How to Build a Brain: A Neural Architecture for Biological Cognition. Oxford University Press, Oxford (2013). 456 pp., ISBN: 978-0-19-026212-9 [Book review]. Cognitive Systems Research. 41, pp. 36-37. https://doi.org/10.1016/j.cogsys.2016.09.002

Article

The packing chromatic number of the infinite square lattice is between 13 and 15

Martin, B., Raimondi, F., Chen, T. and Martin, J. 2017. The packing chromatic number of the infinite square lattice is between 13 and 15. Discrete Applied Mathematics. 225, pp. 136-142. https://doi.org/10.1016/j.dam.2017.03.013

Article

Security and privacy requirements engineering for human centric IoT systems using eFRIEND and Isabelle

Kammueller, F., Augusto, J. and Jones, S. 2017. Security and privacy requirements engineering for human centric IoT systems using eFRIEND and Isabelle. IEEE/ACIS 15th International Conference on Software Engineering Research, Management and Application, SERA2017. University of Greenwich, London, United Kingdom 07 - 09 Jun 2017 Institute of Electrical and Electronics Engineers (IEEE). https://doi.org/10.1109/SERA.2017.7965758

Conference paper

Visual comparative case analytics

Sacha, D., Jentner, W., Zhang, L., Stoffel, F. and Ellis, G. 2017. Visual comparative case analytics. EuroVis Workshop on Visual Analytics. Barcelona, Spain 12 - 13 Jun 2017 The Eurographics Association. pp. 49-53 https://doi.org/10.2312/eurova.20171119

Conference paper

Quantum Bootstrap Aggregation

Windridge, D. and Nagarajan, R. 2017. Quantum Bootstrap Aggregation. de Barros, J., Coecke, B. and Pothos, E. (ed.) QI 2016: 10th International Conference on Quantum Interactions. San Francisco, CA, USA 20 - 22 Jul 2016 Springer. pp. 115-121 https://doi.org/10.1007/978-3-319-52289-0_9

Conference paper

A comparative experimental design and performance analysis of Snort-based Intrusion Detection System in practical computer networks

Karim, I., Vien, Q., Le, T. and Mapp, G. 2017. A comparative experimental design and performance analysis of Snort-based Intrusion Detection System in practical computer networks. Computers. 6 (1), pp. 1-15. https://doi.org/10.3390/computers6010006

Article

What you see is what you can change: Human-centred machine learning by interactive visualization

Sacha, D., Sedlmair, M., Zhang, L., Lee, J., Peltonen, J., Weiskopf, D., North, S. and Keim, D. 2017. What you see is what you can change: Human-centred machine learning by interactive visualization. Neurocomputing. 268, pp. 164-175. https://doi.org/10.1016/j.neucom.2017.01.105

Article

Creating an ambient intelligence network using insight and merged reality technologies

Moseley, R. 2017. Creating an ambient intelligence network using insight and merged reality technologies. 2017 Computing Conference. London, UK 18 - 20 Jul 2017 IEEE. pp. 469-474 https://doi.org/10.1109/sai.2017.8252139

Conference paper

Deep immersion with Kasina: an exploration of meditation and concentration within virtual reality environments

Moseley, R. 2017. Deep immersion with Kasina: an exploration of meditation and concentration within virtual reality environments. 2017 Computing Conference. London, UK 18 - 20 Jul 2017 IEEE. pp. 523-529 https://doi.org/10.1109/SAI.2017.8252146

Conference paper

A fused deep learning architecture for viewpoint classification of echocardiography

Gao, X., Li, W., Loomes, M. and Wang, L. 2017. A fused deep learning architecture for viewpoint classification of echocardiography. Information Fusion. 36, pp. 103-113. https://doi.org/10.1016/j.inffus.2016.11.007

Article

Bitcoin forensics: a tutorial

Neilson, D., Hara, S. and Mitchell, I. 2017. Bitcoin forensics: a tutorial. Jahankhani, H., Carlile, A., Emm, D., Hosseinian-Far, A., Brown, G., Sexton, G. and Jamal, A. (ed.) 11th International Conference on Global Security, Safety and Sustainability. London, UK 18 - 20 Jan 2017 Cham Springer. pp. 12-26 https://doi.org/10.1007/978-3-319-51064-4_2

Conference paper

Deconstruct and preserve (DaP): a method for the preservation of digital evidence on solid state drives (SSD)

Mitchell, I., Anandaraja, T., Hara, S., Hadzhinenov, G. and Neilson, D. 2017. Deconstruct and preserve (DaP): a method for the preservation of digital evidence on solid state drives (SSD). Jahankhani, H., Carlile, A., Emm, D., Hosseinian-Far, A., Brown, G., Sexton, G. and Jamal, A. (ed.) 11th International Conference on Global Security, Safety and Sustainability. London, UK 18 - 20 Jan 2017 Cham Springer. https://doi.org/10.1007/978-3-319-51064-4_1

Conference paper

Classification of CT brain images based on deep learning networks

Gao, X., Hui, R. and Tian, Z. 2017. Classification of CT brain images based on deep learning networks. Computer Methods and Programs in Biomedicine. 138 (2017), pp. 49-56. https://doi.org/10.1016/j.cmpb.2016.10.007

Article

A generalised framework for saliency-based point feature detection

Brown, M., Windridge, D. and Guillemaut, J. 2017. A generalised framework for saliency-based point feature detection. Computer Vision and Image Understanding. 157, pp. 117-137. https://doi.org/10.1016/j.cviu.2016.09.008

Article

Visual interaction with dimensionality reduction: a structured literature analysis

Sacha, D., Zhang, L., Sedlmair, M., Lee, J., Peltonen, J., Weiskopf, D., North, S. and Keim, D. 2017. Visual interaction with dimensionality reduction: a structured literature analysis. IEEE Transactions on Visualization and Computer Graphics. 23 (1), pp. 241-250. https://doi.org/10.1109/TVCG.2016.2598495

Article

Towards connecting people, locations and real-world events in a cellular network

Trestian, R., Shah, P., Nguyen, H., Vien, Q., Gemikonakli, O. and Barn, B. 2017. Towards connecting people, locations and real-world events in a cellular network. Telematics and Informatics. 34 (1), pp. 244-271. https://doi.org/10.1016/j.tele.2016.05.006

Article

Literature review on the use of action research in higher education

Gibbs, P., Cartney, P., Wilkinson, K., Parkinson, J., Cunningham, S., James-Reynolds, C., Zoubir, T., Brown, V., Barter, P., Sumner, P., MacDonald, A., Dayananda, A. and Pitt, A. 2017. Literature review on the use of action research in higher education. Educational Action Research. 25 (1), pp. 3-22. https://doi.org/10.1080/09650792.2015.1124046

Article

MCMAS: an open-source model checker for the verification of multi-agent systems

Lomuscio, A., Qu, H. and Raimondi, F. 2017. MCMAS: an open-source model checker for the verification of multi-agent systems. International Journal on Software Tools for Technology Transfer. 19 (1), pp. 9-30. https://doi.org/10.1007/s10009-015-0378-x

Article

Modeling and verification of insider threats using logical analysis

Kammueller, F. and Probst, C. 2017. Modeling and verification of insider threats using logical analysis. IEEE Systems Journal. 11 (2), pp. 534-545. https://doi.org/10.1109/JSYST.2015.2453215

Article

A formal methodology to design and deploy dependable wireless sensor networks

Testa, A., Cinque, M., Coronato, A. and Augusto, J. 2017. A formal methodology to design and deploy dependable wireless sensor networks. Sensors. 17 (1). https://doi.org/10.3390/s17010019

Article

What learners want from educational spaces? A framework for assessing impact of architectural decisions in virtual worlds

Dafoulas, G., Saleeb, N. and Loomes, M. 2016. What learners want from educational spaces? A framework for assessing impact of architectural decisions in virtual worlds. IADIS International Journal on WWW/Internet. 14 (2), pp. 72-90.

Article

Recent advances in ambient assisted living - bridging assistive technologies, e-Health and personalized health care

Chen, W., Augusto, J., Seoane, F., Lehocki, F., Wolf, K., Arends, J., Ungureanu, C. and Wichert, R. (ed.) 2015. Recent advances in ambient assisted living - bridging assistive technologies, e-Health and personalized health care. IOS Press.

Book

Contradictory information flow in networks with trust and distrust

Primiero, G., Bottone, M., Raimondi, F. and Tagliabue, J. 2016. Contradictory information flow in networks with trust and distrust. 5th International Workshop on Complex Networks and their Applications (COMPLEX NETWORKS 2016). Milan 01 - 06 Dec 2016 Springer. https://doi.org/10.1007/978-3-319-50901-3_29

Conference paper

Semantic based image retrieval through combined classifiers of deep neural network and wavelet decomposition of image signal

Qazi, N. and Wong, B. 2016. Semantic based image retrieval through combined classifiers of deep neural network and wavelet decomposition of image signal. 9th IEEE EUROSIM Congress on Modelling and Simulation (EUROSIM). Oulu, Finland 12 - 16 Sep 2016 pp. 1-6 https://doi.org/10.1109/EUROSIM.2016.141

Conference paper

Highlighting the emerging issues of ethical buying in a growing global market

Tahmasebi Aria, F. 2014. Highlighting the emerging issues of ethical buying in a growing global market. International Journal of Business Behavioural Sciences. 4 (5), pp. 55-67.

Article

A cross mapping activity showing the relationship between information literacy and cMOOCs

Rahanu, H., Georgiadou, E. and Siakas, K. 2016. A cross mapping activity showing the relationship between information literacy and cMOOCs. The BCS Quality Specialist Group's 21st INSPIRE: International Conference for Process Improvement, Research and Education. Bournemouth, UK 22 Mar 2016

Conference paper

Towards formal analysis of insider threats for auctions

Kammueller, F., Kerber, M. and Probst, C. 2016. Towards formal analysis of insider threats for auctions. ACM-CCS Workshop on Management of Security of Insider Threats. Vienna, Austria 28 Oct 2016 Association for Computing Machinery (ACM). pp. 23-34 https://doi.org/10.1145/2995959.2995963

Conference paper

Programming with simulated neurons: a first design pattern

Evans, C., Mitchell, I. and Huyck, C. 2016. Programming with simulated neurons: a first design pattern. PPIG 2016 - 27th Annual Workshop of the Psychology of Programming Interest Group. University of Cambridge, Cambridge, UK 07 - 10 Sep 2016 Psychology of Programming Interest Group. pp. 36-45

Conference paper

Interactive evolutionary generative art

Hernandez Mengesha, L. and James-Reynolds, C. 2016. Interactive evolutionary generative art. AI-2016 Thirty-sixth SGAI International Conference on Artificial Intelligence. Cambridge, UK 13 - 15 Dec 2016 Springer. pp. 377-382 https://doi.org/10.1007/978-3-319-47175-4_28

Conference paper

Do you own a Volkswagen? Values as non-functional requirements

Barn, B. 2016. Do you own a Volkswagen? Values as non-functional requirements. HCSE + HESSD 2016: Joint 6th International Working Conference on Human-Centred Software Engineering and 8th International Working Conference on Human Error, Safety, and System Development. Stockholm, Sweden 29 - 31 Aug 2016 Springer. pp. 151-162 https://doi.org/10.1007/978-3-319-44902-9_10

Conference paper

A simulation-based aid for organisational decision-making

Bharat, S., Kulkarni, V., Clark, T. and Barn, B. 2016. A simulation-based aid for organisational decision-making. ICSOFT-EA 2016: 11th International Conference on Software Engineering and Applications. Lisbon, Portugal 24 - 26 Jul 2016 SCITEPRESS - Science and Technology Publications. pp. 109-116 https://doi.org/10.5220/0005992401090116

Conference paper

Big data to optimise product strategy in electronic industry

Khan, N., Lakshmi Sabih, V., Georgiadou, E. and Repanovich, A. 2016. Big data to optimise product strategy in electronic industry. 3rd International Conference on Advances in Big Data Analytics. Las Vegas, USA 25 - 28 Jul 2016 CSREA Press.

Conference paper

The role of architectural design in virtual worlds for educational purposes

Saleeb, N., Dafoulas, G. and Loomes, M. 2016. The role of architectural design in virtual worlds for educational purposes. 9th International Conference on ICT, Society and Human Beings (part of MCCSIS 2016: Multi Conference on Computer Science and Information Systems:). Funchal, Madeira, Portugal 01 - 04 Jul 2016 IADIS. pp. 32-40

Conference paper

Human–computer interaction and international public policymaking: a framework for understanding and taking future actions

Lazar, J., Abascal, J., Barbosa, S., Barksdale, J., Friedman, B., Grossklags, J., Gulliksen, J., Johnson, J., McEwan, T., Martínez-Normand, L., Michalk, W., Tsai, J., Van der Veer, G., Von Axelson, H., Walldius, A., Whitney, G., Marco Winckler, M., Wulf, V., Churchill, E., Cranor, L., Davis, J., Hedge, A., Hochheiser, H., Pablo Hourcade, J., Lewis, C., Nathan, L., Paterno, F., Reid, B., Quesenbery, W., Selker, T. and Wentz, B. 2016. Human–computer interaction and international public policymaking: a framework for understanding and taking future actions. ACM CHI 2016. San Jose, CA, USA 07 - 12 May 2016 Now Publishers. pp. 69-149 https://doi.org/10.1561/1100000062

Conference paper

Improving the precision of omni-directional M-mode echocardiography systems

Huang, L., Li, W., Currie, E. and Guo, W. 2016. Improving the precision of omni-directional M-mode echocardiography systems. Neurocomputing. 195, pp. 123-128. https://doi.org/10.1016/j.neucom.2015.09.121

Article

Facial affect "in the wild": a survey and a new database

Zafeiriou, S., Papaioannou, A., Kotsia, I., Nicolaou, M. and Zhao, G. 2016. Facial affect "in the wild": a survey and a new database. IEEE International Conference on Computer Vision and Pattern Recognition (CVPR) Workshops, Affect "in-the-wild" Workshop. Las Vegas, USA 26 Jun - 01 Jul 2016 Institute of Electrical and Electronics Engineers (IEEE). pp. 1487-1498 https://doi.org/10.1109/cvprw.2016.186

Conference paper