Items where Research Area is "A. > School of Science and Technology > Computer Science > Artificial Intelligence group"

See full list of headings
Export as [feed] RSS 1.0
Jump to: 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000
Number of items at this level: 321.

2016

Belavkin, Roman V. and Channon, Alastair and Aston, Elizabeth and Aston, John and Krašovec, Rok and Knight, Christopher G. (2016) Monotonicity of fitness landscapes and mutation rate control. Journal of Mathematical Biology, 73 (6). pp. 1491-1524. ISSN 0303-6812

Evans, Carl and Mitchell, Ian and Huyck, Christian R. (2016) Programming with simulated neurons: a first design pattern. In: PPIG 2016 - 27th Annual Workshop of the Psychology of Programming Interest Group, 07-10 Sept 2016, University of Cambridge, Cambridge, UK.

Gao, Xiaohong W. and Barn, Balbir and Hui, Rui and Li, Wei (2016) An improved path planning system for image-guided neurosurgery. In: IEEE 2016 8th International Conference on Information Technology in Medicine and Education (ITME), 23-25 Dec 2016, Fuzhou, China. (Accepted/In press)

Hernandez Mengesha, Leo and James-Reynolds, Carl (2016) Interactive evolutionary generative art. In: AI-2016 Thirty-sixth SGAI International Conference on Artificial Intelligence, 13-15 Dec 2016, Cambridge, UK.

James-Reynolds, Carl and Currie, Ed (2016) EEuGene: employing electroencephalograph signals in the rating strategy of a hardware-based interactive genetic algorithm. In: AI-2016 Thirty-sixth SGAI International Conference on Artificial Intelligence, 13-15 Dec 2016, Cambridge, UK.

Mitchell, Ian and Huyck, Christian R. and Evans, Carl (2016) PlaNeural: spiking neural networks that plan. In: 7th Annual International Conference on Biologically Inspired Cognitive Architectures, BICA 2016, New York City, NY, USA, 16-July 2016.

2015

Barn, Balbir and Barn, Ravinder and Raimondi, Franco (2015) On the role of value sensitive concerns in software engineering practice. In: 37th International Conference on Software Engineering, ICSE Companion, 22-24 May 2015, Florence, Italy. (Accepted/In press)

Belavkin, Roman V. (2015) Asymmetric topologies on statistical manifolds. In: GSI 2015: 2nd International Conference on Geometric Science of Information, 28-30 Oct 2015, Palaiseau, France.

Huyck, Christian R. (2015) Neural constraints and flexibility in language processing. Behavioral and Brain Sciences . ISSN 0140-525X (Accepted/In press)

Huyck, Christian R. and Augusto, Juan Carlos and Gao, Xiaohong W. and Botia, Juan A. (2015) Advancing ambient assisted living with caution. In: Communications in Computer and Information Science. Communications in Computer and Information Science, 578 . Springer. (Accepted/In press)

Huyck, Christian R. and Evans, Carl and Mitchell, Ian (2015) A comparison of simple agents implemented in simulated neurons. Biologically Inspired Cognitive Architectures, 12 . pp. 9-19. ISSN 2212-683X (Accepted/In press)

James-Reynolds, Carl and Currie, Ed (2015) Eugene: a generic interactive genetic algorithm controller. In: AI-2015: Thirty-fifth SGAI International Conference on Artificial Intelligence, 15-17 Dec 2015, Cambridge, UK. (Accepted/In press)

Yuan, Liming and Liu, Jiafeng and Tang, Xianglong and Shi, Daming and Zhao, Lu (2015) Pairwise-similarity-based instance reduction for efficient instance selection in multiple-instance learning. International Journal of Machine Learning and Cybernetics, 6 (1). pp. 83-93. ISSN 1868-8071

2014

Androutsopoulos, Kelly and Gorogiannis, Nikos and Loomes, Martin J. and Margolis, M. and Primiero, Giuseppe and Raimondi, Franco and Varsani, Puji and Weldin, N. and Zivanovic, Aleksandar (2014) A racket-based robot to teach first-year computer science. In: 7 th European Lisp Symposium, May 5 – 6 2014, IRCAM, Paris, France.

Belavkin, Roman V. (2014) On variational definition of quantum entropy. In: 34th International Workshop on Bayesian Inference and Maximum Entropy Methods in Science and Engineering (MaxEnt 2014), 21–26 Sep 2014, Clos Lucé, Amboise, France.

Belavkin, Roman V. (2014) Asymmetry of risk and value of information. In: Dynamics of Information Systems : Computational and Mathematical Challenges. Vogiatzis, Chrysafis and Walteros, Jose L. and Pardalos, Panos M., eds. Springer Proceedings in Mathematics and Statistics, 105 . Springer, pp. 1-20. ISBN 9783319100456

Boender, Jaap and Fernandes, Sara (2014) Small world characteristics of FLOSS distributions. In: Software Engineering and Formal Methods : SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers. Counsell, Steve and Núñez, Manuel, eds. Lecture Notes in Computer Science . Springer International Publishing, pp. 417-429. ISBN 9783319050317

Boender, Jaap and Sacerdoti Coen, Claudio (2014) On the correctness of a branch displacement algorithm. In: Tools and Algorithms for the Construction and Analysis of Systems : 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings. Ábrahám, Erika and Havelund, Klaus, eds. Lecture Notes in Computer Science (8413). Springer, pp. 605-619. ISBN 9783642548611

Doumanis, Ioannis and Smith, Serengul (2014) Evaluating the impact of embodied conversational agents (ECAs) attentional behaviors on user retention of cultural content in a simulated mobile environment. In: 16th ACM International Conference on Multimodal Interaction, 12-16 Nov 2014, Istanbul, Turkey. (Accepted/In press)

Gamez, David (2014) Are information or data patterns correlated with consciousness? Topoi . ISSN 0167-7411 (Accepted/In press)

Gamez, David (2014) Can we prove that there are computational correlates of consciousness in the brain? Journal of Cognitive Science, 15 (2). pp. 149-186.

Gamez, David (2014) Conscious sensation, conscious perception and sensorimotor theories of consciousness. In: Contemporary Sensorimotor Theory. Springer, Heidelberg, New York, Dordrecht, London, pp. 159-174.

Gamez, David (2014) The informational mind and the information integration theory of consciousness. International Journal of Machine Consciousness, 6 (1). pp. 21-28. ISSN 1793-8430

Gamez, David (2014) The measurement of consciousness: a framework for the scientific study of consciousness. Frontiers in Psychology, 5 . ISSN 1664-1078

Gao, Xiaohong W. (2014) Feature-wise representation for both still and motion 3D medical images. In: 2014 IEEE Southwest Symposium on Image Analysis and Interpretation (SSIAI), April 6-9, 2014, San Diego, USA.

Gao, Xiaohong W. and Wang, Yuanlei and Qian, Yu and Gao, Alice (2014) Modelling of chromatic contrast for retrieval of wallpaper images. Color Research and Application . ISSN 0361-2317 (Accepted/In press)

Huyck, Christian R. and Mitchell, Ian (2014) Post and pre-compensatory Hebbian Learning for categorisation. Cognitive Neurodynamics, 8 (4). pp. 299-311. ISSN 1871-4080

Jiang, Xinwei and Gao, Junbin and Wang, Tianjiang and Shi, Daming (2014) TPSLVM: a dimensionality reduction algorithm based on thin plate splines. IEEE Transactions on Cybernetics, 44 (10). pp. 1795-1807. ISSN 2168-2267

Krašovec, Rok and Belavkin, Roman V. and Aston, John and Channon, Alastair and Aston, Elizabeth and Rash, Bharat M. and Kadirvel, Manikandan and Forbes, Sarah and Knight, Christopher (2014) Where antibiotic resistance mutations meet quorum-sensing. Microbial Cell, 1 (7). pp. 250-252. ISSN 23112638

Krašovec, Rok and Belavkin, Roman V. and Aston, John A. D. and Channon, Alastair and Aston, Elizabeth and Rash, Bharat M. and Kadirvel, Manikandan and Forbes, Sarah and Knight, Christopher G. (2014) Mutation rate plasticity in rifampicin resistance depends on Escherichia coli cell–cell interactions. Nature Communications, 5 . ISSN 2041-1723

Whitney, Gill and Keith, Suzette and Selvaraj, Nallini and Maguire, Martin and Nicolle, Colette (2014) Employable knowledge: benchmarking education about standardization in the UK. British Standards Institute, London, UK.

Yang, Xin-She and Huyck, Christian R. and Karamanoglu, Mehmet and Khan, Nawaz (2014) True global optimality of the pressure vessel design problem: a bench-mark for bio-inspired optimisation algorithms. International Journal of Bio-Inspired Computation, 5 (6). pp. 329-335. ISSN 1758-0366

Zheng, Liying and Shi, Daming and Zhang, Jing (2014) CAF-FrFT: a center-affine-filter with fractional Fourier transform to reduce the cross-terms of Wigner distribution. Signal Processing, 94 . pp. 330-338. ISSN 0165-1684

2013

Belavkin, Roman V. (2013) Minimum of information distance criterion for optimal control of mutation rate in evolutionary systems. In: Quantum Bio-Informatics V : Proceedings of the Quantum Bio-Informatics 2011. Tokyo University of Science, Japan, 7 – 12 March 2011. Accardi, Luigi and Freudenberg, Wolfgang and Ohya, Masanori, eds. QP-PQ: Quantum Probability and White Noise Analysis, 30 (30). World Scientific, pp. 95-115. ISBN 9789814460019

Belavkin, Roman V. (2013) Law of Cosines and Shannon-Pythagorean theorem for quantum information. In: Geometric Science of Information : First International Conference, GSI 2013, Paris, France, August 28-30, 2013. Proceedings. Nielsen, Frank and Barbaresco, Frédéric, eds. Lecture Notes in Computer Science, Part X (8085). Springer Verlag, Berlin, pp. 369-376. ISBN 9783642400193

Blower, J. D. and Gemell, A. L. and Griffiths, G. H. and Haines, K. and Santokhee, Adityarajsingh and Yang, Xiaoyu (2013) A web map service implementation for the visualization of multidimensional gridded environmental data. Environmental Modelling and Software, 47 . pp. 218-224. ISSN 1364-8152

Doumanis, Ioannis and Smith, Serengul (2013) An empirical study on the effects of embodied conversational agents on user retention performance and perception in a simulated mobile environment. In: Workshop proceedings of the 9th international conference on intelligent environments. Botía, Juan A. and Charitos, Dimitris, eds. Ambient Intelligence and Smart Environments (17). IOS Press, pp. 431-442. ISBN 9781614992851

Duquenoy, Penny and Mekawie, Nermeen Magdi and Springett, Mark (2013) Patients, trust and ethics in information privacy in eHealth. In: eHealth: legal, ethical and governance challenges. George, Carlisle and Whitehouse, Diane and Duquenoy, Penny, eds. Springer, Germany, pp. 275-295. ISBN 9783642224737

