City Research Online

Article

Andrienko, N. & Andrienko, G. (2010). Spatial generalization and aggregation of massive movement data.. IEEE Transactions on Visualization and Computer Graphics, 17(2), pp. 205-219. doi: 10.1109/tvcg.2010.44

Anglade, A., Benetos, E., Mauch, M. & Dixon, S.view all authors (2010). Improving music genre classification using automatically induced harmony rules. Journal of New Music Research, 39(4), pp. 349-361. doi: 10.1080/09298215.2010.525654

Anisetti, M., Ardagna, C. A., Guida, F. , Gürgens, S., Lotz, V., Maña, A., Pandolfo, C., Pazzaglia, J., Pujol, G. & Spanoudakis, G.view all authors (2010). ASSERT4SOA: Toward Security Certification of Service-Oriented Applications. OTM Workshops, 6428 L, pp. 38-40. doi: 10.1007/978-3-642-16961-8_11

Baloch, S., Melkisetoglu, R., Flöry, S. , Azernikov, S., Slabaugh, G. G., Zouhar, A. & Fang, T.view all authors (2010). Automatic Detection of Anatomical Features on 3D Ear Impressions for Canonical Representation.. Lecture Notes in Computer Science, 6363, pp. 555-562. doi: 10.1007/978-3-642-15711-0_69

Basdekis, I., Klironomos, I., Metaxas, I. & Stephanidis, C.view all authors (2010). An overview of web accessibility in Greece: a comparative study 2004-2008. Universal Access in the Information Society, 9(2), pp. 185-190. doi: 10.1007/s10209-009-0166-z

Benetos, E. & Kotropoulos, C. (2010). Non-Negative Tensor Factorization Applied to Music Genre Classification. IEEE Transactions on Audio, Speech & Language Processing, 18(8), pp. 1955-1967. doi: 10.1109/tasl.2010.2040784

Benetos, E. & Stylianou, Y. (2010). Auditory Spectrum-Based Pitched Instrument Onset Detection. IEEE Transactions on Audio, Speech & Language Processing, 18(8), pp. 1968-1977. doi: 10.1109/tasl.2010.2040785

Charalambous, T. & Kalyvianaki, E. (2010). A min-max framework for CPU resource provisioning in virtualized servers using ℋ∞ Filters. Decision and Control (CDC), 2010 49th IEEE Conference on, 126, pp. 3778-3783. doi: 10.1109/cdc.2010.5717375

Cummins, J. & Bawden, D. (2010). Accounting for information: Information and knowledge in the annual reports of FTSE 100 companies. Journal of Information Science, 36(3), pp. 283-305. doi: 10.1177/0165551510361429

Farion, K., Michalowski, W., Wilk, S. , O'Sullivan, D. & Matwin, S.view all authors (2010). A tree-based decision model to support prediction of the severity of asthma exacerbations in children. Journal of Medical Systems, 34(4), pp. 551-562. doi: 10.1007/s10916-009-9268-7

Guillame-Bert, M., Broda, K. & Garcez, A. (2010). First-order logic learning in artificial neural networks. International Joint Conference on Neural Networks (IJCNN 2010), doi: 10.1109/IJCNN.2010.5596491

Howe, J. M., King, A. & Lawrence-Jones, C. (2010). Quadtrees as an Abstract Domain. Electronic Notes Theoretical Computer Science, 267(1), pp. 89-100. doi: 10.1016/j.entcs.2010.09.008

Kalyvianaki, E., Charalambous, T. & Hand, S. (2010). Resource Provisioning for Multi-Tier Virtualized Server Applications. Computer Measurement Group (CMG) Journal, 126(Spring), pp. 6-17.

Mahbub, K. & Spanoudakis, G. (2010). Proactive SLA Negotiation for Service Based Systems. 2010 6th World Congress on Services (SERVICES-1), pp. 519-526. doi: 10.1109/services.2010.15

