Computer Science
| Title | Computer Science |
|---|---|
| Alternative | S&T - CS |
| Faculty | Faculty of Science and Technology |
Latest research outputs
Sort by Date Title
Application of activity theory to analysis of human-related accidents: method and case studies
Yoon, Y., Ham, D. and Yoon, W. 2016. Application of activity theory to analysis of human-related accidents: method and case studies. Reliability Engineering and System Safety. 150, pp. 22-34. https://doi.org/10.1016/j.ress.2016.01.013Article
An exploration of resilience and values in the co-design of sociotechnical systems
Barn, B. and Barn, R. 2016. An exploration of resilience and values in the co-design of sociotechnical systems. International Journal of Systems and Society (IJSS). 3 (1), pp. 1-17. https://doi.org/10.4018/IJSS.2016010101Article
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-4Article
Doing the right thing: computer ethics pedagogy revisited
Jones, S. 2016. Doing the right thing: computer ethics pedagogy revisited. Journal of Information, Communication and Ethics in Society. 14 (1), pp. 33-48. https://doi.org/10.1108/JICES-07-2014-0033Article
Model checking for symbolic-heap separation logic with inductive predicates
Brotherston, J., Gorogiannis, N., Kanovich, M. and Rowe, R. 2016. Model checking for symbolic-heap separation logic with inductive predicates. POPL 2016: 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. St. Petersburg, FL, USA 20 - 22 Jan 2016 Association for Computing Machinery (ACM). pp. 84-96 https://doi.org/10.1145/2837614.2837621Conference paper
A deep learning based approach to classification of CT brain images
Gao, X. and Hui, R. 2016. A deep learning based approach to classification of CT brain images. SAI Computing Conference 2016. London, UK 13 - 15 Jul 2016 IEEE. https://doi.org/10.1109/sai.2016.7555958Conference paper
A new approach to image enhancement for the visually impaired
Gao, X. and Loomes, M. 2016. A new approach to image enhancement for the visually impaired. IS&T International Symposium on Electronic Imaging 2016 - Color Imaging XXI: Displaying, Processing, Hardcopy, and Applications. San Francisco, CA, USA 14 - 18 Feb 2016 Society for Imaging Science and Technology. pp. 1-7 https://doi.org/10.2352/ISSN.2470-1173.2016.20.COLOR-325Conference paper
Enhancing student support with a virtual assistant
Harvey, P., Currie, E., Daryanani, P. and Augusto, J. 2016. Enhancing student support with a virtual assistant. Vincenti, G., Bucciero, A. and Vaz de Carvalho, C. (ed.) eLEOT 2015: 2nd EAI International Conference on e-Learning e-Education and Online Training. Novedrate, Italy 16 - 18 Sep 2015 Springer. pp. 101-109 https://doi.org/10.1007/978-3-319-28883-3_13Conference paper
TimeSets: timeline visualization with set relations
Nguyen, P., Xu, K., Walker, R. and Wong, B. 2016. TimeSets: timeline visualization with set relations. Information Visualization. 15 (3), pp. 253-269. https://doi.org/10.1177/1473871615605347Article
Collaborative sense-making during simulated intelligence analysis exercises
Baber, C., Attfield, S., Conway, G., Rooney, C. and Kodagoda, N. 2016. Collaborative sense-making during simulated intelligence analysis exercises. International Journal of Human-Computer Studies. 86, pp. 94-108. https://doi.org/10.1016/j.ijhcs.2015.10.001Article
Kernel combination via debiased object correspondence analysis
Windridge, D. and Yan, F. 2016. Kernel combination via debiased object correspondence analysis. Information Fusion. 27, pp. 228-239. https://doi.org/10.1016/j.inffus.2015.02.002Article
Temporal reasoning for intuitive specification of context-awareness
Alegre, U., Augusto, J. and Aztiria, A. 2014. Temporal reasoning for intuitive specification of context-awareness. 10th International Conference on Intelligent Environments - IE'14. Shanghai, China 30 Jun - 04 Jul 2014 Institute of Electrical and Electronics Engineers (IEEE). pp. 234-241Conference paper
Advancing ambient assisted living with caution
Huyck, C., Augusto, J., Gao, X. and Botia, J. 2015. Advancing ambient assisted living with caution. in: Helfert, M., Holzinger, A., Ziefle, M., Fred, A., O'Donoghue, J. and Röcker, C. (ed.) Information and Communication Technologies for Ageing Well and e-Health: First International Conference, ICT4AgeingWell 2015, Lisbon, Portugal, May 20-22, 2015. Revised Selected Papers Springer.Book chapter
The role of Web 2.0 technologies in higher education: a case of teaching customer relationship management concepts
Tahmasebi Aria, F., Dafoulas, G. and Alotaibi, B. 2015. The role of Web 2.0 technologies in higher education: a case of teaching customer relationship management concepts. 7th International Conference on Education and New Learning Technologies. Barcelona, Spain 06 - 08 Jul 2015 IATED. pp. 4791-4801Conference paper
Assessing social media adoption: learning needs analysis for SMEs in Saudi Arabia
Alotaibi, B. and Dafoulas, G. 2015. Assessing social media adoption: learning needs analysis for SMEs in Saudi Arabia. 7th International Conference on Education and New Learning Technologies. Barcelona, Spain 06 - 08 Jul 2015 IATED. pp. 4489-4498Conference paper
Personalisation of 3D virtual spaces for enhanced ubiquitous learning
Saleeb, N., Dafoulas, G. and Loomes, M. 2016. Personalisation of 3D virtual spaces for enhanced ubiquitous learning. in: Neto, F., de Souza, R. and Gomes, A. (ed.) Handbook of Research on 3-D Virtual Environments and Hypermedia for Ubiquitous Learning IGI Global. pp. 87-114Book chapter
Curriculum design within a semantic information system
Zheng, Y., Dafoulas, G., Abeysinghe, G. and Cardoso Maia, C. 2014. Curriculum design within a semantic information system. Key Engineering Materials. 572, pp. 562-565. https://doi.org/10.4028/www.scientific.net/KEM.572.562Article
Perspectives on interrogative models of inquiry: developments in Inquiry and Questions
Baskent, C. (ed.) 2016. Perspectives on interrogative models of inquiry: developments in Inquiry and Questions. Switzerland Springer.Edited Book
François Bayle’s valeur obscure
Dack, J. 2015. François Bayle’s valeur obscure. in: Brech, M. and Paland, R. (ed.) Kompositionen für hörbaren Raum: die frühe elektroakustische Musik und ihre Kontexte = Compositions for audible space : the early electroacoustic music and its contexts Bielefeld Transcript Verlag. pp. 277-286Book chapter
A data-centric approach to change management
Nwokeji, J., Clark, T., Barn, B., Kulkarni, V. and Anum, S. 2015. A data-centric approach to change management. 19th IEEE International Enterprise Distributed Object Computing Conference, EDOC 2015. Adelaide, Australia 21 - 25 Sep 2015 IEEE. pp. 185-190 https://doi.org/10.1109/EDOC.2015.34Conference paper
Eugene: a generic interactive genetic algorithm controller
James-Reynolds, C. and Currie, E. 2015. Eugene: a generic interactive genetic algorithm controller. AI-2015: Thirty-fifth SGAI International Conference on Artificial Intelligence. Cambridge, UK 15 - 17 Dec 2015 Springer International Publishing. pp. 361-366Conference poster
A review of interactive narrative systems and technologies: a training perspective
Luo, L., Cai, W., Zhou, S., Lees, M. and Yin, H. 2015. A review of interactive narrative systems and technologies: a training perspective. Simulation: Transactions of The Society for Modeling and Computer Simulation International. 91 (2), pp. 126-147. https://doi.org/10.1177/0037549714566722Article
Algorithms for balanced graph bi-partitioning
Wu, J., Jiang, G., Zheng, L. and Zhou, S. 2014. Algorithms for balanced graph bi-partitioning. 2014 IEEEInternational Conference on High Performance Computing and Communications (HPCC). Paris, France 20 - 22 Aug 2014 Institute of Electrical and Electronics Engineers (IEEE). pp. 185-188 https://doi.org/10.1109/HPCC.2014.35Conference item
Towards a data-driven approach to scenario generation for serious games
Luo, L., Yin, H., Cai, W., Lees, M., Othman, N. and Zhou, S. 2014. Towards a data-driven approach to scenario generation for serious games. Computer Animation and Virtual Worlds. 25 (3-4), pp. 393-402. https://doi.org/10.1002/cav.1588Article
Secure refactoring with Java information flow
Helke, S., Kammueller, F. and Probst, C. 2016. Secure refactoring with Java information flow. 10th International Workshop on Data Privacy Management (DPM 2015). Vienna, Austria 21 - 22 Sep 2015 Springer. pp. 264-272 https://doi.org/10.1007/978-3-319-29883-2_19Conference paper
Neural constraints and flexibility in language processing
Huyck, C. 2016. Neural constraints and flexibility in language processing. Behavioral and Brain Sciences: An International Journal of Current Research and Theory with Open Peer Commentary. 39, p. e78. https://doi.org/10.1017/s0140525x15000837Article
Performance evaluation of wireless IEEE 802.11(b) used for ad-hoc networks in an e-learning classroom network
Ghosh, A., Lasebae, A. and Ever, E. 2009. Performance evaluation of wireless IEEE 802.11(b) used for ad-hoc networks in an e-learning classroom network. 3rd IT Student Conference for the Next Generation. University of East London, London, UK 21 - 22 Nov 2009Conference paper
Providing ubiquitous communication using handover techniques in VANET systems
Ghosh, A., Paranthaman, V., Mapp, G. and Gemikonakli, O. 2014. Providing ubiquitous communication using handover techniques in VANET systems. 2014 13th Annual Mediterranean Ad Hoc Networking Workshop (MED-HOC-NET). Piran, Slovenia 02 - 04 Jun 2014 Institute of Electrical and Electronics Engineers (IEEE). pp. 195-202 https://doi.org/10.1109/MedHocNet.2014.6849124Conference paper
Providing ubiquitous communication using road-side units in VANET systems: unveiling the challenges
Ghosh, A., Vardhan, V., Mapp, G., Gemikonakli, O. and Loo, J. 2013. Providing ubiquitous communication using road-side units in VANET systems: unveiling the challenges. 13th International Conference on ITS Telecommunications (ITST) 2013. Finland, Tampere 05 - 07 Nov 2013 pp. 74-79 https://doi.org/10.1109/ITST.2013.6685524Conference paper
A formally verified access control mechanism for information centric networks
Aiash, M. and Loo, J. 2015. A formally verified access control mechanism for information centric networks. The 12th International Conference on Security and Cryptography (SECRYPT 2015). Colmar, Alsace, France 20 - 22 Jul 2015 SCITEPRESS - Science and Technology Publications. pp. 377-383 https://doi.org/10.5220/0005566303770383Conference poster
Dyslexia adaptive e-learning system based on multi-layer architecture
Alsobhi, A., Khan, N. and Rahanu, H. 2015. Dyslexia adaptive e-learning system based on multi-layer architecture. 2015 Science and Information Conference (SAI). London, United Kingdom 28 - 30 Jul 2015 IEEE. pp. 776-780Conference paper
Assessing real world imagery in virtual environments for people with cognitive disabilities
Covaci, A., Kramer, D., Augusto, J., Rus, S. and Braun, A. 2015. Assessing real world imagery in virtual environments for people with cognitive disabilities. Intelligent Environments 2015. Prague, Czech Republic 15 - 17 Jul 2015 Institute of Electrical and Electronics Engineers (IEEE). pp. 41-48Conference paper
The development of student learning and information literacy: a case study [conference item]
Rahanu, H., Georgiadou, E., Khan, N., Colson, R., Hill, V. and Edwards, J. 2015. The development of student learning and information literacy: a case study [conference item]. 12th International Scientific Conference "Western Balkan Information Literacy". Bihac, Bosnia and Herzegovina 18 - 20 Jun 2015 pp. 25-37Conference paper
Transforming graphical system models to graphical attack models
Ivanova, M., Probst, C., Hansen, R. and Kammueller, F. 2016. Transforming graphical system models to graphical attack models. 2nd International Workshop on Graphical Models for Security, GraMSec 2015, co-located with CSF2015. Verona, Italy 13 Jul 2015 Springer. pp. 82-96 https://doi.org/10.1007/978-3-319-29968-6_6Conference paper
Attack tree generation by policy invalidation
Ivanova, M., Probst, C., Hansen, R. and Kammueller, F. 2015. Attack tree generation by policy invalidation. 9th WISTP International Conference on Information Security Theory and Practice (WISTP 2015). Heraklion, Crete, Greece 24 - 25 Aug 2015 Springer. pp. 249-259 https://doi.org/10.1007/978-3-319-24018-3_16Conference paper
Techniques for formal modelling and analysis of quantum systems
Gay, S. and Nagarajan, R. 2013. Techniques for formal modelling and analysis of quantum systems. in: Computation, logic, games, and quantum foundations. The many facets of Samson Abramsky Springer Verlag.Book chapter
A secure authentication protocol for IP-based wireless sensor communications using the location/ID split protocol (LISP)
Raheem, A., Lasebae, A. and Loo, J. 2014. A secure authentication protocol for IP-based wireless sensor communications using the location/ID split protocol (LISP). 2014 IEEE 13th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom). Beijing, China Institute of Electrical and Electronics Engineers (IEEE). pp. 840-845 https://doi.org/10.1109/TrustCom.2014.135Conference paper
Supporting communications in the IOTs using the location/ID split protocol: a security analysis
Lasebae, A., Loo, J., Aiash, M. and Raheem, A. 2013. Supporting communications in the IOTs using the location/ID split protocol: a security analysis. Future Generation Communication Technology (FGCT) 4- date of conference in full: 12-14 Nov. 2013. London, UK 12 - 14 Nov 2013 pp. 1-5Conference paper
A wide-spectrum approach to modelling and analysis of organisation for machine-assisted decision-making
Kulkarni, V., Barat, S., Clark, T. and Barn, B. 2015. A wide-spectrum approach to modelling and analysis of organisation for machine-assisted decision-making. 11th International Workshop on Enterprise & Organizational Modeling and Simulation (EOMAS 2015). Stockholm, Sweden 08 - 09 Jun 2015 Springer. pp. 87-101 https://doi.org/10.1007/978-3-319-24626-0_7Conference paper
Symbolic representations in multidisciplinary collaborations
Duncker-Gassen, E. 1999. Symbolic representations in multidisciplinary collaborations. Annual Meeting of the Society of the Social Studies of Science. San Diego, CA, USA 1999Conference paper
439643
total views89794
total downloads7647
views this month2651
downloads this month