Computer Science

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

Latest research outputs

Sort by Date Title

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

Separability principles for a general theory of software engineering: report on the GTSE 2015 workshop

Exman, I., Perry, D., Barn, B. and Ralph, P. 2016. Separability principles for a general theory of software engineering: report on the GTSE 2015 workshop. ACM SIGSOFT Software Engineering Notes. 41 (1), pp. 25-27. https://doi.org/10.1145/2853073.2853093

Article

Disproving inductive entailments in separation logic via base pair approximation

Brotherston, J. and Gorogiannis, N. 2015. Disproving inductive entailments in separation logic via base pair approximation. TABLEAUX 2015: 24th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods. Wroclaw, Poland 21 - 24 Sep 2015 Springer. https://doi.org/10.1007/978-3-319-24312-2_20

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

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 Society of Photo-optical Instrumentation Engineers (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. pp. 524-532 https://doi.org/10.1109/CVPRW.2016.72

Conference paper

Integrating values into mobile software engineering

Barn, R. and Barn, B. 2016. Integrating values into mobile software engineering. 9th India Software Engineering Conference. Goa, India 18 - 20 Feb 2016 Association for Computing Machinery (ACM). pp. 196 https://doi.org/10.1145/2856636.2856659

Conference item

Enterprise modeling as a decision making aid: a systematic mapping study

Barat, S., Kulkarni, V., Clark, T. and Barn, B. 2016. Enterprise modeling as a decision making aid: a systematic mapping study. Horkoff, J., Jeusfeld, M. and Persson, A. (ed.) 9th IFIP WG 8.1 Working Conference on The Practice of Enterprise Modeling. Skovde, Sweden 08 - 10 Nov 2016 Cham Springer.

Conference paper

A systematic mapping study of the current practice of Indian software engineering

Barn, B., Clark, T., Ali, A. and Arif, R. 2016. A systematic mapping study of the current practice of Indian software engineering. 9th India Software Engineering Conference. Goa, India 18 - 20 Feb 2016 Association for Computing Machinery (ACM). pp. 89-98 https://doi.org/10.1145/2856636.2856644

Conference item

A conceptual model for organisational decision-making and its possible realisations

Barat, S., Clark, T., Kulkarni, V. and Barn, B. 2016. A conceptual model for organisational decision-making and its possible realisations. Evora-Gomez, J. and Hernandez-Cabrera, J. (ed.) 30th European Simulation and Modelling Conference. Las Palmas, Spain 26 - 28 Oct 2016 EUROSIS. pp. 174-176

Conference paper

A simulation based aid for complex dynamic decision making

Barat, S., Clark, T., Barn, B. and Kulkarni, V. 2016. A simulation based aid for complex dynamic decision making. Sandkuhl, K. and Söderström, E. (ed.) Doctoral Consortium at the 9th IFIP WG 8.1 Working Conference on The Practice of Enterprise Modeling. Skovde, Sweden 08 Nov 2016 CEUR Workshop Proceedings (CEUR-WS.org).

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. 2016 IEEE Wireless Communications and Networking Conference. Doha, Qatar 03 - 06 Apr 2016 IEEE. pp. 1-6 https://doi.org/10.1109/wcnc.2016.7564671

Conference paper

On the mathematical ingredients of Ebinformatics

Oluwagbemi, O. 2016. On the mathematical ingredients of Ebinformatics. 4th Heidelberg Laureate Forum Foundation International Workshop. Heidelberg, Germany 17 - 24 Sep 2016

Conference poster

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

Towards paraconsistent inquiry

Baskent, C. 2016. Towards paraconsistent inquiry. The Australian Journal of Logic. 13 (2), pp. 21-40. https://doi.org/10.26686/ajl.v13i2.2102

Article

Topological semantics for da Costa paraconsistent logics Cω and C*ω

Baskent, C. 2016. Topological semantics for da Costa paraconsistent logics Cω and C*ω. Beziau, J., Chakraborty, M. and Dutta, S. (ed.) 5th World Congress on Paraconsistency (WCP 2014). Kolkata, India 13 - 17 Feb 2014 New Delhi, India Springer. pp. 427-444 https://doi.org/10.1007/978-81-322-2719-9_19

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

New lace and arsenic: adventures in weak memory with a program logic (v2)

Bornat, R., Alglave, J. and Parkinson, M. 2016. New lace and arsenic: adventures in weak memory with a program logic (v2). https://doi.org/10.48550/arXiv.1512.01416

Pre-print

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

Cognitive accessibility to mobile ICT

Böcker, M., Floratos, N., Martínez, L., Pluke, M., Von Niman, B. and Whitney, G. 2016. Cognitive accessibility to mobile ICT. Miesenberger, K, Bühler, C. and Penaz, P. (ed.) 15th International Conference on Computers Helping People with Special Needs (ICCHP 2016). Linz, Austria 13 - 15 Jul 2016 Springer. pp. 179-186 https://doi.org/10.1007/978-3-319-41264-1_24

Conference paper

Constraint satisfaction problems for reducts of homogeneous graphs

Bodirsky, M., Martin, B., Pinsker, M. and Pongrácz, A. 2016. Constraint satisfaction problems for reducts of homogeneous graphs. 43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016). Rome, Italy 12 - 15 Jul 2016 Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH. pp. 119:1-119:14 https://doi.org/10.4230/LIPIcs.ICALP.2016.119

