Computer Science

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

Latest research outputs

Sort by Date Title

CoSMed: a confidentiality-verified social media platform

Bauereiß, T., Pesenti Gritti, A., Popescu, A. and Raimondi, F. 2016. CoSMed: a confidentiality-verified social media platform. Blanchette, J.C. and Merz, S. (ed.) ITP 2016: 7th International Conference on Interactive Theorem Proving. Nancy, France 22 - 25 Aug 2016 Springer. pp. 87-106 https://doi.org/10.1007/978-3-319-43144-4_6

Conference paper

Effects of viewing condition on user experience of panoramic video

Passmore, P., Glancy, M., Philpot, A., Roscoe, A., Wood, A. and Fields, B. 2016. Effects of viewing condition on user experience of panoramic video. Reiners, D., Iwai, D and Steinicke, F. (ed.) ICAT-EGVE 2016 - International Conference on Artificial Reality and Telexistence and Eurographics Symposium on Virtual Environments. Little Rock, Arkansas, USA. 07 - 09 Dec 2016 The Eurographics Association. pp. 9-16 https://doi.org/10.2312/egve.20161428

Conference paper

Investigating the educational value of social learning networks: a quantitative analysis

Dafoulas, G. and Shokri, A. 2016. Investigating the educational value of social learning networks: a quantitative analysis. Interactive Technology and Smart Education. 13 (4), pp. 305-322. https://doi.org/10.1108/ITSE-09-2016-0034

Article

An evaluation of social learning networks: a qualitative perspective

Shokri, A. and Dafoulas, G. 2016. An evaluation of social learning networks: a qualitative perspective. INTED2016: 10th International Technology, Education and Development Conference. Valencia, Spain 07 - 09 Mar 2016 IATED. pp. 2677-2685 https://doi.org/10.21125/inted.2016.1580

Conference paper

Using Optical Head-Mounted Devices (OHMD) for provision of feedback in education

Dafoulas, G., Cardoso Maia, C. and Loomes, M. 2016. Using Optical Head-Mounted Devices (OHMD) for provision of feedback in education. 12th International Conference on Intelligent Environments (IE). London, United Kingdom 14 - 16 Sep 2016 IEEE. pp. 159-162 https://doi.org/10.1109/IE.2016.34

Conference paper

Using data mining for assessing students interaction with social media in higher education: the case of using learning analytics within the curriculum

Dafoulas, G. and Loveday, J. 2016. Using data mining for assessing students interaction with social media in higher education: the case of using learning analytics within the curriculum. 8th International Conference on Education and New Learning Technologies. Barcelona, Spain 04 - 06 Jul 2016 IATED. pp. 5294 https://doi.org/10.21125/edulearn.2016.2261

Conference paper

Assessing the role of optical head-mounted displays in education: an investigation of Google Glass in creating learning portfolios and providing feedback

Dafoulas, G., Cardoso Maia, C. and Loomes, M. 2016. Assessing the role of optical head-mounted displays in education: an investigation of Google Glass in creating learning portfolios and providing feedback. 8th International Conference on Education and New Learning Technologies. Barcelona, Spain 04 - 06 Jul 2016 IATED. pp. 5357 https://doi.org/10.21125/edulearn.2016.2277

Conference paper

Implementing virtual pheromones in BDI robots using MQTT and Jason

Bottone, M., Palumbo, F., Primiero, G., Raimondi, F. and Stocker, R. 2016. Implementing virtual pheromones in BDI robots using MQTT and Jason. 5th IEEE International Conference on Cloud Networking (Cloudnet). Pisa, Italy 03 - 05 Oct 2016 IEEE. pp. 196-199 https://doi.org/10.1109/CloudNet.2016.22

Conference paper

Distance constraint satisfaction problems

Bodirskya, M., Dalmau, V., Martin, B., Mottet, A. and Pinsker, M. 2016. Distance constraint satisfaction problems. Information and Computation. 247, pp. 87-105. https://doi.org/10.1016/j.ic.2015.11.010

Article

Immersive brain entrainment in virtual worlds: Actualizing meditative states

Moseley, R. 2016. Immersive brain entrainment in virtual worlds: Actualizing meditative states. Chen, L., Kapoor, S. and Bhatia, R. (ed.) 2015 Science and Information Conference (SAI). London, United Kingdom 28 - 30 Jul 2015 Springer. https://doi.org/10.1007/978-3-319-33353-3_17

Conference paper

An investigation into the efficacy of avatar-based systems for student advice

Currie, E., Harvey, P., Daryanani, P., Augusto, J., Arif, R. and Ali, A. 2016. An investigation into the efficacy of avatar-based systems for student advice. EAI Endorsed Transactions on e-Learning. 3 (11). https://doi.org/10.4108/eai.15-6-2016.151450

Article

Bridging the digital divide for e-learning students through adaptive VLEs

Spiteri, C., De Raffaele, C. and Smith, S. 2016. Bridging the digital divide for e-learning students through adaptive VLEs. 2016 IEEE International Conference on Teaching, Assessment, and Learning for Engineering (TALE 2016). Bangkok, Thailand 07 - 09 Dec 2016 IEEE. pp. 210-217 https://doi.org/10.1109/TALE.2016.7851796

