Items where Subject is "Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences"

Article

Al-Nima, R.R.O. and Al-Kaltakchi, M.T.S. and Al-Sumaidaee, S.A.M. and Dlay, S.S. and Woo, W.L. and Han, Tingting and Chambers, J.A. (2018) Personal verification based on multi-spectral finger texture lighting images. IET Signal Processing 12 (9), pp. 1154-1164. ISSN 1751-9683.

Anabanti, C. and Erskine, G. and Hart, Sarah (2018) Groups whose locally maximal product-free sets are complete. Australasian Journal of Combinatorics 71 (3), pp. 544-563. ISSN 2202-3518.

Bienvenu, M. and Kikot, Stanislav and Kontchakov, Roman and Podolskii, V. and Zakharyaschev, Michael (2018) Ontology-mediated queries: combined complexity and succinctness of rewritings via circuit complexity. Journal of the ACM 65 (5), ISSN 0004-5411.

Bova, S. and Chen, Hubie (2018) How many variables are needed to express an existential positive query? Theory of Computing Systems 63 (152), pp. 1573-1594. ISSN 1432-4350.

Brandt, S. and Güzel Kalaycı, E. and Ryzhikov, Vladislav and Xiao, G. and Zakharyaschev, Michael (2018) Querying log data with Metric Temporal Logic. Artificial Intelligence Research 62 , pp. 829-877. ISSN 1927-6974.

Brown, Paul and Fenner, Trevor (2018) A new approach to graph reconstruction using supercards. Journal of Combinatorics 9 (1), pp. 95-118. ISSN 2156-3527.

Chandna, Swati and Wang, W. (2018) Bootstrap averaging for model-based source separation in reverberant conditions. IEEE/ACM Transactions on Audio, Speech and Language Processing 26 (4), pp. 806-819. ISSN 2329-9290.

Chen, Taolue and Chen, Y. and Hague, M. and Lin, A.W. and Wu, Z. (2018) What is decidable about string constraints with the ReplaceAll function. Proceedings of the ACM on Programming Languages 2 (POPL), ISSN 2475-1421.

Chen, Taolue and Han, Tingting and Cao, Y. (2018) Polynomial-time algorithms for computing distances of Fuzzy Transition Systems. Theoretical Computer Science 727 , pp. 24-36. ISSN 0304-3975.

Chun, C. and Chun, D. and Moss, T. and Noble, Steven (2018) The e-Exchange Basis Graph and Matroid connectedness. Discrete Mathematics 342 (3), pp. 723-725. ISSN 0012-365X.

Chun, C. and Hall, R. and Merino, C. and Moffatt, I. and Noble, Steven (2018) The structure of delta-matroids with width one twists. Electronic Journal of Combinatorics 25 (1), ISSN 1077-8926.

Chun, C. and Moffatt, I. and Noble, Steven and Rueckriemen, R. (2018) On the interplay between embedded graphs and delta-matroids. Proceedings of the London Mathematical Society 118 (3), pp. 675-700. ISSN 0024-6115.

Douzis, K. and Sotiriadis, Stelios and Petrakis, E.G.M. and Amza, C. (2018) Modular and generic IoT management on the cloud. Future Generation Computer Systems 78 (1), 369 - 378. ISSN 0167-739X.

Fa, R. and Cozzetto, D. and Wan, Cen and Jones, D. (2018) Predicting human protein function with multitask deep neural networks. PLoS One , ISSN 1932-6203.

Fenner, Trevor and Harris, Martyn and Levene, Mark and Bar-Ilan, J. (2018) A novel bibliometric index with a simple geometric interpretation. PLoS One , ISSN 1932-6203.

Fenner, Trevor and Levene, Mark and Loizou, George (2018) A multiplicative process for generating the rank-order distribution of UK election results. Quantity & Quality: International Journal of Methodology 52 (3), pp. 1069-1079. ISSN 0033-5177.

Fenner, Trevor and Levene, Mark and Loizou, George (2018) A stochastic differential equation approach to the analysis of the UK 2016 EU referendum polls. Journal of Physics Communications , ISSN 2399-6528.

Gutin, G.Z. and Reidl, Felix and Wahlström, M. (2018) k-distinct in- and out-branchings in digraphs. Journal of Computer and System Sciences 95 , pp. 86-97. ISSN 0022-0000.

Gutin, G.Z. and Reidl, Felix and Wahlström, M. and Zehavi, M. (2018) Designing deterministic polynomial-space algorithms by color-coding multivariate polynomials. Journal of Computer and System Sciences 95 , pp. 69-85. ISSN 0022-0000.

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

