Computer Science

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

Latest research outputs

Sort by Date Title

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

Isabelle Modelchecking for insider threats

Kammueller, F. 2016. Isabelle Modelchecking for insider threats. 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. 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

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

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

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

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

Forschung im inneren des klangs

Dack, J. 2014. Forschung im inneren des klangs. Neue Zeitschrift für Musik.

Other

La musique électroacoustique Mixte: Interactions entre le "réel" et le "virtuel"

Dack, J. 2016. La musique électroacoustique Mixte: Interactions entre le "réel" et le "virtuel". in: Musique Et Technologie : Regards Sur Les Musiques Mixtes Paris, France Ina GRM.

Book chapter

Verification of statecharts using data abstraction

Helke, S. and Kammueller, F. 2016. Verification of statecharts using data abstraction. International Journal of Advanced Computer Science and Applications. 7 (1), pp. 571-583. https://doi.org/10.14569/IJACSA.2016.070179

Article

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: Semantics, Logics, and Calculi Springer International.

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 International. pp. 234-246 https://doi.org/10.1007/978-3-319-39381-0_21

Conference paper

The development of student learning and information literacy: a case study

Rahanu, H., Georgiadou, E., Khan, N., Colson, R., Hill, V. and Edwards, J. 2016. The development of student learning and information literacy: a case study. Education for Information. 32 (3), pp. 211-224. https://doi.org/10.3233/EFI-150959

Article

The role information literacy in overcoming obstacles to learning and lifelong learning

Rahanu, H., Khan, N., Georgiadou, E. and Siakas, K. 2015. The role information literacy in overcoming obstacles to learning and lifelong learning. 7th International Conference on Education and New Learning Technologies. Barcelona, Spain 06 - 08 Jul 2015 IATED. pp. 1184-1194

Conference paper

Accelerated literacy and information literacy can be achieved through access to new technologies

Rahanu, H., Georgiadou, E., Ross, M. and Khan, N. 2015. Accelerated literacy and information literacy can be achieved through access to new technologies. The BCS Quality Specialist Group's 20th INSPIRE: International Conference for Process Improvement, Research and Education. Loughborough, United Kingdom 30 - 31 Mar 2015 Southampton Solent University. pp. 105-117

Conference paper

A computationally grounded, weighted doxastic logic

Chen, T., Primiero, G., Raimondi, F. and Rungta, N. 2016. A computationally grounded, weighted doxastic logic. Studia Logica. 104 (4), pp. 679-703. https://doi.org/10.1007/s11225-015-9621-4

Article

Minimizing transitive trust threats in software management systems

Boender, J., Primiero, G. and Raimondi, F. 2015. Minimizing transitive trust threats in software management systems. 13th Annual Conference on Privacy, Security and Trust (PST 2015). Izmir, Turkey 21 - 23 Jul 2015 Institute of Electrical and Electronics Engineers (IEEE). pp. 191-198 https://doi.org/10.1109/PST.2015.7232973

Conference paper

Engineering context-aware systems and applications: a survey

Alegre, U., Augusto, J. and Clark, T. 2016. Engineering context-aware systems and applications: a survey. Journal of Systems and Software. 117, pp. 55-83. https://doi.org/10.1016/j.jss.2016.02.010

Article

Exploring seamless connectivity and proactive handover techniques in VANET systems

Mapp, G., Ghosh, A., Paranthaman, V., Iniovosa, V., Loo, J. and Vinel, A. 2016. Exploring seamless connectivity and proactive handover techniques in VANET systems. in: Intelligent Transportation Systems: Dependable Vehicular Communications for Improved Road Safety Switzerland Springer International Publishing.

Book chapter

Symbolic model-checking for resource-bounded ATL

Alechina, N., Logan, B., Nguyen, H., Raimondi, F. and Mostarda, L. 2015. Symbolic model-checking for resource-bounded ATL. 2015 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015. Istanbul, Turkey 04 - 08 May 2015 pp. 1809-1810

Conference paper

The heuristic strategies for assessing wireless sensor network: an event-based formal approach

Testa, A., Cinque, M., Coronato, A., De Pietro, G. and Augusto, J. 2015. The heuristic strategies for assessing wireless sensor network: an event-based formal approach. Journal of Heuristics. 21 (2), pp. 145-175. https://doi.org/10.1007/s10732-014-9258-x

Article

Flexible context aware interface for ambient assisted living

McNaull, J., Augusto, J., Mulvenna, M. and McCullagh, P. 2014. Flexible context aware interface for ambient assisted living. Human-centric Computing and Information Sciences. 4 (1). https://doi.org/10.1186/2192-1962-4-1

Article

Cooperative control with distal manipulation for fetoscopic laser photocoagulation

Dwyer, G., Bergeles, C., Chadebecq, F., Pawar, V., Vander Poorten, E., Ourselin, S., Deprest, J., De Coppi, P., Vercauteren, T. and Stoyanov, D. 2016. Cooperative control with distal manipulation for fetoscopic laser photocoagulation. 6th Joint Workshop on New Technologies for Computer/Robot Assisted Surgery. Pisa, Italy 12 - 14 Sep 2016 Leuven, Belgium KU Leuven. pp. 34-35

Conference paper

Real-time mosaicing of fetoscopic videos using SIFT

