Artificial Intelligence group
| Title | Artificial Intelligence group |
|---|
Latest research outputs
Sort by Date Title
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
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
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
Patients, trust and ethics in information privacy in eHealth
Duquenoy, P., Mekawie, N. and Springett, M. 2013. Patients, trust and ethics in information privacy in eHealth. in: George, C., Whitehouse, D. and Duquenoy, P. (ed.) eHealth: legal, ethical and governance challenges Germany Springer. pp. 275-295Book chapter
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
Sound tools for package dependency management in free and open source software distributions
Boender, J. 2007. Sound tools for package dependency management in free and open source software distributions. Feller, J., Fitzgerald, B., Scacchi, W. and Sillitti, A. (ed.) Berlin and Heidelberg, Germany Springer.Conference poster
Strong dependencies between software components
Abate, P., Di Cosmo, R., Boender, J. and Zacchiroli, S. 2009. Strong dependencies between software components. in: 2009 3rd International Symposium on Empirical Software Engineering and Measurement (ESEM 2009). IEEE. pp. 89 -99Book chapter
Efficient computation of dominance in component systems (short paper)
Boender, J. 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 Berlin and Heidelberg, Germany Springer.Book chapter
A semi-lattice model for multi-lateral security
Kammueller, F. 2013. A semi-lattice model for multi-lateral security. in: Data privacy management and autonomous spontaneous security Berlin, Germany Springer.Book chapter
A security model for functional active objects
Kammueller, F. 2012. A security model for functional active objects. Francisco, C., Kim, V., Miguel, C. and Andreas, K. (ed.) First International Symposium Communicability, Computer Graphics and Innovative Design for Interactive Systems (CCGIDIS 2011). Berlin Springer. https://doi.org/10.1007/978-3-642-33760-4_4Conference paper
A security model for functional active objects with an implementation in Erlang
Fleck, A. and Kammueller, F. 2011. A security model for functional active objects with an implementation in Erlang. in: Ficarra, F., Kratky, A., Veltman, K., Ficarra, M., Nicol, E. and Brie, M. (ed.) Computational informatics, social factors and new information technologies: hypermedia perspectives and avant-garde experiences in the era of communicability expansion Bergamo, Italy Blue Herons.Book chapter
Engineering security protocols with modelchecking – Radius-SHA256 and secured simple protocol.
Kammueller, F., Mapp, G., Patel, S. and Sani, A. 2012. Engineering security protocols with modelchecking – Radius-SHA256 and secured simple protocol. International Conference on Internet Monitoring and Protection (ICIMP 2012). Stuttgart, Germany 27 May - 01 Jun 2012 Xpert Publishing Service.Conference paper
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
Kammueller, F. 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.Article
Reviews for the American Mathematical Society (AMS): Russell O’Connor. Classical mathematics for a constructive world. MSCS (21): 861–882, Cambridge University Press. 2010.
Kammueller, F. 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.Article
A locally nameless theory of objects
Henrio, L., Kammueller, F., Lutz, B. and Sudhof, H. 2010. A locally nameless theory of objects. SAFA Annual Workshop on Formal Techniques (SAFA’2010). 2229 Route des Crêtes, 06560, Valbonne, Provence-Alpes-Côte d'Azur, FranceConference paper
Locally nameless sigma calculus
Henrio, L., Kammueller, F., Lutz, B. and Sudhof, H. 2010. Locally nameless sigma calculus. Archive of Formal Proof.Article
Formalizing statecharts using hierarchical automata
Helke, S. and Kammueller, F. 2010. Formalizing statecharts using hierarchical automata. Archive of Formal Proof.Article
Radius-SHA256 – verified remote authentication with secure hashing.
Kammueller, F. and Patel, S. 2011. Radius-SHA256 – verified remote authentication with secure hashing. First Global Conference on Communication, Science and Information Engineering, CCSIE’11. Middlesex University 25 - 27 Jul 2011Conference paper
ASPfun: a typed functional active object calculus
Henrio, L., Kammueller, F. and Lutz, B. 2012. ASPfun: a typed functional active object calculus. Science of Computer Programming. 77 (7-8), pp. 823-847. https://doi.org/10.1016/j.scico.2010.12.008Article
Application of verification techniques to security: model checking insider attacks
Kammueller, F., Probst, C. and Raimondi, F. 2012. Application of verification techniques to security: model checking insider attacks. 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. Venice, Italy 28 - 29 Mar 2012 Blue Herons editions.Conference paper
Certification or conformance: making a successful commitment to WCAG 2.0
Keith, S., Floratos, N. and Whitney, G. 2012. Certification or conformance: making a successful commitment to WCAG 2.0. Vigo, M., Abascal, J., Lopes, R. and Salomoni, P. (ed.) 9th International Cross-Disciplinary Conference on Web Accessibility. Lyon, France 16 - 17 Apr 2012 New York Association for Computing Machinery (ACM). https://doi.org/10.1145/2207016.2207029Conference paper
Bridging the abridged – the diffusion of Telemedicine in Europe and China
Gao, X., Loomes, M. and Comley, R. 2012. Bridging the abridged – the diffusion of Telemedicine in Europe and China. in: Rodrigues, J., Díez, I. and Abajo, B. (ed.) Telemedicine and e-health services, policies, and applications: avancements and developments USA IGI Global. pp. 451-495Book chapter
The state of the art of medical imaging technology: from creation to archive and back.
Gao, X., Qian, Y. and Hui, R. 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. https://doi.org/10.2174/1874431101105010073Article
Critical mutation rate has an exponential dependence on population size
Channon, A., Aston, E., Day, C., Belavkin, R. and Knight, C. 2011. Critical mutation rate has an exponential dependence on population size. Lenaerts, T., Giacobini, M., Bersini, H., Bourgine, P., Dorigo, M. and Doursat, R. (ed.) ECAL 2011: The 11th European Conference on Artificial Life. Paris, France 08 - 12 Aug 2011 The MIT Press. pp. 117-124 https://doi.org/10.7551/978-0-262-29714-1-ch021Conference paper
Local-global optical flow for image registration agents
Zayouna, A., Comley, R. and Shi, D. 2011. Local-global optical flow for image registration agents. iUBICOM ’11: The 6th International Workshop on Ubiquitous and Collaborative Computing. Northumbria University, Newcastle 04 Jul 2011Conference paper
Suppressing the cross terms of the Wigner Distribution with an adaptive frequency smoothing window
Zheng, L. and Shi, D. 2011. Suppressing the cross terms of the Wigner Distribution with an adaptive frequency smoothing window. Arabnia, H., Deligiannidis, L. and Schaefer, G. (ed.) International Conference on Image Processing, Computer Vision, & Pattern Recognition (IPCV). Las Vegas 18 - 21 Jul 2011 CSREA Press.Conference paper
Advanced Radon transform using generalized interpolated Fourier method for straight line detection
Zheng, L. and Shi, D. 2011. Advanced Radon transform using generalized interpolated Fourier method for straight line detection. Computer Vision and Image Understanding. 115 (2), pp. 152-160. https://doi.org/10.1016/j.cviu.2010.11.009Article
Empirically grounded claims about consciousness in computers
Gamez, D. 2012. Empirically grounded claims about consciousness in computers. International Journal of Machine Consciousness. 4 (2), pp. 421-438. https://doi.org/10.1142/s1793843012400240Article
A neurocomputational approach to prepositional phrase attachment ambiguity resolution
Nadh, K. and Huyck, C. 2012. A neurocomputational approach to prepositional phrase attachment ambiguity resolution. Neural Computation. 24 (7), pp. 1906-1925. https://doi.org/10.1162/NECO_a_00290Article
Dynamics of information and optimal control of mutation in evolutionary systems
Belavkin, R. 2012. Dynamics of information and optimal control of mutation in evolutionary systems. in: Sorokin, A., Murphey, R., Thai, M. and Pardalos, P. (ed.) Dynamics of Information Systems: Mathematical Foundations New York Springer.Book chapter
Embedding information literacy skills as employability attributes
Smith, S. and Edwards, J. 2012. Embedding information literacy skills as employability attributes. LILAC 2012. Glasgow, Scotland 11 - 13 Apr 2012Conference item
A cooperative particle swarm optimizer with statistical variable interdependence learning
Sun, L., Yoshida, S., Cheng, X. and Liang, Y. 2012. A cooperative particle swarm optimizer with statistical variable interdependence learning. Information Sciences. 186 (1), pp. 20-39. https://doi.org/10.1016/j.ins.2011.09.033Article
A user study on curved edges in graph visualization
Xu, K., Rooney, C., Passmore, P., Ham, D. and Nguyen, P. 2012. A user study on curved edges in graph visualization. IEEE Transactions on Visualization and Computer Graphics. 18 (12), pp. 2449 -2456. https://doi.org/10.1109/TVCG.2012.189Article
0
total views0
total downloads0
views this month0
downloads this month