City Research Online

Article

Alonso, E., Mondragon, E. ORCID: 0000-0003-4180-1261 and Fernandez, A. (2012). A Java simulator of Rescorla and Wagner's prediction error model and configural cue extensions. Computer Methods and Programs in Biomedicine, 108(1), pp. 346-355. doi: 10.1016/j.cmpb.2012.02.004

Alonso, E. and Schmajuk, N. (2012). Computational Models of Classical Conditioning guest editors’ introduction. Learning and Behavior, 40(3), pp. 231-240. doi: 10.3758/s13420-012-0081-7

Bawden, D. (2012). Norbert Wiener and voices from the past. Journal of Documentation, 68(5),

Bawden, D. (2012). Russell Shank and the nature of the information disciplines. Journal of Documentation, 68(6),

Bawden, D. (2012). The city, the world, and what cannot be measured. Journal of Documentation, 68(2),

Bawden, D. (2012). The declining impact of the impact factor. Journal of Documentation, 69(2),

Benetos, E. and Dixon, S. (2012). A Shift-Invariant Latent Variable Model for Automatic Music Transcription. Computer Music Journal, 36(4), pp. 81-94. doi: 10.1162/COMJ_a_00146

Benetos, E. and Dixon, S. (2012). Temporally-constrained convolutive probabilistic latent component analysis for multi-pitch detection. Lecture Notes in Computer Science: Latent Variable Analysis and Signal Separation, 7191, pp. 364-371. doi: 10.1007/978-3-642-28551-6_45

Berlanga, R., Jimenez-Ruiz, E. ORCID: 0000-0002-9083-4599 and Nebot, V. (2012). Exploring and linking biomedical resources through multidimensional semantic spaces. BMC BIOINFORMATICS, 13(Supp 1), S6. doi: 10.1186/1471-2105-13-S1-S6

Bernardy, J. P., Jannson, P. and Paterson, R. A. (2012). Proofs for free - parametricity for dependent types. Journal of Functional Programming, 22(2), pp. 107-152. doi: 10.1017/S0956796812000056

Comuzzi, M., Vonk, J. and Grefen, P. (2012). Measures and mechanisms for process monitoring in evolving business networks. Data & Knowledge Engineering, 71(1), pp. 1-28. doi: 10.1016/j.datak.2011.07.004

Fairbank, M. and Alonso, E. (2012). A Comparison of Learning Speed and Ability to Cope Without Exploration between DHP and TD(0). The 2012 International Joint Conference on Neural Networks (IJCNN), pp. 1478-1485. doi: 10.1109/IJCNN.2012.6252569

Fairbank, M. and Alonso, E. (2012). Efficient Calculation of the Gauss-Newton Approximation of the Hessian Matrix in Neural Networks. Neural Computation, 24(3), pp. 607-610. doi: 10.1162/NECO_a_00248

Fairbank, M., Alonso, E. and Prokhorov, D. (2012). Simple and Fast Calculation of the Second-Order Gradients for Globalized Dual Heuristic Dynamic Programming in Neural Networks. IEEE Transactions on Neural Networks and Learning Systems, 23(10), pp. 1671-1676. doi: 10.1109/TNNLS.2012.2205268

Ganz, M., Yang, X. and Slabaugh, G. G. (2012). Automatic Segmentation of Polyps in Colonoscopic Narrow-Band Imaging Data. IEEE Transactions on Biomedical Engineering, 59(8), pp. 2144-2151. doi: 10.1109/TBME.2012.2195314

Gooch, P. and Roudsari, A. (2012). Lexical patterns, features and knowledge resources for coreference resolution in clinical notes. Journal of Biomedical Informatics, 45(5), pp. 901-912. doi: 10.1016/j.jbi.2012.02.012

Howe, J. M. and King, A. (2012). Polyhedral Analysis using Parametric Objectives. Lecture Notes on Computer Science, 7460, pp. 41-57. doi: 10.1007/978-3-642-33125-1_6

Howe, J. M. and King, A. (2012). A pearl on SAT and SMT solving in Prolog. Theoretical Computer Science, 435, pp. 43-55. doi: 10.1016/j.tcs.2012.02.024

