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. pp. 27-42 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
Domain-specific reasoning for method engineering based on Toulmin's argumentation theory
Bittman, S., Barn, B. and Clark, T. 2014. Domain-specific reasoning for method engineering based on Toulmin's argumentation theory. International Journal of Knowledge and Learning (IJKL),. 9 (1/2), pp. 104-123. https://doi.org/10.1504/IJKL.2014.067173Article
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
Next generation enterprise modelling: the role of organizational theory and multi-agent systems
Barn, B., Clark, T. and Kulkarni, V. 2014. Next generation enterprise modelling: the role of organizational theory and multi-agent systems. 9th International Conference on Software Engineering and Applications. Vienna, Austria 29 - 31 Aug 2014 SCITEPRESS - Science and Technology Publications. pp. 482-487 https://doi.org/10.5220/0005097404820487Conference paper
Outsourcing service provision through step-wise transformation
Clark, T. and Barn, B. 2014. Outsourcing service provision through step-wise transformation. 7th India Software Engineering Conference. Chennai, India 19 - 21 Feb 2014 Association for Computing Machinery (ACM). https://doi.org/10.1145/2590748.2590756Conference 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
An efficient cooperative spectrum sensing under bandwidth constraint with user selection
Vien, Q., Nguyen, H., Gemikonakli, O. and Barn, B. 2014. An efficient cooperative spectrum sensing under bandwidth constraint with user selection. 2014 IEEE 80th Vehicular Technology Conference (VTC2014-Fall). Vancouver, BC, Canada 14 - 17 Sep 2014 IEEE. pp. 1-5 https://doi.org/10.1109/VTCFall.2014.6965868Conference paper
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 (BCS). pp. 17-26Book chapter
Dynamic reconfiguration of event driven architecture using reflection and higher-order functions
Clark, T. and Barn, B. 2013. Dynamic reconfiguration of event driven architecture using reflection and higher-order functions. International Journal of Software and Informatics. 7 (2), pp. 137-168.Article
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
Instantiating abstract argumentation with classical logic arguments: postulates and properties
Gorogiannis, N. and Hunter, A. 2011. Instantiating abstract argumentation with classical logic arguments: postulates and properties. Artificial Intelligence. 175 (9-10), pp. 1479-1497. https://doi.org/10.1016/j.artint.2010.12.003Article
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
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
440219
total views89888
total downloads8223
views this month2745
downloads this month