City Research Online

Alvino, C. V., Unal, G. B., Slabaugh, G. G. , Peny, B. & Fang, T.view all authors (2007). Efficient segmentation based on Eikonal and diffusion equations. International Journal of Computer Mathematics, 84(9), pp. 1309-1324. doi: 10.1080/00207160701324249

Benetos, E., Kotti, M. & Kotropoulos, C. (2007). Large scale musical instrument identification. Paper presented at the 4th Sound and Music Computing Conference, 11 - 13 Jul 2007, Lefkada, Greece.

Child, C. H. T., Stathis, K. & Garcez, A. (2007). Learning to Act with RVRL Agents. Paper presented at the 14th RCRA Workshop, Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, Jul 2007, Rome, Italy.

Garcez, A., Gabbay, D. M., Ray, O. & Woods, J.view all authors (2007). Abductive reasoning in neural-symbolic learning systems. Topoi: An International Review of Philosophy, 26(1), pp. 37-49. doi: 10.1007/s11245-006-9005-5

Garcez, A., Lamb, L. C. & Gabbay, D. M. (2007). Connectionist modal logic: Representing modalities in neural networks. Theoretical Computer Science, 371(1-2), pp. 34-53. doi: 10.1016/j.tcs.2006.10.023

Gray, H.F. (2007). Evolutionary computing techniques to aid the acquisition and analysis of nuclear magnetic resonance data. (Unpublished Doctoral thesis, City University London)

Hunt, S., Clark, D. & Malacaria, P. (2007). A static analysis for quantifying information flow in a simple imperative language. Journal of Computer Security, 15(3), pp. 321-371.

Kloukinas, C. & Spanoudakis, G. (2007). A pattern-driven framework for monitoring security and dependability. Lecture Notes in Computer Science: Trust, Privacy and Security in Digital Business, 4657, pp. 210-218. doi: 10.1007/978-3-540-74409-2_23

Kotti, M, Benetos, E., Kotropoulos, C. & Pitas, Iview all authors (2007). A neural network approach to audio-assisted movie dialogue detection. Neurocomputing, 71(1-3), pp. 157-166. doi: 10.1016/j.neucom.2007.08.006

Kotti, M., Benetos, E. & Kotropoulos, C. (2007). Neural network-based movie dialogue detection. Paper presented at the EANN 2007: 10th International Conference on Engineering Applications of Neural Networks, 29 - 31 Aug 2007, Thessaloniki, Greece.

Lobachova, K. I. & Kharchenko, V. S. (2007). Assessing Software Vulnerabilities and Recovery Time Using Open Resources: Elements Of Technique And Results. Radioelectronic and Computer Systems, 8(27), pp. 61-65.

Mitrokotsa, A., Komninos, N. & Douligeris, C. (2007). Towards an effective intrusion response engine combined with intrusion detection in ad hoc networks. Paper presented at the The Sixth Annual Mediterranean Ad Hoc Networking WorkShop, 12th - 15th June 2007, Corfu, Greece.

Moschou, V., Kotti, M., Benetos, E. & Kotropoulos, C.view all authors (2007). Systematic comparison of BIC-based speaker segmentation systems. Paper presented at the IEEE 9Th International Workshop on Multimedia Signal Processing, 1 - 3 October 2007, Crete, Greece.

Ng, K.-C., Weyde, T., Larkin, O. , Neubarth, K., Koerselman, T. & Ong, B.view all authors (2007). 3d augmented mirror: a multimodal interface for string instrument learning and teaching with gesture support. ICMI '07 Proceedings of the 9th international conference on Multimodal interfaces, pp. 339-345. doi: 10.1145/1322192.1322252

Robinson, L. & Bawden, D. (2007). Evaluation of outreach services for primary care and mental health; assessing the impact. Health Information and Libraries Journal, 24(1), pp. 57-66. doi: 10.1111/j.1471-1842.2007.00745.x

Robinson, L. & Bawden, D. (2007). Measuring the impact of healthcare information services. Lithuanian Journal of Information Sciences, 40, pp. 95-103.

