Computer Science
| Title | Computer Science |
|---|---|
| Alternative | S&T - CS |
| Faculty | Faculty of Science and Technology |
Latest research outputs
Sort by Date Title
The PRET A Rapporter framework: evaluating digital libraries from the perspective of information work
Blandford, A., Adams, A., Attfield, S., Buchanan, G., Gow, J., Makri, S., Rimmer, J. and Warwick, C. 2008. The PRET A Rapporter framework: evaluating digital libraries from the perspective of information work. Information Processing and Management. 44 (1), pp. 4-21. https://doi.org/10.1016/j.ipm.2007.01.021Article
Exploring the importance of reflection in the control room
Back, J., Furniss, D., Attfield, S., Hassard, S. and Blandford, A. 2009. Exploring the importance of reflection in the control room. CHI 2009 Workshop on Designing for Reflection on Experience. Boston, MA, USA 04 Apr 2009Conference paper
A classification of sensemaking representations
Faisal, S., Attfield, S. and Blandford, A. 2009. A classification of sensemaking representations. CHI 2009 Workshop on Sensemaking. Boston, MA, USA 04 - 05 Apr 2009Conference paper
Where light in darkness lies: preservation, access and sensemaking strategies for the modern digital archive
Baron, J. and Attfield, S. Where light in darkness lies: preservation, access and sensemaking strategies for the modern digital archive. The Memory of the World in the Digital Age: Digitization and Preservation. Vancouver, BC, Canada 26 - 28 Sep 2012Conference paper
Using digital technology to enhance and enrich visitor experience in exhibition spaces
Wheat, A., Attfield, S., Loureiro, R. and Fusco-Fagg, I. Using digital technology to enhance and enrich visitor experience in exhibition spaces. CHArt 28th Annual Conference. London, UK 15 - 16 Nov 2012Conference paper
The loneliness of the long-distance document reviewer: e-discovery and cognitive ergonomics
Attfield, S., De Gabrielle, S. and Blandford, A. The loneliness of the long-distance document reviewer: e-discovery and cognitive ergonomics. DESI III Global E-Discovery/E-Disclosure Workshop: A Pre- Conference Workshop at the 12th International Conference on Artificial Intelligence and Law (ICAIL 2009). Barcelona, Spain 08 Jun 2009Conference paper
Idea generation and material consolidation: tool use and intermediate artefacts in journalistic writing
Attfield, S., Fegan, S. and Blandford, A. 2009. Idea generation and material consolidation: tool use and intermediate artefacts in journalistic writing. Cognition, Technology and Work. 11 (3), pp. 227-239. https://doi.org/10.1007/s10111-008-0111-6Article
The centrality of user modeling to high recall with high precision search
Brassil, D., Hogan, C. and Attfield, S. 2009. The centrality of user modeling to high recall with high precision search. in: IEEE International Conference on Systems, Man and Cybernetics, 2009 IEEE. pp. 91-96Book chapter
Exploring sensemaking through an Intelligence Analysis exercise
Baber, C., Attfield, S., Wong, B. and Rooney, C. 2013. Exploring sensemaking through an Intelligence Analysis exercise. in: Chaudet, H., Pellegrin, L. and Bonnardel, N. (ed.) Proceedings of the 11th International Conference on Naturalistic Decision Making Paris Arpege Science Publishing. pp. 125-131Book chapter
Conceptual design for sensemaking
Blandford, A., Faisal, S. and Attfield, S. 2014. Conceptual design for sensemaking. in: Huang, W. (ed.) Handbook of human centric visualization New York Springer. pp. 253-283Book chapter
Predictive coding, storytelling and god: narrative understanding in e-discovery
Chapin, L., Attfield, S. and Okoro, E. Predictive coding, storytelling and god: narrative understanding in e-discovery. DESI V Workshop. Rome, Italy 14 Jun 2013 WileyBlackwell.Conference paper
The case for integrating needs and preferences in the internet of things
Heath, A., Whitney, G., Kolar, I. and Springett, M. 2013. The case for integrating needs and preferences in the internet of things. The Sixth International Conference on Advances in Human Oriented and Personalized Mechanisms, Technologies, and Services: CENTRIC 2013. Venice, Italy 27 Oct - 01 Nov 2013Conference paper
An extensible framework for provenance in human terrain visual analytics
Walker, R., Slingsby, A., Dykes, J., Xu, K., Wood, J., Nguyen, P., Stephens, D., Wong, B. and Zheng, Y. 2013. An extensible framework for provenance in human terrain visual analytics. IEEE Transactions on Visualization and Computer Graphics. 19 (12), pp. 2139-2148. https://doi.org/10.1109/TVCG.2013.132Article
A framework for digital investigations: a case study using BPB modifications
Mitchell, I. 2011. A framework for digital investigations: a case study using BPB modifications. 6th International Annual Workshop on Digital Forensics and Incident Analysis (WDFIA 2011). Kingston University, London Jul 2011Conference paper
Fractal property of generalized M-set with rational number exponent
Liu, S., Cheng, X., Lan, C., Fu, W., Zhou, J., Li, Q. and Gao, G. 2013. Fractal property of generalized M-set with rational number exponent. Applied Mathematics and Computation. 220, pp. 668-675. https://doi.org/10.1016/j.amc.2013.06.096Article
Concern level assessment: building domain knowledge into a visual system to support network-security situation awareness
Kodagoda, N., Attfield, S., Choudhury, S., Rooney, C., Mapp, G., Nguyen, P., Slabbert, L., Wong, B., Aiash, M., Zheng, Y., Xu, K. and Lasebae, A. 2014. Concern level assessment: building domain knowledge into a visual system to support network-security situation awareness. Information Visualization. 13 (4), pp. 346-360. https://doi.org/10.1177/1473871613490291Article
Working internationally to meet the academic needs of accessibility professionals
Whitney, G. 2013. Working internationally to meet the academic needs of accessibility professionals. Encarnação, P., Azevedo, L., Gelderblom, G., Newell, A. and Mathiassen, N. (ed.) 12th European AAATE Conference. Vilamoura, Portugal 19 - 22 Sep 2013 IOS Press. pp. 1092-1095 https://doi.org/10.3233/978-1-61499-304-9-1092Conference paper
The use and usability of accessibility standardization
Whitney, G. 2013. The use and usability of accessibility standardization. Encarnação, P., Azevedo, L., Gelderblom, G., Newell, A. and Mathiassen, N. (ed.) 12th European AAATE Conference. Vilamoura, Portugal 19 - 22 Sep 2013 IOS Press. pp. 298-302 https://doi.org/10.3233/978-1-61499-304-9-298Conference paper
Content-based petrieval of 3D medical images
Qian, Y., Gao, X., Loomes, M., Comley, R., Barn, B., Hui, R. and Tian, Z. 2011. Content-based petrieval of 3D medical images. in: Gemert-Pijnen, L., Ossebaard, H. and Hämäläinen, P. (ed.) eTELEMED 2011, The Third International Conference on eHealth, Telemedicine, and Social Medicine IARIA. pp. 7-12Book chapter
Effects of low & high literacy on user performance in information search and retrieval
Kodagoda, N. and Wong, B. 2008. Effects of low & high literacy on user performance in information search and retrieval. in: Beale, R. and England, D. (ed.) Proceedings of the 22nd British HCI Group Annual Conference on People and Computers: Culture, Creativity, Interaction British Computer Society (BCS) Learning and Development Ltd..Book chapter
Model checking for communicating quantum processes
Davidson, T., Gay, S., Mlnařík, H., Nagarajan, R. and Papanikolaou, N. 2012. Model checking for communicating quantum processes. International Journal of Unconventional Computing. 8 (1), pp. 73-98.Article
Visualization of data for ambient assisted living services
Mulvenna, M., Carswell, W., McCullagh, P., Augusto, J., Zheng, H., Jeffers, P., Wang, H. and Martin, S. 2011. Visualization of data for ambient assisted living services. IEEE Communications Magazine. 49 (1), pp. 110-117. https://doi.org/10.1109/MCOM.2011.5681023Article
Radio dispatchers' interruption recovery strategies
Mancero, G., Wong, B. and Loomes, M. 2009. Radio dispatchers' interruption recovery strategies. in: Proceedings of the 21st Annual Conference of the Australian Computer-Human Interaction Special Interest Group on Design: Open 24/7 - OZCHI '09 New York Association for Computing Machinery (ACM). pp. 113-120Book chapter
Mechanical verification of cryptographic protocols
Cheng, X., Ma, X., Huang, S. and Cheng, M. 2010. Mechanical verification of cryptographic protocols. Network Security. https://doi.org/10.1007/978-0-387-73821-5_5Article
Mass function derivation and combination in multivariate data spaces
Wang, H., Liu, J. and Augusto, J. 2010. Mass function derivation and combination in multivariate data spaces. Information Sciences. 180 (6), pp. 813-819. https://doi.org/10.1016/j.ins.2009.08.027Article
Lossless quantum prefix compression for communication channels that are always open
Müller, M., Rogers, C. and Nagarajan, R. 2009. Lossless quantum prefix compression for communication channels that are always open. Physical Review A. 79 (1). https://doi.org/10.1103/PhysRevA.79.012302Article
The nature of the instrument: Luciano Berio, instrumental thought and Schaefferian theory
Dack, J. 2012. The nature of the instrument: Luciano Berio, instrumental thought and Schaefferian theory. in: De Benedictis, A. (ed.) Luciano Berio: nuove prospettive / new perspectives Florence, Italy Leo S. Olschki.Book chapter
Instrument, que nous veux-tu?
Dack, J. 2008. Instrument, que nous veux-tu? in: Pierre Schaeffer France Ina GRM.Book chapter
Location privacy in mobile IPv6 distributed authentication protocol using mobile home agents
Georgiades, A., Luo, Y., Lasebae, A. and Comley, R. 2009. Location privacy in mobile IPv6 distributed authentication protocol using mobile home agents. Trilling, L., Perkins, D., Dionysios, D., Perlovsky, L., Davey, K., Landgrebe, D., Marino, M., Russell, D., Collicott, S., Ceccarelli, M. and Lund, J. (ed.) The 8th WSEAS International Conference on Electronics, Hardware, Wireless and Optical Communications (EHAC '09). Cambridge, UK 21 - 23 Feb 2009 WSEAS Press. pp. 51-56Conference paper
Equivalence checking of quantum protocols
Ardeshir-Larijani, E., Gay, S. and Nagarajan, R. 2013. Equivalence checking of quantum protocols. in: Piterman, N. and Smolka, S. (ed.) Tools and Algorithms for the Construction and Analysis of Systems : 19th International Conference Proceedings (TACAS 2013). Berlin Springer.Book chapter
Design and evaluation of an ambient assisted living system based on an argumentative multi-agent system
Muñoz, A., Augusto, J., Villa, A. and Botía, J. 2011. Design and evaluation of an ambient assisted living system based on an argumentative multi-agent system. Personal and Ubiquitous Computing. 15 (4), pp. 377-387. https://doi.org/10.1007/s00779-010-0361-1Article
A multi-resolution surface distance model for k-NN query processing
Deng, K., Zhou, X., Shen, H., Liu, Q., Xu, K. and Lin, X. 2008. A multi-resolution surface distance model for k-NN query processing. VLDB Journal. 17 (5), pp. 1101-1119. https://doi.org/10.1007/s00778-007-0053-2Article
Visualization and analysis of the complexome network of saccharomyces cerevisiae
Li, S., Xu, K. and Wilkins, M. 2011. Visualization and analysis of the complexome network of saccharomyces cerevisiae. Journal of Proteome Research. 10 (10), pp. 4744-4756. https://doi.org/10.1021/pr200548cArticle
Variable uncertainty: scenario design for training adaptive and flexible skills
Field, J., Rankin, A., Van der Pal, J., Eriksson, H. and Wong, B. 2011. Variable uncertainty: scenario design for training adaptive and flexible skills. in: Proceedings of the 29th Annual European Conference on Cognitive Ergonomics - ECCE '11 New York Association for Computing Machinery (ACM). pp. 27-34Book chapter
Uncertainty-tolerant design: evaluating task performance and drag-and-link information gathering for a news-writing task
Attfield, S., Blandford, A., Dowell, J. and Cairns, P. 2008. Uncertainty-tolerant design: evaluating task performance and drag-and-link information gathering for a news-writing task. International Journal of Human-Computer Studies. 66 (6), pp. 410-424. https://doi.org/10.1016/j.ijhcs.2007.12.001Article
Specification-based IDS for securing RPL from topology attacks
Le, A., Loo, J., Luo, Y. and Lasebae, A. 2011. Specification-based IDS for securing RPL from topology attacks. Wireless Days (WD), 2011 IFIP. https://doi.org/10.1109/WD.2011.6098218Article
Exchange routing information between new neighbor nodes to improve AODV performance
Le, A. and Luo, Y. 2009. Exchange routing information between new neighbor nodes to improve AODV performance. in: 6th international conference on Information Technology: New Generations, 2009. Proceedings IEEE Computer Society. pp. 1661-1662Book chapter
Introducing mobile home agents into the distributed authentication protocol to achieve location privacy in mobile IPv6
Georgiades, A., Luo, Y., Lasebae, A. and Comley, R. 2008. Introducing mobile home agents into the distributed authentication protocol to achieve location privacy in mobile IPv6. International Journal of Communications. 2 (3), pp. 185-194.Article
Separation logic and concurrency
Bornat, R. 2010. Separation logic and concurrency. in: Boca, P., Bowen, J. and Siddiqi, J. (ed.) Formal Methods: State of the Art and New Directions London Springer Verlag. pp. 217-248Book chapter
Semi-bipartite graph visualization for gene ontology networks
Xu, K., Williams, R., Hong, S., Liu, Q. and Zhang, J. 2010. Semi-bipartite graph visualization for gene ontology networks. in: Graph drawing : 17th International Symposium (GD 2009) Revised Papers Springer.Book chapter
151282
total views29818
total downloads8589
views this month612
downloads this month