City Research Online

Article

Andrienko, N. and 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. and Dixon, S. (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. and Spanoudakis, G. (2010). ASSERT4SOA: Toward Security Certification of Service-Oriented Applications. OTM Workshops, 6428, 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. and Fang, T. (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. and Stephanidis, C. (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. and 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. and 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. and 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, pp. 3778-3783. doi: 10.1109/CDC.2010.5717375

Cummins, J. and 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. and Matwin, S. (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. and 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. and 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. and Hand, S. (2010). Resource Provisioning for Multi-Tier Virtualized Server Applications. Computer Measurement Group (CMG) Journal, 126, pp. 6-17.

Mahbub, K. and 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

O'Sullivan, D., Wilk, S., Michalowski, W. and Farion, K. (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. and 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. and Unal, G. B. (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, and Beddoe, G. (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. and 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. and Mandersloot, G. (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. and Slabaugh, G. G. (2010). Feature Selection for Computer-Aided Polyp Detection using MRMR. SPIE Proceedings, 7624, doi: 10.1117/12.844165

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

Book Section

Alonso, E. and 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. ISBN 9781609600211

Comuzzi, M. and Spanoudakis, G. (2010). Dynamic set-up of monitoring infrastructures for service based systems. In: Shin, S. Y., Ossowski, S., Schumacher, M., Palakal, M. J. and Hung, C. (Eds.), Proceedings of the 2010 ACM Symposium on Applied Computing. (pp. 2414-2421). ACM. ISBN 978-1-60558-639-7

Howe, J. M. and 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.

Jennings, D., Alonso, E., Mondragon, E. ORCID: 0000-0003-4180-1261 and Bonardi, C. (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. ISBN 9781609600211

Conference or Workshop Item

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

Bernardy, J-P., Jansson, P. and 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.

Child, C. H. T., Parkar, S., Mohamedally, D., Haddad, M. and Doroana, R. (2010). Development of a Virtual Laparoscopic Trainer using Accelerometer Augmented Tools to Assess Performance in Surgical training. Poster presented at the 19th International Pediatric Endosurgery Group (IPEG) Congress, 8 - 12 Jun 2010, Hawaii, US.

Comuzzi, M., Vonk, J. and Grefen, P. (2010). Continuous Monitoring in Evolving Business Networks. Paper presented at the Confederated International Conferences: CoopIS, IS, DOA and ODBASE,, 25-10-2010 - 29-10-2010, Crete, Greece.

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. and 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. and 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. and 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. and Slabaugh, G. G. (2010). Learning to Detect 3D Rectal Tubes in CT Colonography Using a Global Shape Model. Paper presented at the Second International Workshop on Computational Challenges and Clinical Opportunities in Virtual Colonoscopy and Abdominal Imaging, 20-09-2010, Beijing, China.

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)

Report

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