Computer Science


TitleComputer Science
AlternativeS&T - CS
FacultyFaculty of Science and Technology

Latest research outputs

Sort by Date Title
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

Enabling People with Sensory Impairments to Participate Effectively in Research
Whitney, G. 2006. Enabling People with Sensory Impairments to Participate Effectively in Research. Universal Access in the Information Society. 5 (3), pp. 287-291. https://doi.org/10.1007/s10209-006-0052-x

Article

Estimating size in incremental software development projects.
Dalcher, D. and Benediktsson, O. 2005. Estimating size in incremental software development projects. IEE Proceedings - Software, Institution of Engineering and Technology. 152 (6), pp. 253-259. https://doi.org/10.1049/ip-sen:20050019

Article

Consilience for universal design: the emergence of a third culture
Dalcher, D. 2006. Consilience for universal design: the emergence of a third culture. Universal Access in the Information Society. 5 (3), pp. 253-268. https://doi.org/10.1007/s10209-006-0049-5

Article

Comparison of software development life cycles: a multiproject experiment.
Dalcher, D., Thorbergsson, H. and Benediktsson, O. 2004. Comparison of software development life cycles: a multiproject experiment. IEE Proceedings - Software, Institution of Engineering and Technology. 154 (3), pp. 87-101. https://doi.org/10.1049/ip-sen:20050061

Article

Variables as resource in Hoare logic.
Bornat, R., Calcagno, C. and Parkinson, M. 2006. Variables as resource in Hoare logic. in: 21st Annual IEEE Symposium on Logic in Computer Science (LICS 2006), Seattle, Washington. Proceedings. IEEE Computer Society. pp. 137-146

Book chapter

Evaluating functional displays for hydropower system: model-based guidance of scenario design.
Li, X., Sanderson, P., Memisevic, R., Wong, B. and Choudhury, S. 2006. Evaluating functional displays for hydropower system: model-based guidance of scenario design. Cognition, Technology and Work. 8 (4), pp. 269-282. https://doi.org/10.1007/s10111-006-0044-x

Article

Counting with neurons: rule application with nets of fatiguing leaking integrate and fire neurons.
Huyck, C. and Belavkin, R. 2006. Counting with neurons: rule application with nets of fatiguing leaking integrate and fire neurons. 7th International Conference on Cognitive Modelling. Trieste, Italy pp. 142-147

Conference paper

The use of entropy for analysis and control of cognitive models
Belavkin, R. and Ritter, F. 2003. The use of entropy for analysis and control of cognitive models. The Fifth International Conference on Cognitive Modelling. Bamberg, Germany 2003 pp. 21-26

Conference paper

Conflict resolution by random estimated costs
Belavkin, R. 2003. Conflict resolution by random estimated costs. 17th European Simulation Multiconference. Nottingham UK pp. 105-110

Conference paper

On relation between emotion and entropy
Belavkin, R. 2004. On relation between emotion and entropy. AISB'04 Symposium on Emotion, Cognition and Affective Computing. Leeds UK pp. 1-8

Conference paper

OPTIMIST: A new conflict resolution algorithm for ACT-R.
Belavkin, R. and Ritter, F. 2004. OPTIMIST: A new conflict resolution algorithm for ACT-R. Sixth International Conference on Cognitive Modelling. Mahwah, NJ pp. 40-45

Conference paper

Entropy and information in models of learning behaviour
Belavkin, R. 2005. Entropy and information in models of learning behaviour. AISB Quarterly. 119, pp. 5-5.

Article

Towards a theory of decision-making with paradoxes.
Belavkin, R. 2006. Towards a theory of decision-making with paradoxes. Proceedings of the Seventh International Conference on Cognitive Modelling. Trieste, Italy 2006 pp. 38-43

Conference paper

A comparative study on the analysis of students interactions in e-learning
Hijon-Neira, R., Velazquez-Iturbide, J., Barn, B. and Oussena, S. 2008. A comparative study on the analysis of students interactions in e-learning. 8th IEEE International Conference on Advanced Learning Technologies, ICALT 2008. Santander, Spain 01 - 05 Jul 2008 IEEE. pp. 20-22 https://doi.org/10.1109/ICALT.2008.282

Conference paper

