Computer Science

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

Latest research outputs

Sort by Date Title

Human centric security and privacy for the IoT using formal techniques

Kammueller, F. 2018. Human centric security and privacy for the IoT using formal techniques. 3rd International Conference on Human Factors in Cybersecurity. Los Angeles, CA, United States 17 - 21 Jul 2017 Springer. pp. 106-116 https://doi.org/10.1007/978-3-319-60585-2_12

Conference paper

Insider threats for auctions: formalization, mechanized proof, and code generation

Kammueller, F., Kerber, M. and Probst, C. 2017. Insider threats for auctions: formalization, mechanized proof, and code generation. Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications (JoWUA). 8 (1), pp. 44-78. https://doi.org/10.22667/JOWUA.2017.03.31.044

Article

Machine learning based botnet identification traffic

Azab, A., Alazab, M. and Aiash, M. 2016. Machine learning based botnet identification traffic. 15th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (IEEE TrustCom-2016). Tianjin, China 23 - 26 Aug 2016 Institute of Electrical and Electronics Engineers (IEEE). pp. 1788-1794 https://doi.org/10.1109/TrustCom.2016.0275

Conference paper

Insight/inside learning: a participatory app for analysing the effectiveness of school environments

Szynalska, K., Fields, B. and Bardill, A. 2017. Insight/inside learning: a participatory app for analysing the effectiveness of school environments. People, Personal Data and the Built Environment: A DIS2017 Workshop. Edinburgh 10 Jun 2017

Conference paper

Enhancing the SVDD accuracy in Intrusion Detection Systems by removing external voids

Kenaza, T., Bennaceur, K., Labed, A. and Aiash, M. 2016. Enhancing the SVDD accuracy in Intrusion Detection Systems by removing external voids. 15th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (IEEE TrustCom-16). Tianjin, China 23 - 25 Aug 2016 Institute of Electrical and Electronics Engineers (IEEE). pp. 1765-1770 https://doi.org/10.1109/TrustCom.2016.0271

Conference paper

Toward an efficient ontology-based event correlation in SIEM

Kenazag, T. and Aiash, M. 2016. Toward an efficient ontology-based event correlation in SIEM. 7th International Conference on Ambient Systems, Networks and Technologies (ANT2016). Madrid, Spain 23 - 26 May 2016 Elsevier. pp. 139-146 https://doi.org/10.1016/j.procs.2016.04.109

Conference paper

Improved multi-user interaction in a smart environment through a preference-based conflict resolution virtual assistant

Nurgaliyev, K., Di Mauro, D., Khan, N. and Augusto, J. 2017. Improved multi-user interaction in a smart environment through a preference-based conflict resolution virtual assistant. 13th International Conference on Intelligent Environments (IE’17). Seoul, South Korea 23 - 25 Aug 2017 Institute of Electrical and Electronics Engineers (IEEE). pp. 100-107 https://doi.org/10.1109/IE.2017.21

Conference paper

From raw data to agent perceptions for simulation, verification, and monitoring

Bottone, M., Primiero, G., Raimondi, F. and Rungta, N. 2016. From raw data to agent perceptions for simulation, verification, and monitoring. 12th International Conference on Intelligent Environment 2016:- 5th International Workshop on Reliability of Intelligent Environments (WoRIE’16). London, United Kingdom 14 - 16 Sep 2016 IOS Press. pp. 66-75 https://doi.org/10.3233/978-1-61499-690-3-66

Conference paper

Trust and distrust in contradictory information transmission

Primiero, G., Raimondi, F., Bottone, M. and Tagliabue, J. 2017. Trust and distrust in contradictory information transmission. Applied Network Science. 2 (1). https://doi.org/10.1007/s41109-017-0029-0

Article

Heuristics for ethical development and use of MOOCs

Rahanu, H., Georgiadou, E. and Siakas, K. 2017. Heuristics for ethical development and use of MOOCs. British Computer Society INSPIRE 2017 conference. Southampton Solent University, United Kingdom 11 Apr 2017 Southampton Solent University. pp. 73-83

Conference paper

Examining the interaction between fourth estate and Twitter: an exploratory case study

