Computer Science
Title | Computer Science |
---|---|
Alternative | S&T - CS |
Faculty | Faculty of Science and Technology |
Latest research outputs
Sort by Date Title
A new approach to estimation of non-isotropic scale factors for correction of MR distortion
Gao, X., Hui, R., White, A.S. and Tian, Z. 2009. A new approach to estimation of non-isotropic scale factors for correction of MR distortion. International Journal of Computer Assisted Radiology and Surgery. 4 (s1), pp. s349-s350.Article
Resource discovery using mobile agents
Singh, M., Cheng, X. and He, X. 2009. Resource discovery using mobile agents. in: Tao, D., Xu, D. and Li, X. (ed.) Semantic Mining Technologies for Multimedia Databases. New York, USA Information Science Reference. pp. 419-448Book chapter
Evaluating cause and effect in user experience digital creativity
Springett, M. 2009. Evaluating cause and effect in user experience digital creativity. Digital Creativity. 20 (3), pp. 197-204. https://doi.org/10.1080/14626260903083637Article
New e-Learning system architecture based on knowledge engineering technology
Li, Y., Chen, Z., Huang, R. and Cheng, X. 2009. New e-Learning system architecture based on knowledge engineering technology. 2009 IEEE International Conference on Systems, Man and Cybernetics. San Antonio, TX, USA 11 - 14 Oct 2009 IEEE. pp. 5140-5144 https://doi.org/10.1109/ICSMC.2009.5346013Conference paper
Ubiquitous e-learning System for dynamic mini-courseware assembling and delivering to mobile terminals
Li, Y., Guo, H., Gao, G., Huang, R. and Cheng, X. 2009. Ubiquitous e-learning System for dynamic mini-courseware assembling and delivering to mobile terminals. in: Kim, J., Delen, D., Jinsoo, P., Ko, F., Rui, C., Hyung, J., Lee, W. and Kou, G. (ed.) NCM 2009: Fifth International Joint Conference on INC, IMS, and IDC; [proceedings]. IEEE. pp. 1081-1086Book chapter
Exploring efficient imperative handover mechanisms for heterogeneous wireless networks
Mapp, G., Shaikh, F., Aiash, M., Vanni, R., Augusto, M. and Moreira, E. 2009. Exploring efficient imperative handover mechanisms for heterogeneous wireless networks. Duresi, A., Barolli, L., Enokido, T., Uehara, M., Shakshuki, E. and Takizawa, M. (ed.) 12th International Conference on Network-Based Information Systems. Indianapolis, Indiana 19 - 21 Aug 2009 IEEE. pp. 286-291 https://doi.org/10.1109/NBiS.2009.95Conference paper
A theoretical and empirical study of EFSM dependence
Androutsopoulos, K., Gold, N., Harman, M., Li, Z. and Tratt, L. 2009. A theoretical and empirical study of EFSM dependence. ICSM 2009: International Conference on Software Maintenance. Edmonton, AB, Canada 20 - 26 Sep 2009 IEEE. pp. 287-296 https://doi.org/10.1109/ICSM.2009.5306309Conference paper
Control dependence for extended finite state machines
Androutsopoulos, K., Clark, D., Harman, M., Li, Z. and Tratt, L. 2009. Control dependence for extended finite state machines. Chechik, M. and Wirsing, M. (ed.) Fundamental Approaches to Software Engineering (FASE '09): 12th International Conference. York, UK. 03 - 22 Mar 2009 Springer. pp. 216-230 https://doi.org/10.1007/978-3-642-00593-0_15Conference paper
A formal analysis of requirements-based testing
Pecheur, C., Raimondi, F. and Brat, G. 2009. A formal analysis of requirements-based testing. in: Rothermel, G. and Dillon, L. (ed.) Proceedings of the Eighteenth International Symposium on Software Testing and Analysis Association for Computing Machinery (ACM). pp. 47-56Book chapter
Identifying information seeking behaviours of low andhigh literacy users: combined cognitive task analysis.
Kodagoda, N., Wong, B. and Khan, N. 2009. Identifying information seeking behaviours of low andhigh literacy users: combined cognitive task analysis. British Computer Society. pp. 347-354Conference paper
MCMAS: a model checker for the verification of multi-agent systems
Lomuscio, A., Qu, H. and Raimondi, F. 2009. MCMAS: a model checker for the verification of multi-agent systems. Lecture Notes in Computer Science. 5643, pp. 682-688. https://doi.org/10.1007/978-3-642-02658-4_55Article
Task based visualization of 5D brain EIT data
Zhang, Y., Passmore, P. and Bayford, R. 2009. Task based visualization of 5D brain EIT data. SAC09: The 2009 ACM Symposium on Applied Computing. Honolulu Hawaii, USA 08 - 12 Mar 2009 New York Association for Computing Machinery (ACM). pp. 831-835 https://doi.org/10.1145/1529282.1529459Conference paper
Bounds of optimal learning
Belavkin, R. 2009. Bounds of optimal learning. 2009 IEEE International Symposium on Adaptive Dynamic Programming and Reinforcement Learning. Nashville, TN, USA 30 Mar - 02 Apr 2009 IEEE. pp. 199-204 https://doi.org/10.1109/ADPRL.2009.4927545Conference paper
Webern's Op.21 and the unity of musical space.
Dack, J. 2002. Webern's Op.21 and the unity of musical space. in: Systems Research in the Arts. IIASSRC Conference.Book chapter
"Open" forms and the computer.
Dack, J. 2004. "Open" forms and the computer. in: Barbanti, R. (ed.) Musiques, arts, technologie. Pour une Approche Critique. Collection: 'Musique-philosophie' Paris Harmattan. pp. 401-412Book chapter
Technology and the instrument
Dack, J. 2002. Technology and the instrument. in: Grün, L. and Wiegand, F. (ed.) Musik netz werke - Konturen der neuen Musikkultur Germany Taschenbuch. pp. 39-54Book chapter
Instrument und Pseudoinstrument - Akusmatische Konzepte
Dack, J. 2002. Instrument und Pseudoinstrument - Akusmatische Konzepte. in: Ungeheuer, E. and Bottenberg, E. (ed.) Elektroakustische Musik Laaber-Verlag.Book chapter
An approach to develop human gene disorder database for intelligent variance analysis of genes and its products.
Rahman, S., Khan, N. and Clarkson, T. 2001. An approach to develop human gene disorder database for intelligent variance analysis of genes and its products. in: 12th International workshop on Database and Expert Systems, Munich, Germany. Proceedings. Washington DC, USA IEEE Computer Society Press. pp. 301-305Book chapter
Integration of biological data resources using image object keying.
Rahman, S., Stockman, A. and Khan, N. 2003. Integration of biological data resources using image object keying. in: 16th IEEE Symposium on Computer-based Medical Systems (CBMS'03), New York. Proceedings. . Washington DC, USA IEEE Computer Society Press.Book chapter
A new approach to detect similar proteins from 2D Gel Electrophoresis Images.
Rahman, S. and Khan, N. 2003. A new approach to detect similar proteins from 2D Gel Electrophoresis Images. in: 3rd International Symposium on Bioinformatics and Bioengineering, Washington DC. Proceedings. Washington DC, USA IEEE Computer Society Press.Book chapter
The effects of presenting functionally abstracted information in fault diagnosis tasks
Ham, D. and Yoon, W. 2001. The effects of presenting functionally abstracted information in fault diagnosis tasks. Reliability Engineering and System Safety, Elsevier Science. 73 (2), pp. 103-119. https://doi.org/10.1016/S0951-8320(01)00053-9Article
Design of information content and layout for process control based on goal-means domain analysis
Ham, D. and Yoon, W. 2001. Design of information content and layout for process control based on goal-means domain analysis. Cognition, Technology and Work. 3 (4), pp. 205-223. https://doi.org/10.1007/s10111-001-8003-zArticle
MaRMI-III: a methodology for component-based development
Ham, D., Cho, J., Kim, J. and Ha, S. 2004. MaRMI-III: a methodology for component-based development. Electronics and Telecommunications Research Institute (ETRI) Journal. 26 (2), pp. 167-180. https://doi.org/10.4218/etrij.04.0103.0041Article
Fit for purpose evaluation: the case of a public information kiosk for the socially disadvantaged.
Wong, B., Springett, M. and Keith, S. 2005. Fit for purpose evaluation: the case of a public information kiosk for the socially disadvantaged. in: People and Computers XIX - The Bigger Picture: Proceedings of HCI 2005 (BCS Conference) Springer Verlag. pp. 149-165Book chapter
Critical Decision Method data analysis
Wong, B. 2003. Critical Decision Method data analysis. in: Diaper, D. and Stanton, N. (ed.) The handbook of task analysis for human-computer interaction Lawrence Erlbaum Associates.. pp. 327-346Book chapter
A cooperative environment for genetic variance analysis using component database for database integration.
Khan, N., Stockman, A. and Rahman, S. 2002. A cooperative environment for genetic variance analysis using component database for database integration. in: 15th IEEE Symposium on Computer-Based Medical Systems (CBMS 2002), Slovenia. IEEE Computer Society Press. pp. 365-368Book chapter
A framework for molecular biology databases integration using context graph keying.
Khan, N., Stockman, A. and Rahman, S. 2004. A framework for molecular biology databases integration using context graph keying. in: 17th IEEE COmputer Based Medical System Conference (CBMS 2004), Bethesda, Maryland, USA. Proceedings. IEEE Computer Society Press. pp. 21-26Book chapter
Prediction of Type II MODY3 diabetes using backpercolation.
Khan, N., Chukwuemeka, I. and Rahman, S. 2005. Prediction of Type II MODY3 diabetes using backpercolation. in: 18th IEEE Cmputer Based Medical System Conference, Dublin. Proceedings London IEEE Computer Society Press. pp. 401-403Book chapter
Gene expression analysis of leukemia samples using visual interpretation of small ensembles: a case study.
Khan, N., Stiglic, G., Verlic, M. and Kokol, P. 2007. Gene expression analysis of leukemia samples using visual interpretation of small ensembles: a case study. in: 2nd International Conference in Pattern Recognition in Bioinformatics, Singapore. Lecture Notes in Computer Science Heidelberg Springer Berlin.Book chapter
Towards formalised guidelines for migrating structured designs to UML: a case study.
Georgiadou, E., Berki, E., Ross, M. and Cordero, M. 2005. Towards formalised guidelines for migrating structured designs to UML: a case study. Software Quality Journal. 13 (1), pp. 31-69. https://doi.org/10.1007/s11219-004-5260-0Article
Empirical measurement of the effects of cultural diversity on software quality management.
Georgiadou, E. and Siakas, K. 2002. Empirical measurement of the effects of cultural diversity on software quality management. Software Quality Journal. 10 (2), pp. 169-180. https://doi.org/10.1023/A:1020528024624Article
GEQUAMO—a generic, multilayered, customisable, software quality model
Georgiadou, E. 2003. GEQUAMO—a generic, multilayered, customisable, software quality model. Software Quality Journal. 11 (4), pp. 313-323. https://doi.org/10.1023/A:1025817312035Article
Requirements engineering and process modelling in software quality management: towards a generic process metamodel
Berki, E., Georgiadou, E. and Holcombe, M. 2004. Requirements engineering and process modelling in software quality management: towards a generic process metamodel. Software Quality Journal. 12 (3), pp. 265-283. https://doi.org/10.1023/B:SQJO.0000034711.87241.f0Article
Selection enthusiasm.
Mitchell, I. and Agrawal, A. 2006. Selection enthusiasm. in: 6th International Conference on Simulated Evolutionand Learning, Hefei, China. Proceedings. Heidelberg Springer Verlag.Book chapter
Dynamics in proportionate selection.
Mitchell, I., Agrawal, A., Litovski, I. and Passmore, P. 2005. Dynamics in proportionate selection. in: International Conference on Adaptive and Natural Computnig Alogorithms, Coimbra, Portugal. Proceedings. Vienna. Springer. pp. 226-229Book chapter
A practical approach for 4G systems: deployment of overlay networks.
Mapp, G., Stajano, F., Crowcroft, J. and Vidales, P. 2005. A practical approach for 4G systems: deployment of overlay networks. in: First International Conference on Testbeds and Research Infrastructures for the DEvelopment of NeTworks and COMmunities, Tridentcom 2005, Trento, Italy. IEEE Computer Society Press. pp. 172-181Book chapter
A client-based handoff mechanism for mobile IPv6 wireless networks.
Mapp, G. and Pantanapongpibul, L. 2003. A client-based handoff mechanism for mobile IPv6 wireless networks. in: 8th IEEE Symposium on Computers and Communications (ISCC), Antalya, Turkey. Proceedings IEEE Computer Society Press. pp. 563-568Book chapter
Autonomic system for mobility support in 4G networks
Mapp, G., Baliosian, J., Serrat, J. and Vidales, P. 2005. Autonomic system for mobility support in 4G networks. IEEE Journal on Selected Areas in Communications. 23 (12), pp. 2288-2304. https://doi.org/10.1109/JSAC.2005.857198Article
The use of design for all to support elderly blind and partially sighted users to retain their independence.
Whitney, G. 2003. The use of design for all to support elderly blind and partially sighted users to retain their independence. in: Stephanidis, C. (ed.) 10th International Conference on Human - Computer Interaction, Crete. Published in Universal Access in HCI: Inclusive Design in the Information Society Lawrence Erlbaum Associates.. pp. 1340-1344Book chapter
Strategies for finding government information by older people
Curzon, P., Wilson, J., Keith, S. and Whitney, G. 2004. Strategies for finding government information by older people. in: User-Centered Interaction Paradigms for Universal Access in the Information Society: 8th ERCIM Workshop on User Interfaces for All , Vienna, Austria, June 28-29, 2004, Revised Selected Papers Heidelberg. Springer Berlin.Book chapter
151768
total views30015
total downloads9075
views this month809
downloads this month