Kloukinas, C. and Ozkaya, M. (2012). Xcd - Modular, Realizable Software Architectures. Lecture Notes in Computer Science: Formal Aspects of Component Software, 7684, pp. 152-169. doi: 10.1007/978-3-642-35861-6_10

Mantas, G., Lymberopoulos, D. and Komninos, N. (2012). PKI security in large-scale healthcare networks. Journal of Medical Systems, 36(3), pp. 1107-1116. doi: 10.1007/s10916-010-9573-1

Mukherjee, A. and Bawden, D. (2012). Health information seeking in the information society. Health Information & Libraries Journal, 29(3), pp. 242-246. doi: 10.1111/j.1471-1842.2012.00997.x

Netkachova, K. (2012). The model and implementation of Safety Case Cores. Information & Security, 28(2), pp. 286-295.

Netkachova, K. and Kharchenko, V. S. (2012). Analyzing the Dynamics of software vulnerability detection using a logistic curve. Systems of Control, Navigation and Communications, 2(22), pp. 173-177.

Ozkaya, M. and Kloukinas, C. (2012). Highly analysable, reusable, and realisable architectural designs with XCD. Communications in Computer and Information Science, 340, pp. 72-79. doi: 10.1007/978-3-642-35267-6_10

Pawar, P. S., Rajarajan, M., Nair, S. K. and Zisman, A. (2012). Trust Model for Optimized Cloud Services. IFIP Advances in Information and Communication Technology, 374, pp. 97-112. doi: 10.1007/978-3-642-29852-3_7

Pearson, J., Buchanan, G., Thimbleby, H. W. and Jones, M. (2012). The Digital Reading Desk: A lightweight approach to digital note-taking. Interacting with Computers, 24(5), pp. 326-338. doi: 10.1016/j.intcom.2012.03.001

Pino, L. and Spanoudakis, G. (2012). Finding secure compositions of software services: Towards a pattern based approach. 2012 5th International Conference on New Technologies, Mobility and Security - Proceedings of NTMS 2012 Conference and Workshops, pp. 1-5. doi: 10.1109/NTMS.2012.6208741

Plebani, P., Cappiello, C., Comuzzi, M., Pernici, B. and Yadav, S. (2012). MicroMAIS: executing and orchestrating Web services on constrained mobile devices. Software: Practice and Experience, 42(9), pp. 1075-1094. doi: 10.1002/spe.1106

Robinson, L. and Ship, M. (2012). "Permeating all community activities"? Comparing events and programming in Westminster and Tower Hamlets public libraries. Library and Information Research, 36(13), pp. 114-126.

Roth, H. R., Hampshire, T. E., McClelland, J. R., Hu, M., Boone, D. J., Slabaugh, G. G., Halligan, S. and Hawkes, D. J. (2012). Inverse Consistency Error in the Registration of Prone and Supine Images in CT Colonography. Lecture Notes in Computer Science, 7029, pp. 1-7. doi: 10.1007/978-3-642-28557-8_1

Sathiyanarayanan, M. and Kim, K. S. (2012). Multi-Channel Deficit Round-Robin Scheduling for Hybrid TDM/WDM Optical Networks. 2012 IV International Congress on Ultra Modern Telecommunications and Control Systems, pp. 552-557. doi: 10.1109/ICUMT.2012.6459727

Turkay, C., Lundervold, A., Lundervold, A.J. and Hauser, H. (2012). Representative factor generation for the interactive visual analysis of high-dimensional data. IEEE Transactions on Visualization and Computer Graphics, 18(12), pp. 2621-2630. doi: 10.1109/TVCG.2012.256

Šoltészová, V., Turkay, C., Price, M. C. and Viola, I. (2012). A perceptual-statistics shading model. IEEE Transactions on Visualization and Computer Graphics, 18(12), pp. 2265-2274. doi: 10.1109/TVCG.2012.188

Book Section

Bawden, D. and Robinson, L. (2012). Introduction to information science. In: UNSPECIFIED . London: Facet Publishing. ISBN 9781856048101

Curran, W., Moore, T., Kulesza, T., Wong, W-K, Todorovic, S., Stumpf, S., White, R. and Burnett, M. (2012). Towards recognizing "cool": can end users help computer vision recognize subjective attributes of objects in images? In: Duarte, C., Carriço, L., Jorge, J. A., Oviatt, S. L. and Gonçalves, D. (Eds.), Proceedings of the 2012 ACM international conference on Intelligent User Interfaces. (pp. 285-288). New York: ACM. ISBN 978-1-4503-1048-2

