Computer Science
| Title | Computer Science |
|---|---|
| Alternative | S&T - CS |
| Faculty | Faculty of Science and Technology |
Latest research outputs
Sort by Date Title
Patient level analytics using self-organising maps: a case study on type-1 diabetes self-care survey responses
Tirunagari, S., Poh, N., Aliabadi, K., Windridge, D. and Cooke, D. 2014. Patient level analytics using self-organising maps: a case study on type-1 diabetes self-care survey responses. 2014 IEEE Symposium on Computational Intelligence and Data Mining (CIDM). Orlando, FL., USA 09 - 12 Dec 2014 Institute of Electrical and Electronics Engineers (IEEE). pp. 304-309 https://doi.org/10.1109/CIDM.2014.7008682Conference paper
Non-enumerative cross validation for the determination of structural parameters in feature-selective SVMs
Chernousova, E., Levdik, P., Tatarchuk, A., Mottl, V. and Windridge, D. 2014. Non-enumerative cross validation for the determination of structural parameters in feature-selective SVMs. 22nd International Conference on Pattern Recognition ICPR 2014. Stockholm, Sweden 24 - 28 Aug 2014 Institute of Electrical and Electronics Engineers (IEEE). pp. 3654-3659 https://doi.org/10.1109/ICPR.2014.628Conference paper
Linear regression via elastic net: non-enumerative leave-one-out verification of feature selection
Chernousova, E., Razin, N., Krasotkina, O., Mottl, V. and Windridge, D. 2014. Linear regression via elastic net: non-enumerative leave-one-out verification of feature selection. in: Aleskerov, F., Goldengorin, B. and Pardalos, P. (ed.) Clusters, Orders, and Trees: Methods and Applications: In Honor of Boris Mirkin's 70th Birthday New York Springer.Book chapter
Automatic annotation of tennis games: an integration of audio, vision, and learning
Yan, F., Kittler, J., Windridge, D., Christmas, W., Mikolajczyk, K., Cox, S. and Huang, Q. 2014. Automatic annotation of tennis games: an integration of audio, vision, and learning. Image and Vision Computing. 32 (11), pp. 896-903. https://doi.org/10.1016/j.imavis.2014.08.004Article
A kernel-based framework for medical big-data analytics
Windridge, D. and Bober, M. 2014. A kernel-based framework for medical big-data analytics. in: Interactive Knowledge Discovery and Data Mining in Biomedical Informatics: State-of-the-Art and Future Challenges Springer. pp. 197-208Book chapter
A model-based framework for classifying and diagnosing usability problems
Ham, D. 2014. A model-based framework for classifying and diagnosing usability problems. Cognition, Technology and Work. 16 (3), pp. 373-388. https://doi.org/10.1007/s10111-013-0267-6Article
Development of a frequency-separated knob with variable change rates by rotation speed
Kim, H. and Ham, D. 2014. Development of a frequency-separated knob with variable change rates by rotation speed. Applied Ergonomics. 45 (6), pp. 1518-1529. https://doi.org/10.1016/j.apergo.2014.04.015Article
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-1Article
The informational mind and the information integration theory of consciousness
Gamez, D. 2014. The informational mind and the information integration theory of consciousness. International Journal of Machine Consciousness. 6 (1), pp. 21-28. https://doi.org/10.1142/S1793843014400046Article
The measurement of consciousness: a framework for the scientific study of consciousness
Gamez, D. 2014. The measurement of consciousness: a framework for the scientific study of consciousness. Frontiers in Psychology. 5, pp. 1-15. https://doi.org/10.3389/fpsyg.2014.00714Article
Can we prove that there are computational correlates of consciousness in the brain?
Gamez, D. 2014. Can we prove that there are computational correlates of consciousness in the brain? Journal of Cognitive Science. 15 (2), pp. 149-186. https://doi.org/10.17791/jcs.2014.15.2.149Article
Proceedings of the IEEE VIS workshop on provenance for sensemaking 2014
Xu, K., Attfield, S. and Jankun-Kelly, T. (ed.) 2014. Proceedings of the IEEE VIS workshop on provenance for sensemaking 2014.Conference Proceedings
Proceedings of the international workshop on visualizations and user interfaces for knowledge engineering and linked data analytics
Ivanova, V., Kauppinen, T., Lohmann, S., Mazumdar, S., Pesquita, C. and Xu, K. (ed.) 2014. Proceedings of the international workshop on visualizations and user interfaces for knowledge engineering and linked data analytics. CEUR Workshop Proceedings (CEUR-WS.org).Conference Proceedings
TimeSets: timeline visualization for sensemaking
Nguyen, P., Xu, K., Walker, R. and Wong, B. 2014. TimeSets: timeline visualization for sensemaking. IEEE VIS Workshop on Provenance for Sensemaking. Paris, France 10 Nov 2014Conference paper
POLAR - an interactive patterns of life visualisation tool for intelligence analysis
Kodagoda, N., Attfield, S., Nguyen, P., Zhang, L., Xu, K., Wong, B., Wagstaff, A., Phillips, G., Bulloch, J., Marshall, J. and Bertram, S. 2014. POLAR - an interactive patterns of life visualisation tool for intelligence analysis. IEEE Joint Conference on Intelligence and Security Informatics Conference. The Hague, Netherlands 24 - 26 Sep 2014 IEEE. pp. 327-327 https://doi.org/10.1109/JISIC.2014.72Conference poster
On demand multicast routing in wireless sensor networks
Sule, C., Shah, P., Doddapaneni, K., Gemikonakli, O. and Ever, E. 2014. On demand multicast routing in wireless sensor networks. Advanced Information Networking and Applications Workshops (WAINA 2014). Victoria, BC, Canada 13 - 16 May 2014 Institute of Electrical and Electronics Engineers (IEEE). pp. 233-238 https://doi.org/10.1109/WAINA.2014.47Conference paper
Verification of concurrent quantum protocols by equivalence checking
Ardeshir-Larijani, E., Gay, S. and Nagarajan, R. 2014. Verification of concurrent quantum protocols by equivalence checking. TACAS 2014: 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Grenoble, France 05 - 13 Apr 2014 Springer. https://doi.org/10.1007/978-3-642-54862-8_42Conference paper
Model based enterprise simulation and analysis: a pragmatic approach reducing the burden on experts
Kulkarni, V., Clark, T., Barat, S. and Barn, B. 2014. Model based enterprise simulation and analysis: a pragmatic approach reducing the burden on experts. Indulska, M. and Purao, S. (ed.) 33rd International Conference on Conceptual Modeling. Atlanta, United States 27 - 29 Oct 2014 Cham Springer. pp. 3-12 https://doi.org/10.1007/978-3-319-12256-4_1Conference paper
Modelling, simulation, and analysis for enterprise architecture
Clark, T., Barn, B. and Kulkarni, V. 2014. Modelling, simulation, and analysis for enterprise architecture. in: García Díaz, V., Cueva Lovelle, J. and García-Bustelo, B. (ed.) Handbook of Research on Innovations in Systems and Software Engineering IGI Global. pp. 202-236Book chapter
Dynamic reconfiguration of component-based systems: a feature reification approach
Clark, T., Barn, B. and Kulkarni, V. 2014. Dynamic reconfiguration of component-based systems: a feature reification approach. in: Ramanathan, R. and Raja, K. (ed.) Handbook of Research on Architectural Trends in Service-Driven Computing IGI Global. pp. 76Book chapter
Young people and smart phones: an empirical study on information security
Barn, B., Barn, R. and Tan, J. 2014. Young people and smart phones: an empirical study on information security. 47th Hawaii International Conference on System Sciences, HICSS 2014. Waikoloa, Hawaii, USA 06 - 09 Jan 2014 IEEE. pp. 4504-4514 https://doi.org/10.1109/HICSS.2014.554Conference paper
LOC algorithm: location-aware opportunistic forwarding by using node's approximate location
Khan, S., Loo, J., Lasebae, A., Azam, M., Adeel, M., Kausar, R. and Sardar, H. 2014. LOC algorithm: location-aware opportunistic forwarding by using node's approximate location. International Journal of Pervasive Computing and Communications. 10 (4), pp. 481-496. https://doi.org/10.1108/IJPCC-02-2014-0017Article
Performance evaluation of LTE network via using fixed/mobile femtocells
Raheem, R., Lasebae, A. and Loo, J. 2014. Performance evaluation of LTE network via using fixed/mobile femtocells. Advanced Information Networking and Applications Workshops (WAINA), 2014 28th International Conference. Victoria, BC, Canada 13 - 16 May 2014 Institute of Electrical and Electronics Engineers (IEEE). pp. 255-260 https://doi.org/10.1109/WAINA.2014.51Conference paper
eFRIEND: an ethical framework for intelligent environment development
Jones, S., Augusto, J. and Hara, S. 2014. eFRIEND: an ethical framework for intelligent environment development. The 7th ACM International Conference on Pervasive Technologies Related to Assistive Environments: PETRA 2014. Rhodes, Greece 27 - 30 May 2014 Association for Computing Machinery (ACM). https://doi.org/10.1145/2674396.2674410Conference paper
Unconstrained face recognition
Zafeiriou, S., Kotsia, I. and Pantic, M. 2014. Unconstrained face recognition. in: De Marsico, M., Nappi, M. and Tistarelli, M. (ed.) Face Recognition in Adverse Conditions IGI Global. pp. 16-37Book chapter
Making sense of course data: towards the standardisation of curriculum design and course related information
Dafoulas, G., Barn, B. and Zheng, Y. 2014. Making sense of course data: towards the standardisation of curriculum design and course related information. 6th International Conference on Education and New Learning Technologies. Barcelona, Spain 07 - 09 Jul 2014 IATED. pp. 3745-3754Conference paper
Integrating web 2.0 technologies in higher education learning
Dafoulas, G. and Shokri, A. 2014. Integrating web 2.0 technologies in higher education learning. 6th International Conference on Education and New Learning Technologies. Barcelona, Spain 07 - 09 Jul 2014 IATED. pp. 3755-3764Conference paper
A decision procedure for satisfiability in separation logic with inductive predicates
Brotherston, J., Fuhs, C., Pérez, J. and Gorogiannis, N. 2014. A decision procedure for satisfiability in separation logic with inductive predicates. CSL-LICS 2014. Vienna, Austria 14 - 18 Jul 2014 Association for computing machinery. pp. 1-10 https://doi.org/10.1145/2603088.2603091Conference paper
VALCRI: addressing European needs for information exploitation of large complex data in criminal intelligence analysis
Wong, B., Zhang, L. and Shepherd, I. 2014. VALCRI: addressing European needs for information exploitation of large complex data in criminal intelligence analysis. European Data Forum 2014. Athens, Greece 19 - 20 Mar 2014Conference paper
Visual analysis of streaming data with SAVI and SenseMAP
Xu, K., Nguyen, P. and Fields, B. 2014. Visual analysis of streaming data with SAVI and SenseMAP. 2014 IEEE Conference on Visual Analytics Science and Technology (VAST). Paris, France 25 - 31 Oct 2014 pp. 389-390 https://doi.org/https://doi.org/10.1109/vast.2014.7042580Conference paper
Intelligent environments simulations, towards a smart campus
Campuzano, F., Doumanis, I., Smith, S. and Botia, J. 2014. Intelligent environments simulations, towards a smart campus. The University as a Context Platform, Workshop. University of West London, London, United Kingdom 14 Nov 2014 https://doi.org/10.13140/2.1.3141.3447Conference paper
Where antibiotic resistance mutations meet quorum-sensing
Krašovec, R., Belavkin, R., Aston, J., Channon, A., Aston, E., Rash, B., Kadirvel, M., Forbes, S. and Knight, C. 2014. Where antibiotic resistance mutations meet quorum-sensing. Microbial Cell. 1 (7), pp. 250-252. https://doi.org/10.15698/mic2014.07.158Article
On variational definition of quantum entropy
Belavkin, R. 2014. On variational definition of quantum entropy. 34th International Workshop on Bayesian Inference and Maximum Entropy Methods in Science and Engineering (MaxEnt 2014). Clos Lucé, Amboise, France 21 - 26 Sep 2014 American Institute of Physics (AIP). https://doi.org/10.1063/1.4905979Conference paper
Domain anomaly detection in machine perception: a system architecture and taxonomy
Kittler, J., Christmas, W., De Campos, T., Windridge, D., Yan, F., Illingworth, J. and Osman, M. 2014. Domain anomaly detection in machine perception: a system architecture and taxonomy. IEEE Transactions on Pattern Analysis and Machine Intelligence. 36 (5), pp. 845-859. https://doi.org/10.1109/TPAMI.2013.209Article
Model checking degrees of belief in a system of agents
Primiero, G., Raimondi, F. and Rungta, N. 2014. Model checking degrees of belief in a system of agents. AAMAS 2014: 13th International Conference on Autonomous Agents and Multiagent Systems. Paris, France 05 - 09 May 2014 International Foundation for Autonomous Agents and Multiagent Systems. pp. 133-140Conference paper
Programming the MIRTO robot with neurons
Huyck, C., Primiero, G. and Raimondi, F. 2014. Programming the MIRTO robot with neurons. 5th Annual International Conference on Biologically Inspired Cognitive Architectures, BICA 2014. Cambridge, MA, USA 07 - 09 Nov 2014 Elsevier. https://doi.org/10.1016/j.procs.2014.11.087Conference paper
Modeling human behaviour with higher order logic: insider threats
Boender, J., Ivanova, M., Kammueller, F. and Primiero, G. 2014. Modeling human behaviour with higher order logic: insider threats. 4th Workshop on Socio-Technical Aspects in Security and Trust (STAST 2014). Vienna, Austria 18 Jul 2014 IEEE. pp. 31-39 https://doi.org/10.1109/STAST.2014.13Conference paper
A typed natural deduction calculus to reason about secure trust
Primiero, G. and Raimondi, F. 2014. A typed natural deduction calculus to reason about secure trust. 2014 Twelfth Annual Conference on Privacy, Security and Trust (PST). Toronto, Canada 23 - 24 Jul 2014 Institute of Electrical and Electronics Engineers (IEEE). pp. 379-382 https://doi.org/10.1109/PST.2014.6890963Conference paper
Post and pre-compensatory Hebbian Learning for categorisation
Huyck, C. and Mitchell, I. 2014. Post and pre-compensatory Hebbian Learning for categorisation. Cognitive Neurodynamics. 8 (4), pp. 299-311. https://doi.org/10.1007/s11571-014-9282-4Article
Decidable model-checking for a resource logic with production of resources
Alechina, N., Logan, B., Nguyen, H. and Raimondi, F. 2014. Decidable model-checking for a resource logic with production of resources. Schaub, T., Friedrich, G. and O'Sullivan, B. (ed.) 21st European Conference on Artificial Intelligence (ECAI-2014). Prague, Czech Republic 18 - 22 Aug 2014 Prague, Czech Republic IOS Press. pp. 9-14 https://doi.org/10.3233/978-1-61499-419-0-9Conference paper
440194
total views89887
total downloads8198
views this month2744
downloads this month