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 | L | M | N | R | S | V | W | Z
    Number of items: 50.

    A

    Adaba, Godfried and Kebebew, Y. (2017) Improving a health information system for real-time data entries: An action research project using socio-technical systems theory. Informatics for Health and Social Care , ISSN 1753-8157. (In Press)

    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)

    B

    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.

    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.

    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.

    Brown, Paul and Fenner, Trevor (2017) A new approach to graph reconstruction using supercards. Journal of Combinatorics , ISSN 2156-3527. (In Press)

    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.

    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)

    Fenner, Trevor and Levene, Mark and Loizou, George (2017) A multiplicative process for generating the rank-order distribution of UK election results. Quantity & Quality: International Journal of Methodology , ISSN 0033-5177. (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.

    H

    Haq, Anwar and Magoulas, George D. and Jamal, A. and Majeed, A. and Sloan, D. (2017) Users perceptions of e-learning environments and services effectiveness: the emergence of the concept functionality model. Journal of Enterprise Information Management , ISSN 1741-0398. (In Press)

    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.

    Hindle, Giles and Vidgen, Richard (2017) Developing a business analytics methodology: a case study in the foodbank sector. European Journal of Operational Research , ISSN 0377-2217. (In Press)

    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.

    L

    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.

    M

    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.

    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

    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.

    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.

    Zhou, Y. and Zhou, N. and Han, Tingting and Gu, J. and Wu, W. (2017) Probabilistic verification of hierarchical leader election protocols in dynamic systems. Frontiers of Computer Science , ISSN 2095-2228. (In Press)

    This list was generated on Tue Nov 21 01:19:09 2017 GMT.