Gao, Alice and Li, Wei and Lin, Chiang and Loomes, Martin J. and Gao, Xiaohong W. (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. ISBN 1601322542

George, Carlisle (2013) The Internet and pharmaceutical drugs in the era of interoperable eHealth systems across the European Union. In: eHealth: Legal, Ethical and Governance Challenges. George, Carlisle and Whitehouse, Diane and Duquenoy, Penny, eds. Springer, Berlin, Germany, pp. 135-164. ISBN 9783642224737

George, Carlisle and Whitehouse, Diane and Duquenoy, Penny (2013) Assessing legal, ethical and governance challenges in eHealth. In: eHealth: Legal, Ethical and Governance Challenges. George, Carlisle and Whitehouse, Diane and Duquenoy, Penny, eds. Springer, Berlin, Germany, pp. 3-22. ISBN 9783642224737

Heath, Andy and Whitney, Gill and Kolar, Irena and Springett, Mark (2013) The case for integrating needs and preferences in the internet of things. In: The Sixth International Conference on Advances in Human Oriented and Personalized Mechanisms, Technologies, and Services: CENTRIC 2013, 27 Oct - 01 Nov 2013, Venice, Italy.

Huyck, Christian R. and Mitchell, Ian (2013) Compensatory Hebbian learning for categorisation in simulated biological neural nets. Biologically Inspired Cognitive Architectures, 6 (5). pp. 3-7. ISSN 2212-683X

Huyck, Christian R. and Mitchell, Ian (2013) Self organising maps with a point neuron model. Intl Conf. on Cognitive and Neural Systems .

Huyck, Christian R. and Passmore, Peter J. (2013) A review of cell assemblies. Biological Cybernetics, 107 (3). pp. 263-288. ISSN 0340-1200

Kammueller, Florian (2013) A semi-lattice model for multi-lateral security. In: Data privacy management and autonomous spontaneous security. Lecture Notes in Computer Science (7731). Springer, Berlin, Germany, pp. 118-132. ISBN 9783642358890

Liu, Shuai and Cheng, Xiaochun and Lan, Caihe and Fu, Weina and Zhou, Jiantao and Li, Qianzhong and Gao, Guanglai (2013) Fractal property of generalized M-set with rational number exponent. Applied Mathematics and Computation, 220 . pp. 668-675. ISSN 0096-3003

Qian, Yu and Hui, Rui and Gao, Xiaohong W. (2013) 3D CBIR with sparse coding for image-guided neurosurgery. Signal Processing, 93 (6). pp. 1673-1683. ISSN 0165-1684

Qian, Yu and Wang, Lianyi and Wang, Chunyan and Gao, Xiaohong W. (2013) The synergy of 3D SIFT and sparse codes for classification of viewpoints from echocardiogram videos. In: Medical Content-Based Retrieval for Clinical Decision Support. Lecture Notes In Computer Science, 7723 . Springer-Verlag, Berlin, pp. 68-79. ISBN 9783642366772

Rahmdel, Payam S. and Shi, Daming and Comley, Richard A. (2013) Comment on "collinear segment detection using HT neighborhoods". IEEE Transactions on Image Processing, 23 (2). pp. 952-955. ISSN 1057-7149

Sallavaci, Oriola and George, Carlisle (2013) New admissibility regime for expert evidence: the likely impact on digital forensics. International Journal of Electronic Security and Digital Forensics, 5 (1). pp. 67-79. ISSN 1751-911X

Sallavaci, Oriola and George, Carlisle (2013) Procedural aspects of the new regime for the admissibility of expert evidence: what the digital forensic expert needs to know. International Journal of Electronic Security and Digital Forensics . ISSN 1751-911X (Accepted/In press)

Shi, Daming and Gao, Junbin and Rahmdel, Payam S. and Antolovich, Michael and Clark, Tony (2013) UND: unite-and-divide method in Fourier and Radon domains for line segment detection. IEEE Transactions on Image Processing, 22 (6). pp. 2500-2505. ISSN 1057-7149

Tian, Kai and Guo, Ben and Liu, Guoqing and Mitchell, Ian and Cheng, Dansong and Zhao, Wei (2013) KCMAC-BYY: Kernel CMAC using Bayesian Ying-Yang learning. Neurocomputing, 101 . pp. 24-31. ISSN 0925-2312

Whitney, Gill (2013) Working internationally to meet the academic needs of accessibility professionals. In: 12th European AAATE Conference, 19-22 September 2013, Vilamoura, Portugal.

Whitney, Gill (2013) The use and usability of accessibility standardization. In: 12th European AAATE Conference, 19-22 September 2013, Vilamoura, Portuga.

2012

Belavkin, Roman V. (2012) Optimal measures and Markov transition kernels. Journal of Global Optimization, 55 (2). pp. 387-416. ISSN 0925-5001

Belavkin, Roman V. (2012) Maximal connectivity and constraints in the human brain. In: Optimization and data analysis in biomedical informatics. Pardalos, Panos M. and Coleman, Thomas F. and Xanthopoulos, Petros, eds. Fields Institute Communications (63). Springer, New York, pp. 191-198. ISBN 9781461441335

Belavkin, Roman V. (2012) Dynamics of information and optimal control of mutation in evolutionary systems. In: Dynamics of information systems: mathematical foundations. Sorokin, Alexey and Murphey, Robert and Thai, My T. and Pardalos, Panos M., eds. Springer Proceedings in Mathematics & Statistics, 20 (20). Springer, New York, pp. 3-21. ISBN 9781461439059

Bernaschina, Paula and Smith, Serengul (2012) Embedded writing instruction in the first year curriculum. Journal of Learning Development in Higher Education . pp. 1-10. ISSN 1759-667X

Cipolla Ficarra, F. V. and Veltman, K. and Verber, D. and Cipolla-Ficarra, M. and Kammueller, Florian, eds. (2012) Advances in new technologies, interactive interfaces and communicability. Lecture Notes in Computer Science, 7547 . Springer-Verlag. ISBN 9783642340109

Gao, Xiaohong W. and Loomes, Martin J. and Comley, Richard A. (2012) Bridging the abridged – the diffusion of Telemedicine in Europe and China. In: Telemedicine and e-health services, policies, and applications: avancements and developments. Rodrigues, Joel J. P. C. and Díez, Isabel de la Torre and Abajo, Beatriz Sainz de, eds. IGI Global, USA, pp. 451-495. ISBN 9781466608887

Gao, Xiaohong W. and Qian, Yu and Loomes, Martin J. and Barn, Balbir and Comley, Richard A. and Chapman, Alex and Rix, Janet and Hui, Rui and Tian, Zengmin (2012) Retrieval of 3D medical images via their texture features. International Journal On Advances in Software, 4 (3&4). pp. 499-509. ISSN 1942-2628

Henrio, Ludovic and Kammueller, Florian and Lutz, Bianca (2012) ASPfun: a typed functional active object calculus. Science of Computer Programming, 77 (7-8). pp. 823-847. ISSN 0167-6423

Kammueller, Florian (2012) Review for the American Mathematical Society (AMS): A. Francalanza et al. Permission-based separation logic for message-passing concurrency. Logical methods in computer science, 7: 1-47, 2011. Mathematical Reviews (283123). ISSN 21675163

Kammueller, Florian (2012) Reviews for the American Mathematical Society (AMS): Russell O’Connor. Classical mathematics for a constructive world. MSCS (21): 861–882, Cambridge University Press. 2010. Mathematical Reviews (281788).

Kammueller, Florian (2012) A security model for functional active objects. In: Communicability, computer graphics and innovative design for interactive systems. Francisco, Cipolla-Ficarra and Kim, Veltman and Miguel, Cipolla-Ficarra and Andreas, Kratky, eds. Lecture Notes in Computer Science (7545). Springer, Berlin, pp. 42-50. ISBN 9783642337598

Kammueller, Florian and Mapp, Glenford E. and Patel, Sandip and Sani, Abubaker Sadiq (2012) Engineering security protocols with modelchecking – Radius-SHA256 and secured simple protocol. In: International Conference on Internet Monitoring and Protection (ICIMP 2012), 27 May - 01 Jun 2012, Stuttgart, Germany.

Kammueller, Florian and Probst, Christian and Raimondi, Franco (2012) Application of verification techniques to security: model checking insider attacks. In: 1st International Conference on Software and Emerging Technologies for Education, Culture, Entertainment, and Commerce (SETECEC 2012): New Directions in Multimedia Mobile Computing, Social Networks, Human-Computer Interaction and Communicability, 28-29 Mar 2012, Venice, Italy.

Keith, Suzette and Floratos, Nikolaos and Whitney, Gill (2012) Certification or conformance: making a successful commitment to WCAG 2.0. In: Proceedings of the international cross-disciplinary conference on web accessibility W4A '12. Vigo, Markel and Abascal, Julio and Lopes, Rui and Salomoni, Paola, eds. ACM, New York. ISBN 9781450310192

Nadh, Kailash and Huyck, Christian R. (2012) A neuro-computational approach to PP attachment ambiguity resolution. Neural Computation, 24 (7). pp. 1906-1925. ISSN 0899-7667

Smith, Serengul and Edwards, J. Adam (2012) Embedding information literacy skills as employability attributes. ALISS Quarterly, 7 (4). pp. 22-27. ISSN 1747-9258

Smith, Serengul and Edwards, J. Adam (2012) Embedding information literacy skills as employability attributes. In: LILAC 2012, 11-13 Apr 2012, Glasgow, Scotland.

Sun, Liang and Yoshida, Shinichi and Cheng, Xiaochun and Liang, Yanchun (2012) A cooperative particle swarm optimizer with statistical variable interdependence learning. Information Sciences, 186 (1). pp. 20-39. ISSN 0020-0255

Xu, Kai and Rooney, Chris and Passmore, Peter J. and Ham, Dong-Han and Nguyen, Phong H. (2012) A user study on curved edges in graph visualization. IEEE Transactions on Visualization and Computer Graphics, 18 (12). 2449 -2456. ISSN 1077-2626

2011

Belavkin, Roman V. (2011) Mutation and optimal search of sequences in nested Hamming spaces. In: Proceedings of the Information Theory Workshop (ITW), 2011. IEEE, pp. 90-94. ISBN 9781457704383

Belavkin, Roman V. (2011) On evolution of an information dynamic system and its generating operator. Optimization Letters, 6 (5). pp. 827-840. ISSN 1862-4472

Belavkin, Roman V. and Channon, Alastair and Aston, Elizabeth and Aston, John and Knight, Christopher (2011) Theory and practice of optimal mutation rate control in Hamming spaces of DNA sequences. In: Advances in artificial life, ECAL 2011: proceedings of the Eleventh European Conference on the Synthesis and Simulation of Living Systems. Lenaerts, Tom and Giacobini, Mario and Bersini, Hugues and Bourgine, Paul and Dorigo, Marco and Doursat, René, eds. MIT Press, pp. 85-92. ISBN 9780262297141

Belavkin, Roman V. and Huyck, Christian R. (2011) Conflict resolution and learning probability matching in a neural cell-assembly architecture. Cognitive Systems Research, 12 (2). pp. 93-101. ISSN 1389-0417

Boender, Jaap (2011) Efficient computation of dominance in component systems (short paper). In: Software engineering and formal methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings. Lecture Notes in Computer Science (7041). Springer, Berlin and Heidelberg, Germany, pp. 399-406. ISBN 9783642246890

Channon, Alastair and Aston, Elizabeth and Day, Charles and Belavkin, Roman V. and Knight, Christopher (2011) Critical mutation rate has an exponential dependence on population size. In: Advances in Artificial Life, ECAL 2011. Proceedings of the Eleventh European Conference on the Synthesis and Simulation of Living Systems. Lenaerts, Tom and Giacobini, Maria and Bersini, Hugues and Bourgine, Paul and Dorigo, Marco and Doursat, René, eds. MIT Press, pp. 117-124. ISBN 9780262297141

Fleck, Andreas and Kammueller, Florian (2011) A security model for functional active objects with an implementation in Erlang. In: Computational informatics, social factors and new information technologies: hypermedia perspectives and avant-garde experiences in the era of communicability expansion. Ficarra, Francisco V. C. and Kratky, Andreas and Veltman, Kim H. and Ficarra, Miguel C. and Nicol, Emma and Brie, Mary, eds. Computational Science and Engineering Collection (I). Blue Herons, Bergamo, Italy, pp. 105-120. ISBN 9788896471043

Gao, Xiaohong W. (2011) The anatomy of tele-neurosurgery in China. International Journal of Telemedicine and Applications, 2011 . ISSN 1687-6415

Gao, Xiaohong W. (2011) The anatomy of teleneurosurgery in China. International Journal of Telemedicine and Applications, 2011 . pp. 1-12. ISSN 1687-6415

Gao, Xiaohong W. and Qian, Yu and Hui, Rui (2011) The state of the art of medical imaging technology: from creation to archive and back. The Open Medical Informatics Journal, 5 (1-M8). pp. 73-85. ISSN 1874-4311

Gorogiannis, Nikos and Hunter, Anthony (2011) Instantiating abstract argumentation with classical logic arguments: postulates and properties. Artificial Intelligence, 175 (9-10). pp. 1479-1497. ISSN 00043702

Kammueller, Florian (2011) Mechanical analysis of finite idempotent relations. Fundamenta Informaticae, 107 (1). pp. 43-65. ISSN 1875-8681

Kammueller, Florian (2011) Privacy enforcement and analysis for functional active objects. Lecture Notes in Computer Science, 6514 . pp. 93-107. ISSN 0302-9743

Kammueller, Florian and Patel, Sandip (2011) Radius-SHA256 – verified remote authentication with secure hashing. In: First Global Conference on Communication, Science and Information Engineering, CCSIE’11, 25 - 27 July 2011, Middlesex University.

Keith, Suzette and Whitney, Gill (2011) Mainstreaming accessibility? Multidisciplinary problems or technical solutions. International Journal of Knowledge and Web Intelligence, 2 (1). pp. 53-63. ISSN 1755-8255

Mitchell, Ian (2011) A framework for digital investigations: a case study using BPB modifications. In: 6th International Annual Workshop on Digital Forensics and Incident Analysis (WDFIA 2011), July 2011, Kingston University, London.

Qian, Yu and Gao, Xiaohong W. and Loomes, Martin J. and Comley, Richard A. and Barn, Balbir and Hui, Rui and Tian, Zenmin (2011) Content-based petrieval of 3D medical images. In: eTELEMED 2011, The Third International Conference on eHealth, Telemedicine, and Social Medicine. Gemert-Pijnen, Lisette Van and Ossebaard, Hans C. and Hämäläinen, Päivi, eds. IARIA, pp. 7-12. ISBN 9781612081199

Roda, Fabio and Liberti, Leo and Raimondi, Franco (2011) Evaluation of collaborative filtering algorithms using a small dataset. In: WEBIST 2011, http://www.webist.org/WEBIST2011/.

Volpe, Isabel and Moreira, Viviane and Huyck, Christian R. (2011) Cell assemblies for query expansion in information retrieval. In: The 2011 International Joint Conference on Neural Networks (IJCNN 2011 - San Jose). Institute of Electrical and Electronics Engineers ( IEEE ), pp. 551-558. ISBN 9781424496358

Whitehouse, Diane and George, Carlisle and Duquenoy, Penny (2011) eHealth: legal, ethical and governance challenges: an overview. In: Med-e-Tel 2011, 6-8 April 2011, Luxembourg.

Whitney, Gill and Keith, Suzette and Bühler, Christian and Hewer, Sue and Lhotska, Lenka and Miesenberger, Klaus and Sandnes, Frode Eika and Stephanidis, Constantine and Velasco, Carlos A. (2011) Twenty five years of training and education in ICT Design for All and Assistive Technology. Technology and Disability, 23 (3). pp. 163-170. ISSN 1055-4181

Zayouna, Ammar and Comley, Richard A. and Shi, Daming (2011) Local-global optical flow for image registration agents. In: iUBICOM ’11: The 6th International Workshop on Ubiquitous and Collaborative Computing, 4 July 2011, Northumbria University, Newcastle.

Zheng, Liying and Shi, Daming (2011) Advanced Radon transform using generalized interpolated Fourier method for straight line detection. Computer Vision and Image Understanding, 115 (2). pp. 152-160. ISSN 1077-3142

Zheng, Liying and Shi, Daming (2011) Suppressing the cross terms of the Wigner Distribution with an adaptive frequency smoothing window. In: Proceedings of the 2011 International Conference on Image Processing, Computer Vision and Pattern Recognition. Arabnia, Hamid R. and Deligiannidis, Leonidas and Schaefer, Gerald, eds. CSREA Press, pp. 881-886. ISBN 1601321899

2010

Belavkin, Roman V. (2010) Utility and value of information in cognitive science, biology and quantum theory. In: Quantum bio-informatics III: from quantum information to bio-informatics. Accardi, Luigi and Freudenberg, Wolfgang and Ohya, Masanori, eds. QP-PQ: Quantum Probability and White Noise Analysis (26). World Scientific, London. ISBN 9789814304054

Belavkin, Roman V. (2010) Information trajectory of optimal learning. In: Dynamics of information systems: theory and applications. Hirsch, Michael J. and Pardalos, Panos M. and Murphey, Robert, eds. Springer Optimization and Its Applications (40). Springer, pp. 29-44. ISBN 9781441956880

Byrne, Emma and Huyck, Christian R. (2010) Processing with cell assemblies. Neurocomputing, 74 (1-3). pp. 76-83. ISSN 0925-2312

Cheng, Xiaochun and Che, Xilong and Hu, Liang (2010) Bandwidth prediction based on nu-support vector regression and parallel hybrid particle swarm optimization. International Journal of Computational Intelligence Systems, 3 (1). p. 70. ISSN 1875-6891

Cheng, Xiaochun and Ma, Xiaoqi and Huang, Scott C.-H. and Cheng, Maggie (2010) Mechanical verification of cryptographic protocols. Network Security . pp. 97-115. ISSN 1353-4858

Di Cosmo, Roberto and Boender, Jaap (2010) Using strong conflicts to detect quality issues in component-based complex systems. In: ISEC '10 Proceedings of the 3rd India software engineering conference. ISEC '10 . ACM, New York, pp. 163-172. ISBN 9781605589220

Fleck, Andreas and Kammueller, Florian (2010) Implementing privacy with Erlang active objects. In: Internet Monitoring and Protection (ICIMP), 2010 Fifth International Conference. IEEE, pp. 141-146. ISBN 9781424467266

Fleck, Andreas and Kammueller, Florian (2010) Privacy by flexible parameterization with Erlang active objects. International Journal on Advances in Software, 3 (3-4). pp. 461-473. ISSN 1942-2628

Gao, Junbin and Kwan, Paul W. and Shi, Daming (2010) Sparse kernel learning with LASSO and Bayesian inference algorithm. Neural Networks, 23 (2). pp. 257-264. ISSN 0893-6080

Gorogiannis, Nikos and Hunter, Anthony and Patkar, Vivek and Williams, Matthew (2010) Argumentation about treatment efficacy. In: KR4HC 2010.

Helke, Steffen and Kammueller, Florian (2010) Formalizing statecharts using hierarchical automata. Archive of Formal Proof . ISSN 2150-914X

Henrio, Ludovic and Kammueller, Florian and Khan, Muhammad Uzair (2010) A framework for reasoning on component composition. Lecture Notes in Computer Science, 6286 . pp. 1-20. ISSN 0302-9743

Henrio, Ludovic and Kammueller, Florian and Lutz, Bianca and Sudhof, Henry (2010) Locally nameless sigma calculus. Archive of Formal Proof . ISSN 2150-914X

Henrio, Ludovic and Kammueller, Florian and Lutz, Bianca and Sudhof, Henry (2010) A locally nameless theory of objects. In: SAFA Annual Workshop on Formal Techniques (SAFA’2010), October 6th and 7th, 2010, 2229 Route des Crêtes, 06560, Valbonne, Provence-Alpes-Côte d'Azur, France.

Hirsch, R. and Gorogiannis, Nikos (2010) The complexity of the warranted formula problem in propositional argumentation. Journal of Logic and Computation, 20 (2). pp. 481-499. ISSN 0955-792X

Hu, Liang and Cheng, Xiaochun and Che, Xilong (2010) Survey of grid resource monitoring and prediction strategies. International Journal of Intelligent Information Processing, 1 (2). ISSN 2093-1964

Hu, Liang and Liu, Zheli and Cheng, Xiaochun (2010) Efficient identity-based broadcast encryption without random oracles. Journal of Computers, 5 (3). pp. 331-336. ISSN 1796-203X

Huyck, Christian R. (2010) Dialogue based interfaces for universal access. Universal access in the Information Society . ISSN 1615-5289

Kammueller, Florian (2010) Using functional active objects to enforce privacy. In: 5th Conference on Network Architectures and Information Systems Security, 18-21 May, 2010, Menton, France.

Kammueller, Florian and Rein, Alexander and Reiser, Mark-Oliver (2010) Feature link propagation across variability representations with Isabelle/HOL. In: Proceedings of the 2010 ICSE Workshop on Product Line Approaches in Software Engineering. Rubin, Julia and Botterweck, Goetz and Mezini, Mira and Maman, Itay and Lero, Andreas, eds. ACM, New York, pp. 48-53. ISBN 9781605589688

Mitchell, Ian and Passmore, Peter J. and Xu, Kai (2010) Genetic sequences: tracing the mutations of a disease. In: IEEE VAST Symposium 2010 Challenge, 24 - 29th October, 2010, Salt Lake City, Utah, USA.

Nadh, Kailash and Huyck, Christian R. (2010) A Pong playing agent modelled with massively overlapping cell assemblies. Neurocomputing, 73 (16-18). pp. 2928-2934. ISSN 0925-2312

Passmore, Peter J. and Zheng, Yongjun and Rooney, Chris and Al-Sheikh, Tamara and Xu, Kai (2010) Hospitalization records: characterization of pandemic spread. In: IEEE VAST Symposium 2010 Challenge, 24 - 29th October, 2010, Salt Lake City, Utah, USA.

Sama, Michele and Elbaum, Sebastian and Raimondi, Franco and Rosenblum, David S. and Wang, Zhimin (2010) Context-aware adaptive applications: fault patterns and their automated identification. IEEE Transactions on Software Engineering, 36 (5). pp. 644-661. ISSN 0098-5589

Shepherd, Ifan D. H. and Passmore, Peter J. and Kamal, Mohammad M. (2010) Integration of geographic information system and RADARSAT synthetic aperture radar data using a self-organizing map network as compensation for realtime ground data in automatic image classification. Journal of Applied Remote Sensing, 4 (043534). pp. 1-13. ISSN 1931-3195

Shi, Daming and Comley, Richard A. (2010) Towards healthcare based on ubiquitous computing. IEEE Transactions on Systems, Man, and Cybernetics eNewsletter, 33 .

Shi, Daming and Loomes, Martin J. and Nguyen, Minh Nhut (2010) Evolutionary FCMAC-BYY applied to stream data analysis. Lecture Notes in Computer Science, 6457 . pp. 187-194. ISSN 0302-9743

Shi, Daming and Nguyen, Minh Nhut and Zhou, Suiping and Yin, Guisheng (2010) Fuzzy CMAC with incremental Bayesian Ying–Yang learning and dynamic rule construction. IEEE Transactions on Systems, Man and Cybernetics, Part B, 40 (2). pp. 548-552. ISSN 1083-4419

Shi, Daming and Zheng, Liying and Liu, Jigang (2010) Advanced Hough transform using a multilayer fractional Fourier method. IEEE Transactions on Image Processing, 19 (6). pp. 1558-1566. ISSN 1057-7149

Singh, M. and Cheng, Xiaochun and Belavkin, Roman V. (2010) Resource discovery using mobile agents [conference item]. In: Frontier of Computer Science and Technology (FCST), 2010 Fifth International Conference, 18-22 August 2010, Changchun, Jilin Province.

Skene, James and Raimondi, Franco and Emmerich, Wolfgang (2010) Service-level agreements for electronic services. IEEE Transactions on Software Engineering, 36 (2). pp. 288-304. ISSN 0098-5589

Sun, Liang and Cheng, Xiaochun and Liang, Yanchun (2010) Solving job shop scheduling problem using genetic algorithm with penalty function. International Journal of Intelligent Information Processing, 1 (2). pp. 65-77. ISSN 2093-1964

Whitney, Gill and Keith, Suzette and Schmidt-Belz, Barbara (2010) The challenge of mainstreaming ICT design for all. In: Computers helping people with special needs. Miesenberger, Klaus and Klaus, Joachim and Zagler, Wolfgang and Karshmer, Arthur, eds. Lecture Notes in Computer Science, 6179 . Springer, pp. 583-590. ISBN 9783642140969

2009

Abate, Pietro and Di Cosmo, Roberto and Boender, Jaap and Zacchiroli, Stefano (2009) Strong dependencies between software components. In: 2009 3rd International Symposium on Empirical Software Engineering and Measurement (ESEM 2009). IEEE, 89 -99. ISBN 9781424448425

Belavkin, Roman V. (2009) Bounds of optimal learning. In: 2009 IEEE International Symposium on Adaptive Dynamic Programming and Reinforcement Learning, March 30 – April 2, 2009, Sheraton Music City Hotel, Nashville, TN, USA.

Belavkin, Roman V. and Huyck, Christian R. (2009) A model of probability matching in a two-choice task based on stochastic control of learning in neural cell-assemblies. In: 9th International conference on cognitive modelling {ICCM 2009], 24th-26th July, 2009, University of Manchester.

Berčič, Boštjan and George, Carlisle (2009) Identifying personal data using relational database design principles. International Journal of Law and Information Technology, 17 (3). pp. 233-251. ISSN 0967-0769

Berčič, Boštjan and George, Carlisle (2009) Investigating the legal protection of data, information and knowledge under the EU data protection regime. International Review of Law Computers and Technology, 23 (3). pp. 189-201. ISSN 1360-0869

Bettinelli, Andrea and Liberti, Leo and Raimondi, Franco and Savourey, David (2009) The Anonymous subgraph problem. In: Cologne Twente Workshop 2009: 8th Cologne-Twente Workshop on Graphs and Combinatorial Optimization, June 2-4, 2009, Paris.

Chikhman, V. N. and Shelepin, Yuri and Vakhrameeva, O. and Pronin, Sergey and Foreman, Nigel and Passmore, Peter J. (2009) The estimation of quantitative ranges of invariance in visual perception. Perception, 38 . ISSN 0301-0066

Cubo, Javier and Sama, Michele and Raimondi, Franco and Rosenblum, David (2009) A model to design and verify context-aware adaptive service composition. In: 6th IEEE International Conference on Services Computing (SCC 2009), September 21-25, 2009, Bangalore.

Emiliani, Pier Luigi and Burzagli, Laura and Gabbanini, Francesco and Bühler, Christian and Klironomos, Iosif and Aalykke, Soren and Schmidt-Belz, Barbara and Knops, Harry and Reichrath, Enid and Whitney, Gill (2009) Design For All for eInclusion. In: Assistive technology from adapted equipment to inclusive environments. Emiliani, Pier Luigi and Burzagli, Laura and Como, Andrea and Gabbanini, Francesco and Salminen, Anna-Liisa, eds. Assistive Technology Research Series, 25 . IOS Press, pp. 815-820. ISBN 9781607500421

Gao, Xiaohong W. and Hui, Rui and White, Anthony S. and Tian, Zhengmin (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). s349-s350. ISSN 1861-6410

George, Carlisle and Berčič, Boštjan (2009) Electronic medical records: addressing privacy & security concerns in the UK and US. In: BILETA 2009 - To Infinity and Beyond: Law and Technology in Harmony?, 21-23 April 2009, University of Winchester, UK.

Goodman-Deane, Joy and Keith, Suzette and Whitney, Gill (2009) HCI and the older population. Universal Access in the Information Society, 8 (1). pp. 1-3. ISSN 1615-5289

Gorogiannis, Nikos and Hunter, Anthony and Williams, Matthew (2009) An argument-based approach to reasoning with clinical knowledge. International Journal of Approximate Reasoning, 51 (1). pp. 1-22. ISSN 0888613X

Henrio, Ludovic and Kammueller, Florian (2009) Functional active objects: typing and formalisation. Electronic Notes in Theoretical Computer Science, 255 . pp. 83-101. ISSN 1571-0661

Henrio, Ludovic and Kammueller, Florian and Rivera, Marcela (2009) An asynchronous distributed component model and its semantics. Lecture Notes in Computer Science, 5751 . pp. 159-179. ISSN 0302-9743

Huyck, Christian R. (2009) Variable binding by synaptic strength change. Connection Science, 21 (4). pp. 327-357. ISSN 0954-0091

Huyck, Christian R. (2009) A psycholinguistic model of natural language parsing implemented in simulated neurons. Cognitive Neurodynamics, 3 (4). pp. 316-330. ISSN 1871-4080

Huyck, Christian R. and Nadh, Kailash (2009) Multi-associative memory in fLIF cell assemblies. In: 9th International Conference on Cognitive Modeling, 24th-26th July 2009, Manchester.

Kammueller, Florian and Kammueller, Reiner (2009) Enhancing privacy implementations of database enquiries. In: Internet Monitoring and Protection, 2009. ICIMP '09. Fourth International Conference. IEEE, pp. 45-50. ISBN 9781424438396

Kammueller, Florian and Kammueller, Reiner (2009) Security analysis of private data enquiries in Erlang. International Journal on Advances in Security, 2 (2&3). pp. 242-255. ISSN 1942-2636

Keith, Suzette and Whitney, Gill (2009) D6.3b Evaluation of syllabi with members of EDeAN and other interested parties. IST CA 0033838 Design for All for eInclusion. Project Report. DfA @eInclusion, Online.

Keith, Suzette and Whitney, Gill and Kolar, Irena (2009) D6.4a Report on the possibility of accreditation of DfA Inclusion and dissemination of information from WP6: IST CA 0033838 Design for All for eInclusion. Project Report. DfA @eInclusion, Online.

Keith, Suzette and Whitney, Gill and Kolar, Irena (2009) D6.4b: Review of WP6 training activities: IST CA 0033838 design for all for eInclusion. Project Report. DfA @eInclusion, Online.

Keith, Suzette and Whitney, Gill (2009) Design for all in ICT training and education. In: Principles and practice in Europe for e-accessibility. Lanyi, Cecilia Sik, ed. EDeAN publication . Pannonian University Press, Veszprém, Hungary, pp. 63-72. ISBN 9789639696761

Keith, Suzette and Whitney, Gill and Petz, Andrea (2009) Design for all as focus in European ICT teaching and training activities. In: Inclusive design into innovation: transforming practice in design, research and business. [Include 2009]. Myerson, Jeremy and Bichard, Jo-Anne and Davidson, Clare, eds. Include . Royal College of Art, London. ISBN 9781905000807

Li, Yushun and Chen, Zheng and Huang, Ronghuai and Cheng, Xiaochun (2009) New e-Learning system architecture based on knowledge engineering technology. Systems, Man and Cybernetics, IEEE International Conference, 2009 . ISSN 1062-922X

Li, Yushun and Guo, Hui and Gao, Ge and Huang, Ronghuai and Cheng, Xiaochun (2009) Ubiquitous e-learning System for dynamic mini-courseware assembling and delivering to mobile terminals. In: NCM 2009: Fifth International Joint Conference on INC, IMS, and IDC; [proceedings]. Kim, Jinhwa and Delen, Dursun and Jinsoo, Park and Ko, Franz and Rui, Chen and Hyung, Jong and Lee, Wang Jian and Kou, Gang, eds. IEEE, pp. 1081-1086. ISBN 9781424452095

Lomuscio, Alessio and Qu, Hongyang and Raimondi, Franco (2009) MCMAS: a model checker for the verification of multi-agent systems. Lecture Notes in Computer Science, 5643 . pp. 682-688. ISSN 0302-9743

Pecheur, Charles and Raimondi, Franco and Brat, Guillaume (2009) A formal analysis of requirements-based testing. In: Proceedings of the Eighteenth International Symposium on Software Testing and Analysis. Rothermel, Gregg and Dillon, Laura, eds. Association for Computing Machinery, pp. 47-56. ISBN 9781605583389

Petz, Andrea and Keith, Suzette and Whitney, Gill (2009) The missing link? Design for all elements in ICT education fostering e-inclusion. In: 24th Annual International Technology and Persons with Disabilities Conference, 16-21 March 2009, California State University, Northridge, USA.

Raimondi, Franco and Pecheur, Charles and Brat, Guillaume (2009) PDVer, a tool to verify PDDL planning domains. In: ICAPS'09 Workshop on Verification and Validation of Planning and Scheduling Systems, September 20, 2009, Thessaloniki, Greece.

Roda, Fabio and Liberti, Leo and Raimondi, Franco (2009) Combinatorial optimization based recommender systems. In: Cologne Twente Workshop 2009: 8th Cologne-Twente Workshop on Graphs and Combinatorial Optimization, June 2-4, 2009, Paris.

Singh, M. and Cheng, Xiaochun and He, X. (2009) Resource discovery using mobile agents [book section]. In: Semantic Mining Technologies for Multimedia Databases. Tao, Dacheng and Xu, Dong and Li, Xuelong, eds. Information Science Reference, New York, USA, pp. 419-448. ISBN 9781605661889

Whitney, Gill and Keith, Suzette (2009) Combining technical and user knowledge in the curriculum. In: 9th Annual Learning and Teaching Conference: The dynamics of difference: Making it work., 1st July 2009, Middlesex University, London.

Whitney, Gill and Keith, Suzette (2009) Improving ICT accessibility using standards and legislation. In: Techshare 2009, 16-18 September 2009, Excel, London.

Whitney, Gill and Keith, Suzette (2009) Bridging the gap between young designers and older users. In: The good, the bad and the challenging: the user and the future of information and communication technologies. Conference proceedings. Sapio, Bartolomeo, ed. ABS Center, Koper, Slovenia. ISBN 9789616277174

Whitney, Gill and Keith, Suzette and Wilson, Judy (2009) Design For All @ eInclusion: Best Practice In Education And Training. In: Assistive technology from adapted equipment to inclusive environments. Emiliani, Pier Luigi and Burzagli, Laura and Como, Andrea and Gabbanini, Francesco and Salminen, Anna-Liisa, eds. Assistive technology research series, 25 . IOS Press, Amsterdam, Netherlands, pp. 837-841. ISBN 9781607500421

Whitney, Gill (2009) Applying Best Practice in Accessibility and Design in the Real World. In: The good, the bad and the challenging, the user and the future of information and communication technologies. Sapio, Bartolomeo, ed. ABS Center, Koper, Slovenia, pp. 694-699. ISBN 9789616277174

Zhang, Yan and Passmore, Peter J. and Bayford, Richard (2009) Task based visualization of 5D brain EIT data. In: Proceedings of the 2009 ACM symposium on Applied Computing - SAC '09. Association for Computing, New York, p. 831. ISBN 9781605581668

Zhang, Yan and Passmore, Peter J. and Bayford, Richard (2009) Visualization of multidimensional and multimodal tomographic medical imaging data, a case study. Philosophical Transactions of the Royal Society of London. A: Mathematical and Physical Sciences, 367 (1900). pp. 3121-3148. ISSN 1364-503X

2008

Belavkin, Roman V. (2008) The duality of utility and information in optimally learning systems. In: IEEE Systems, Man and Cibernetics Society, UK and Republic of Ireland: 7th conference on cybernetics intelligent systems, 2008., 8th-9th September 2008, Middlesex University, London.

Belavkin, Roman V. and Huyck, Christian R. (2008) Emergence of rules in cell assemblies of fLIF neurons. In: The 18th European Conference on Artificial Intelligence, 21st-25th July 2008, University of Patras, Greece.

Berčič, Boštjan and George, Carlisle (2008) Compiling medical data into national medical databases: legitimate practice or data protection concern? In: Ethical, legal and social issues in medical informatics. Duquenoy, Penny and George, Carlisle and Kimppa, Kai, eds. Medical Information Science Reference, Hershey, PA., pp. 228-247. ISBN 9781599047805

Chikhman, V. N. and Shelepin, Yuri and Foreman, Nigel and Passmore, Peter J. (2008) Viewpoint invariance in the recognition of 3-D depth-rotated figures. Perception, 37 . ISSN 0301-0066

Chikhman, V. N. and Shelepin, Yuri and Foreman, Nigel and Passmore, Peter J. and Vakhrameeva, O. and Pronin, Sergey (2008) Invariance of visual perception. Experimental Psychology, 1 . pp. 7-33. ISSN 2072-7593

Duquenoy, Penny and George, Carlisle and Kimppa, Kai (2008) Ethical, legal and social issues in medical informatics. Medical Information Science Reference, Hershey, PA.. ISBN 9781599047805

Duquenoy, Penny and George, Carlisle and Solomonides, Anthony (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. ISSN 0169-2607

Duquenoy, Penny and George, Carlisle and Solomonides, Anthony (2008) What ELSE? Regulation and compliance in medical imaging and medical informatics. In: Medical Imaging and Informatics: 2nd International Conference, MIMI 2007. Gao, Xiaohong W. and Müller, Henning and Loomes, Martin J. and Comley, Richard A. and Luo, Shuqian, eds. Lecture Notes in Computer Science. (4987). Springer, Berlin. ISBN 9783540794899

Gao, Xiaohong W. and Batty, Stephen and Clark, John and Fryer, Tim (2008) Prototype system for semantic retrieval of neurological PET images. In: Medical imaging and informatics: 2nd international conference, MIMI 2007, Beijing, China, August 14-16, 2007. Gao, Xiaohong W. and Loomes, Martin J. and Comley, Richard A. and Muller, Henning and Luo, Shuqian, eds. Lecture notes in computer science, 4987 (4987). Springer, Berlin, pp. 179-188. ISBN 9783540794905

Gao, Xiaohong W. and Clark, John (2008) A fast approach to segmentation of PET brain images for extraction of features. In: Medical imaging and informatics. Gao, Xiaohong W. and Loomes, Martin J. and Comley, Richard A. and Muller, Henning and Luo, Shuqian, eds. Lecture Notes in Computer Science (4987). Springer, Berlin, pp. 197-206. ISBN 3794521935

Gao, Xiaohong W. and Hong, Kunbin and Passmore, Peter J. and Podladchikova, L. N. and Shaposhnikov, D. G. (2008) Colour vision model-based approach for segmentation of traffic signs. EURASIP Journal on Image and Video Processing, 2008 . ISSN 1687-5176

Gao, Xiaohong W. and Podladchikova, L. N. and Shaposhnikov, D. G. and Comley, Richard A. and Anishenko, Sergey and Osimov, Vladislav (2008) Toward a robust system to monitor the head motions during PET based on facial landmarks detection: a new approach. In: Proceedings of the 21st IEEE international symposium on computer-based medical systems. Puuronen, Seppo, ed. IEEE Computer Society, Jyväskylä, Finland.

George, Carlisle (2008) Illegal activities, preventative technologies & ISP immunity: where should the buck stop? In: BILETA 2008: the 23rd annual conference, 27-28 March 2008, Glasgow Caledonian University.

George, Carlisle (2008) Managing social irresponsibility in cyberspace: the walled garden approach. In: The 11th International Symposium - Management and Social Responsibility, (SymOrg2008), 10-13 Sep 2008, Belgrade, Serbia.

George, Carlisle and Duquenoy, Penny (2008) Online medical consultations: legal, ethical and social perspectives. In: Ethical, legal, and social issues in medical informatics. Duquenoy, Penny and George, Carlisle and Kimppa, Kai, eds. Medical Information Science Reference. ISBN 9781599047805

Gorogiannis, Nikos and Hunter, Anthony (2008) Implementing semantic merging operators using binary decision diagrams. International Journal of Approximate Reasoning, 49 (1). pp. 234-251. ISSN 0888613X

Gorogiannis, Nikos and Hunter, Anthony (2008) Merging first-order knowledge using dilation operators. In: FOIKS 2008.

Jahankhani, Hamid and George, Carlisle (2008) Challenges of identity theft in the information society. In: Synergies and conflicts in cyberlaw. Kiekegaard, Sylvia Mercado, ed. International Association of IT Lawyers, pp. 42-51. ISBN 9788799138555

Kammueller, Florian (2008) Formalizing non-interference for a simple bytecode language in Coq. Formal Aspects of Computing, 20 (3). pp. 259-275. ISSN 0934-5043

Kammueller, Florian (2008) Interactive theorem proving in software engineering. VDM Verlag Dr. Mueller, Saarbrücken, Germany. ISBN 9783836457699

Kammueller, Florian and Preibusch, Sören (2008) Modelchecking non-functional requirements for interface specifications. In: European Joint Conference on Theory and Practice of Software, 2008, (Foundations of Interface technologies), 29th March - 6th April, 2008, Budapest.

Kammueller, Florian and Sudhof, Henry (2008) Composing safely: a type system for aspects. Lecture Notes in Computer Science, 4954 . pp. 231-247. ISSN 0302-9743

Kammueller, Florian and Sudhof, Henry (2008) Compositionality of aspect weaving. In: Autonomous systems: self-organisation, management, and control. Mahr, Bernd and Sheng, Huanye, eds. Springer-Verlag, pp. 87-96. ISBN 9781402088889

Liberti, Leo and Raimondi, Franco (2008) The secret santa problem. Lecture Notes in Computer Science, 5034 . pp. 271-279. ISSN 0302-9743

Mitchell, Ian and Sheriff, Mohamed and Georgiadou, Elli (2008) Quality assurance of curricula through the use of an integrated framework for programme validation. In: Tempus JEP-27178-2006, Dissemination Workshop., Sep 2008, Yerevan, Armenia.

Passmore, Peter J. and Huyck, Christian R. (2008) Models of cell assembly decay. In: Cybernetic Intelligent Systems, 2008. CIS 2008. 7th IEEE International Conference. Institute of Electrical and Electronics Engineers, pp. 1-6.

Preibusch, Sören and Kammueller, Florian (2008) Checking the TWIN elevator system by translating object-Z to SMV. Lecture Notes in Computer Science, 4916 . pp. 38-55. ISSN 0302-9743

Raimondi, Franco and Skene, James and Emmerich, Wolfgang (2008) Efficient online monitoring of web-service SLAs. In: Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering. Harrold, Jean and Murphy, Gail, eds. Association for Computing Machinery, pp. 170-180. ISBN 9781595939951

Sama, Michele and Raimondi, Franco and Rosenblum, David and Emmerich, Wolfgang (2008) Algorithms for efficient symbolic detection of faults in context-aware applications. In: Automated Software Engineering - Workshops, 2008. ASE Workshops 2008. 23rd IEEE/ACM International Conference. Institute of Electrical and Electronics Engineers, pp. 1-8. ISBN 9781424427765

Whitney, Gill (2008) Applying best practise in accessibility and design in the real world. In: Accessible design in the digital world '08, 22nd-24th October, 2008, York.

Whitney, Gill and Keith, Suzette (2008) European developments in the design and implementation of training for eInclusion. In: Computers helping people with special needs: 11th international conference, ICCHP 2008. Lecture Notes in Computer Science. . Springer, Berlin, pp. 156-161. ISBN 9783540705390

2007

Belavkin, Roman V. (2007) Do neural models scale up to a human brain? In: International Joint Conference on Neural Networks (IJCNN 2007), 12th-17th August, 2007, Orlando, Florida.

Boender, Jaap (2007) Sound tools for package dependency management in free and open source software distributions. In: Open source development, adoption and innovation: IFIP Working Group 2.13 on Open Source Software, June 11-14, 2007, Limerick, Ireland. Feller, Joseph and Fitzgerald, Brian and Scacchi, Walt and Sillitti, Alberto, eds. IFIP Advances in Information and Communication Technology (234). Springer, Berlin and Heidelberg, Germany, p. 391. ISBN 9780387724850

Bradley, Michael D. and Keith, Suzette and Kolar, Irena and Whitney, Gill (2007) Identifying and characterising diversity of the older car driver. In: Proceedings of the Ergonomics Society Annual Conference, 17-19 April 2007, Nottingham UK. Bust, Philip D., ed. Taylor & Francis. ISBN 978-0-415-43638-0

Bradley, Michael D. and Keith, Suzette and Whitney, Gill and Wilson, Judy (2007) The development of a participatory research methodology with older drivers. In: Proceedings of the 11th International Conference on Mobility and Transport for Elderly and Disabled Persons, 18-22 June 2007., Montréal, Québec..

Futre, Dina and George, Carlisle and Coathup, Roger (2007) Players’ image management in the UK football industry. In: 15th Congress of the European Sports Management Association (EASM 2007), 12-15 Sep 2007, Torino, Italy.

Gao, Xiaohong W. and Anishenko, Sergey and Shaposhnikov, D. G. and Podladchikova, L. N. and Batty, Stephen and Clark, John (2007) High-precision detection of facial landmarks to estimate head motions based on vision models. Journal of computer sciences, 3 (7). pp. 528-532. ISSN 1549-3636

Gao, Xiaohong W. and Shaposhnikov, D. G. and Podladchikova, L. N. and Batty, Stephen and Clark, John (2007) Detection of head motions using a vision model. In: Proceedings of the third IASTED International Conference on Telehealth. Bashshur, Rashid, ed. Acta Press, Anaheim, Calif., pp. 167-171. ISBN 9780889866676

George, Carlisle (2007) Legal challenges of cybercrime. In: 15th Telecommunications Forum, TELFOR 2007, 20-22 Nov 2007, Sava Centre, Belgrade, Serbia.

George, Carlisle (2007) Regulatory challenges in the era of the convergence of telecommunications, broadcasting and information. In: 15th Telecommunications Forum, TELFOR 2007, 20th- 22nd November 2007, Belgrade, Serbia.

George, Carlisle and Duquenoy, Penny (2007) Exploring legal & ethical aspects of IPR management in e-learning. In: Proceedings of the 2007 IPR in E-learning Workshop/Conference: 20 April 2007. School of Computing Science, Middlesex University, London. ISBN 9781859242933

George, Carlisle and Skerri, Jackie (2007) Web 2.0 and user-generated content: legal challenges in the new frontier. Journal of Information, Law and Technology (2). ISSN 1361-4169

Gorogiannis, Nikos and Ryan, Mark (2007) Minimal refinements of specifications in modal and temporal logics. Formal Aspects of Computing, 19 (4). pp. 417-444. ISSN 0934-5043

Huyck, Christian R. (2007) Creating hierarchical categories using cell assemblies. Connection Science, 19 (1). pp. 1-27. ISSN 0954-0091

Whitney, Gill (2007) DDA compliant display. [Show/Exhibition]

Whitney, Gill (2007) Visual displays as part of an information system. In: Accommodating disability with displays and lighting., 16th May 2007, Bletchley Park.

Wilson, Judy and Curzon, Paul and Whitney, Gill (2007) Seniors route-planning: a reality check for the design of navigation systems. In: TRANSED 2007 conference proceedings. Transport Canada.

2006

Bacsich, Paul and Duquenoy, Penny and George, Carlisle and Weldon, John and Bakry, Walaa-Eldeen Mohamed and Davis, G. (2006) Managing IPR in a successful e-learning enterprise: the global campus, Middlesex University, UK. In: Proceedings of the IPR in E-learning Workshop/Conference 21st March, 2006. School of Computing Science, Middlesex University, London. ISBN 1859242677

Belavkin, Roman V. (2006) Towards a theory of decision-making with paradoxes. In: Proceedings of the Seventh International Conference on Cognitive Modelling, 2006, Trieste, Italy.

Belavkin, Roman V. (2006) Towards a theory of decision-making without paradoxes. In: Proceedings of the Seventh International Conference on Cognitive Modeling, April 5–8 2006, Trieste, Italy.

Duquenoy, Penny and George, Carlisle and Colliste, Goran and Hedstrom, Karin and Kimppa, Kai and Mordini, Emilio (2006) ICT in medicine and health care: assessing social, ethical and legal issues. In: Social informatics: an information society for all? In remembrance of Rob Kling: proceedings of the seventh international conference on human choice and computers (HCC7). Berleur, Jacques and Markku, I. and Nurminen, John Impagliazzo, eds. IFIP International Federation for Information Processing. (223). IFIP Press, Boston. ISBN 9780387378756

Gao, Xiaohong W. (2006) Telemedicine in Europe. In: ChinaPacs, 14th-16th April, 2006, Beijing.

Gao, Xiaohong W. (2006) The state of art of medical displays. In: EuroPacs 2006, 14th-17th June 2006, Trondheim, Norway.

Gao, Xiaohong W. and Batty, Stephen and Clark, John and Fryer, Tim (2006) Content-based retrieval of PET images via localised anatomical texture measurements and mean activity levels. Computerized medical imaging and graphics, 30 (6-7). pp. 70-74. ISSN 0895-6111

Gao, Xiaohong W. and He, P. (2006) Colour reproduction for tele-imaging systems. Computerized medical imaging and graphics, 30 (6-7). pp. 79-84. ISSN 0895-6111

Gao, Xiaohong W. and Podladchikova, L. N. and Shaposhnikov, D. G. and Hong, K. and Shevtsova, Natalia (2006) Recognition of traffic signs based on their colour and shape features extracted using human vision models. Journal of Visual Communication and Image Representation, 17 (4). pp. 675-685. ISSN 1047-3203

George, Carlisle (2006) Internet pharmacies: global threat requires a global approach to regulation. Hertfordshire law journal, 4 (1). pp. 12-25. ISSN 1479-4195

George, Carlisle and Chandak, Navin (2006) Issues and challenges in securing interoperability of DRM systems in the digital music market. International Review of Law Computers and Technology, 20 (3). pp. 271-285. ISSN 1360-0869

Georgiadou, Elli and George, Carlisle (2006) Information systems failures: whose responsibility? In: Learning and teaching issues in software quality [INSPIRE XI]. Dawson, Ray, ed. British Computer Society., Swindon. ISBN 1902505778

Huyck, Christian R. and Belavkin, Roman V. (2006) Counting with neurons: rule application with nets of fatiguing leaking integrate and fire neurons. In: 7th International Conference on Cognitive Modelling, April 5–8 2006., Trieste, Italy.

Huyck, Christian R. and Orengo, Viviane (2006) Relevance feedback and cross-language information retrieval. Information Processing and Management, 42 (5). pp. 1203-1217. ISSN 0306-4573

Jagne, Jainaba and Smith, Serengul and Duncker, Elke (2006) Assessment techniques in cross-cultural usability evaluation. In: IADIS WWW/Internet International Conference 2006, 05/10 - 08/10/ 2006, Murcia, Spain.

Keith, Suzette and Whitney, Gill and Sentinella, J. and Wong, B. L. William and Platt-Evans, C. and Fielding, C. and Smith, L. (2006) Review of DPTAC guidance: large passenger ships and passenger infrastructure. Project Report. Disabled Persons Transport Advisory Committee (DPTAC).

Keith, Suzette and Whitney, Gill and Wong, B. L. William (2006) Accessibility, usability and fit for purpose: a framework for evaluating information delivery. In: Contemporary ergonomics 2006. Bust, Philip D., ed. Taylor & Francis. ISBN 9780415398183

Keith, Suzette and Whitney, Gill and Wong, B. L. William (2006) A framework for evaluating barriers to accessibility, usability and fit for purpose. In: Contemporary ergonomics 2006. Bust, Philip D., ed. Taylor & Francis, London. ISBN 9780415398183

Mancinelli, Fabio and Boender, Jaap and Di Cosmo, Roberto and Vouillon, Jérôme and Durak, Berke and Leroy, Xavier and Treinen, Ralf (2006) Managing the complexity of large free and open source package-based software distributions. Automated Software Engineering, 2006. ASE '06. 21st IEEE/ACM International Conference on . pp. 199-208. ISSN 1938-4300

Mitchell, Ian and Agrawal, Abhishek (2006) Selection enthusiasm. In: 6th International Conference on Simulated Evolutionand Learning, Hefei, China. Proceedings. Springer Verlag, Heidelberg, pp. 449-456. ISBN 9783540473312

Mitchell, Ian and Jiang, Nan and Wu, Wendy Xinyu (2006) MESSM: a framework for protein fold recognition using neural networks and support vector machines. International Journal of Bioinformatics Research and Applications, 2 (4). pp. 381-393. ISSN 1744-5493

Mitchell, Ian and Jiang, Nan and Wu, Wendy Xinyu (2006) Threading with environment-specific score by artificial neural networks. Soft Computing - A Fusion of Foundations, Methodologies and Applications, 10 (4). pp. 305-314. ISSN 1432-7643

Whitney, Gill (2006) Enabling People with Sensory Impairments to Participate Effectively in Research. Universal Access in the Information Society, 5 (3). pp. 287-291. ISSN 1615-5289

Whitney, Gill and Keith, Suzette (2006) Active ageing through universal design. Gerontechnology, 5 (3). ISSN 1569-1101

2005

Adams, Ray G. and Smith, Serengul (2005) Human-computer interaction: users, tasks and designs. Middlesex University Press, London. ISBN 1898253862

Adams, Ray G. and Smith, Serengul (2005) Paradigms, technology and demand characteristics for universal access: can we treat different technologies the same? In: HCI international 2005 11th international conference on human-computer interaction: proceedings. Lawrence Erlbaum Associates, Mahwah, NJ.. ISBN 9780805858075

Adams, Ray G. and Whitney, Gill (2005) Universal access in an information world. In: Natural computing and interactive system design. Adams, Ray G., ed. Pearson Education, Harlow. ISBN 1844792595

Adams, Ray G. and Whitney, Gill (2005) The use of computers in rehabilitation. In: HCI international 2005: 11th international conference on human-computer interaction. Salvendy, Gavriel, ed. Lawrence Erlbaum Associates, Mahwah, NJ.. ISBN 9780805858075

Belavkin, Roman V. (2005) Acting irrationally to improve performance in stochastic worlds. In: 25th SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, 2005, Cambridge, UK.

Belavkin, Roman V. (2005) Entropy and information in models of learning behaviour. AISB Quarterly, 119 . p. 5. ISSN 0268-4179

Cheng, Xiaochun and Ma, Xiao-Qi (2005) Formal verification of the merchant registration phase of the SET protocol. International Journal of Automation and Computing, 2 (2). pp. 155-162. ISSN 1476-8186

Cheng, Xiaochun and Zhang, Chenqi and Ouyang, Dantong and Yunfei, Jiang (2005) An improved model-based method to test circuit faults. Theoretical Computer Science, 341 (1-3). pp. 150-161. ISSN 0304-3975

George, Carlisle (2005) Data protection: peeking over the study cubicle online! In: JISClegal: Legal Issues of Online Learning Environments., 1-2 June 2005, University of Warwick, UK.

George, Carlisle and Duquenoy, Penny (2005) Online medical consultations: are we heading in the right direction? In: Ethicomp 2005, Looking back to the future, 12-15 September 2005, Linköping, Sweden..

George, Carlisle (2005) Copyright management systems: assessing the power balance. In: The information society: emerging landscapes: IFIP International Conference on Landscapes of ICT and Social Accountability, Turku, Finland, June 27-29, 2005. Zielinski, Chris and Duquenoy, Penny and Kimppa, Kai, eds. International Federation for Information Processing (195). Springer, New York, pp. 211-222. ISBN 0387305270

George, Carlisle (2005) Online healthcare: internet pharmacies may not be good for your health. In: The information society: emerging landscapes: IFIP International Conference on Landscapes of ICT and Social Accountability, Turku, Finland, June 27-29, 2005. Zielinski, Chris and Duquenoy, Penny and Kimppa, Kai, eds. International Federation for Information Processing (195). Springer, Netherlands, pp. 133-151. ISBN 0387305270

Huyck, Christian R. and Orengo, Viviane (2005) Information retrieval and categorisation using a cell assembly network. Neural Computing and Applications, 14 (4). pp. 282-289. ISSN 0941-0643

Keith, Suzette and Whitney, Gill and Kolar, Irena (2005) A scenario-based evaluation of travel information for older people and people with disabilities. In: HCI and the older population., 5th Sept 2005, Napier University, Edinburgh.

Li, Yang and Yang, Hong-Ji and Cheng, Xiaochun and Zhu, Xiao-Yan (2005) Programming style based program partition. International Journal of Software Engineering and Knowledge Engineering (IJSEKE)., 15 (6). pp. 1027-1062. ISSN 0218-1940

Mitchell, Ian and Agrawal, Abhishek and Litovski, Ivan and Passmore, Peter J. (2005) Dynamics in proportionate selection. In: International Conference on Adaptive and Natural Computnig Alogorithms, Coimbra, Portugal. Proceedings. Springer, Vienna., pp. 226-229. ISBN 9783211249345

Mitchell, P. I. and Bowden, L. and Vintro, L. Leon and García-Tenorio, R. and Garelick, Hemda and Holm, E. and Kovacs, T. and Kovats, N. and Priest, Nicholas and Salbu, B. and Skipperud, L. and Tamponnet, C. (2005) Existing competence and infrastructure in radiation protection training at postgraduate level within the EU and new entrant states. In: ETRAP2005 Conference (3rd International Conference on Education and Training in Radiological Protection), 23-25 November 2005, Brussels, Belgium.

Ndeti, Mkwama and George, Carlisle (2005) Pursuing electronic health: a UK primary health care perspective. In: Challenges of expanding Internet: e-commerce, e-business, and e-government: 5th IFIP Conference on e-Commerce, e-Business, and e-Government (13E'2005), October 28-30, 2005, Poznan, Poland. Funabashi, Matohisa and Grzech, Adam, eds. International Federation for Information Processing (189). Springer, New York, pp. 251-264. ISBN 9780387287539

Whitney, Gill and Keith, Suzette and Kolar, Irena (2005) Electronic travel booking: the evaluation of usability, accessibility and fitness for purpose by older people and people with disabilities. In: HCI International 2005: 11th international conference on human-computer interaction. Lawrence Erlbaum Associates, Mahwah, NJ.. ISBN 9780805858075

Whitney, Gill and Keith, Suzette and Kolar, Irena (2005) Independent mobility for blind and partially sighted people travelling by large passenger ships. In: Vison 2005 : proceedings of the Vision 2005 conference. Hamlin, Deborah and Rubin, Gary S., eds. Elsevier. ISBN 0444520910

Whitney, Gill and Wilson, Judy and Curzon, Paul (2005) Successful strategies of older people for finding information. Interacting with Computers, 17 (6). pp. 660-671. ISSN 0953-5438

Zhang, Yan and Passmore, Peter J. and Bayford, Richard (2005) Visualization and post-processing of 5D Brain Images. Proceedings of the annual international conference of the IEEE engineering in medicine and biology society., 2 . pp. 1083-1086. ISSN 1558-4615

Zhang, Yan and Passmore, Peter J. and Yerworth, Rebecca J. and Bayford, Richard (2005) Statistical analysis for brain EIT images using SPM. In: Proceedings: International Conference on Medical Information Visualisation; BioMedical Visualisation (MediVis). Institute of Electrical and Electronics Engineers, pp. 60-67. ISBN 0769523935

2004

Belavkin, Roman V. (2004) On relation between emotion and entropy. In: AISB'04 Symposium on Emotion, Cognition and Affective Computing, Leeds UK.

Belavkin, Roman V. and Ritter, Frank E (2004) OPTIMIST: A new conflict resolution algorithm for ACT-R. In: Sixth International Conference on Cognitive Modelling, Mahwah, NJ.

Cheng, Xiaochun and Wang, Lusheng and Cheng, Maggie (2004) Topology control of ad hoc wireless networks for energy efficiency. IEEE Transactions On Computers, 53 (12). pp. 1629-1635. ISSN 0018-9340

Cook, John and Huyck, Christian R. and Whitney, Gill (2004) Agent design method for enhancing accessibility. In: ED-MEDIA 2004: world conference on educational multimedia, hypermedia and telecommunications: proceedings of ED-MEDIA 2004. McLoughlin, Catherine and Cantoni, Lorenzo, eds. Association for the Advancement of Computing in Education. ISBN 1880094533

Curzon, Paul and Keith, Suzette and Wilson, Judy and Whitney, Gill (2004) Information seeking strategies used by older people. In: Utopia workshops: HCI and the older population, 7th Sept. 2004, Leeds.

Gao, Xiaohong W. (2004) Colour management in telemedicine. In: Proceedings of the seventh IASTED international conference on computer graphics and imaging. Hamza, M. H., ed. Acta Press, Anaheim, pp. 361-364. ISBN 0889864187

Gao, Xiaohong W. and Qian, Y. and Tully, T. and Hendon, Zoë (2004) Towards archiving wallpaper images. In: Proceedings of the seventh IASTED international conference on computer graphics and imaging. Hamza, M. H., ed. Acta Press, Anaheim, pp. 305-309. ISBN 0889864187

Gao, Xiaohong W. and Shaposhnikov, D. G. and Podladchikova, L. N. (2004) Application of vision models to traffic sign recognition. In: Lecture Notes in Computer Science. Springer Berlin, Heidelberg, pp. 1100-1105. ISBN 978-3-540-40408-8

Huyck, Christian R. (2004) Overlapping cell assemblies from correlators. Neural Computing Letters, 56 . pp. 435-439. ISSN 0925-2312

Keith, Suzette and Whitney, Gill (2004) Investigating the usability of large passenger ships by older and disabled people. In: Access to Buildings and Transport Conference, Tuesday 30th November 2004, Britannia Street Conference Centre, London.

Le, Huong T. and Abeysinghe, Geetha and Huyck, Christian R. (2004) Automated discourse segmentation by syntactic information and cue phrases. In: IASTED International Conference on Artificial Intelligence and Applications (AIA 2004), 16-18 February 2004, Innsbruck, Austria.

Le, Huong T. and Abeysinghe, Geetha and Huyck, Christian R. (2004) Generating discourse structures for written texts. In: International Conference on Computational Linguistics, (COLING 2004), 23rd-27th August 2004, University of Geneva, Switzerland.

Rahman, Shahedur and Shah, Abu and Whitney, Gill (2004) Computer-vision-based navigation system for the visually impaired. In: SIGGRAPH 2004: 31st International Conference on Computer Graphics and Interactive Techniques., August 8-12, 2004, Los Angeles, California.

Shaikh, Fatema and Lasebae, Aboubaker and Whitney, Gill (2004) Critical analysis of high speed wireless standards for transferring telementoring information. In: ICTTA'04: 2004 International conference on information & communication technologies: from theory to applications. Institute of Electrical and Electronics Engineers: French section. ISBN 9780780384828

Whitney, Gill and Wilson, Judy and Curzon, Paul and Keith, Suzette (2004) Strategies for finding government information by older people. In: 8th ERCIM International Workshop on User Interfaces for All, Vienna, Austria. User-Centered Interaction Paradigms for Universal Access in the Information Society. Springer Berlin, Heidelberg., pp. 34-41. ISBN 978-3-540-23375-6

2003

Adams, Ray G. and Whitney, Gill (2003) Accessibility for all and tacit knowledge requirements of systems at work. In: CEN / CENELEC / ETSI Conference on Accessibility for All, 27-28th March 2003, Nice.

Adams, Ray G. and Whitney, Gill and Langdon, Patrick (2003) Universal access heuristics for blind and visually impaired people who use ICT. In: Universal access in HCI: inclusive design in the information society. Stephanidis, Constantine, ed. Proceedings of HCI International 2003 (4: Hum). Lawrence Erlbaum Associates, pp. 13-17. ISBN 9780805849349

Belavkin, Roman V. (2003) Conflict resolution by random estimated costs. In: 17th European Simulation Multiconference, Nottingham UK.

Belavkin, Roman V. and Ritter, Frank E (2003) The use of entropy for analysis and control of cognitive models. In: The Fifth International Conference on Cognitive Modelling, 2003, Bamberg, Germany.

Dimitrova, Maia and Belavkin, Roman V. and Milankovic-Atkinson, Maya and Sadler, Chris and Murphy, Alan (2003) Learning behaviour patterns of classroom and distance students using flexible learning resources. In: International conference on computers in education 2003: a conference of the Asia-Pacific chapter of the association for the advancement of computing in education (AACE). Lee, Kar-tin and Mitchell, Koren, eds. ICCE, Hong Kong. ISBN 9789629491444

Gao, Xiaohong W. and Batty, Stephen and Fryer, Tim and Clark, John and Turkheimer, Federico (2003) Extraction of physiological information from 3D PET brain images. In: Visualization imaging and image processing. Villanueva, Juan J., ed. Acta Press, pp. 401-405. ISBN 0889863543

Gao, Xiaohong W. and Podladchikova, L. N. and Shaposhnikov, D. G. (2003) Image classification based on the informative regions properties. In: Proceedings of PRIA-6-2002 : 6th International conference on pattern recognition and image analysis: new information technologies. MAIK Nauka/Interperiodica, pp. 439-441.

Gao, Xiaohong W. and Shaposhnikov, D. G. and Podladchikova, L. N. (2003) Classification of images on the basis of the properties of informative regions. Pattern Recognition and Image Analysis, 13 (2). pp. 349-352. ISSN 1687-398X

Gao, Xiaohong W. and Shaposhnikov, D. G. and Podladchikova, L. N. and Golovan, Alexander and Shevtsova, Natalia and Gusakova, Valentina and Gizatdinova, Y. F. (2003) Application of the behavioural model of vision for invariant recognition of facial and traffic sign images. In: Neurocomputers and their application. [In Russian]. Gulaev, Yu V. and Galushkin, A. I., eds. Radiotechnics, Moscow, pp. 126-144.

Le, Huong T. and Abeysinghe, Geetha and Huyck, Christian R. (2003) Using cohesive devices to recognize rhetorical relations in text. In: 4th Computational Linguistics UK Research Colloquium (CLUK-4), January 2003, Edinburgh University.

Le, Huong T. and Abeysinghe, Geetha and Huyck, Christian R. (2003) A study to improve the efficiency of a discourse parsing system. In: 4th International Conference on Intelligent Text Processing and Computational Linguistics, (CICLing’03), 16-22 February 2003, Mexico City.

Whitney, Gill and Adams, Ray G. (2003) The need for an interface accessibility initiative. In: Universal Access: theoretical perspectives, practice, and experience: 7th ERCIM international workshop on user interfaces for all. Carbonell, Noelle and Stephanidis, Constantine, eds. Lecture Notes in Computer Science. (2615). Springer, Berlin. ISBN 3540008551

Whitney, Gill and Keith, Suzette and Bradley, Michael D. and Goodwin, Reg and Kolar, Irena and Wicks, Catherine and Wilson, Judy (2003) Mixed methods requirement capture in older drivers' use of complex driving information systems. In: The 3rd IEE conference on automotive electronics. Institution of Engineering Technology..

Whitney, Gill and Keith, Suzette and Wilson, Judy (2003) Developing independence: the potential of information and communication technologies (ICT) to assist elderly and disabled people. In: The good, the bad and the irrelevant: the user and the future of information and communication technologies: conference proceedings. Media Lab, University of Art and Design Helsinki, Helsinki. ISBN 9789515581259

Whitney, Gill (2003) The use of design for all to support elderly blind and partially sighted users to retain their independence. In: 10th International Conference on Human - Computer Interaction, Crete. Published in Universal Access in HCI: Inclusive Design in the Information Society. Stephanidis, Constantine, ed. Lawrence Erlbaum Associates., pp. 1340-1344. ISBN 0-8058-4933-5

Whitney, Gill and Van den Berghe, Luc (2003) Standardising access to information and electronic services for all in Europe. British journal of healthcare computing, 20 (9). ISSN 0265-5217

2002

Gao, Xiaohong W. and Batty, Stephen and Clark, John and Fryer, Tim and Blandford, Ann (2002) Content- based retrieval of lesioned brain images from a database of PET scans. In: Medical imaging 2002. : design and evaluation: 26-28 February 2002, San Diego, USA PACS and integrated medical information systems. Siegel, Eliot L. and Huang, H. K., eds. Proceedings of SPIE--the International society for optical engineering., Progre (4685). SPIE, Bellingham, pp. 128-136. ISBN 0819444308

Gao, Xiaohong W. and Batty, Stephen and Clark, John and Fryer, Tim (2002) Extraction of features from 3D PET images. In: Medical image understanding and analysis 2002. Houston, Alex and Zwiggelar, Reyer, eds. BMVA. ISBN 1901725219

Gao, Xiaohong W. and Batty, Stephen and Clark, John and Fryer, Tim and Turkheimer, Federico (2002) Towards archiving 3D PET brain images based on their physiological and visual content. In: International conference on diagnostic imaging and analysis, 18-20th Aug 2002, Shanghai, China.

Gao, Xiaohong W. and Golovan, Alexander and Hong, K. and Podladchikova, L. N. and Shevtsova, Natalia (2002) Road sign recognition by means of the behavioural model of vision. In: Proceedings of the third all-Russian conference on neuroinformatics [In Russian]. Moscow, pp. 63-69. ISBN 5726203992

Gao, Xiaohong W. and Podladchikova, L. N. and Shaposhnikov, D. G. and Hong, K. and Batty, Stephen and Golovan, Alexander and Gusakova, Valentina and Shevtsova, Natalia (2002) A new approach to traffic sign recognition. In: Proceedings of the international conference on imaging science, systems, and technology: CISST'02. Arabnia, Hamid R. and Mun, Youngsong, eds. CSREA Press, Athens, pp. 736-741. ISBN 1892512955 [set - 2 vols.]

Gao, Xiaohong W. and Podladchikova, L. N. and Shaposhnikov, D. G. and Shevtsova, Natalia and Hong, K. and Batty, Stephen and Golovan, Alexander and Gusakova, Valentina (2002) Vision models-based identification of traffic signs. In: CGIV’2002. Society for Imaging Science and Technology. ISBN 0892082399

Gao, Xiaohong W. and Shaposhnikov, D. G. and Podladchikova, L. N. and Golovan, Alexander and Shevtsova, Natalia and Hong, K. (2002) Road sign recognition by one fixation of space-variant sensor. In: Vision Interface ’2002: proceedings. Gorodnich, D. D. and Zhang, H., eds. Canadian Image Processing and Pattern Recognition Society, Quebec.

Gao, Xiaohong W. and Shaposhnikov, D. G. and Podladchikova, L. N. and Shevtsova, Natalia and Golovan, Alexander (2002) Invariant recognition of traffic signs. [Dataset]

Gorogiannis, Nikos and Ryan, Mark (2002) Requirements, specifications, and minimal refinement. In: WOLLIC 2002.

Gorogiannis, Nikos and Ryan, Mark D. (2002) Implementation of belief change operators using BDDs. Studia Logica, 70 (1). pp. 131-156. ISSN 00393215

Huyck, Christian R. and Bavan, A. S. (2002) Neural cell assemblies for practical applications. In: SCI 2002: ISAS: the 6th world multiconference on systemics, cybernetics and informatics: proceedings. Callaos, Nagib, ed. International Institute of Informatics and Systemics., Orlando, Florida., pp. 174-177. ISBN 9800781501

Whitney, Gill (2002) The need for and the problems with location aware services (LAS) for people with disabilities. In: First European workshop on location based service., September. 16th. 2002, London.

Whitney, Gill (2002) The navigation requirements of older people with a range of disabilities in complex pedestrian environments. In: People and computers XVI: memorable yet invisible / proceedings of HCI 2002. Faulkner, Xristine and Finlay, Janet and Detienne, Francoise, eds. BCS conference series . Springer, London. ISBN 1852336595

2001

Gao, Xiaohong W. and Batty, Stephen and Clark, John and Fryer, Tim and Blandford, Ann (2001) Extraction of sagittal symmetry planes from PET images. In: Visualization, imaging and image processing: proceedings of the IASTED international conference. Hamza, M. H., ed. IASTED, Calgary, pp. 428-433. ISBN 0889863091

Gao, Xiaohong W. and Bharath, Anil and Chapman, Neil and Witt, N. (2001) Computer algorithms for the automated measurement of retinal arteriolar diameters. British Journal of Opthalmology, 85 . pp. 74-79. ISSN 0007-1161

Gao, Xiaohong W. and Bharath, Anil and Stanton, Alice and Hughes, Alun and Chapman, Neil and Thom, Simon (2001) A method of vessel tracking for vessel diameter measurement on retinal images. In: 2001 international conference on image processing. IEEE, pp. 881-884. ISBN 0780367251

Gao, Xiaohong W. and Bharath, Anil and Stanton, Alice and Hughes, Alun and Chapman, Neil and Thom, Simon (2001) Measurement of vessel diameters on retinal for cardiovascular studies. In: Medical image understanding and analysis 2001. Claridge, Ela and Bamber, Jeff and Marlow, Keith, eds. Medical Imaging Understanding and Analysis. ISBN 1901725154

Gao, Xiaohong W. and Ren, Manling and Riley, K. J. and Eakins, J. P. and Briggs, P. (2001) Image retrieval through perceptual shape modelling. Library and Information Commission research report. (101). Council for Museums, Archives and Libraries, London. ISBN 1902394607

Whitney, Gill (2001) The future requirements for assistive technology devices to enable elderly and disabled people to use ICT equipment. In: Human factors in telecommunication: 18th international symposium. Nordby, Knut, ed. HFT Permanent Steering. ISBN 9788242304018

2000

Gao, Xiaohong W. and Bharath, Anil and Stanton, Alice and Hughes, Alun and Chapman, Neil and Thom, Simon (2000) Quantification and characterization of arteries in retinal images. Computer methods and programs in biomedicine, 63 (2). pp. 133-146. ISSN 0169-2607

Mitchell, Ian and Bavan, A. S. (2000) A connectionist inference model for pattern-directed knowledge representation. Expert systems, 17 (2). pp. 106-113. ISSN 0266-4720

Whitney, Gill (2000) How technology is assisting blind and partially sighted people to travel within and use the built environment. In: TechShare, November 2000, Birmingham.

Whitney, Gill (2000) The current state of electronic mobility devices and electronic orientation aids for blind and partially sighted people in the United Kingdom. In: Making independent language learning accessible. CIEL Project, Southampton.

Whitney, Gill (2000) The current state of electronic mobility devices and electronic orientation aids for blind and partially sighted people in the United Kingdom. In: Developments in low vision: abstracts of the fourth European conference on low vision. Blom, Theo, ed. De Blauwe Kamer Theofaan Groep. ISBN 9789076898018

This list was generated on Fri May 26 04:16:48 2017 BST.