Computer Science
| Title | Computer Science |
|---|---|
| Alternative | S&T - CS |
| Faculty | Faculty of Science and Technology |
Latest research outputs
Sort by Date Title
Improving the model checking of strategies under partial observability and fairness constraints
Busard, S., Pecheur, C., Qu, H. and Raimondi, F. 2014. Improving the model checking of strategies under partial observability and fairness constraints. 16th International Conference on Formal Engineering Methods, ICFEM 2014. Luxembourg 03 - 05 Nov 2014 Springer International Publishing. https://doi.org/10.1007/978-3-319-11737-9_3Conference paper
Instant channel allocation technique to improve system throughput in joint LTE cellular network
Rezvy, S., Rahman, S., Lasebae, A. and Loo, J. 2014. Instant channel allocation technique to improve system throughput in joint LTE cellular network. Advanced Information Networking and Applications Workshops (WAINA 2014). Victoria, Canada 13 - 16 May 2014 Institute of Electrical and Electronics Engineers (IEEE). pp. 900-904 https://doi.org/10.1109/WAINA.2014.198Conference paper
Slrtool: a tool to support collaborative systematic literature reviews
Barn, B., Raimondi, F., Athiappan, L. and Clark, T. 2014. Slrtool: a tool to support collaborative systematic literature reviews. 16th International Conference on Enterprise Information Systems. Lisbon, Portugal 27 - 30 Apr 2014 SCITEPRESS - Science and Technology Publications. pp. 440-447 https://doi.org/10.5220/0004972204400447Conference paper
Merged reality systems: bringing together automation and tracking through immersive geospatial connected environments
Moseley, R. 2014. Merged reality systems: bringing together automation and tracking through immersive geospatial connected environments. 2014 Science and Information Conference (SAI). London, UK 27 - 29 Aug 2014 IEEE. pp. 732-735 https://doi.org/10.1109/sai.2014.6918268Conference paper
Exploring efficient seamless handover in VANET systems using network dwell time
Ghosh, A., Parathaman, V., Mapp, G. and Gemikonakli, O. 2014. Exploring efficient seamless handover in VANET systems using network dwell time. EURASIP Journal on Wireless Communications and Networking. 2014 (1), pp. 1-19. https://doi.org/10.1186/1687-1499-2014-227Article
LOC algorithm: location-aware opportunistic forwarding by using node's approximate location
Kashif Ashraf Khan, S., Loo, J., Lasebae, A., Awais 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
Asymmetry of risk and value of information
Belavkin, R. 2014. Asymmetry of risk and value of information. in: Vogiatzis, C., Walteros, J. and Pardalos, P. (ed.) Dynamics of Information Systems: Computational and Mathematical Challenges Springer.Book chapter
An analysis of the relationship between conditional entropy and failed error propagation in software testing
Androutsopoulos, K., Clark, D., Dan, H., Hierons, R. and Harman, M. 2014. An analysis of the relationship between conditional entropy and failed error propagation in software testing. 36th International Conference on Software Engineering, ICSE '14. Hyderabad, India 31 May - 07 Jun 2014 Association for Computing Machinery (ACM). pp. 573-583 https://doi.org/10.1145/2568225.2568314Conference paper
Evaluating the impact of embodied conversational agents (ECAs) attentional behaviors on user retention of cultural content in a simulated mobile environment
Doumanis, I. and Smith, S. 2014. Evaluating the impact of embodied conversational agents (ECAs) attentional behaviors on user retention of cultural content in a simulated mobile environment. GazeIn '14: 7th Workshop on Eye Gaze in Intelligent Human Machine Interaction: Eye-Gaze & Multimodality. Istanbul, Turkey 16 - 16 Nov 2014 Association for Computing Machinery (ACM). pp. 27-32 https://doi.org/10.1145/2666642.2666650Conference keynote
INVISQUE as a tool for intelligence analysis: the construction of explanatory narratives
Rooney, C., Attfield, S., Wong, B. and Choudhury, S. 2014. INVISQUE as a tool for intelligence analysis: the construction of explanatory narratives. International Journal of Human-Computer Interaction. 30 (9), pp. 703-717. https://doi.org/10.1080/10447318.2014.905422Article
Mutation rate plasticity in rifampicin resistance depends on Escherichia coli cell–cell interactions
Krašovec, R., Belavkin, R., Aston, J., Channon, A., Aston, E., Rash, B., Kadirvel, M., Forbes, S. and Knight, C. 2014. Mutation rate plasticity in rifampicin resistance depends on Escherichia coli cell–cell interactions. Nature Communications. 5, pp. 1-8. https://doi.org/10.1038/ncomms4742Article
Feature-wise representation for both still and motion 3D medical images
Gao, X. 2014. Feature-wise representation for both still and motion 3D medical images. 2014 IEEE Southwest Symposium on Image Analysis and Interpretation (SSIAI). San Diego, USA 06 - 09 Apr 2014 IEEE. pp. 1-4 https://doi.org/10.1109/SSIAI.2014.6806014Conference paper
Introducing a novel authentication protocol for secure services in heterogeneous environments using Casper/FDR
Aiash, M. and Loo, J. 2014. Introducing a novel authentication protocol for secure services in heterogeneous environments using Casper/FDR. International Journal of Communication Systems. 27 (12), pp. 3600-3618. https://doi.org/10.1002/dac.2561Article
True global optimality of the pressure vessel design problem: a benchmark for bio-inspired optimisation algorithms
Yang, X., Huyck, C., Karamanoglu, M. and Khan, N. 2013. True global optimality of the pressure vessel design problem: a benchmark for bio-inspired optimisation algorithms. International Journal of Bio-Inspired Computation. 5 (6), pp. 329-335. https://doi.org/10.1504/IJBIC.2013.058910Article
Cardiac motion reconstruction using LKT algorithm from 2D and 3D echocardiography
Gao, A., Li, W., Lin, C., Loomes, M. and Gao, X. 2013. Cardiac motion reconstruction using LKT algorithm from 2D and 3D echocardiography. in: IPCV'13 - The 2013 International Conference on Image Processing, Computer Vision, and Pattern Recognition CSRES Press.Book chapter
User behaviour: searching for scholarly material using electronic resource discovery systems
Stelmaszewska, H., Wong, B., Bhimani, N. and Barn, B. 2010. User behaviour: searching for scholarly material using electronic resource discovery systems. in: BCS '10 Proceedings of the 24th BCS Interaction Specialist Group Conference British Computer Society. pp. 17-26Book chapter
Probabilistic classifiers with a generalized Gaussian scale mixture prior
Liu, G., Wu, J. and Zhou, S. 2013. Probabilistic classifiers with a generalized Gaussian scale mixture prior. Pattern Recognition. 46 (1), pp. 332-345. https://doi.org/10.1016/j.patcog.2012.07.016Article
Rank complexity gap for Lovász-Schrijver and Sherali-Adams proof systems
Dantchev, S. and Martin, B. 2013. Rank complexity gap for Lovász-Schrijver and Sherali-Adams proof systems. Computational Complexity. 22 (1), pp. 191-213. https://doi.org/10.1007/s00037-012-0049-1Article
Towards automatic stability analysis for rely-guarantee proofs
Amjad, H. and Bornat, R. 2009. Towards automatic stability analysis for rely-guarantee proofs. in: Jones, N. and Müller-Olm, M. (ed.) Verification, model checking, and abstract interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings Springer.Book chapter
The Studio Di Fonologia: a musical journey 1954-1983, update 2008-2012
Novati, M. and Dack, J. (ed.) 2012. The Studio Di Fonologia: a musical journey 1954-1983, update 2008-2012. Milan, Italy Ricordi.Book
Communicating on-line: culture and tools
Dafoulas, G. and Murphy, A. 2006. Communicating on-line: culture and tools. MUP Press.Book
Perception of color in 3D Virtual World architectural computer aided design: impact of color design in student satisfaction
Saleeb, N. and Dafoulas, G. 2010. Perception of color in 3D Virtual World architectural computer aided design: impact of color design in student satisfaction. in: The 2010 International Conference on Computer Engineering & Systems IEEE. pp. 207-212Book chapter
Modeling and simulation of pedestrian behaviors in crowded places
Koh, W. and Zhou, S. 2011. Modeling and simulation of pedestrian behaviors in crowded places. ACM Transactions on Modeling and Computer Simulation. 21 (3), pp. 1-23. https://doi.org/10.1145/1921598.1921604Article
Interactivity-constrained server provisioning in large-scale distributed virtual environments
Duong, N., Nguyen, T., Zhou, S., Tang, X., Cai, W. and Ayani, R. 2012. Interactivity-constrained server provisioning in large-scale distributed virtual environments. IEEE Transactions on Parallel and Distributed Systems. 23 (2), pp. 304-312. https://doi.org/10.1109/TPDS.2011.107Article
Context-aware adaptive applications: fault patterns and their automated identification
Sama, M., Elbaum, S., Raimondi, F., Rosenblum, D. and Wang, Z. 2010. Context-aware adaptive applications: fault patterns and their automated identification. IEEE Transactions on Software Engineering. 36 (5), pp. 644-661. https://doi.org/10.1109/TSE.2010.35Article
Analysis of an efficient rule-based motion planning system for simulating human crowds
Xiong, M., Lees, M., Cai, W., Zhou, S. and Low, M. 2010. Analysis of an efficient rule-based motion planning system for simulating human crowds. The Visual Computer. 26 (5), pp. 367-383. https://doi.org/10.1007/s00371-010-0421-6Article
Trusted information supply chain framework in clinical studies
Kandl, T. and Khan, N. 2014. Trusted information supply chain framework in clinical studies. Advanced Science Letters. 20 (1), pp. 103-110. https://doi.org/10.1166/asl.2014.5310Article
Information seeking and use by newspaper journalists
Attfield, S. and Dowell, J. 2003. Information seeking and use by newspaper journalists. Journal of Documentation. 59 (2), pp. 187-204. https://doi.org/10.1108/00220410310463860Article
Information seeking in the context of writing: a design psychology interpretation of the ‘problematic situation’
Attfield, S., Blandford, A. and Dowell, J. 2003. Information seeking in the context of writing: a design psychology interpretation of the ‘problematic situation’. Journal of Documentation. 59 (4), pp. 430-453. https://doi.org/10.1108/00220410310485712Article
Task embedded visualisation: the design for an Interactive IR results display for journalists
Attfield, S., Blandford, A. and Craft, B. 2004. Task embedded visualisation: the design for an Interactive IR results display for journalists. in: Proceedings of eighth international conference on information visualisation, 2004 Los Alamitos, USA IEEE Computer Society. pp. 650-655Book chapter
Have digital resources taken a wrong turn on the health ‘information journey’?
Adams, A., Attfield, S. and Blandford, A. 2004. Have digital resources taken a wrong turn on the health ‘information journey’? in: Proceedings of the 2nd healthcare digital libraries workshop ECDL.Book chapter
Patient information needs: before and after doctor consultations
Attfield, S. and Adams, A. 2005. Patient information needs: before and after doctor consultations. in: Proceedings of the healthcare digital libraries workshop ECDL.Book chapter
Exploring the effects of introducing real-time simulation on collaborative urban design in augmented reality
Attfield, S., Mottram, C., Fatah gen. Schieck, A., Blandford, A. and Penn, A. 2005. Exploring the effects of introducing real-time simulation on collaborative urban design in augmented reality. in: Gero, J. and Bonnardel, L. (ed.) Studying designers '05 Sydney, Australia Key Centre of Design Computing and Cognition, University of Sydney. pp. 369-374Book chapter
Implementing digital resources for clinicians' and patients' varying needs
Adams, A., Blandford, A. and Attfield, S. 2005. Implementing digital resources for clinicians' and patients' varying needs. Informatics for Health and Social Care. 30 (2), pp. 107-122. https://doi.org/10.1080/14639230500298875Article
Interactive space generation through play: exploring the role of simulation on the design table
Fatah gen. Schieck, A., Penn, A., Mottram, C., Strothmann, A., Ohlenburg, J., Broll, W., Aish, F. and Attfield, S. 2005. Interactive space generation through play: exploring the role of simulation on the design table. International Journal of Architectural Computing. 3 (1), pp. 3-26. https://doi.org/10.1260/1478077053739612Article
Patient information needs: pre- and post-consultation
Attfield, S., Adams, A. and Blandford, A. 2006. Patient information needs: pre- and post-consultation. Health Informatics Journal. 12 (2), pp. 165-177. https://doi.org/10.1177/1460458206063811Article
Sensemaking in a large-scale corporate fraud investigation: some problems of communication
Attfield, S. and Blandford, A. 2007. Sensemaking in a large-scale corporate fraud investigation: some problems of communication. 24th Annual HCIL Symposium. Maryland, MD, USA 31 May - 01 Jun 2007Conference paper
Sensemaking in a large-scale corporate fraud investigation: the challenge of communication
Attfield, S. and Blandford, A. 2007. Sensemaking in a large-scale corporate fraud investigation: the challenge of communication. DESI Workshop. Palo Alto, CA, USA 04 Jun 2007Conference paper
Investigations within investigations: a recursive framework for scalable sensemaking support
Attfield, S., Blandford, A. and De Gabrielle, S. 2008. Investigations within investigations: a recursive framework for scalable sensemaking support. CHI 2008. Florence, Italy 05 - 10 Apr 2008Conference paper
E-disclosure viewed as ‘Sensemaking’ with computers: the challenge of ‘frames’
Attfield, S. and Blandford, A. 2008. E-disclosure viewed as ‘Sensemaking’ with computers: the challenge of ‘frames’. in: Digital evidence and electronic signature law review Bedfordshire, UK Pario Communicaitons Limited.Book chapter
151201
total views29805
total downloads8508
views this month599
downloads this month