Barn, B., Barn, R., Raimondi, F. and Mukherjee, U. 2017. Examining the interaction between fourth estate and Twitter: an exploratory case study. HUSO 2017: Third International Conference on Human and Social Analytics. Nice, France 23 - 27 Jul 2017 International Academy, Research, and Industry Association (IARIA). pp. 11-17

Conference paper

Software defined networking for wireless sensor networks: a survey

Hassan, M., Vien, Q. and Aiash, M. 2017. Software defined networking for wireless sensor networks: a survey. Advances in Wireless Communications and Networks. 3 (2), pp. 10-22. https://doi.org/10.11648/j.awcn.20170302.11

Article

New methods for stress assessment and monitoring at the workplace

Carneiro, D., Novais, P., Augusto, J. and Payne, N. 2019. New methods for stress assessment and monitoring at the workplace. IEEE Transactions on Affective Computing. 10 (2), pp. 237-254. https://doi.org/10.1109/TAFFC.2017.2699633

Article

Symbolic verification of event–condition–action rules in intelligent environments

Vannucchi, C., Diamanti, M., Mazzante, G., Cacciagrano, D., Culmone, R., Gorogiannis, N., Mostarda, L. and Raimondi, F. 2017. Symbolic verification of event–condition–action rules in intelligent environments. Journal of Reliable Intelligent Environments. 3 (2), pp. 117-130. https://doi.org/10.1007/s40860-017-0036-z

Article

Data Warehouse and BI to catalize information use in health sector for decision making: a case study

Slum Ally, S. and Khan, N. 2016. Data Warehouse and BI to catalize information use in health sector for decision making: a case study. The 2016 International Conference on Computational Science and Computational Intelligence. Las Vegas, USA 15 - 17 Dec 2016 Institute of Electrical and Electronics Engineers (IEEE). pp. 92-97 https://doi.org/10.1109/CSCI.2016.0025

Conference paper

Is Context-aware Reasoning = Case-based Reasoning?

Khan, N., Alegre, U., Kramer, D. and Augusto, J. 2017. Is Context-aware Reasoning = Case-based Reasoning? Tenth Interdisciplinary Conference on Modelling and Using Context. Paris, France 20 - 23 Jun 2017 Springer. pp. 418-431 https://doi.org/10.1007/978-3-319-57837-8_35

Conference paper

Rohit Parikh on logic, language and society

Baskent, C., Moss, L. and Ramanujam, R. (ed.) 2017. Rohit Parikh on logic, language and society. Springer.

Edited Book

A framework for distributed interaction in intelligent environments

DiMauro, D., Augusto, J., Origlia, A. and Cutugno, F. 2017. A framework for distributed interaction in intelligent environments. AmI 2017: 2017 European Conference on Ambient Intelligence. Malaga, Spain 26 - 28 Apr 2017 Springer. pp. 136-151 https://doi.org/10.1007/978-3-319-56997-0_11

Conference keynote

Supporting context-aware engineering based on stream reasoning

Kramer, D. and Augusto, J. 2017. Supporting context-aware engineering based on stream reasoning. CONTEXT'17: 10th International and Interdisciplinary Conference on Modeling and Using Context. Paris, France 20 - 23 Jun 2017 Springer. pp. 440-453 https://doi.org/10.1007/978-3-319-57837-8_37

Conference paper

Interference management and system optimisation for Femtocells technology in LTE and future 4G/5G networks

Raheem, R. 2016. Interference management and system optimisation for Femtocells technology in LTE and future 4G/5G networks. PhD thesis Middlesex University

PhD thesis

The application of Tangible User Interfaces of teaching and learning in Higher Education

De Raffaele, C., Smith, S. and Gemikonakli, O. 2017. The application of Tangible User Interfaces of teaching and learning in Higher Education. in: Branch, J., Hayes, S., Hørsted, A. and Nygaard, C. (ed.) Innovative Teaching and Learning in Higher Education Oxfordshire, UK Libri Publishing. pp. 215-226

Book chapter

Associative search through formal concept analysis in criminal intelligence analysis

Qazi, N., Wong, B., Kodagoda, N. and Rick, A. 2016. Associative search through formal concept analysis in criminal intelligence analysis. IEEE SMC 2016: International Conference on Systems, Man, and Cybernetics. Budapest, Hungry 09 - 12 Oct 2016 Institute of Electrical and Electronics Engineers (IEEE). pp. 1917-1922 https://doi.org/10.1109/SMC.2016.7844519

