City Research Online

A

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 L, pp. 38-40. doi: 10.1007/978-3-642-16961-8_11

B

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

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

C

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

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

F

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

G

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

H

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

J

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

K

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.

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.

M

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

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

P

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

S

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

T

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

W

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.

Y

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

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

Z

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