Harris, Martyn and Levene, Mark and Zhang, Dell and Levene, D. (2018) Finding parallel passages in cultural heritage archives. ACM Journal on Computing and Cultural Heritage 11 (3), ISSN 1556-4673.

Hart, Sarah and Rowley, P. (2018) Maximal length elements of excess zero in finite Coxeter Groups. Journal of Group Theory 21 (5), ISSN 1435-4446.

Hart, Sarah and Sbeiti Clarke, Amal (2018) Commuting involution graphs for $\tilde C_n$. Communications in Algebra 46 (9), pp. 3965-3985. ISSN 0092-7872.

Hindle, G. and Vidgen, Richard (2018) Developing a business analytics methodology: a case study in the foodbank sector. European Journal of Operational Research 268 (3), pp. 836-851. ISSN 0377-2217.

Hu, W. and Fan, Y. and Xing, J. and Sun, L. and Cai, Z. and Maybank, Stephen J. (2018) Deep constrained siamese hash coding network and load-balanced locality-sensitive hashing for near duplicate image detection. IEEE Transactions on Image Processing 27 (9), pp. 4452-4464. ISSN 1057-7149.

Hu, W. and Gao, J. and Wu, O. and Du, J. and Maybank, Stephen J. (2018) Anomaly detection using local kernel density estimation and context-based regression. IEEE Transactions on Knowledge and Data Engineering 32 (2), pp. 218-233. ISSN 1041-4347.

Hu, W. and Wu, B. and Wang, P. and Yuan, C. and Li, Y. and Maybank, Stephen J. (2018) Context-dependent random walk graph kernels and tree pattern graph matching kernels with applications to action recognition. IEEE Transactions on Image Processing , pp. 5060-5075. ISSN 1057-7149.

Huczynska, S. and Paterson, Maura B. (2018) Weighted external difference families and R-optimal AMD codes. Discrete Mathematics 342 (3), 855 - 867. ISSN 0012-365X.

Jackson, M. and Mikulás, Szabolcs (2018) Domain and range for angelic and demonic compositons. Journal of Logical and Algebraic Methods in Programming 103 , pp. 62-78. ISSN 2352-2208.

Kingrani, Suneel Kumar and Levene, Mark and Zhang, Dell (2018) Estimating the number of clusters using diversity. Artificial Intelligence Research 7 (1), pp. 15-22. ISSN 1927-6974.

Kunc, M. and Mortenson, M. and Vidgen, Richard (2018) A computational literature review of the field of System Dynamics from 1974 to 2017. Journal of Simulation 12 (2), pp. 115-127. ISSN 1747-7778.

Laurillard, D. and Kennedy, E. and Charlton, P. and Wild, J. and Dimakopoulos, Dionysios (2018) Using technology to develop teachers as designers of TEL: evaluating the Learning Designer. British Journal of Educational Technology 49 (6), pp. 1044-1058. ISSN 0007-1013.

Levene, Mark and Bar-Ilan, J. and Zhitomirsky-Geffet, M. (2018) Categorical relevance judgment. Journal of the Association for Information Science and Technology 69 (9), pp. 1084-1094. ISSN 2330-1643.

Lozin, V. and Razgon, Igor and Zamaraev, V. (2018) Well-quasi-ordering versus clique-width. Journal of Combinatorial Theory Series B 130 , pp. 1-18. ISSN 0095-8956.

Lozin, V. and Razgon, Igor and Zamaraev, V. and Zamaraeva, E. and Zolotykh, N. (2018) Linear read-once and related Boolean functions. Discrete Applied Mathematics 250 (11), pp. 16-27. ISSN 0166-218X.

Mosca, Alan and Magoulas, George D. (2018) Customised ensemble methodologies for deep learning: boosted residual networks and related approaches. Neural Computing and Applications 31 (6), pp. 1713-1731. ISSN 0941-0643.

Mosca, Alan and Magoulas, George D. (2018) Hardening against adversarial examples with the smooth gradient method. Soft Computing 22 (10), pp. 3203-3213. ISSN 1432-7643.

Mudinas, Andrius and Zhang, Dell and Levene, Mark (2018) Bootstrap domain-specific sentiment classifiers from unlabeled corpora. Transactions of the Association for Computational Linguistics 6 , pp. 269-285. ISSN 2307-387X.