A fast approach to segmentation of PET brain images for extraction of features
Gao, X. and Clark, J. 2008. A fast approach to segmentation of PET brain images for extraction of features. Gao, X., Loomes, M., Comley, R., Muller, H. and Luo, S. (ed.) International Conference on Medical Imaging and Informatics (MIMI 2007). Beijing, China 14 - 16 Aug 2007 Berlin, Heidelberg Springer. https://doi.org/10.1007/978-3-540-79490-5_25

Conference paper

Prototype system for semantic retrieval of neurological PET images
Batty, S., Clark, J., Fryer, T. and Gao, X. 2008. Prototype system for semantic retrieval of neurological PET images. Gao, X., Muller, H., Loomes, M., Comley, R. and Luo, S. (ed.) International Conference on Medical Imaging and Informatics (MIMI 2007). Beijing, China 14 - 16 Aug 2007 Berlin, Heidelberg Springer. https://doi.org/10.1007/978-3-540-79490-5_23

Conference paper

Epistemic constraints on autonomous symbolic representation in natural and artificial agents
Windridge, D. and Kittler, J. 2008. Epistemic constraints on autonomous symbolic representation in natural and artificial agents. in: Smolinski, T.G., Milanova, M.G. and Hassanien, A.-E. (ed.) Applications of Computational Intelligence in Biology: Current Trends and Open Problems Springer. pp. 395-422

Book chapter

An entropy-based approach to the hierarchical acquisition of perception-action capabilities
Windridge, D., Shevchenko, M. and Kittler, J. 2008. An entropy-based approach to the hierarchical acquisition of perception-action capabilities. 4th International Workshop on Cognitive Vision. Santorini, Greece 12 May 2008 Springer. https://doi.org/10.1007/978-3-540-92781-5_7

Conference paper

A new framework for characterizing and categorizing usability problems
Ham, Dong-Han 2008. A new framework for characterizing and categorizing usability problems. Yoo, S.D. (ed.) EU-Korea Conference on Science and Technology, EKC2008. Heidelberg, Germany 28 - 31 Aug 2008 Springer. pp. 345-353 https://doi.org/10.1007/978-3-540-85190-5_36

Conference paper

A portable wireless-based architecture for solving minimum digital divide problems
Fenu, G. and Piras, L. 2008. A portable wireless-based architecture for solving minimum digital divide problems. 4th International Conference on Wireless and Mobile Communications. Athens, Greece 27 Jul - 01 Aug 2008 IEEE. pp. 130-136 https://doi.org/10.1109/icwmc.2008.21

Conference paper

A motion correction system for brain tomography based on biologically motivated models
Anishenko, S., Osinov, V., Shaposhnikov, D., Podladchikova, L., Comley, R., Sukholentsev, K. and Gao, X. 2008. A motion correction system for brain tomography based on biologically motivated models. 7th IEEE International Conference on Cybernetic Intelligent Systems. London, UK 09 - 10 Sep 2008 IEEE. pp. 26-30 https://doi.org/10.1109/UKRICIS.2008.4798949

Conference paper

Comparison of ACB transporter genes of Plasmodium species: a search in elucidating new discoveries toward malaria parasite
Oluwagbemi, O., Clarence, Y. and Ezekiel, A. 2008. Comparison of ACB transporter genes of Plasmodium species: a search in elucidating new discoveries toward malaria parasite. European Molecular Biology Network (EMBnet) Conference 2008: 20th Anniversary Celebration. Leading Applications and Technologies in Bioinformatics. Martina, Franca, Italy 18 - 20 Sep 2008

Conference poster

Modeling the malaria parasite-mosquito midgut cell interactions
Adebiyi, E., Oluwagbemi, O. and Doumbia, S. 2008. Modeling the malaria parasite-mosquito midgut cell interactions. 6th Annual Rocky Mountain Bioinformatics Conference. Aspen/Snowmass, Colorado, United States 04 - 07 Dec 2008 International Society for Computational Biology.

Conference item

Predicting fraud in mobile phone usage using artificial neural networks
Oluwagbemi, O. 2008. Predicting fraud in mobile phone usage using artificial neural networks. Journal of Applied Sciences Research. 4 (6), pp. 707-715.

Article

A grid based framework for pervasive healthcare using wireless sensors networks: a case for developing nations
Daramola, J., Osamor, V. and Oluwagbemi, O. 2008. A grid based framework for pervasive healthcare using wireless sensors networks: a case for developing nations. Asian Journal of Information Technology. 7 (6), pp. 260-267.

Article