Daga, P., Chadebecq, F., Shakir, D., Herrera, L., Tella, M., Dwyer, G., David, A., Deprest, J., Stoyanov, D., Vercauteren, T. and Ourselin, S. 2016. Real-time mosaicing of fetoscopic videos using SIFT. SPIE Medical Imaging 2016. San Diego, California, United States 27 Feb - 03 Mar 2016 SPIE. https://doi.org/10.1117/12.2217172

Conference item

A combined EM and visual tracking probabilistic model for robust mosaicking: application to fetoscopy

Tella-Amo, M., Daga, P., Chadebecq, F., Thompson, S., Shakir, D., Dwyer, G., Wimalasundera, R., Deprest, J., Stoyanov, D. and Vercauteren, T. 2016. A combined EM and visual tracking probabilistic model for robust mosaicking: application to fetoscopy. 2016 IEEE Conference on Computer Vision and Pattern Recognition Workshops (CVPRW). Las Vegas, NV, USA 26 Jun - 01 Jul 2016 IEEE. https://doi.org/10.1109/CVPRW.2016.72

Conference paper

Architecture for public safety network using D2D communication

Ali, K., Nguyen, H., Shah, P., Vien, Q. and Bhuvanasundaram, N. 2016. Architecture for public safety network using D2D communication. IEEE Conference on Wireless Communications and Networking. Doha, Qatar 03 - 06 Apr 2016 IEEE. https://doi.org/10.1109/wcnc.2016.7564671

Conference paper

Informatics tools supporting biomedical research and healthcare outcomes in Africa: current utilization and strategies to improve access

Ogeh, D., Fatumo, S., Oluwagbemi, O. and Adenmosun, O. 2016. Informatics tools supporting biomedical research and healthcare outcomes in Africa: current utilization and strategies to improve access . European Journal of Scientific Research . 138 (2), pp. 137-151.

Article

Android Mobile Informatics Application for some Hereditary Diseases and Disorders (AMAHD): a complementary framework for medical practitioners and patients

Oluwagbemi, O., Oluwagbemi, F. and Ughamadu, C. 2016. Android Mobile Informatics Application for some Hereditary Diseases and Disorders (AMAHD): a complementary framework for medical practitioners and patients. Informatics in Medicine Unlocked . 2, pp. 38-69. https://doi.org/10.1016/j.imu.2016.03.001

Article

Ebinformatics: Ebola fuzzy informatics systems on the diagnosis, prediction and recommendation of appropriate treatments for Ebola virus disease (EVD)

Oluwagbemi, O., Oluwagbemi, F. and Abimbola, O. 2016. Ebinformatics: Ebola fuzzy informatics systems on the diagnosis, prediction and recommendation of appropriate treatments for Ebola virus disease (EVD). Informatics in Medicine Unlocked . 2, pp. 12-37. https://doi.org/10.1016/j.imu.2015.12.001

Article

Computational and mathematical modelling: Applicability to infectious disease control in Africa

Oluwagbemi, O., Ogeh, D.N., Adewumi, A. and Fatumo, S.A. 2016. Computational and mathematical modelling: Applicability to infectious disease control in Africa. Asian Journal of Scientific Research. 9 (3), pp. 88-105. https://doi.org/10.3923/ajsr.2016.88.105

Article

Acceptance requirements and their gamification solutions

Piras, L., Giorgini, P. and Mylopoulos, J. 2016. Acceptance requirements and their gamification solutions. IEEE 24th International Requirements Engineering Conference. Beijing, China 12 - 16 Sep 2016 IEEE. pp. 365-370 https://doi.org/10.1109/RE.2016.43

Conference paper

Game theoretical semantics for some non-classical logics

Baskent, C. 2016. Game theoretical semantics for some non-classical logics. Journal of Applied Non-Classical Logics. 26 (3), pp. 208-239. https://doi.org/10.1080/11663081.2016.1225488

Article

Teaching functional patterns through robotic applications

Boender, J., Currie, E., Loomes, M., Primiero, G. and Raimondi, F. 2016. Teaching functional patterns through robotic applications. The 4th International Workshop on Trends in Functional Programming in Education, TFPIE 2015. Sophia-Antipolis, France 02 Jun 2015 Open Publishing Association. pp. 17-29 https://doi.org/10.4204/EPTCS.230.2

Conference paper

Degradation and encryption for outsourced PNG images in cloud storage

Wang, Y., Du, J., Cheng, X., Liu, Z. and Lin, K. 2016. Degradation and encryption for outsourced PNG images in cloud storage. International Journal of Grid and Utility Computing. 7 (1), pp. 22-28. https://doi.org/10.1504/IJGUC.2016.073773

Article

Trust-Driven and PSO-SFLA based job scheduling algorithm on Cloud

Xie, X., Liu, R., Cheng, X., Hu, X. and Ni, J. 2016. Trust-Driven and PSO-SFLA based job scheduling algorithm on Cloud. Intelligent Automation & Soft Computing: An International Journal . 22 (4), pp. 561-566.

Article

Who benefits from the "sharing" economy of Airbnb?

Quattrone, G., Proserpio, D., Quercia, D., Capra, L. and Musolesi, M. 2016. Who benefits from the "sharing" economy of Airbnb? WWW 2016: 25th International Conference on World Wide Web. Montreal, Canada 11 - 15 Apr 2016 Association for Computing Machinery (ACM). pp. 1385-1394 https://doi.org/10.1145/2872427.2874815

Conference paper

« Previous