Omar, R.R. and Han, Tingting and Al-Sumaidaee, S.A.M. and Chen, Taolue (2018) Deep finger texture learning for verifying people. IET Biometrics 8 (1), pp. 40-48. ISSN 2047-4938.

Papageorgiou, Georgios (2018) BNSP: an R Package for fitting Bayesian semiparametric regression models and variable selection. The R Journal 10 (2), pp. 526-548. ISSN 2073-4859.

Paterson, M.B. and Stinson, D.R. and Upadhyay, J. (2018) Multi-prover proof of retrievability. Journal of Mathematical Cryptology 12 (4), pp. 203-220. ISSN 1862-2976.

Petrakis, E. and Sotiriadis, Stelios and Soultanopoulos, T. and Tsiachri Renta, P. and Buyya, R. and Bessis, N. (2018) Internet of Things as a Service (iTaaS): challenges and solutions for management of sensor data on the Cloud and the Fog. Internet of Things 3-4 , pp. 156-174. ISSN 2542-6605.

Poulton, Marcus J. and Noulas, A. and Weston, David J. and Roussos, George (2018) Modelling metropolitan-area ambulance mobility under blue light conditions. IEEE Access 7 , pp. 1390-1403. ISSN 2169-3536.

Reidl, Felix and Sánchez Villaamil, F. and Stavropoulos, K. (2018) Characterising bounded expansion by neighbourhood complexity. European Journal of Combinatorics 75 , pp. 152-168. ISSN 0195-6698.

Sotiriadis, Stelios (2018) CLOTHO: a large-scale Internet of Things based crowd evacuation planning system for disaster management. IEEE Internet of Things 5 (5), pp. 3559-3568. ISSN 2327-4662.

Stamate, C. and Magoulas, George D. and Kueppers, S. and Nomikou, E. and Daskalopoulos, I. and Jha, A. and Pons, J.S. and Rothwell, J. and Luchini, M.U. and Moussouri, T. and Iannone, M. and Roussos, George (2018) The cloudUPDRS app: a medical device for the clinical assessment of Parkinson's Disease. Pervasive and Mobile Computing 43 , pp. 146-166. ISSN 1574-1192.

Thanosopon, B. and Papadopoulos, T. and Vidgen, Richard (2018) How do firms open up the front-end of service innovation? A case study of IT-based service firms in Thailand. International Journal of Innovation Management 22 (1), ISSN 1363-9196.

Tsimperidis, I. and Yoo, Paul D. and Taha, K. and Mylonas, A. and Katos, V. (2018) R2BN: an adaptive model for keystroke-dynamics-based educational level classification. IEEE Transactions on Cybernetics , pp. 1-11. ISSN 2168-2267.

Wang, Q. and Teng, Z. and Xing, J. and Gao, J. and Hu, W. and Maybank, Stephen J. (2018) Learning attentions: residual attentional Siamese Network for high performance online visual tracking. IEEE Computer Society Conference on Computer Vision and Pattern Recognition , ISSN 1063-6919.

Wu, H. and Chen, Taolue and Han, Tingting and Chen, Y. (2018) Bisimulations for Fuzzy Transition Systems revisited. International Journal of Approximate Reasoning 99 , pp. 1-11. ISSN 0888-613X.

Yakovets, N. and Wang, L. and Fletcher, G.H.L. and Taverner, C. and Poulovassilis, Alexandra (2018) Histogram Domain Ordering for Path Selectivity Estimation. Proceedings of the 21st International Conference on Extending Database Technology (EDBT), Vienna, March 26-29, 2018. , pp. 493-496. ISSN 2367-2005.

Yang, H. and Yuan, C. and Li, B. and Du, Y. and Xing, J. and Hu, W. and Maybank, Stephen J. (2018) Asymmetric 3D Convolutional Neural Networks for Action Recognition. Pattern Recognition 85 , pp. 1-12. ISSN 0031-3203.

Zhang, Dell and Yuan, J. and Wang, X. and Foster, Adam (2018) Probabilistic verb selection for data-to-text generation. Transactions of the Association for Computational Linguistics 6 , pp. 511-527. ISSN 2307-387X.

Zhou, Y. and Wang, C. and Yan, X. and Chen, Taolue and Panichella, S. and Gall, H.C. (2018) Automatic detection and repair of directive defects of Java APIs documentation. IEEE Transactions on Software Engineering , ISSN 0098-5589.

Zhou, Y. and Zhou, N. and Han, Tingting and Gu, J. and Wu, W. (2018) Probabilistic verification of hierarchical leader election protocols in dynamic systems. Frontiers of Computer Science 12 (4), pp. 763-776. ISSN 2095-2228.