Foster, H. and Spanoudakis, G. (2012). Taming the cloud: Safety, certification and compliance for software services - Keynote at the Workshop on Engineering Service-Oriented Applications (WESOA) 2011. In: Lecture Notes in Computer Science. (pp. 3-8). Springer. ISBN 9783642318757

Foster, H., Spanoudakis, G. and Mahbub, K. (2012). Formal Certification and Compliance for Run-Time Service Environments. In: Moser, L. E., Parashar, M. and Hung, P. C. K. (Eds.), 2012 IEEE Ninth International Conference on Services Computing (SCC),. (pp. 17-24). IEEE. ISBN 978-0-7695-4753-4

Hampshire, T. E., Roth, H. R., Boone, D. J., Slabaugh, G. G., Halligan, S. and Hawkes, D. J. (2012). Prone to Supine CT Colonography Registration Using a Landmark and Intensity Composite Method. In: Yoshida, H, Hawkes, DJ and Vannier, MW (Eds.), Abdominal Imaging. Computational and Clinical Applications. (pp. 1-9). Springer. ISBN 978-3-642-33611-9

Kulesza, T., Stumpf, S., Burnett, M. and Kwan, I. (2012). Tell me more?: the effects of mental model soundness on personalizing an intelligent agent. In: Konstan, J. A., Chi, E. H. and Höök, K. (Eds.), Proceedings of the SIGCHI Conference on Human Factors in Computing Systems. (pp. 1-10). New York: ACM. ISBN 978-1-4503-1015-4

Palacios, M., García-Fanjul, J., Tuya, J. and Spanoudakis, G. (2012). Identifying Test Requirements by Analyzing SLA Guarantee Terms. In: Goble, C. A., Chen, P. P. and Zhang, J. (Eds.), 2012 IEEE 19th International Conference on Web Services (ICWS). (pp. 351-358). IEEE. ISBN 978-1-4673-2131-0

Stumpf, S., Burnett, M., Pipek, V. and Wong, W-K (2012). End-user interactions with intelligent and autonomous systems. In: Konstan, J. A., Chi, E. H. and Höök, K. (Eds.), CHI '12 Extended Abstracts on Human Factors in Computing Systems. (pp. 2755-2758). New York: ACM. ISBN 978-1-4503-1016-1

Monograph

Meilicke, C., Sváb-Zamazal, O., Trojahn, C., Jimenez-Ruiz, E. ORCID: 0000-0002-9083-4599, Aguirre, J-L., Stuckenschmidt, H. and Grau, B. C. (2012). Evaluating Ontology Matching Systems on Large, Multilingual and Real-world Test Cases. .

Conference or Workshop Item

Alonso, E., Fairbank, M. and Mondragon, E. ORCID: 0000-0003-4180-1261 (2012). Conditioning for Least Action. Paper presented at the 11th International Conference on Cognitive Modeling, 13-04-2012 - 15-04-2012, Berlin, Germany.

Alonso, E. and Mondragon, E. ORCID: 0000-0003-4180-1261 (2012). Uses, Abuses and Misuses of Computational Models in Classical Conditioning. Paper presented at the 11th International Conference on Cognitive Modeling, 13-15 Apr 2012, Berlin, Germany.

Alonso, E. ORCID: 0000-0002-3306-695X, Mondragon, E. ORCID: 0000-0003-4180-1261 and Kjaell-Ohlsson, N. (2012). Internally Driven Q-learning - Convergence and Generalization Results. In: Filipe, J. and Fred, A. (Eds.), Proceedings of the 4th International Conference on Agents and Artificial Intelligence. (pp. 491-494). Setubal, Portugal: SCITEPRESS. ISBN 978-989-8425-95-9

Benetos, E., Dixon, S., Giannoulis, D., Kirchhoff, H. and Klapuri, A. (2012). Automatic Music Transcription: Breaking the Glass Ceiling. Paper presented at the 13th International Society for Music Information Retrieval Conference (ISMIR 2012), 8 - 12 Oct 2012, Porto, Portugal.