PQ trees, consecutive ones problem and applications
Oluwagbemi, O., Adebiyi, E., Fatumo, S. and Dawodu, A. 2008. PQ trees, consecutive ones problem and applications. International Journal of Natural and Applied Sciences . 4 (3), pp. 262-277. https://doi.org/10.4314/ijonas.v4i3.49860

Article

Evaluating the relationship between a generic-based filtering program and DNA sequences
Oluwagbemi, O. and Omonhinmi, C. 2008. Evaluating the relationship between a generic-based filtering program and DNA sequences. Pacific Journal of Science and Technology. 9 (2), pp. 647-657.

Article

Implementing semantic merging operators using binary decision diagrams
Gorogiannis, N. and Hunter, A. 2008. Implementing semantic merging operators using binary decision diagrams. International Journal of Approximate Reasoning: Uncertainty in Intelligent Systems. 49 (1), pp. 234-251. https://doi.org/10.1016/j.ijar.2008.03.008

Article

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

Book chapter

Experimental study on the effects of visualized functionally abstracted information on process control tasks
Ham, D., Yoon, W. and Han, B. 2008. Experimental study on the effects of visualized functionally abstracted information on process control tasks. Reliability Engineering and System Safety. 93 (2), pp. 254-270. https://doi.org/10.1016/j.ress.2006.12.003

Article

Evaluation of human interaction with complex systems using a full-scope simulator: lessons learned and methodological issues
Ham, D., Park, J. and Jung, W. 2008. Evaluation of human interaction with complex systems using a full-scope simulator: lessons learned and methodological issues. International Journal of Human-Computer Interaction. 24 (4), pp. 361-384. https://doi.org/10.1080/10447310801971212

Article

Cyclic proofs of program termination in separation logic
Brotherston, J., Bornat, R. and Calcagno, C. 2008. Cyclic proofs of program termination in separation logic. ACM SIGPLAN Notices. 43 (1), pp. 101-112. https://doi.org/10.1145/1328897.1328453

Article

Considering something ELSE: ethical, legal and socio-economic factors in medical imaging and medical informatics
Duquenoy, P., George, C. and Solomonides, A. 2008. Considering something ELSE: ethical, legal and socio-economic factors in medical imaging and medical informatics. Computer Methods and Programs in Biomedicine. 92 (3), pp. 227-237. https://doi.org/10.1016/j.cmpb.2008.06.001

Article

Texture and shape information fusion for facial expression and facial action unit recognition
Kotsia, I., Zafeiriou, S. and Pitas, I. 2008. Texture and shape information fusion for facial expression and facial action unit recognition. Pattern Recognition. 41 (3), pp. 833-851. https://doi.org/10.1016/j.patcog.2007.06.026

Article

Formative assessment and the role of feedback
Dafoulas, G. 2008. Formative assessment and the role of feedback. Middlesex University Annual Learning and Teaching Conference 2008: Reshaping Education. London, UK 2008

Conference paper

The roles of time, place, value and relationships in collocated photo sharing with camera phones
Stelmaszewska, H., Fields, B. and Blandford, A. 2008. The roles of time, place, value and relationships in collocated photo sharing with camera phones. England, D. and Beale, R. (ed.) The 22nd British HCI Group Annual Conference on People and Computers: Culture, Creativity, Interaction. Liverpool, UK 01 - 05 Sep 2008 Swindon, UK British Computer Society (BCS).

Conference paper

Colour vision model-based approach for segmentation of traffic signs
Gao, X., Hong, K., Passmore, P., Podladchikova, L. and Shaposhnikov, D. 2008. Colour vision model-based approach for segmentation of traffic signs. EURASIP Journal on Image and Video Processing. 2008. https://doi.org/10.1155/2008/386705

Article

The secret santa problem.
Liberti, L. and Raimondi, F. 2008. The secret santa problem. Lecture Notes in Computer Science. 5034, pp. 271-279. https://doi.org/10.1007/978-3-540-68880-8_26

Article

Efficient online monitoring of web-service SLAs
Raimondi, F., Skene, J. and Emmerich, W. 2008. Efficient online monitoring of web-service SLAs. in: Harrold, J. and Murphy, G. (ed.) Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering Association for Computing Machinery (ACM). pp. 170-180

Book chapter

  • 444310
    total views
  • 90071
    total downloads
  • 12314
    views this month
  • 2928
    downloads this month