Computer Science
| Title | Computer Science |
|---|---|
| Alternative | S&T - CS |
| Faculty | Faculty of Science and Technology |
Latest research outputs
Sort by Date Title
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
Identifying quantitative imaging features of posterior fossa syndrome in longitudinal MRI
Spiteri, M., Windridge, D., Avula, S., Kumar, R. and Lewis, E. 2015. Identifying quantitative imaging features of posterior fossa syndrome in longitudinal MRI. Journal of Medical Imaging. 2 (4), p. 044502. https://doi.org/10.1117/1.JMI.2.4.044502Article
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
Accessible web design – the power of the personal message
Whitney, G. 2015. Accessible web design – the power of the personal message. Sik-Lányi, C., Hoogerwerf, E., Miesenberger, K. and Cudd, P. (ed.) 13th AAATE (Association for the Advancement of Assistive Technology in Europe) Conference. Budapest, Hungary 09 - 12 Sep 2015 IOS Press. pp. 142-145 https://doi.org/10.3233/978-1-61499-566-1-142Conference paper
Can we fix the web?
Kolar, I. and Whitney, G. 2015. Can we fix the web? Sik-Lányi, C., Hoogerwerf, E., Miesenberger, K. and Cudd, P. (ed.) 13th AAATE (Association for the Advancement of Assistive Technology in Europe) Conference. Budapest, Hungary 09 - 12 Sep 2015 IOS Press. pp. 127-133 https://doi.org/10.3233/978-1-61499-566-1-127Conference paper
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
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
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
Development tools and cultural diversity
Duncker-Gassen, E., Theng, Y. and Mohd-Nasir, N. 1999. Development tools and cultural diversity. Annual Meeting of the Society for the Social Study of Science. San Diego, CA, USA 1999Conference item
Issues of cross-cultural distance learning
Nie, M. and Duncker-Gassen, E. 2005. Issues of cross-cultural distance learning. 11th European Conference for Research on Learning and Instruction 2005. Latvia 22 - 27 Aug 2005 pp. 1223Conference item
Software theory change for resilient near-complete specifications
Primiero, G. and Raimondi, F. 2015. Software theory change for resilient near-complete specifications. Procedia Computer Science. 52, pp. 988-995. https://doi.org/10.1016/j.procs.2015.05.091Article
System capacity Improvement by on request channel allocation in LTE cellular network
Lasebae, A., Rahman, S. and Rezvy, S. 2014. System capacity Improvement by on request channel allocation in LTE cellular network. The 15th IEEE International Conference on a World of Wireless, Mobile and Multimedia Networks. Sydney, Australia 16 - 19 Jun 2014Conference paper
Articulating resources: the impact of electronic health records on cross-professional healthcare work
Fields, B. and Duncker-Gassen, E. 2003. Articulating resources: the impact of electronic health records on cross-professional healthcare work. Interaction Design Centre - Middlesex University.Technical report
Temporal planning for business process optimisation
Magazzeni, D., Mercorio, F., Barn, B., Clark, T., Raimondi, F. and Kulkarni, V. 2014. Temporal planning for business process optimisation. ICAPS 2014: 8th Scheduling and Planning Application woRKshop (SPARK 2014). Portsmouth, New Hampshire, USA 22 Jun 2014Conference paper
Formalization of quantum protocols using Coq
Boender, J., Kammueller, F. and Nagarajan, R. 2015. Formalization of quantum protocols using Coq. The 12th International Workshop on Quantum Physics and Logic (QPL 2015). Oxford, United Kingdom 15 - 17 Jul 2015 pp. 71-83Conference paper
From complexity to algebra and back: digraph classes, collapsibility and the PGP
Carvalho, C., Madelaine, F. and Martin, B. 2015. From complexity to algebra and back: digraph classes, collapsibility and the PGP. 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). Kyoto, Japan 06 - 10 Jul 2015 Institute of Electrical and Electronics Engineers (IEEE). pp. 462-474Conference paper
Constraint satisfaction with counting quantifiers 2
Martin, B. and Stacho, J. 2014. Constraint satisfaction with counting quantifiers 2. 9th International Computer Science Symposium in Russia, CSR 2014. Moscow, Russia 07 - 11 Jun 2014 Springer. pp. 259-272Conference paper
QCSP on semicomplete digraphs
Dapić, P., Marković, P. and Martin, B. 2014. QCSP on semicomplete digraphs. 41st International Colloquium on Automata, Languages and Programming, ICALP 2014. Copenhagen, Denmark 08 - 11 Jul 2014 Springer. pp. 847-858Conference paper
150724
total views29707
total downloads8031
views this month501
downloads this month