Book Section

Aning, Kwabena and Mannock, Keith (2018) Further exploration with ACTORKIT: an actor model of concurrency. In: Arabnia, H.R. and Iwata, M. and Joe, K. and Nishikawa, H. and Shouno, H. and Tinetti, F.G. (eds.) Proceedings of the 2018 International Conference on Parallel and Distributed Processing Techniques & Applications. CSREA Press, pp. 80-86. ISBN 1601324871.

Eldaw, Habib Sarnoub and Levene, Mark and Roussos, George (2018) Presence analytics: making sense of human social presence within a learning environment. In: UNSPECIFIED (ed.) 2018 IEEE/ACM 5th International Conference on Big Data Computing Applications and Technologies (BDCAT). IEEE, pp. 174-183. ISBN 9781538655030.

Falk, G. and Mannock, Keith (2018) First steps in creative computational thinking with natural language programming and Lego MINDSTORMS. In: Arabnia, H.R. and Bahrami, A. and Deligiannidis, L. and Tinetti, F.G. (eds.) Proceedings of the 2018 International Conference on e-Learning, e-Business, Enterprise Information Systems, & e-Government. CSREA Press, pp. 10-16. ISBN 160132474X.

Karoudis, K. and Magoulas, George D. (2018) User model interoperability in education: sharing learner data using the experience API and distributed ledger technology. In: Khan, B.H. and Corbeil, J.R. and Corbeil, M.E. (eds.) Responsible Analytics and Data Mining in Education. Abingdon, UK: Routledge. ISBN 9781138305885.

Kikot, Stanislav and Kontchakov, Roman and Rapisarda, Salvatore and Zakharyaschev, Michael (2018) STYPES: nonrecursive datalog rewriter for linear TGDs and conjunctive queries. In: Panetto, H. and Debruyne, C. and Proper, H. and Ardagna, C. and Roman, D. and Meersman, R. (eds.) On the Move to Meaningful Internet Systems. OTM 2018 Conferences. LNCS 11230. Springer, pp. 441-460. ISBN 9783030026707.

Kingrani, Suneel Kumar and Levene, Mark and Zhang, Dell (2018) A meta-evaluation of evaluation methods for diversified search. In: Pasi, G. and Piwowarski, B. and Azzopardi, L. and Hanbury, A. (eds.) Advances in Information Retrieval. ECIR 2018. Lecture Notes in Computer Science 10772. Springer, pp. 550-555. ISBN 9783319769400.

Massand, Esha and Mannock, Keith (2018) User modelling in search for people with Autism. In: Arabnia, H.R. and Deligiannidis, L. and Tinetti, F.G. (eds.) Proceedings of the 2018 International Conference on Software Engineering Research & Practice. CSREA Press, pp. 10-16. ISBN 1601324898.

McBrien, P. and Poulovassilis, Alexandra (2018) Towards data visualisation based on conceptual modelling. In: Trujillo, J.C. and Davis, K.C. and Du, X. and Li, Z. and Ling, T.W. and Li, G. and Lee, M.L. (eds.) Conceptual Modeling: 37th International Conference, ER 2018, Xi'an, China, October 22–25, 2018, Proceedings. Lecture Notes in Computer Science 11157. Springer, pp. 91-99. ISBN 9783030008468.

Poulovassilis, Alexandra (2018) Applications of flexible querying to graph data. In: Fletcher, G.H.L. and Hidders, Jan and Larriba-Pey, J.L. (eds.) Graph Data Management: Fundamental Issues and Recent Developments. Data-Centric Systems and Applications (DCSA). Springer, pp. 97-142. ISBN 9783319961927.

Sotiriadis, Stelios and Lehmets, A. and Petrakis, E.G.M. and Bessis, N. (2018) Testing cloud services using the TestCast tool. In: Latifi, S. (ed.) Information Technology - New Generations: 14th International Conference on Information Technology. Advances in Intelligent Systems and Computing 558. Cham: Springer International Publishing, pp. 819-824. ISBN 9783319549774.

Wang, Q. and Zhang, M. and Xing, J. and Gao, J. and Hu, W. and Maybank, Stephen J. (2018) Do not lose the details: reinforced representation learning for high performance visual tracking. In: Lang, J. (ed.) Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence. ISBN 9780999241127.

