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 | Z
    Number of items: 36.

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

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

    Fisher, E. and Lachish, Oded and Vasudev, Y. (2017) Improving and extending the testing of distributions for shape-restricted properties. Leibniz International Proceedings in Informatics. Proceedings of the 34th International Symposium on Theoretical Aspects of Computer Science: Leibniz International. (In Press)

    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 , ISSN 1529-3785. (In Press)

    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 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 , ISSN 0924-1868. (In Press)

    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)

    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.

    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 , ISSN 0162-8828. (In Press)

    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. Proceedings of International Joint Conference on Neural Networks , ISSN 2161-4393. (In Press)

    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.

    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

    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 , ISSN 1545-598X. (In Press)

    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.

    Z

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

    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 Sat Sep 23 01:19:21 2017 BST.