City Research Online

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

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, 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. & 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.

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

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

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

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, pp. 3778-3783. doi: 10.1109/CDC.2010.5717375

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. Poster presented at the 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. (pp. 2414-2421). ACM. doi: 10.1145/1774088.1774591

Comuzzi, M., Vonk, J. & 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. doi: 10.1007/978-3-642-16934-2_14

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

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.

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. (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

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

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

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

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

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.

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

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)

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

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

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

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. Paper presented at the 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

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, 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, p. 983963. doi: 10.1155/2010/983963

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