Computer Science
| Title | Computer Science |
|---|---|
| Alternative | S&T - CS |
| Faculty | Faculty of Science and Technology |
Latest research outputs
Sort by Date Title
Successful strategies of older people for finding information
Whitney, G., Wilson, J. and Curzon, P. 2005. Successful strategies of older people for finding information. Interacting with Computers. 17 (6), pp. 660-671. https://doi.org/10.1016/j.intcom.2005.09.006Article
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-xArticle
COCOMO-based effort estimation for iterative and incremental software development.
Woodman, M., Dalcher, D., Reed, K. and Benediktsson, O. 2003. COCOMO-based effort estimation for iterative and incremental software development. Software Quality Journal. 11 (4), pp. 265-281. https://doi.org/10.1023/A:1025809010217Article
Classification of images on the basis of the properties of informative regions.
Gao, X., Shaposhnikov, D. and Podladchikova, L. 2003. Classification of images on the basis of the properties of informative regions. Pattern Recognition and Image Analysis. 13 (2), pp. 349-352.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:20050019Article
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-5Article
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:20050061Article
Formal verification of the merchant registration phase of the SET protocol.
Cheng, X. and Ma, X. 2005. Formal verification of the merchant registration phase of the SET protocol. International Journal of Automation and Computing. 2 (2), pp. 155-162. https://doi.org/10.1007/s11633-005-0155-5Article
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-146Book chapter
Variables as resources in separation logic.
Bornat, R., Calcagno, C. and Yang, H. 2006. Variables as resources in separation logic. 21st Annual Conference on Mathematical Foundations of Programming Semantics (MFPS XXI), Birmingham, UK. Proceedings in Electronic Notes in Theoretical Computer Science. Elsevier B.V.. 155, pp. 247-276. https://doi.org/10.1016/j.entcs.2005.11.059Article
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-xArticle
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-147Conference 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-26Conference paper
Conflict resolution by random estimated costs
Belavkin, R. 2003. Conflict resolution by random estimated costs. 17th European Simulation Multiconference. Nottingham UK pp. 105-110Conference 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-8Conference 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-45Conference 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-43Conference 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_25Conference 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_23Conference 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.21Conference 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 2008Conference 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.49860Article
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
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.003Article
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/10447310801971212Article
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.1328453Article
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.001Article
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 2008Conference 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.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/386705Article
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-180Book chapter
The duality of utility and information in optimally learning systems
Belavkin, R. 2008. The duality of utility and information in optimally learning systems. 7th IEEE International Conference on Cybernetic Intelligent Systems. London, UK 09 - 10 Sep 2008 London IEEE. https://doi.org/10.1109/UKRICIS.2008.4798960Conference paper
Framework and model of usability factors of mobile phones
Ham, D., Heo, J., Fossick, P., Wong, B., Park, S., Song, C. and Bradley, M.D. 2008. Framework and model of usability factors of mobile phones. in: Lumsden, J. (ed.) Handbook of research on user interface design and evaluation for mobile technology. Hershey, PA. Information Science Reference. pp. 877-896Book chapter
Ethical, legal and professional issues in computing
Duquenoy, P., Jones, S. and Blundell, B. 2008. Ethical, legal and professional issues in computing. London Cengage Learning EMEA (formerly Thomson Learning).Authored Book
What ELSE? Regulation and compliance in medical imaging and medical informatics
Duquenoy, P., George, C. and Solomonides, A. 2008. What ELSE? Regulation and compliance in medical imaging and medical informatics. Gao, X., Müller, 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 Springer. pp. 340-357 https://doi.org/10.1007/978-3-540-79490-5_41Conference paper
Toward a robust system to monitor the head motions during PET based on facial landmarks detection: a new approach
Anishenko, S., Osimov, V., Shaposhnikov, D., Podladchikova, L., Comley, R. and Gao, X. 2008. Toward a robust system to monitor the head motions during PET based on facial landmarks detection: a new approach. Puuronen, S., Pechenizkiy, M., Tsymbal, A. and Lee, D. (ed.) 21st IEEE International Symposium on Computer-Based Medical Systems. Jyvaskyla, Finland 17 - 19 Jun 2008 IEEE Computer Society. pp. 50-52 https://doi.org/10.1109/CBMS.2008.19Conference paper
151869
total views30061
total downloads9176
views this month855
downloads this month