Benetos, E., Klapuri, A. and Dixon, S. (2012). Score-informed transcription for automatic piano tutoring. European Signal Processing Conference, ISSN 2219-5491

Benetos, E., Lagrange, M. and Dixon, S. (2012). Characterisation of acoustic scenes using a temporally-constrained shift-invariant model. Paper presented at the 15th International Conference on Digital Audio Effects Conference (DAFx-12), 17 - 21 Sept 2012, University of York, York, UK.

Comuzzi, M., Angelov, S. and Vonk, J. (2012). Patterns to Enable Mass-Customized Business Process Monitoring. Paper presented at the CAiSE 2012, 24th International Conference, 25-06-2012 - 29-06-2012, Gdansk, Poland.

Fairbank, M. and Alonso, E. (2012). A Comparison of Learning Speed and Ability to Cope Without Exploration between DHP and TD(0). Paper presented at the IEEE International Joint Conference on Neural Networks (IEEE IJCNN 2012), 1783-1789, 10-15-2012, Brisbane, Australia.

Fairbank, M. and Alonso, E. (2012). Value-Gradient Learning. Paper presented at the WCCI 2012 IEEE World Congress on Computational Intelligence, 10-06-2012 - 15-06-2012, Brisbane, Australia.

Fairbank, M. and Alonso, E. (2012). The divergence of reinforcement learning algorithms with value-iteration and function approximation. Paper presented at the The 2012 International Joint Conference on Neural Networks (IJCNN), 10-06-2012 - 15-06-2012, Brisbane, Australia.

Foster, H., Spanoudakis, G. and Mahbub, K. (2012). Formal certification and compliance for run-time service environments. Paper presented at the 2012 IEEE Ninth International Conference on Services Computing (SCC), 24 - 29 June 2012, Honolulu, USA.

Gooch, P. (2012). A lightweight, pattern-based approach to identification and formalisation of TimeML expressions in clinical narratives. Paper presented at the The Sixth Informatics for Integrating Biology and the Bedside (i2b2) Natural Language Processing Challenge for Clinical Records, Nov 2012, Chicago, IL.

Gorp, P. V., Comuzzi, M., Fialho, A. S. and Kaymak, U. (2012). Addressing health information privacy with a novel cloud-based PHR system architecture. Paper presented at the 2012 IEEE International Conference on Systems, Man, and Cybernetics (SMC), 14-10-2012 - 17-10-2012, Seoul, Korea.

Hadjiminas, N. and Child, C. H. T. (2012). Be The Controller: A Kinect Tool Kit for Video Game Control - Recognition of Human Motion Using Skeletal Relational Angles. Paper presented at the 5th Annual International Conference On Computer Games, Multimedia And Allied Technology (CGAT 2012), 2012, Bali, Indonesia.

Houyou, A. M., Huth, H-P., Kloukinas, C., Trsek, H. and Rotondi, D. (2012). Agile manufacturing: General challenges and an IoT@Work perspective. In: UNSPECIFIED (pp. 1-7). IEEE. ISBN 978-1-4673-4735-8

Li, S., Fairbank, M., Wunsch, D. C. and Alonso, E. (2012). Vector Control of a Grid-Connected Rectifier/Inverter Using an Artificial Neural Network. Paper presented at the IEEE International Joint Conference on Neural Networks (IEEE IJCNN 2012), 1783-1789, 10-15-2012, Brisbane, Australia.

Parulek, J., Turkay, C., Reuter, N. and Viola, I. (2012). Implicit surfaces for interactive graph based cavity analysis of molecular simulations. Paper presented at the 2nd IEEE Symposium on Biological Data Visualization, 14 Dec - 15 Dec 2012, Seattle, USA.

Paterson, R. A. (2012). Constructing applicative functors. Paper presented at the 11th International Conference, Mathematics of Program Construction, 25 - 27 Jun 2012, Madrid, Spain.

Pawar, P. S., Nair, S. K., El-Mousaa, F., Dimitrakos, T., Rajarajan, M. and Zisman, A. (2012). Opinion Model Based Security Reputation Enabling Cloud Broker Architecture. Paper presented at the CloudComp 2012 - 3rd International Conference on Cloud Computing, 24 - 26 Sep 2012, Vienna, Austria.

