City Research Online

A

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

B

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

C

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.

E

Eljinini, M. A. H. S. (2007). Towards the semantic web: The automation of knowledge acquisition from the medical web. (Unpublished Doctoral thesis, City, University of London)

G

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)

H

Harding, P. R. G. (2007). Gesture recognition by Fourier analysis techniques. (Unpublished Doctoral thesis, City, University of 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. doi: 10.3233/jcs-2007-15302

K

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. In: 10th International Conference on Engineering Applications of Neural Networks. EANN 2007: 10th International Conference on Engineering Applications of Neural Networks, 29 - 31 Aug 2007, Thessaloniki, Greece.

L

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.

M

Milioti, K. (2007). Conceptual modelling and systems theory with an application using real options analysis - Volume 1. (Unpublished Doctoral thesis, City, University of London)

Milioti, K. (2007). Conceptual modelling and systems theory with an application using real options analysis - Volume 2. (Unpublished Doctoral thesis, City, University of London)

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. In: 2007 IEEE 9Th International Workshop on Multimedia Signal Processing, MMSP 2007 - Proceedings. IEEE 9Th International Workshop on Multimedia Signal Processing, 1 - 3 October 2007, Crete, Greece.

N

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

Ngosi, T. N. (2007). Reconstruction of the international information technology standardisation process within a component-based design framework: A component based project setting perspective. (Unpublished Doctoral thesis, City, University of London)

R

Robinson, L. & Bawden, D. (2007). Evaluation of outreach services for primary care and mental health; assessing the impact. Health Information and Libraries Journal, 24(s1), 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.

S

Slabaugh, G. G., Dinh, H. Q. & Unal, G. B. (2007). A Variational Approach to the Evolution of Radial Basis Functions for Image Segmentation. In: CVPR. 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. In: Ayache, N, Ourselin, S & Maeder, AJ (Eds.), MICCAI (2). 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 L(PART 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. In: 6th International Conference on Control and Instrumentation in Nuclear Installations. 6th International Conference on Control and Instrumentation in Nuclear Installations, 11-13 Sep 2007, Manchester, UK.

U

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

W

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: ISBI. 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. In: SMC. 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.

Z

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.