Computer Science


TitleComputer Science
AlternativeS&T - CS
FacultyFaculty 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-448

Book 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/14626260903083637

Article

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.5346013

Conference 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-1086

Book 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.95

Conference 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.5306309

Conference 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_15

Conference 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-56

Book 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-354

Conference 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_55

Article

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.1529459

Conference 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.4927545

Conference 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-412

Book 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-54

Book 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-305

Book 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-9

Article

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-z

Article

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.0041

Article

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-165

Book 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-346

Book 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-368

Book 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-26

Book 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-403

Book 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-0

Article

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:1020528024624

Article

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:1025817312035

Article

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.f0

Article

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-229

Book 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-181

Book 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-568

Book 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.857198

Article

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-1344

Book 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 views
  • 30015
    total downloads
  • 9075
    views this month
  • 809
    downloads this month

People

Ademola, Adetunji

Agada, Stephen

Aiash, Mahdi

Alam, Amjad

Ali, Almaas Abdullahi

Ali, Almaas

Ali, Kamran

Alpan, Kezban

Alzazah, Faten

Androutsopoulos, Kelly

Aristodemou, Leonidas

Arusi, Ihab

Arusi, Usama

Attfield, Simon

Augusto, Juan Carlos

Baskent, Can

Batool, Faryal

Belavkin, Roman

Bornat, Richard

Bottone, Michele

Chadebecq, Francois

Cheng, Xiaochun

Chennareddy, Vijay Simha Reddy

Colson, Robert

Cui, Di

Currie, Edward

Dack, John

Dafoulas, George

Dalcher, Darren

Daryanani, Padma

De Raffaele, Clifford

Duncker-Gassen, Elke

Eissa, Ahmed

Evans, Carl

Fields, Bob

Gamez, David

Gao, Xiaohong

George, Carlisle

Georgiadou, Elli

Gkorogiannis, Kyriakos Nikolaos

Hall, Stephen

Ham, Dong-Han

Hara, Sukhvinder

Hashimyar, Mohammad

Heeney, Michael

Huyck, Chris

James-Reynolds, Carl

Ji, Yuehu

Jones, Simon

Joy, Geethu

Jusob, Farad

Kammueller, Florian

Kapetanakis, Stylianos

Kasekende, Usama

Khan, Nawaz

Khoshkholghi, Ali

Kiyani, Anum

Kotsia, Irene

Kruger, Antony

Langari, Bahareh

Lasebae, Aboubaker

Lewis-Smith, Andrew

Loveday, Joanna

Luo, Yuan Roger

Maia, Cristiano

Mapp, Glenford

Marc, Silviu

Martin, Barnaby

Mathusan, Mithila

Menendez Benito, Hector

Minocha, Shailey

Mistry, Kajal

Mistry, Kajal

Mitchell, Ian

Moedeen, Waseemah

Mohajer Ashjaei, Babak

Moseley, Ralph

Mpungu, Cephas

Nagarajan, Raja

Nalli, Giacomo

Neilson, David

Niazi, Noman

Nnawuchi, Uchenna

Oluwagbemi, Olugbenga

Opoku-Brobbey, Michael

Panagakis, Ioannis

Passmore, Peter

Philpot, Adam

Piras, Luca

Quattrone, Giovanni

Rahanu, Harjinder

Raheem, Rand

Rahman, Shahedur

Raimondi, Franco

Ramanna, Sailendra

Sharma, Mrinal

Smith, Serengul

Springett, Mark

Sule, Clifford

Tahmasebi Aria, Farzad

Tirunagari, Santosh

Tsiakara, Ariadni

Tsiakara, Ariadni

Whitney, Gill

Wieclaw, Anna

Windridge, David

Wong, Beng

Xu, Kai

Yetgin, Halil

Zammit, Omar

Zhang, Leishi

Zhang, Xiaojuan

Zhou, Suiping