Pino, L. and Spanoudakis, G. (2012). Constructing secure service compositions with patterns. Paper presented at the 2012 IEEE 8th World Congress on Services, SERVICES 2012, 24 -29 June 2012, Honolulu, Hawaii.

Rajarajan, M., Sajjad, A., Zisman, A., Nair, S. K. and Dimitrakos, T. (2012). Secure communication using dynamic VPN provisioning in an Inter-Cloud environment. Paper presented at the ICON 2012: 18th IEEE International Conference on Networks, 12 - 14 Dec 2012, Singapore.

Spanoudakis, G., Damiani, E. and Maña, A. (2012). Certifying Services in Cloud: The Case for a Hybrid, Incremental and Multi-layer Approach. Paper presented at the High-Assurance Systems Engineering (HASE), 2012 IEEE 14th International Symposium on, 25 - 27 Oct 2012, Omaha, US.

Stupples, D. and Spurgin, A. (2012). Nuclear Industry Organizations: Shaped by Accidents. Paper presented at the 11th International Probabilistic Safety Assessment and Management Conference and the Annual European Safety and Reliability Conference 2012 (PSAM11 ESREL 2012), 25-29 Jun 2012, Helsinki, Finland.

Ter-Sarkisov, A. (2012). Elitism Levels Traverse Mechanism For The Derivation of Upper Bounds on Unimodal Functions. Paper presented at the 2012 IEEE Congress on Evolutionary Computation, 10-15 Jun 2012, Brisbane, Australia.

Turkay, C., Parulek, J. and Hauser, H. (2012). Dual analysis of DNA microarrays. Paper presented at the i-Know '12, 12th International Conference on Knowledge Management and Knowledge Technologies, 5 September 2012 - 7 September 2012, Graz, Austria.

Van Gorp, P. and Comuzzi, M. (2012). MyPHRMachines: Lifelong Personal Health Records in the Cloud. Paper presented at the 2012 25th International Symposium on Computer-Based Medical Systems (CBMS),, 20-06-2012 - 22-06-2012, Rome, Italy.

Wolff, D., Stober, S., Nürnberger, A. and Weyde, T. (2012). A Systematic Comparison of Music Similarity Adaptation Approaches. Paper presented at the 13th International Society for Music Information Retrieval Conference (ISMIR 2012), 8 - 12 Oct 2012, Porto, Portugal.

da Silva, I. and Zisman, A. (2012). A Framework for Trusted Services. Paper presented at the Service-Oriented Computing - 10th International Conference, ICSOC 2012, 12 - 15 Nov 2012, Shanghai, China.

Thesis

Adriano Moran, Juan (2012). The reality of home remote patient monitoring: A thesis on the nature, dynamics and effects of telehealth. (Unpublished Doctoral thesis, City University London)

Al-Kadi, Khulud (2012). Telecare for managing diabetes in Saudi Arabia. (Unpublished Doctoral thesis, City University London)

Goddard, Kate (2012). Automation bias and prescribing decision support – rates, mediators and mitigators. (Unpublished Doctoral thesis, City University London)

Gooch, P. (2012). A modular, open-source information extraction framework for identifying clinical concepts and processes of care in clinical narratives. (Unpublished Doctoral thesis, City University London)

Ter-Sarkisov, A. (2012). Computational complexity of elitist population-based evolutionary algorithms: a thesis presented in partial fulfillment of the requirements for the degree of Doctor of Philosophy in Computer Science at Massey University, Palmerston North, New Zealand. (Unpublished Doctoral thesis, Massey University, Palmerston North, New Zealand.)

Wissmann, Jens (2012). Chord Sequence patterns in OWL. (Unpublished Doctoral thesis, City University London)

Zhang, Yun (2012). Pattern recognition techniques applied to rust classification in steel structures. (Unpublished Masters thesis, City University London)

Report

Child, C. H. T. (2012). Approximate Dynamic Programming with Parallel Stochastic Planning Operators (TR/2012/DOC/03). City University London.

Gooch, P. (2012). BADREX: In situ expansion and coreference of biomedical abbreviations using dynamic regular expressions. London, UK: City University London.

Kloukinas, C. and Ozkaya, M. (2012). XCD – Simple, Modular, Formal Software Architectures (TR/2012/DOC/01). .