BIROn - Birkbeck Institutional Research Online
    Up a level
    Export as [feed] Atom [feed] RSS
    Group by: Author(s) | Item Type
    Jump to: A | B | C | D | F | G | H | K | L | M | N | R | S | T | V | W | Z
    Number of items: 64.

    A

    Adaba, Godfried and Ayoung, D.A. (2017) The development of a mobile money service: an exploratory actor-network study. Information Technology for Development 23 (4), pp. 668-686. ISSN 0268-1102.

    Al-Tawil, M. and Dimitrova, V. and Thakker, D. and Poulovassilis, Alexandra (2017) Evaluating knowledge anchors in data graphs against Basic Level Objects. In: Cabot, J. and de Virgilio, R. and Torlone, R. (eds.) Web Engineering: 17th International Conference, ICWE 2017, Rome, Italy, June 5-8, 2017, Proceedings. Lecture Notes in Computer Science 10360. Rome, Italy: Springer. ISBN 9783319601311. (In Press)

    Artale, A. and Kontchakov, Roman and Kovtunova, A. and Ryzhikov, V. and Wolter, F. and Zakharyaschev, Michael (2017) Ontology-mediated query answering over temporal data: a survey. In: Schewe, S. and Schneider, T. and Wijsen, J. (eds.) 24th International Symposium on Temporal Representation and Reasoning (TIME 2017). Leibniz International Proceedings in Informatics (LIPIcs) 90. Dagstuhl, Germany: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, pp. 1-37. ISBN 9783959770521.

    B

    Bhattacharyya, A. and Sotiriadis, Stelios and Amza, C. (2017) Online phase detection and characterization of cloud applications. In: UNSPECIFIED (ed.) Cloud Computing Technology and Science (CloudCom), 2017 IEEE International Conference on. IEEE Computer Society, pp. 98-105. ISBN 9781538606933.

    Bienvenu, M. and Kikot, S. and Kontchakov, Roman and Ryzhikov, V. and Zakharyaschev, Michael (2017) On the parameterised complexity of tree-shaped ontology-mediated queries in OWL2QL. In: Artale, A. and Glimm, B. and Kontchakov, Roman (eds.) DL 2017: International Workshop on Description Logics. CEUR Workshop Proceedings 1879. CEUR.

    Bienvenu, M. and Kikot, S. and Kontchakov, Roman and Ryzhikov, V. and Zakharyaschev, Michael (2017) Optimal nonrecursive datalog rewritings of linear TGDs and bounded (Hyper)Tree-width queries. In: Artale, A. and Glimm, B. and Kontchakov, Roman (eds.) DL 2017: International Workshop on Description Logics. CEUR Workshop Proceedings 1879 1879. CEUR.

    Boedker, C. and Meagher, K. and Vidgen, Richard and Cogin, J. and Mouritsen, J. (2017) Doing more with less: productivity or starvation? The intellectual asset health check. Public Money and Management 37 (1), pp. 31-38. ISSN 0954-0962.

    Botoeva, E. and Konev, B. and Lutz, C. and Ryzhikov, V. and Wolter, F. and Zakharyaschev, Michael (2017) Inseparability and conservative extensions of description logic ontologies: a survey. In: Pan, J.Z. and Calvanese, D. and Eiter, T. and Horrocks, I. and Kifer, M. and Lin, F. and Zhao, Y. (eds.) Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering. Lecture Notes in Computer Science 9885. New York, U.S.: Springer, pp. 27-89. ISBN 9783319494920.

    Brandt, S. and Güzel Kalaycı, E. and Kontchakov, Roman and Ryzhikov, V. and Xiao, G. and Zakharyaschev, Michael (2017) Ontology-based data access with a horn fragment of metric temporal logic. In: UNSPECIFIED (ed.) Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence (AAAI 2017). AAAI Press, pp. 1070-1076.

    Bresolin, D. and Kurucz, A. and Muñoz-Velasco, E. and Ryzhikov, V. and Sciavicco, G. and Zakharyaschev, Michael (2017) Horn fragments of the Halpern-Shoham Interval Temporal Logic. ACM Transactions on Computational Logic 18 (3), pp. 1-39. ISSN 1529-3785.

    Brown, C. and Zhang, Dell (2017) Accounting for discrepancies in teachers’ attitudes towards evidence use and actual instances of evidence use in schools. Cambridge Journal of Education 47 (2), pp. 277-295. ISSN 0305-764x.

    Brown, C. and Zhang, Dell (2017) How can school leaders establish evidence-informed schools. Educational Management Administration & Leadership 45 (3), pp. 382-401. ISSN 1741-1432.

    C

    Calì, Andrea (2017) Ontology querying: datalog strikes back. In: Ianni, G. and Lembo, D. and Bertossi, L. and Faber, W. and Glimm, B. and Gottlob, G. and Staab, S. (eds.) Reasoning Web. Semantic Interoperability on the Web. Lecture Notes in Computer Science 10370 10370. Springer, pp. 64-67. ISBN 9783319610320.

    Chaudhry, I. and Espinosa, A. and Vidgen, Richard (2017) What Beer’s theory of viability can offer to the field of workforce emotions. International Journal of Work Organisation and Emotion 8 (3), pp. 169-183. ISSN 1740-8938.

    Chen, Hubie (2017) Proof complexity modulo the Polynomial Hierarchy: understanding alternation as a source of hardness. ACM Transactions on Computation Theory 9 (3), ISSN 1942-3454.

    Chen, Hubie and Mueller, M. (2017) One hierarchy spawns another: graph deconstructions and the complexity classification of conjunctive queries. ACM Transactions on Computational Logic 18 (4), ISSN 1529-3785.

    Chen, Taolue and Song, Fu and Wu, Zhilin (2017) Formal Reasoning on Infinite Data Values: An Ongoing Quest. In: Bowen, J.P. and Liu, Z. and Zhang, Z. (eds.) Engineering Trustworthy Software Systems - Second International School, {SETSS} 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures. Lecture Notes in Computer Science 10215. Springer, pp. 195-257. ISBN 9783319568409.

    Cocea, M. and Magoulas, George D. (2017) Design and evaluation of a case-based system for modelling exploratory learning behaviour of math generalisation. IEEE Transactions on Learning Technologies , ISSN 1939-1382.

    Cordeiro De Amorim, Renato and Shestakov, A. and Mirkin, Boris and Makarenkov, V. (2017) The Minkowski central partition as a pointer to a suitable distance exponent and consensus partitioning. Pattern Recognition 67 , pp. 62-72. ISSN 0031-3203.

    D

    Dotsika, F. and Watkins, Andrew (2017) Identifying potentially disruptive trends by means of keyword network analysis. Technological Forecasting & Social Change 119 , pp. 114-127. ISSN 0040-1625.

    Du, Y. and Yuan, C. and Hu, W. and Maybank, Stephen (2017) Spatio-temporal self-organizing map deep network for dynamic object detection from videos. In: UNSPECIFIED (ed.) IEEE Conference on Computer Vison and Pattern Recognition 2017. IEEE Computer Society. (In Press)

    F

    Farmer, Michael and Loizou, George and Maybank, Stephen (2017) Iteration functions re-visited. Journal of Computational and Applied Mathematics 311 , pp. 484-496. ISSN 0377-0427.

    Fenner, Trevor and Levene, Mark and Kaufmann, Eric and Loizou, George (2017) A multiplicative process for generating a beta-like survival function with application to the UK 2016 EU referendum results. International Journal of Modern Physics C , ISSN 0129-1831. (In Press)

    Fisher, E. and Lachish, Oded and Vasudev, Y. (2017) Improving and extending the testing of distributions for shape-restricted properties. In: Vollmer, H. and Vallée, B. (eds.) 34th Symposium on Theoretical Aspects of Computer Science (STACS 2017). Leibniz International Proceedings in Informatics 66. Leibniz International, 31:1-31:14. ISBN 9783959770286.

    Fragopanagos, N. and Kueppers, S. and Kassavetis, P. and Luchini, M.U. and Roussos, George (2017) Towards longitudinal data analytics in Parkinson's Disease. In: Giokas, K. and Bokor, L. and Hopfg, F. (eds.) eHealth 360°: International Summit on eHealth, Budapest, Hungary, June 14-16, 2016, Revised Selected Papers. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering 181. Springer, pp. 56-61. ISBN 9783319496542.

    Frosini, Riccardo (2017) Optimisation techniques for flexible querying in SPARQL 1.1. In: Calì, Andrea and Wood, Peter and Martin, Nigel and Poulovassilis, Alexandra (eds.) Data Analytics. Lecture Notes in Computer Science 10365. Springer, pp. 106-110. ISBN 9783319607948.

    Fuhs, Carsten and Kop, C. and Nishida, N. (2017) Verifying procedural programs via constrained rewriting induction. ACM Transactions on Computational Logic 18 (2), ISSN 1529-3785.

    G

    Gerasimova, O. and Kikot, S. and Podolskii, V. and Zakharyaschev, Michael (2017) On the data complexity of ontology-mediated queries with a covering axiom. In: Artale, A. and Glimm, B. and Kontchakov, Roman (eds.) DL 2017: International Workshop on Description Logics. CEUR Workshop Proceedings 1879 1879. CEUR Workshop Proceedings.

    Giesl, J. and Aschermann, C. and Brockschmidt, M. and Emmes, F. and Frohn, F. and Fuhs, Carsten and Hensel, J. and Otto, C. and Plücker, M. and Schneider-Kamp, P. and Ströder, T. and Swiderski, S. and Thiemann, R. (2017) Analyzing program termination and complexity automatically with AProVE. Journal of Automated Reasoning 58 (1), pp. 3-31. ISSN 0168-7433.

    Grawemeyer, Beate and Karoudis, Konstantinos and Magoulas, George and Pinto, M. and Poulovassilis, Alexandra (2017) Design and evaluation of adaptive feedback to foster ICT information processing skills in young adults. In: UNSPECIFIED (ed.) WWW '17: Companion Proceedings of the 26th International Conference on World Wide Web Companion. New York, U.S.: ACM, pp. 369-377. ISBN 9781450349147.

    Grawemeyer, Beate and Mavrikis, M. and Holmes, W. and Gutierrez, Sergio and Wiedmann, M. and Rummel, N. (2017) Affective learning: improving engagement and enhancing learning with affect-aware feedback. User Modeling and User-Adapted Interaction - Special Issue on Impact of Learner Modeling 27 (1), pp. 119-158. ISSN 0924-1868.

    Grawemeyer, Beate and Wollenschlaeger, Alex and Gutierrez, Sergio and Holmes, W. and Mavrikis, M. and Poulovassilis, Alexandra (2017) Using graph-based modelling to explore changes in students’ affective states during exploratory learning tasks. In: 3rd International Workshop on Graph-based Educational Data Mining (GEDM 2017), at EDM 2017, 25-28 Jun 2017, Wuhan, China.

    H

    Hasan, Abul and Levene, Mark and Weston, David (2017) Natural language analysis of online health forums. In: Adams, N. and Tucker, A. and Weston, David (eds.) Advances in Intelligent Data Analysis XVI 16th International Symposium, IDA 2017, London, UK, October 26–28, 2017, Proceedings. Lecture Notes in Computer Science 10584. Springer, pp. 125-137. ISBN 9783319687643.

    Hovland, D. and Kontchakov, Roman and Skjæveland, M. and Waaler, A. and Zakharyaschev, Michael (2017) Ontology-based data access to Slegge. In: D'Amato, C. and Fernández, M. and Tamma, V. and Lecue, F. and Cudré-Mauroux, P. and Sequeda, J. and Lange, C. and Heflin, J. (eds.) The Semantic Web – ISWC 2017 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017, Proceedings. Lecture Notes in Computer Science 2 10588. Springer, pp. 120-129. ISBN 9783319682037.

    Hu, W. and Gao, J. and Xing, J. and Zhang, C. and Maybank, Stephen (2017) Semi-supervised tensor-based graph embedding learning and its application to visual discriminant tracking. IEEE Transactions on Pattern Analysis and Machine Intelligence 39 (1), pp. 172-188. ISSN 0162-8828.

    Hu, W. and Tian, G. and Kang, Y. and Yuan, C. and Maybank, Stephen (2017) Dual sticky hierarchical Dirichlet process hidden Markov model and its application to natural language description of motions. IEEE Transactions on Pattern Analysis and Machine Intelligence (99), ISSN 0162-8828.

    K

    Kargatzis, D. and Sotiriadis, Stelios and Petrakis, E.G.M. (2017) Virtual machine migration in heterogeneous clouds: from openstack to VMWare. In: UNSPECIFIED (ed.) Sarnoff Symposium, 2017 IEEE 38th. IEEE Computer Society. ISBN 9781538630204.

    L

    Lawton-Smith, Helen and Etzkowitz, Henry and Meschitti, Viviana and Poulovassilis, Alexandra (2017) Female academic entrepreneurship: Reviewing the evidence and identifying the challenges. In: Henry, C. and Nelson, T. and Lewis, K. (eds.) The Routledge Companion to Global Female Entrepreneurship. Abingdon, UK: Routledge. ISBN 9781138015180.

    Li, B. and Yuan, C. and Xiong, W. and Hu, W. and Peng, H. and Ding, X. and Maybank, Stephen (2017) Multi-view multi-instance learning based on joint sparse representation and multi-view dictionary learning. IEEE Transactions on Pattern Analysis and Machine Intelligence 39 (12), pp. 2554-2560. ISSN 0162-8828.

    Li, K. and Xing, J. and Hu, W. and Maybank, Stephen (2017) D2C: deep cumulatively and comparatively learning for human age estimation. Pattern Recognition 66 , pp. 95-105. ISSN 0031-3203.

    Liao, L. and Maybank, Stephen and Zhang, Y. and Liu, X. (2017) Supervised classification via constrained subspace and tensor sparse representation. In: UNSPECIFIED (ed.) Neural Networks (IJCNN), 2017 International Joint Conference on. IEEE Computer Society. ISBN 9781509061839.

    Liu, K. and Zhang, J. and Yang, P. and Maybank, Stephen and Huang, K. (2017) GRMA: Generalized Range Move Algorithms for the efficient optimization of MRFs. International Journal of Computer Vision 121 (3), pp. 365-390. ISSN 0920-5691.

    Liu, T. and Tao, D. and Song, M. and Maybank, Stephen (2017) Algorithm-dependent generalization bounds for multi-task learning. IEEE Transactions on Pattern Analysis and Machine Intelligence 39 (2), pp. 227-241. ISSN 0162-8828.

    Lozin, V. and Razgon, Igor and Zamaraev, V. (2017) Well-quasi-ordering versus clique-width. Journal of Combinatorial Theory Series B , ISSN 0095-8956. (In Press)

    M

    Mannock, Keith and Aning, Kwabena (2017) An actor model of concurrency for the Swift programming language. In: Arabnia, H.R. and Deligiannidis, L. and Tinetti, F.G. (eds.) Proceedings of the 2017 International Conference on Software Engineering Research and Practice. CSREA Press, pp. 178-183. ISBN 1601324685.

    Mannock, Keith and Aning, Kwabena (2017) An architecture and implementation of the actor model of concurrency. In: The 8th International Conference on Information, Intelligence Systems and Applications, 28 – 30 Aug 2017, Larnaca, Cyprus. (In Press)

    Mannock, Keith and Chacowry, N. (2017) An aspect-oriented framework for F#. In: The 2017 International Conference on Computational Science and Computational Intelligence, Dec 14-16, 2017, Las Vegas, U.S.. (In Press)

    Martin, B. and Raimondi, F. and Chen, Taolue and Martin, J. (2017) The packing chromatic number of the infinite square lattice is between 13 and 15. Discrete Applied Mathematics 225 , pp. 136-142. ISSN 0166-218X.

    Meštrović, A. and Calì, Andrea (2017) An ontology-based approach to information retrieval. In: Calì, Andrea and Gorgan, D. and Ugarte, M. (eds.) Semantic Keyword-Based Search on Structured Data Sources. Lecture Notes in Computer Science 10151. Berlin, Germany: Springer, pp. 150-156. ISBN 9783319536392.

    N

    Naaf, M. and Frohn, F. and Brockschmidt, M. and Fuhs, Carsten and Giesl, J. (2017) Complexity analysis for term rewriting by integer transition systems. In: Dixon, C. and Finger, M. (eds.) Frontiers of Combining Systems: 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings. Lecture Notes in Artificial Intelligence 10483. Springer. ISBN 9783319661667. (In Press)

    Nascimento, S. and Mirkin, Boris (2017) Applying anomalous cluster approach to spatial clustering. In: Kreinovich, V. (ed.) Uncertainty Modeling. Studies in Computational Intelligence 683. Springer, pp. 147-157. ISBN 9783319510514.

    Negru, C. and Mocanu, M. and Cristea, V. and Sotiriadis, Stelios and Bessis, N. (2017) Analysis of power consumption in heterogeneous virtual machine environments. Soft Computing 21 (16), pp. 4531-4542. ISSN 1432-7643.

    R

    Ren, Y. and Liao, L. and Maybank, Stephen and Zhang, Y. and Liu, X. (2017) Hyperspectral image spectral-spatial feature extraction via tensor principal component analysis. IEEE Geoscience and Remote Sensing Letters 14 (9), pp. 1431-1435. ISSN 1545-598X.

    S

    Sotiriadis, Stelios and Bessis, N. and Petrakis, E.G.M. and Amza, C. and Negru, C. and Mocanu, M. (2017) Virtual machine cluster mobility in inter-cloud platforms. Future Generation Computer Systems 74 , 179 - 189. ISSN 0167-739X.

    Sotiriadis, Stelios and Stravoskoufos, K. and Petrakis, E.G.M. (2017) Future internet systems design and implementation: cloud and IoT services based on IoT-A and FIWARE. In: Angelakis, V. and Tragos, E. and Pöhls, H.C. and Kapovits, A. and Bassi, A. (eds.) Designing, Developing, and Facilitating Smart Cities. Urban Design to IoT Solutions. Cham: Springer International Publishing, pp. 193-207. ISBN 9783319449227.

    Stamate, Cosmin and Magoulas, George and Kueppers, S. and Nomikou, E. and Daskalopoulos, I. and Luchini, M.U. and Moussouri, T. and Roussos, George (2017) Deep learning Parkinson's from smartphone data. In: UNSPECIFIED (ed.) 2017 IEEE International Conference on Pervasive Computing and Communications (PerCom). IEEE Computer Society, pp. 31-40. ISBN 9781509043279.

    Ströder, T. and Giesl, J. and Brockschmidt, M. and Frohn, F. and Fuhs, Carsten and Hensel, J. and Schneider-Kamp, P. and Aschermann, C. (2017) Automatically proving termination and memory safety for programs with pointer arithmetic. Journal of Automated Reasoning 58 (1), pp. 33-65. ISSN 0168-7433.

    T

    Tsiachri Renta, P. and Sotiriadis, Stelios and Petrakis, E.G.M. (2017) Healthcare sensor data management on the cloud. In: UNSPECIFIED (ed.) ARMS-CC '17 Proceedings of the 2017 Workshop on Adaptive Resource Management and Scheduling for Cloud Computing. New York, U.S.: ACM, pp. 25-30. ISBN 9781450351164.

    V

    Vidgen, Richard and Shaw, S. and Grant, D.G. (2017) Management challenges in creating value from business analytics. European Journal of Operational Research 261 (2), pp. 626-639. ISSN 0377-2217.

    Volzhanin, Igor and Hahn, Ulrike and Zhang, Dell and Hartmann, S. (2017) Rank aggregation and belief revision dynamics. In: UNSPECIFIED (ed.) Proceedings of the 39th Annual Meeting of the Cognitive Science Society. Cognitive Science Society, pp. 3454-3459. ISBN 9780991196760.

    W

    Wang, Jun and Yu, Lantao and Zhang, Weinan and Gong, Yu and Xu, Yinghui and Wang, Benyou and Zhang, Peng and Zhang, Dell (2017) IRGAN: a minimax game for unifying generative and discriminative information retrieval models. In: UNSPECIFIED (ed.) Proceedings of the 40th International ACM SIGIR Conference on Research and Development in Information Retrieval. New York, U.S.: ACM, pp. 515-524. ISBN 9781450350228.

    Z

    Zhang, Dell and Brown, C. (2017) Predictive modelling of evidence informed teaching. Archives of Data Science Series A 2 (1), ISSN 2363-9881.

    Zhitomirsky-Geffet, M. and Bar-Ilan, J. and Levene, Mark (2017) Analysis of change in users' assessment of search results over time. Journal of the Association for Information Science and Technology 68 (5), pp. 1137-1148. ISSN 2330-1643.

    Zhou, Y. and Tong, Y. and Chen, Taolue and Han, J. (2017) Augmenting bug localization with part-of-speech and invocation. International Journal of Software Engineering and Knowledge Engineering 27 (6), pp. 925-950. ISSN 0218-1940.

    This list was generated on Mon Jun 18 01:19:29 2018 BST.