Conference paper

Teaching and learning queueing theory concepts using Tangible User Interfaces

De Raffaele, C., Smith, S. and Gemikonakli, O. 2016. Teaching and learning queueing theory concepts using Tangible User Interfaces. 2016 IEEE International Conference on Teaching, Assessment, and Learning for Engineering (TALE 2016). Bangkok, Thailand 07 - 09 Dec 2016 IEEE. pp. 194-201 https://doi.org/10.1109/TALE.2016.7851794

Conference paper

The aptness of tangible user interfaces for explaining abstract computer network principles

De Raffaele, C., Smith, S. and Gemikonakli, O. 2016. The aptness of tangible user interfaces for explaining abstract computer network principles. FIE 2016 -The 46th Annual Frontiers in Education (FIE) Conference. Erie, PA, USA 12 - 15 Oct 2016 IEEE. https://doi.org/10.1109/FIE.2016.7757573

Conference paper

Architecture for public safety network using D2D communication [Workshop paper]

Ali, K., Nguyen, H., Shah, P., Vien, Q. and Bhuvanasundaram, N. 2016. Architecture for public safety network using D2D communication [Workshop paper]. 2016 IEEE Wireless Communications and Networking Conference Workshops (WCNCW). Doha, Qatar 03 - 06 Apr 2016 IEEE. pp. 206-211 https://doi.org/10.1109/WCNCW.2016.7552700

Conference paper

A model for trustworthy orchestration in the internet of things

Bottone, M., Primiero, G., Raimondi, F. and De Florio, V. 2016. A model for trustworthy orchestration in the internet of things. 12th International Conference on Intelligent Environments (IE). London, United Kingdom 14 - 16 Sep 2016 IEEE. pp. 171-174 https://doi.org/10.1109/IE.2016.37

Conference paper

PlaNeural: spiking neural networks that plan

Mitchell, I., Huyck, C. and Evans, C. 2016. PlaNeural: spiking neural networks that plan. 7th Annual International Conference on Biologically Inspired Cognitive Architectures, BICA 2016. New York City, NY, USA 16 Jul 2016 Elsevier. pp. 198-204 https://doi.org/10.1016/j.procs.2016.07.425

Conference paper

Spherical similarity explorer for comparative case analysis

Zhang, L., Rooney, C., Nachmanson, L., Wong, B., Kwon, B., Stoffel, F., Hund, M. and Qazi, N. 2016. Spherical similarity explorer for comparative case analysis. IS&T Electronic Imaging 2016 Conference on Visualization and Data Analysis 2016. San Francisco, CA, USA 16 - 18 Feb 2016 Society for Imaging Science and Technology. pp. 1-10 https://doi.org/10.2352/ISSN.2470-1173.2016.1.VDA-496

Conference paper

Node overlap removal by growing a tree

Nachmanson, L., Nocaj, A., Bereg, S., Zhang, L. and Holroyd, A. 2016. Node overlap removal by growing a tree. Hu, Y. and Nöllenburg, M. (ed.) GD 2016: 24th International Symposium on Graph Drawing & Network Visualization. Athens, Greece 19 - 21 Sep 2016 Springer. pp. 33-43 https://doi.org/10.1007/978-3-319-50106-2_3

Conference paper

Human-centered machine learning through interactive visualization

Sacha, D., Sedlmair, M., Zhang, L., Lee, J., Weiskopf, D., North, S. and Keim, D. 2016. Human-centered machine learning through interactive visualization. 24th European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning. Bruges, Belgium 27 - 29 Apr 2016 ESANN. pp. 641-646

Conference paper

Proceedings: 12th international conference on Intelligent Environments (IE), 14-16 September, 2016, London, United Kingdom

Coronato, A., Hunter, G., Augusto, J., Loureiro, R., Egerton, S., Poslad, S., Chessa, S., Middleton, S., Kymlinen, T. and Huang, T. (ed.) 2016. Proceedings: 12th international conference on Intelligent Environments (IE), 14-16 September, 2016, London, United Kingdom. IEEE.

Conference Proceedings

Towards analytical provenance visualization for criminal intelligence analysis

Islam, J., Anslow, C., Xu, K., Wong, B. and Zhang, L. 2016. Towards analytical provenance visualization for criminal intelligence analysis. 34th Annual Conference Computer Graphics & Visual Computing (CGVC) 2016. Bournemouth University, United Kingdom 15 - 16 Sep 2016 The Eurographics Association. pp. 17-24 https://doi.org/10.2312/cgvc.20161290

Conference paper

Music on the blockchain

O'Dair, M., Beaven, Z., Neilson, D., Osborne, R. and Pacifico, P. 2016. Music on the blockchain. Middlesex University.

Working paper

Co-creation of smart technology with (and for) people with special needs

Augusto, J., Kramer, D., Alegre, U., Covaci, A. and Santokhee, A. 2016. Co-creation of smart technology with (and for) people with special needs. 7th International Conference on Software Development and Technologies for Enhancing Accessibility and Fighting Info-exclusion. Vila Real, Portugal 01 - 03 Dec 2016 Association for Computing Machinery (ACM). pp. 39-46 https://doi.org/10.1145/3019943.3019950

