City Research Online

Article

Alonso, E., Mondragon, E. ORCID: 0000-0003-4180-1261 & 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. & 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. & 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. & 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 & Nebot, V. (2012). Exploring and linking biomedical resources through multidimensional semantic spaces. BMC Bioinformatics, 13(S1), article number S6. doi: 10.1186/1471-2105-13-s1-s6

Bernardy, J. P., Jannson, P. & 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. & 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. & 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), 7, pp. 1-8. doi: 10.1109/ijcnn.2012.6252569

Fairbank, M. & 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. & 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. & 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. & 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. & 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. & 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. & 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. & 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. & 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. & 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. & Kloukinas, C. (2012). Highly analysable, reusable, and realisable architectural designs with XCD. Communications in Computer and Information Science, 340 CC, pp. 72-79. doi: 10.1007/978-3-642-35267-6_10

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

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

Pino, L. & 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, 4, pp. 1-5. doi: 10.1109/ntms.2012.6208741

Plebani, P., Cappiello, C., Comuzzi, M. , Pernici, B. & Yadav, S.view all authors (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. & 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. & Hawkes, D. J.view all authors (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. & 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. & Hauser, H.view all authors (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. & Viola, I.view all authors (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. & Robinson, L. (2012). Introduction to information science. In: UNSPECIFIED . London: Facet Publishing.

Curran, W., Moore, T., Kulesza, T. , Wong, W-K, Todorovic, S., Stumpf, S., White, R. & Burnett, M.view all authors (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. & Gonçalves, D.view all authors (Eds.), Proceedings of the 2012 ACM international conference on Intelligent User Interfaces. (pp. 285-288). New York: ACM. doi: 10.1145/2166966.2167019

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

Kulesza, T., Stumpf, S., Burnett, M. & Kwan, I.view all authors (2012). Tell me more?: the effects of mental model soundness on personalizing an intelligent agent. In: Konstan, J. A., Chi, E. H. & Höök, K. (Eds.), Proceedings of the SIGCHI Conference on Human Factors in Computing Systems. (pp. 1-10). New York: ACM. doi: 10.1145/2207676.2207678

Palacios, M., García-Fanjul, J., Tuya, J. & Spanoudakis, G.view all authors (2012). Identifying Test Requirements by Analyzing SLA Guarantee Terms. In: Goble, C. A., Chen, P. P. & Zhang, J. (Eds.), 2012 IEEE 19th International Conference on Web Services (ICWS). (pp. 351-358). IEEE. doi: 10.1109/ICWS.2012.78

Stumpf, S., Burnett, M., Pipek, V. & Wong, W-Kview all authors (2012). End-user interactions with intelligent and autonomous systems. In: Konstan, J. A., Chi, E. H. & Höök, K. (Eds.), CHI '12 Extended Abstracts on Human Factors in Computing Systems. (pp. 2755-2758). New York: ACM. doi: 10.1145/2212776.2212713

Conference or Workshop Item

Alonso, E., Fairbank, M. & 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. & 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 & Kjaell-Ohlsson, N. (2012). Internally Driven Q-learning - Convergence and Generalization Results. In: Filipe, J. & Fred, A. (Eds.), Proceedings of the 4th International Conference on Agents and Artificial Intelligence. 4th International Conference on Agents and Artificial Intelligence, 6-8 Feb 2012, Algarve, Portugal. doi: 10.5220/0003736404910494

Benetos, E., Dixon, S., Giannoulis, D. , Kirchhoff, H. & Klapuri, A.view all authors (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. & Dixon, S. (2012). Score-informed transcription for automatic piano tutoring. In: European Signal Processing Conference. Signal Processing Conference (EUSIPCO), 2012 Proceedings of the 20th European, 27 - 31 Aug 2012, Bucharest, Romania.

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

Comuzzi, M., Angelov, S. & Vonk, J. (2012). Patterns to Enable Mass-Customized Business Process Monitoring. In: Ralyté, J, Franch, X, Brinkkemper, S & Wrycza, Sview all authors (Eds.), CAiSE. CAiSE 2012, 24th International Conference, 25-06-2012 - 29-06-2012, Gdansk, Poland. doi: 10.1007/978-3-642-31095-9_29

Fairbank, M. & 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. doi: 10.1109/IJCNN.2012.6252569

Fairbank, M. & 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. doi: 10.1109/IJCNN.2012.6252791

Fairbank, M. & 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. doi: 10.1109/IJCNN.2012.6252792

Foster, H., Spanoudakis, G. & Mahbub, K. (2012). Formal Certification and Compliance for Run-Time Service Environments. In: Moser, L. E., Parashar, M. & Hung, P. C. K. (Eds.), 2012 IEEE Ninth International Conference on Services Computing (SCC),. 2012 IEEE International Conference on Services Computing (SCC), 24-29 Jun 2012, Honolulu, USA. doi: 10.1109/SCC.2012.23

Foster, H. & 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 (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). ICSOC 2011, 5-8 Dec 2011, Paphos, Cyprus. doi: 10.1007/978-3-642-31875-7_2

Foster, H., Spanoudakis, G. & 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. doi: 10.1109/SCC.2012.23

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. & Kaymak, U.view all authors (2012). Addressing health information privacy with a novel cloud-based PHR system architecture. In: SMC. 2012 IEEE International Conference on Systems, Man, and Cybernetics (SMC), 14-10-2012 - 17-10-2012, Seoul, Korea. doi: 10.1109/ICSMC.2012.6378006

Hadjiminas, N. & 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. & Rotondi, D.view all authors (2012). Agile manufacturing: General challenges and an IoT@Work perspective. In: ETFA. 2012 IEEE 17th Conference on Emerging Technologies & Factory Automation (ETFA), 17-21 Sept. 2012, Krakow. doi: 10.1109/ETFA.2012.6489653

Li, S., Fairbank, M., Wunsch, D. C. & Alonso, E.view all authors (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. doi: 10.1109/IJCNN.2012.6252614

Parulek, J., Turkay, C., Reuter, N. & Viola, I.view all authors (2012). Implicit surfaces for interactive graph based cavity analysis of molecular simulations. In: IEEE Symposium on Biological Data Visualization 2012, BioVis 2012 - Proceedings. 2nd IEEE Symposium on Biological Data Visualization, 14 Dec - 15 Dec 2012, Seattle, USA.

Paterson, R. A. (2012). Constructing applicative functors. In: Gibbons, J & Nogueira, P (Eds.), Lecture Notes in Computer Science. 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. & Zisman, A.view all authors (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. & Spanoudakis, G. (2012). Constructing secure service compositions with patterns. In: SERVICES. 2012 IEEE 8th World Congress on Services, SERVICES 2012, 24 -29 June 2012, Honolulu, Hawaii. doi: 10.1109/SERVICES.2012.61

Rajarajan, M., Sajjad, A., Zisman, A. , Nair, S. K. & Dimitrakos, T.view all authors (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. & Maña, A. (2012). Certifying Services in Cloud: The Case for a Hybrid, Incremental and Multi-layer Approach. In: HASE. High-Assurance Systems Engineering (HASE), 2012 IEEE 14th International Symposium on, 25 - 27 Oct 2012, Omaha, US. doi: 10.1109/HASE.2012.16

Stupples, D. & Spurgin, A. (2012). Nuclear Industry Organizations: Shaped by Accidents. In: International Journal of Engineering Management and Economics. 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. In: 2012 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION (CEC). 2012 IEEE Congress on Evolutionary Computation, 10-15 Jun 2012, Brisbane, Australia.

Turkay, C., Parulek, J. & Hauser, H. (2012). Dual analysis of DNA microarrays. In: ACM International Conference Proceeding Series. i-Know '12, 12th International Conference on Knowledge Management and Knowledge Technologies, 5 September 2012 - 7 September 2012, Graz, Austria.

Van Gorp, P. & 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. & Weyde, T.view all authors (2012). A Systematic Comparison of Music Similarity Adaptation Approaches. In: Gouyon, F, Herrera, P, Martins, LG & Müller, Mview all authors (Eds.), ISMIR. 13th International Society for Music Information Retrieval Conference (ISMIR 2012), 8 - 12 Oct 2012, Porto, Portugal.

da Silva, I. & Zisman, A. (2012). A Framework for Trusted Services. In: Lecture Notes in Computer Science. Service-Oriented Computing - 10th International Conference, ICSOC 2012, 12 - 15 Nov 2012, Shanghai, China.

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. & Ozkaya, M. (2012). XCD – Simple, Modular, Formal Software Architectures (TR/2012/DOC/01). .

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

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)