Mondragon, E. ORCID: 0000-0003-4180-1261 & Murphy, R. A. (2010). Perceptual learning in an appetitive Pavlovian procedure: analysis of the effectiveness of the common element.. Behavioural Processes, 83(3), pp. 247-256. doi: 10.1016/j.beproc.2009.12.007

O'Sullivan, D., Wilk, S., Michalowski, W. & Farion, K.view all authors (2010). Automatic indexing and retrieval of encounter-specific evidence for point-of-care support. Journal of Biomedical Informatics, 43(4), pp. 623-631. doi: 10.1016/j.jbi.2010.03.003

Siveroni, I., Zisman, A. & Spanoudakis, G. (2010). A UML-based static verification framework for security. Requirements Engineering, 15(1), pp. 95-118. doi: 10.1007/s00766-009-0091-y

Slabaugh, G. G., Whited, B., Rossignac, J. , Fang, T. & Unal, G. B.view all authors (2010). 3D ball skinning using PDEs for generation of smooth tubular surfaces. Computer-Aided Design, 42(1), pp. 18-26. doi: 10.1016/j.cad.2009.03.004

Slabaugh, G. G., Yang, X., Ye, X. , Boyes, R, & Beddoe, G.view all authors (2010). A Robust and Fast System for CTC Computer-Aided Detection of Colorectal Lesions. Algorithms, 3(1), pp. 21-43. doi: 10.3390/a3010021

Spanoudakis, G. & Zisman, A. (2010). Discovering Services during Service-Based System Design Using UML. IEEE Transactions on Software Engineering, 36(3), pp. 371-389. doi: 10.1109/tse.2009.88

Weller, P., Rakhmetova, L., Ma, Q. & Mandersloot, G.view all authors (2010). Evaluation of a wearable computer system for telemonitoring in a critical environment. Personal and Ubiquitous Computing, 14(1), pp. 73-81. doi: 10.1007/s00779-009-0231-x

Yang, X., Tek, B., Beddoe, G. & Slabaugh, G. G.view all authors (2010). Feature Selection for Computer-Aided Polyp Detection using MRMR. SPIE Proceedings, 7624, article number 76241B. doi: 10.1117/12.844165

Ye, X., Beddoe, G. & Slabaugh, G. G. (2010). Automatic Graph Cut Segmentation of Lesions in CT Using Mean Shift Superpixels. International Journal of Biomedical Imaging (IJBI), 2010(1), pp. 1-14. doi: 10.1155/2010/983963

Book Section

Alonso, E. & Mondragon, E. ORCID: 0000-0003-4180-1261 (2010). Computational models of learning and beyond: Symmetries of associative learning. In: Computational Neuroscience for Advancing Artificial Intelligence: Models, Methods and Applications. (pp. 316-332). IGI Global. doi: 10.4018/978-1-60960-021-1.ch013

Howe, J. M. & King, A. (2010). A pearl on SAT solving in Prolog. In: International Symposium on Functional and Logic Programming, pages 165-174. Lecture Notes in Computer Science (6009). . Springer. doi: 10.1007/978-3-642-12251-4_13

Jennings, D., Alonso, E., Mondragon, E. ORCID: 0000-0003-4180-1261 & Bonardi, C.view all authors (2010). Temporal uncertainty during overshadowing: A temporal difference account. In: Computational Neuroscience for Advancing Artificial Intelligence: Models, Methods and Applications. (pp. 46-55). IGI Global. doi: 10.4018/978-1-60960-021-1.ch003

Conference or Workshop Item

Benetos, E. & Dixon, S. (2010). Multiple-F0 estimation of piano sounds exploiting spectral structure and temporal evolution. In: ISCA Tutorial and Research Workshop on Statistical and Perceptual Audition. ISCA Tutorial and Research Workshop on Statistical and Perceptual Audition, 25 Sep 2010, Makuhari, Japan.