Conference paper

EEuGene: employing electroencephalograph signals in the rating strategy of a hardware-based interactive genetic algorithm

James-Reynolds, C. and Currie, E. 2016. EEuGene: employing electroencephalograph signals in the rating strategy of a hardware-based interactive genetic algorithm. AI-2016 Thirty-sixth SGAI International Conference on Artificial Intelligence. Cambridge, UK 13 - 15 Dec 2016 Springer. pp. 343-353 https://doi.org/10.1007/978-3-319-47175-4_25

Conference paper

Isabelle Modelchecking for insider threats

Kammueller, F. 2016. Isabelle Modelchecking for insider threats. Livraga, G., Torra, V., Aldini, A., Martinelli, F. and Suri, N. (ed.) 11th DPM International Workshop on Data Privacy Management (DPM 2016) co-located with ESORICS 2016. Heraklion, Crete, Greece 26 - 27 Sep 2016 Springer. pp. 196-210 https://doi.org/10.1007/978-3-319-47072-6_13

Conference paper

Refactoring preserves security

Kammueller, F. 2016. Refactoring preserves security. Livraga, G., Torra, V., Aldini, A., Martinelli, F. and Suri, N. (ed.) 11th DPM International Workshop on Data Privacy Management (DPM 2016) co-located with ESORICS 2016. Heraklion, Crete, Greece 26 - 27 Sep 2016 Springer. pp. 238-245 https://doi.org/10.1007/978-3-319-47072-6_17

Conference paper

Optimising energy efficiency of non-orthogonal multiple access for wireless backhaul in heterogeneous cloud radio access network

Vien, Q., Le, T., Barn, B. and Phan, C. 2016. Optimising energy efficiency of non-orthogonal multiple access for wireless backhaul in heterogeneous cloud radio access network. IET Communications. 10 (18), pp. 2516-2524. https://doi.org/10.1049/iet-com.2016.0247

Article

Edge-guided image gap interpolation using multi-scale transformation

Langari, B., Vaseghi, S., Prochazka, A., Vaziri, B. and Tahmasebi Aria, F. 2016. Edge-guided image gap interpolation using multi-scale transformation. IEEE Transactions on Image Processing. 25 (9), pp. 4394-4405. https://doi.org/10.1109/TIP.2016.2590825

Article

The role of expertise in dynamic risk assessment: a reflection of the problem-solving strategies used by experienced fireground commanders

Okoli, J., Watt, J., Weller, G. and Wong, B. 2016. The role of expertise in dynamic risk assessment: a reflection of the problem-solving strategies used by experienced fireground commanders. Risk Management. 18 (1), pp. 4-25. https://doi.org/10.1057/rm.2015.20

Article

Developing a model of distributed sensemaking: a case study of military analysis

Wheat, A., Attfield, S. and Fields, B. 2016. Developing a model of distributed sensemaking: a case study of military analysis. Informatics. 3 (1). https://doi.org/10.3390/informatics3010001

Article

SensePath: understanding the sensemaking process through analytic provenance

Nguyen, P., Xu, K., Wheat, A., Wong, B., Attfield, S. and Fields, B. 2016. SensePath: understanding the sensemaking process through analytic provenance. IEEE Transactions on Visualization and Computer Graphics. 22 (1), pp. 41-50. https://doi.org/10.1109/TVCG.2015.2467611

Article

Common ground in collaborative intelligence analysis: an empirical study

Laurence, S., Fields, B. and Attfield, S. 2016. Common ground in collaborative intelligence analysis: an empirical study. 30th International BCS Human Computer Interaction Conference (HCI 2016). Bournemouth University, Poole, UK 11 - 15 Jul 2016 British Computer Society (BCS). pp. 1-11 https://doi.org/10.14236/ewic/HCI2016.30

Conference paper

Formal modelling and analysis of socio-technical systems

Probst, C., Kammueller, F. and Hansen, R. 2016. Formal modelling and analysis of socio-technical systems. in: Probst, C.W., Hankin, C. and Hansen, R. (ed.) Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays Springer. pp. 54-73

Book chapter

Attack tree analysis for insider threats on the IoT using Isabelle

Kammueller, F., Nurse, J. and Probst, C. 2016. Attack tree analysis for insider threats on the IoT using Isabelle. 4th International Conference on Human Aspects of Security, Privacy and Trust, HCII-HAS 2016. Toronto, ON, Canada 17 - 24 Jul 2016 Springer. pp. 234-246 https://doi.org/10.1007/978-3-319-39381-0_21

Conference paper

Investigating airplane safety and security against insider threats using logical modeling

Kammueller, F. and Kerber, M. 2016. Investigating airplane safety and security against insider threats using logical modeling. 2016 IEEE Security and Privacy Workshops SPW'16: Workshop on Research in Insider Threats WRIT'16. San Jose, CA, USA 22 - 26 May 2016 Institute of Electrical and Electronics Engineers (IEEE). pp. 304-313 https://doi.org/10.1109/SPW.2016.47

Conference paper