Slabaugh, G. G., Dinh, H. Q. & Unal, G. B. (2007). A Variational Approach to the Evolution of Radial Basis Functions for Image Segmentation. Paper presented at the IEEE Conference on Computer Vision and Pattern Recognition, 2007, 17-06-2007 - 22-07-2007, Minneapolis, USA. doi: 10.1109/CVPR.2007.383013

Slabaugh, G. G., Dinh, Q. & Unal, G. B. (2007). A Variational Approach to the Evolution of Radial Basis Functions for Image Segmentation. In: IEEE Conference on Computer Vision and Pattern Recognition, 2007 (CVPR '07). (pp. 1-8). IEEE. doi: 10.1109/CVPR.2007.383013

Slabaugh, G. G., Kong, K., Unal, G. B. & Fang, T.view all authors (2007). Variational Guidewire Tracking Using Phase Congruency. Paper presented at the 10th International Conference on Medical Image Computing and Computer-Assisted Intervention - MICCAI 2007, 29-10-2007 - 02-11-2007, Brisbane, Australia. doi: 10.1007/978-3-540-75759-7_74

Slabaugh, G. G., Kong, K., Unal, G. B. & Fang, T.view all authors (2007). Variational guidewire tracking using phase congruency. Lecture Notes in Computer Science, 4792(2), pp. 612-619. doi: 10.1007/978-3-540-75759-7_74

Strigini, L. ORCID: 0000-0002-4246-2866 (2007). Achieving effective diversity between redundant software-based components. Paper presented at the 6th International Conference on Control and Instrumentation in Nuclear Installations, 11-13 Sep 2007, Manchester, UK.

Unal, G. B., Yezzi, A. J., Soatto, S. & Slabaugh, G. G.view all authors (2007). A Variational Approach to Problems in Calibration of Multiple Cameras.. IEEE Transactions on Pattern Analysis and Machine Intelligence, 29(8), pp. 1322-1338. doi: 10.1109/TPAMI.2007.1035

Wang, Z., Slabaugh, G. G., Unal, G. B. & Fang, T.view all authors (2007). Registration of Ultrasound Images Using an Information-Theoretic Feature Detector. Paper presented at the The Fourth IEEE International Symposium on Biomedical Imaging (ISBI ’07), 12-04-2007 - 15-04-2007, Washingon D.C., USA. doi: 10.1109/ISBI.2007.356957

Wang, Z., Slabaugh, G. G., Unal, G. B. & Fang, T.view all authors (2007). Registration of Ultrasound Images Using an Information-Theoretic Feature Detector. In: 4th IEEE International Symposium on Biomedical Imaging: From Nano to Macro, 2007. ISBI 2007. (pp. 736-739). IEEE. doi: 10.1109/ISBI.2007.356957

Wang, Z., Slabaugh, G. G., Unal, G. B. & Zhou, M.view all authors (2007). An information-theoretic detector based scheme for registration of speckled medical images. In: IEEE International Conference on Systems, Man and Cybernetics, 2007. ISIC. (pp. 1026-1030). IEEE. doi: 10.1109/ICSMC.2007.4413864

Wang, Z., Slabaugh, G. G., Unal, G. B. , Zhou, M. & Fang, T.view all authors (2007). An information-theoretic detector based scheme for registration of speckled medical images. Paper presented at the IEEE International Conference on Systems, Man and Cybernetics, 2007, 07-10-2007 - 10-10-2007, Montreal, Canada. doi: 10.1109/ICSMC.2007.4413864

Weyde, T. (2007). Automatic Semantic Annotation of Music with Harmonic Structure. Paper presented at the 4th Sound and Music Computing Conference, 11 - 13 Jul 2007, Lefkada, Greece.

Weyde, T., Ng, K., Neubarth, K. , Larkin, O., Koerselman, T. & Ong, B.view all authors (2007). A Systemic Approach to Music Performance Learning with Multimodal Technology. Paper presented at the Support E-Learning Conference, 2007, Quebec City, Canada.

Zisman, A. (2007). A Static Verification Framework for Secure Peer-to-Peer Applications. Paper presented at the Internet and Web Applications and Services, 2007. ICIW '07. Second International Conference on, 13 - 19 May 2007, Mauritius.