Bernardy, J-P., Jansson, P. & Paterson, R. A. (2010). Parametricity and Dependent Types. Paper presented at the International Conference on Functional Programming, 27-09-2010 - 29-09-2010, Baltimore, USA. doi: 10.1145/1932681.1863592

Child, C. H. T., Parkar, S., Mohamedally, D. , Haddad, M. & Doroana, R.view all authors (2010). Development of a Virtual Laparoscopic Trainer using Accelerometer Augmented Tools to Assess Performance in Surgical training. In: http://www.ipeg.org/meetings/documents/IPEG_finalProgram2010.pdf. 19th International Pediatric Endosurgery Group (IPEG) Congress, 8 - 12 Jun 2010, Hawaii, US.

Comuzzi, M. & Spanoudakis, G. (2010). Dynamic set-up of monitoring infrastructures for service based systems. In: Shin, S. Y., Ossowski, S., Schumacher, M. , Palakal, M. J. & Hung, C.view all authors (Eds.), Proceedings of the 2010 ACM Symposium on Applied Computing. SAC'10: The 2010 ACM Symposium on Applied Computing, 22-26 Mar 2010, Sierre, Switzerland. doi: 10.1145/1774088.1774591

Comuzzi, M., Vonk, J. & Grefen, P. (2010). Continuous Monitoring in Evolving Business Networks. In: Meersman, R, Dillon, TS & Herrero, P (Eds.), OTM Conferences (1). Confederated International Conferences: CoopIS, IS, DOA and ODBASE,, 25-10-2010 - 29-10-2010, Crete, Greece. doi: 10.1007/978-3-642-16934-2_14

Garcez, A. (2010). Neurons and symbols: a manifesto. Paper presented at the Dagstuhl Seminar Proceedings 10302. Learning paradigms in dynamic environments, 25 - 30 July 2010, Dagstuhl, Germany.

Komendantskaya, E., Broda, K. & Garcez, A. (2010). Using inductive types for ensuring correctness of neuro-symbolic computations. Paper presented at the 6th Conference on Computability in Europe, CiE 2010, 30 June - 4 July 2010, Ponta Delgada, Portugal.

MacFarlane, A., Inskip, C. & Rafferty, P. (2010). Upbeat and quirky with a bit of a build: Interpretive repertories in creative music search. Paper presented at the 11th International Society for Music Information Retrieval Conference (ISMIR 2010)(ISMIR 2010), 09 - 13 August 2010, Utrecht, Netherlands.

Wissmann, Jens, Weyde, T. & Conklin, D. (2010). Representing chord sequences in OWL. Paper presented at the Sound and Music Computing Conference 2010, 21 - 24 June 2010, Barcelona, Spain.

Yang, X., Beddoe, G. & Slabaugh, G. G. (2010). Learning to Detect 3D Rectal Tubes in CT Colonography Using a Global Shape Model. In: Yoshida, H & Cai, W (Eds.), Virtual Colonoscopy and Abdominal Imaging. Second International Workshop on Computational Challenges and Clinical Opportunities in Virtual Colonoscopy and Abdominal Imaging, 20-09-2010, Beijing, China. doi: 10.1007/978-3-642-25719-3_8

Report

Howe, J. M., King, A. & Lawrence-Jones, C. (2010). Quadtrees as an Abstract Domain (TR_2010_DOC_01). .

Thesis

Bergeron, M. (2010). Structured polyphonic patterns. (Unpublished Doctoral thesis, City University London)

Papagiannis, F.A. (2010). National Patient Flow Framework: An Ontological Patient-oriented Redesign. (Unpublished Doctoral thesis, City University London)

Shabestari, O.L (2010). Evaluation of using web 2.0 technologies in diabetes education for adolescent and young patients. (Unpublished Doctoral thesis, City University London)

Tsigkritis, Theocharis (2010). Diagnosing runtime violations of security and dependability properties. (Unpublished Doctoral thesis, City University London)

Zhu, P. (2010). Quantifying Information Flow with Constraints. (Unpublished Doctoral thesis, City University London)