Conference paper

A progressive approach to design authentication protocols for mobile heterogeneous networks

Kenaza, T., Aiash, M., Loo, J., Lasebae, A. and Whitney, G. 2016. A progressive approach to design authentication protocols for mobile heterogeneous networks. IEEE Trustcom/BigDataSE/ISPA, 2016. Tianjin, China 23 - 26 Aug 2016 IEEE. pp. 1776-1781 https://doi.org/10.1109/trustcom.2016.0273

Conference paper

A specification-based IDS for detecting attacks on RPL-based network topology

Le, A., Loo, J., Chai, K. and Aiash, M. 2016. A specification-based IDS for detecting attacks on RPL-based network topology. Information. 7 (2). https://doi.org/10.3390/info7020025

Article

Performance evaluation of mobile users served by fixed and mobile femtocells in LTE networks

Raheem, R., Lasebae, A., Aiash, M. and Loo, J. 2016. Performance evaluation of mobile users served by fixed and mobile femtocells in LTE networks. Journal of Networking Technology. 7 (1), pp. 16-33.

Article

Interference management for co-channel mobile femtocells technology in LTE networks

Raheem, R., Lasebae, A., Aiash, M. and Loo, J. 2016. Interference management for co-channel mobile femtocells technology in LTE networks. 12th International Conference on Intelligent Environments (IE). London, United Kingdom 14 - 16 Sep 2016 IEEE. pp. 80-87 https://doi.org/10.1109/IE.2016.21

Conference paper

Post-operative pediatric cerebellar mutism syndrome and its association with hypertrophic olivary degeneration

Avula, S., Spiteri, M., Kumar, R., Lewis, E., Harave, S., Windridge, D., Ong, C. and Pizer, B. 2016. Post-operative pediatric cerebellar mutism syndrome and its association with hypertrophic olivary degeneration. Quantitative Imaging in Medicine and Surgery. 6 (5), pp. 535-544. https://doi.org/10.21037/qims.2016.10.11

Article

Criminal pattern identification based on modified K-means clustering

Aljrees, T., Shi, D., Windridge, D. and Wong, B. 2016. Criminal pattern identification based on modified K-means clustering. 2016 International Conference on Machine Learning and Cybernetics. Jeju, South Korea 10 - 13 Jul 2016 IEEE. pp. 799-806 https://doi.org/10.1109/ICMLC.2016.7872990

Conference paper

Can DMD obtain a scene background in color?

Tirunagari, S., Poh, N., Bober, M. and Windridge, D. 2016. Can DMD obtain a scene background in color? 2016 International Conference on Image, Vision and Computing (ICIVC). Portsmouth, UK 03 - 05 Aug 2016 pp. 46-50 https://doi.org/10.1109/ICIVC.2016.7571272

Conference paper

TimeSets for uncertainty visualisation

Salisu, S., Xu, K., Wagstaff, A., Biggs, M. and Phillips, G. 2016. TimeSets for uncertainty visualisation. 34th Annual Conference Computer Graphics & Visual Computing (CGVC) 2016. Bournemouth University, United Kingdom 15 - 16 Sep 2016 The Eurographics Association. https://doi.org/10.2312/cgvc.20161291

Conference paper

« Previous