Xiao, G. and Calvanese, D. and Kontchakov, Roman and Lembo, D. and Poggi, A. and Rosati, R. and Zakharyaschev, Michael (2018) Ontology-based data access: a survey. In: UNSPECIFIED (ed.) Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence, pp. 5511-5519. ISBN 9780999241127.

Xiao, G. and Kontchakov, Roman and Cogrel, B. and Calvanese, D. and Botoeva, E. (2018) Efficient handling of SPARQL OPTIONAL for OBDA. In: Vrandečić, D. and Bontcheva, K. and Suárez-Figueroa, M.C. and Presutti, V. and Celino, I. and Sabou, M. and Kaffee, L.-A. and Simperl, E. (eds.) The Semantic Web – ISWC 2018 17th International Semantic Web Conference, Monterey, CA, USA, October 8–12, 2018, Proceedings, Part I. Lecture Notes in Computer Science 11136. Springer, pp. 354-373. ISBN 9783030006716.

Zhang, M. and Wang, Q. and Xing, J. and Gao, J. and Peng, P. and Hu, W. and Maybank, Stephen J. (2018) Visual tracking via spatially aligned correlation filters network. In: Ferrari, V. and Hebert, M. and Sminchisescu, C. and Weiss, Y. (eds.) Computer Vision – ECCV 2018: 15th European Conference, Munich, Germany, September 8–14, 2018, Proceedings, Part III. Lecture Notes in Computer Science 11207. Springer, pp. 484-500. ISBN 9783030012182.

Zou, S. and Tao, G. and Wang, J. and Zhang, W. and Zhang, Dell (2018) On the equilibrium of query reformulation and document retrieval. In: UNSPECIFIED (ed.) Proceedings of the 4th ACM SIGIR International Conference on the Theory of Information Retrieval (ICTIR). ACM, pp. 43-50. ISBN 9781450344906.

du Boulay, B. and Poulovassilis, Alexandra and Holmes, W. and Mavrikis, M. (2018) Artificial intelligence and big data to close the achievement gap. In: Luckin, R. (ed.) Enhancing Learning and Teaching with Technology: What the research says. London, UK: UCL Institute of Education Press. ISBN 9781782772262.

Monograph

Baxter, Brad J.C. (2018) Convergence of stationary RBF-schemes for the numerical solution of evolution equations. Working Paper. Le Centre pour la Communication Scientifique Directe, Lyon, France.

Bonin, J.E. and Chun, C. and Noble, Steven (2018) Delta-matroids as subsystems of sequences of Higgs Lifts. Technical Report. Birkbeck, University of London, London, UK.

Bonin, J.E. and Chun, C. and Noble, Steven (2018) The excluded 3-minors for Vf-safe Delta-matroids. Technical Report. Birkbeck, University of London, London, UK.

Fairbairn, Ben (2018) Purely (Non-)Strongly Real Beauville Groups. Technical Report. Birkbeck, University of London, London, UK.

Hart, Sarah and Clarke, A.S. (2018) Commuting Involution Graphs in Classical Affne Weyl Groups. Working Paper. Birkbeck, University of London, London, UK.

Hart, Sarah and Sbeiti Clarke, A. (2018) A note on commuting Involution Graphs in Affine Coxeter Groups. Technical Report. Birkbeck, University of London, London, UK.

Hart, Sarah and Sbeiti Clarke, Amal (2018) Commuting Involution Graphs in Classical Affine Weyl Groups. Working Paper. Birkbeck, University of London, London, UK.

Huczynska, S. and Paterson, Maura B. (2018) Weighted external difference families and R-optimal AMD codes. Technical Report. Birkbeck, University of London, London, UK.

Ng, S.-L. and Paterson, Maura B. (2018) Functional repair codes: a view from projective geometry. Technical Report. Birkbeck, University of London, London, UK.

Conference or Workshop Item

Li, K. and Junliang, X. and Chi, S. and Weiming, H. and Zhang, Y. and Maybank, Stephen J. (2018) Deep cost-sensitive and order-preserving feature learning for cross-population age estimation. In: IEEE Conference on Computer Vision and Pattern Recognition, 2018: CVPR 2018, 18-22 Jun 2018, Salt Lake City, U.S..

Mudinas, Andrius and Zhang, Dell and Levene, Mark (2018) Market trend prediction using sentiment analysis: lessons learned and paths forward. In: Workshop on Issues of Sentiment Discovery and Opinion Mining (WISDOM'18), 10 Aug 2018, London, UK.

Thesis

Frosini, Riccardo (2018) Flexible query processing of SPARQL queries. [Thesis] (Unpublished)