Conference paper

The use of physical artefacts in undergraduate computer science teaching

Currie, E. and James-Reynolds, C. 2017. The use of physical artefacts in undergraduate computer science teaching. E-Learning, E-Education, and Online Training Third International Conference, eLEOT 2016. Dublin, Ireland 31 Aug - 02 Sep 2016 Springer. https://doi.org/10.1007/978-3-319-49625-2_15

Conference paper

A model-based approach to systematic reviews of research literature

Barat, S., Clark, T., Barn, B. and Kulkarni, V. 2017. A model-based approach to systematic reviews of research literature. ISEC 2017: Innovations in Software Engineering Conference. Jaipur, India 05 - 07 Feb 2017 Association for Computing Machinery (ACM). pp. 15-25 https://doi.org/10.1145/3021460.3021462

Conference paper

Actor monitors for adaptive behaviour

Clark, T., Kulkarni, V., Barat, S. and Barn, B. 2017. Actor monitors for adaptive behaviour. ISEC '17: 10th Innovations in Software Engineering Conference. Jaipur, India 05 - 07 Feb 2017 Association for Computing Machinery (ACM). pp. 85-95 https://doi.org/10.1145/3021460.3021469

Conference paper

A model based realisation of actor model to conceptualise an aid for complex dynamic decision-making

Barat, S., Kulkarni, V., Clark, T. and Barn, B. 2017. A model based realisation of actor model to conceptualise an aid for complex dynamic decision-making. MODELSWARD 2017: 5th International Conference on Model-Driven Engineering and Software Development. Porto, Portugal 19 - 21 Feb 2017 SCITEPRESS - Science and Technology Publications. pp. 605-616 https://doi.org/10.5220/0006216306050616

Conference paper

A Hybrid Multi-Layer Architecture for Autonomous Vehicles Utilising a Hierarchical Perception-Action Dream Simulation Mechanism

Windridge, D., Gunn, I.A.D., Da Lio, M., Mazzalai, A., Thill, S., Svensson, H., Anderson, S., Blenkinsop, A., Gurney, K., James, S., Math, R., Berghoefer, E., Yueksel, M., Saroldi, A., Andreone, L. and Heich, H.-J. 2017. A Hybrid Multi-Layer Architecture for Autonomous Vehicles Utilising a Hierarchical Perception-Action Dream Simulation Mechanism. EUCognition 2017 Conference. Zürich, Switzerland 23 - 24 Nov 2017

Conference item

A survey of network lifetime maximization techniques in wireless sensor networks

Yetgin, H., Cheung, K.T.K., El-Hajjar, M. and Hanzo, L. 2017. A survey of network lifetime maximization techniques in wireless sensor networks. IEEE Communications Surveys and Tutorials. 19 (2), pp. 828-854. https://doi.org/10.1109/COMST.2017.2650979

Article

Medical-grade sterilizable target for fluid-immersed fetoscope optical distortion calibration

Nikitichev, D., Shakir, D., Chadebecq, F., Tella, M., Deprest, J., Stoyanov, D., Ourselin, S. and Vercauteren, T. 2017. Medical-grade sterilizable target for fluid-immersed fetoscope optical distortion calibration. Journal of Visualized Experiments. 120, p. e55298. https://doi.org/10.3791/55298

Article

Corner-based geometric calibration of multi-focus plenoptic cameras

Nousias, S., Chadebecq, F., Pichat, J., Keane, P., Ourselin, S. and Bergeles, C. 2017. Corner-based geometric calibration of multi-focus plenoptic cameras. 2017 IEEE International Conference on Computer Vision (ICCV). Venice, Italy 22 - 29 Oct 2017 IEEE. pp. 957-965 https://doi.org/10.1109/ICCV.2017.109

Conference paper

Refractive structure-from-motion through a flat refractive interface

Chadebecq, F., Vasconcelos, F., Dwyer, G., Lacher, R., Ourselin, S., Vercauteren, T. and Stoyanov, D. 2017. Refractive structure-from-motion through a flat refractive interface. 2017 IEEE International Conference on Computer Vision (ICCV). Venice, Italy 22 - 29 Oct 2017 IEEE. pp. 5325-5333 https://doi.org/10.1109/ICCV.2017.568

