Artificial Intelligence group
| Title | Artificial Intelligence group |
|---|
Latest research outputs
Sort by Date Title
On the correctness of a branch displacement algorithm
Boender, J. and Sacerdoti Coen, C. 2014. On the correctness of a branch displacement algorithm. in: Ábrahám, E. and Havelund, K. (ed.) 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 Springer.Book chapter
Employable knowledge: benchmarking education about standardization in the UK
Whitney, G., Keith, S., Selvaraj, N., Maguire, M. and Nicolle, C. 2014. Employable knowledge: benchmarking education about standardization in the UK. London, UK British Standards Institute.Other
Are information or data patterns correlated with consciousness?
Gamez, D. 2016. Are information or data patterns correlated with consciousness? Topoi. 35 (1), pp. 225-239. https://doi.org/10.1007/s11245-014-9246-7Article
Assessment techniques in cross-cultural usability evaluation
Jagne, J., Smith, S. and Duncker-Gassen, E. 2006. Assessment techniques in cross-cultural usability evaluation. IADIS WWW/Internet International Conference 2006. Murcia, SpainConference paper
Conscious sensation, conscious perception and sensorimotor theories of consciousness
Gamez, D. 2014. Conscious sensation, conscious perception and sensorimotor theories of consciousness. in: Bishop, J. and Martin, A. (ed.) Contemporary Sensorimotor Theory Cham Springer. pp. 159-174Book chapter
The informational mind and the information integration theory of consciousness
Gamez, D. 2014. The informational mind and the information integration theory of consciousness. International Journal of Machine Consciousness. 6 (1), pp. 21-28. https://doi.org/10.1142/S1793843014400046Article
The measurement of consciousness: a framework for the scientific study of consciousness
Gamez, D. 2014. The measurement of consciousness: a framework for the scientific study of consciousness. Frontiers in Psychology. 5, pp. 1-15. https://doi.org/10.3389/fpsyg.2014.00714Article
Can we prove that there are computational correlates of consciousness in the brain?
Gamez, D. 2014. Can we prove that there are computational correlates of consciousness in the brain? Journal of Cognitive Science. 15 (2), pp. 149-186. https://doi.org/10.17791/jcs.2014.15.2.149Article
CAF-FrFT: a center-affine-filter with fractional Fourier transform to reduce the cross-terms of Wigner distribution
Zheng, L., Shi, D. and Zhang, J. 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. https://doi.org/10.1016/j.sigpro.2013.06.031Article
Where antibiotic resistance mutations meet quorum-sensing
Krašovec, R., Belavkin, R., Aston, J., Channon, A., Aston, E., Rash, B., Kadirvel, M., Forbes, S. and Knight, C. 2014. Where antibiotic resistance mutations meet quorum-sensing. Microbial Cell. 1 (7), pp. 250-252. https://doi.org/10.15698/mic2014.07.158Article
On variational definition of quantum entropy
Belavkin, R. 2014. On variational definition of quantum entropy. 34th International Workshop on Bayesian Inference and Maximum Entropy Methods in Science and Engineering (MaxEnt 2014). Clos Lucé, Amboise, France 21 - 26 Sep 2014 American Institute of Physics (AIP). https://doi.org/10.1063/1.4905979Conference paper
Post and pre-compensatory Hebbian Learning for categorisation
Huyck, C. and Mitchell, I. 2014. Post and pre-compensatory Hebbian Learning for categorisation. Cognitive Neurodynamics. 8 (4), pp. 299-311. https://doi.org/10.1007/s11571-014-9282-4Article
Asymmetry of risk and value of information
Belavkin, R. 2014. Asymmetry of risk and value of information. in: Vogiatzis, C., Walteros, J. and Pardalos, P. (ed.) Dynamics of Information Systems: Computational and Mathematical Challenges Springer.Book chapter
Evaluating the impact of embodied conversational agents (ECAs) attentional behaviors on user retention of cultural content in a simulated mobile environment
Doumanis, I. and Smith, S. 2014. Evaluating the impact of embodied conversational agents (ECAs) attentional behaviors on user retention of cultural content in a simulated mobile environment. GazeIn '14: 7th Workshop on Eye Gaze in Intelligent Human Machine Interaction: Eye-Gaze & Multimodality. Istanbul, Turkey 16 - 16 Nov 2014 Association for Computing Machinery (ACM). pp. 27-32 https://doi.org/10.1145/2666642.2666650Conference keynote
Mutation rate plasticity in rifampicin resistance depends on Escherichia coli cell–cell interactions
Krašovec, R., Belavkin, R., Aston, J., Channon, A., Aston, E., Rash, B., Kadirvel, M., Forbes, S. and Knight, C. 2014. Mutation rate plasticity in rifampicin resistance depends on Escherichia coli cell–cell interactions. Nature Communications. 5, pp. 1-8. https://doi.org/10.1038/ncomms4742Article
Feature-wise representation for both still and motion 3D medical images
Gao, X. 2014. Feature-wise representation for both still and motion 3D medical images. 2014 IEEE Southwest Symposium on Image Analysis and Interpretation (SSIAI). San Diego, USA 06 - 09 Apr 2014 IEEE. pp. 1-4 https://doi.org/10.1109/SSIAI.2014.6806014Conference paper
Cardiac motion reconstruction using LKT algorithm from 2D and 3D echocardiography
Gao, A., Li, W., Lin, C., Loomes, M. and Gao, X. 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.Book chapter
Context-aware adaptive applications: fault patterns and their automated identification
Sama, M., Elbaum, S., Raimondi, F., Rosenblum, D. and Wang, Z. 2010. Context-aware adaptive applications: fault patterns and their automated identification. IEEE Transactions on Software Engineering. 36 (5), pp. 644-661. https://doi.org/10.1109/TSE.2010.35Article
The case for integrating needs and preferences in the internet of things
Heath, A., Whitney, G., Kolar, I. and Springett, M. 2013. The case for integrating needs and preferences in the internet of things. The Sixth International Conference on Advances in Human Oriented and Personalized Mechanisms, Technologies, and Services: CENTRIC 2013. Venice, Italy 27 Oct - 01 Nov 2013Conference paper
A framework for digital investigations: a case study using BPB modifications
Mitchell, I. 2011. A framework for digital investigations: a case study using BPB modifications. 6th International Annual Workshop on Digital Forensics and Incident Analysis (WDFIA 2011). Kingston University, London Jul 2011Conference paper
Fractal property of generalized M-set with rational number exponent
Liu, S., Cheng, X., Lan, C., Fu, W., Zhou, J., Li, Q. and Gao, G. 2013. Fractal property of generalized M-set with rational number exponent. Applied Mathematics and Computation. 220, pp. 668-675. https://doi.org/10.1016/j.amc.2013.06.096Article
Working internationally to meet the academic needs of accessibility professionals
Whitney, G. 2013. Working internationally to meet the academic needs of accessibility professionals. Encarnação, P., Azevedo, L., Gelderblom, G., Newell, A. and Mathiassen, N. (ed.) 12th European AAATE Conference. Vilamoura, Portugal 19 - 22 Sep 2013 IOS Press. pp. 1092-1095 https://doi.org/10.3233/978-1-61499-304-9-1092Conference paper
The use and usability of accessibility standardization
Whitney, G. 2013. The use and usability of accessibility standardization. Encarnação, P., Azevedo, L., Gelderblom, G., Newell, A. and Mathiassen, N. (ed.) 12th European AAATE Conference. Vilamoura, Portugal 19 - 22 Sep 2013 IOS Press. pp. 298-302 https://doi.org/10.3233/978-1-61499-304-9-298Conference paper
Content-based petrieval of 3D medical images
Qian, Y., Gao, X., Loomes, M., Comley, R., Barn, B., Hui, R. and Tian, Z. 2011. Content-based petrieval of 3D medical images. in: Gemert-Pijnen, L., Ossebaard, H. and Hämäläinen, P. (ed.) eTELEMED 2011, The Third International Conference on eHealth, Telemedicine, and Social Medicine IARIA. pp. 7-12Book chapter
UND: unite-and-divide method in Fourier and Radon domains for line segment detection
Shi, D., Gao, J., Rahmdel, P., Antolovich, M. and Clark, T. 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. https://doi.org/10.1109/TIP.2013.2246522Article
Mechanical verification of cryptographic protocols
Cheng, X., Ma, X., Huang, S. and Cheng, M. 2010. Mechanical verification of cryptographic protocols. Network Security. https://doi.org/10.1007/978-0-387-73821-5_5Article
Evaluation of collaborative filtering algorithms using a small dataset
Roda, F., Liberti, L. and Raimondi, F. 2011. Evaluation of collaborative filtering algorithms using a small dataset. WEBIST 2011. http://www.webist.org/WEBIST2011/Conference paper
Procedural aspects of the new regime for the admissibility of expert evidence: what the digital forensic expert needs to know
Sallavaci, O. and George, C. 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. 5 (3/4), pp. 161-171. https://doi.org/10.1504/IJESDF.2013.058645Article
New admissibility regime for expert evidence: the likely impact on digital forensics
Sallavaci, O. and George, C. 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. https://doi.org/10.1504/IJESDF.2013.054420Article
The Internet and pharmaceutical drugs in the era of interoperable eHealth systems across the European Union
George, C. 2013. The Internet and pharmaceutical drugs in the era of interoperable eHealth systems across the European Union. in: George, C., Whitehouse, D. and Duquenoy, P. (ed.) eHealth: Legal, Ethical and Governance Challenges Berlin, Germany Springer. pp. 135-164Book chapter
Assessing legal, ethical and governance challenges in eHealth
George, C., Whitehouse, D. and Duquenoy, P. 2013. Assessing legal, ethical and governance challenges in eHealth. in: George, C., Whitehouse, D. and Duquenoy, P. (ed.) eHealth: Legal, Ethical and Governance Challenges Berlin, Germany Springer. pp. 3-22Book chapter
KCMAC-BYY: Kernel CMAC using Bayesian Ying-Yang learning
Tian, K., Guo, B., Liu, G., Mitchell, I., Cheng, D. and Zhao, W. 2013. KCMAC-BYY: Kernel CMAC using Bayesian Ying-Yang learning. Neurocomputing. 101, pp. 24-31. https://doi.org/10.1016/j.neucom.2012.06.028Article
A web map service implementation for the visualization of multidimensional gridded environmental data
Blower, J., Gemell, A., Griffiths, G., Haines, K., Santokhee, A. and Yang, X. 2013. A web map service implementation for the visualization of multidimensional gridded environmental data. Environmental Modelling and Software. 47, pp. 218-224. https://doi.org/10.1016/j.envsoft.2013.04.002Article
Minimum of information distance criterion for optimal control of mutation rate in evolutionary systems
Belavkin, R. 2013. Minimum of information distance criterion for optimal control of mutation rate in evolutionary systems. in: Accardi, L., Freudenberg, W. and Ohya, M. (ed.) Quantum Bio-Informatics V : Proceedings of the Quantum Bio-Informatics 2011. Tokyo University of Science, Japan, 7 – 12 March 2011 World Scientific Publishing Co. Pte Ltd.Book chapter
Law of cosines and Shannon-Pythagorean theorem for quantum information
Belavkin, R. 2013. Law of cosines and Shannon-Pythagorean theorem for quantum information. in: Nielsen, F. and Barbaresco, F. (ed.) Geometric Science of Information : First International Conference, GSI 2013, Paris, France, August 28-30, 2013. Proceedings Berlin Springer.Book chapter
An empirical study on the effects of embodied conversational agents on user retention performance and perception in a simulated mobile environment
Doumanis, I. and Smith, S. 2013. An empirical study on the effects of embodied conversational agents on user retention performance and perception in a simulated mobile environment. Botía, J. and Charitos, D. (ed.) 2nd Workshop on Future Intelligent Educational Environments Conference (WOFIEE’13). Athens, Greece 16 - 17 Jul 2013 IOS Press. pp. 431-442 https://doi.org/10.3233/978-1-61499-286-8-431Conference paper
The synergy of 3D SIFT and sparse codes for classification of viewpoints from echocardiogram videos
Qian, Y., Wang, L., Wang, C. and Gao, X. 2013. The synergy of 3D SIFT and sparse codes for classification of viewpoints from echocardiogram videos. Greenspan, H., Müller, H. and Syeda-Mahmood, T. (ed.) 3rd MICCAI International Workshop on Medical Content-Based Retrieval for Clinical Decision Support. Nice, France 01 - 01 Oct 2012 Berlin, Heidelberg Springer. https://doi.org/10.1007/978-3-642-36678-9_7Conference item
3D CBIR with sparse coding for image-guided neurosurgery
Qian, Y., Hui, R. and Gao, X. 2013. 3D CBIR with sparse coding for image-guided neurosurgery. Signal Processing. 93 (6), pp. 1673-1683. https://doi.org/10.1016/j.sigpro.2012.10.020Article
Optimal measures and Markov transition kernels
Belavkin, R. 2013. Optimal measures and Markov transition kernels. Journal of Global Optimization. 55 (2), pp. 387-416. https://doi.org/10.1007/s10898-012-9851-1Article
Advances in new technologies, interactive interfaces and communicability
Cipolla Ficarra, F., Veltman, K., Verber, D., Cipolla-Ficarra, M. and Kammueller, F. (ed.) 2012. Advances in new technologies, interactive interfaces and communicability. Springer Verlag.Book
0
total views0
total downloads0
views this month0
downloads this month