Conference paper

A continuum robot and control interface for surgical assist in fetoscopic interventions

Dwyer, G., Chadebecq, F., Amo, M., Bergeles, C., Maneas, E., Pawar, V., Poorten, E., Deprest, J., Ourselin, S., De Coppi, P., Vercauteren, T. and Stoyanov, D. 2017. A continuum robot and control interface for surgical assist in fetoscopic interventions. IEEE Robotics and Automation Letters. 2 (3), pp. 1656-1663. https://doi.org/10.1109/LRA.2017.2679902

Article

ESL: an actor-based platform for developing emergent behaviour organisation simulations

Clark, T., Kulkarni, V., Barat, S. and Barn, B. 2017. ESL: an actor-based platform for developing emergent behaviour organisation simulations. Demazeau, Y., Davidsson, P., Bajo, J. and Vale, Z. (ed.) 15th International Conference on Practical Applications of Scalable Multi-Agent Systems. Porto, Portugal 21 - 23 Jun 2017 Cham Springer. https://doi.org/10.1007/978-3-319-59930-4_27

Conference paper

Energy-efficient algorithms for dynamic virtual machine consolidation in cloud data centers

Khoshkholghi, M.A., Derahman, M.N., Abdullah, A., Subramaniam, S. and Othman, M. 2017. Energy-efficient algorithms for dynamic virtual machine consolidation in cloud data centers. IEEE Access. 5, pp. 10709-10722. https://doi.org/10.1109/ACCESS.2017.2711043

Article

Il Blended Learning per migliorare l’efficacia della didattica universitaria: il corso di Computer Ethics

Amendola, D., Nalli, G. and De Vivo, M. 2017. Il Blended Learning per migliorare l’efficacia della didattica universitaria: il corso di Computer Ethics. EMEMITALIA 2017. Bolzano, Italy 30 Aug - 01 Sep 2017 Genova University Press.

Conference item

A novel computational framework for exploring biologically-related clean and sustainable energy to meet Africa and Europe's electricity demands

Oluwagbemi, O., Oluwagbemi, F. and Afolabi, O. 2017. A novel computational framework for exploring biologically-related clean and sustainable energy to meet Africa and Europe's electricity demands. 2017 European Conference on Sustainability, Energy & the Environment. Brighton, UK 07 - 09 Jul 2017

Conference poster

Harnessing the potentials of fuzzy logic and voice-computing in the development of anti-malaria drug informatics software

Oluwagbemi, O., Oluwagbemi, F. and Fagbore, O. 2017. Harnessing the potentials of fuzzy logic and voice-computing in the development of anti-malaria drug informatics software. ISCB Africa ASBCB 2017 Conference on Bioinformatics. Entebbe, Uganda 10 - 12 Oct 2017

Conference poster

Dynamic mode decomposition for univariate time series: analysing trends and forecasting

Tirunagari, S., Kouchaki, S., Poh, N., Bober, M. and Windridge, D. 2017. Dynamic mode decomposition for univariate time series: analysing trends and forecasting.

Pre-print

Exploring a new proactive algorithm for resource management and its application to wireless mobile environments

Paranthaman, V., Kirsal, Y., Mapp, G., Shah, P. and Nguyen, H. 2017. Exploring a new proactive algorithm for resource management and its application to wireless mobile environments. 42nd Conference on Local Computer Networks (LCN). Singapore 09 - 12 Oct 2017 IEEE. pp. 539-542 https://doi.org/10.1109/LCN.2017.86

Conference paper

Exploiting dream-like simulation mechanisms to develop safer agents for automated driving: the "Dreams4Cars" EU research and innovation action

Da Lio, M., Mazzalai, A., Windridge, D., Thill, S., Svensson, H., Yueksel, M., Gurney, K., Saroldi, A., Andreone, L., Anderson, S.R. and Heich, H.-J. 2017. Exploiting dream-like simulation mechanisms to develop safer agents for automated driving: the "Dreams4Cars" EU research and innovation action. IEEE 20th International Conference on Intelligent Transportation Systems (ITSC). Yokohama, Japan 16 - 19 Oct 2017 IEEE. pp. 1-6 https://doi.org/10.1109/ITSC.2017.8317649

Conference paper

« Previous