A

Akter, S. and Oliveira, J.Iv.N. and Barton, Carl and Sarkar, M.H. and Shahab, M. and Banu, T.A. and Goswami, B. and Osman, E. and Uzzaman, M.S. and Nafisa, T. and Molla, M.A. and Yeasmin, M. and Farzana, M. and Habib, A. and Shaikh, A.A. and Khan, S. (2023) Spike protein mutations and structural insights of pangolin lineage B.1.1.25 with implications for viral pathogenicity and ACE2 binding affinity. Scientific Reports 13 (1), ISSN 2045-2322.

Almahmoud, Zaid and Yoo, Paul and Alhussein, O. and Farhat, I. and Damiani, E. (2023) A holistic and proactive approach to forecasting cyber threats. Scientific Reports 13 (8049), ISSN 2045-2322.

Artale, A. and Gnatenko, A. and Ryzhikov, Vladislav and Zakhariyashchev, Michael (2023) A decidable temporal DL-Lite logic with undecidable first-order and datalog-rewritability of ontology-mediated atomic queries. In: Kutz, O. and Lutz, C. and Ozaki, A. (eds.) Proceedings of the 36th International Workshop on Description Logics (DL 2023). CEUR Workshop Proceedings 3515. CEUR.

B

Ballatore, Andrea and Katerinchuk, Val and Poulovassilis, Alex and Wood, Peter (2023) Tracking museums' online responses to the Covid-19 pandemic: a study in museum analytics. ACM Journal on Computing and Cultural Heritage , ISSN 1556-4673.

C

Candlin, Fiona and Ballatore, A. and Larkin, J. and Poulovassilis, A. and Katerinchuk, V. and Liebenrood, M. (2023) The UK museum boom: continuity and change 1960-2019. Cultural Trends , ISSN 0954-8963. (Submitted)

Charalampopoulos, Panagiotis and Gawrychowski, P. and Long, Y. and Mozes, S. and Pettie, S. and Weimann, O. and Wulff-Nilsen, C. (2023) Almost optimal exact distance oracles for planar graphs. Journal of the ACM 70 (2), pp. 1-50. ISSN 0004-5411.

Chouliaras, Spyridon (2023) Adaptive resource provisioning in cloud computing environments. [Thesis] (Unpublished)

D

Dall'Agnol, M. and Gur, T. and Lachish, Oded (2023) A structural theorem for local algorithms with applications to coding, testing, and privacy. SIAM Journal on Computing 52 (6), pp. 1413-1463. ISSN 0097-5397.

De Meo, Pasquale and Levene, Mark and Provetti, Alessandro (2023) Branching processes reveal influential nodes in social networks. Information Sciences 644 (119201), pp. 1-19. ISSN 0020-0255.

F

Fortin, M. and Konev, B. and Ryzhikov, Vladislav and Savateev, Yury and Wolter, F. and Zakhariyashchev, Michael (2023) Reverse engineering of temporal queries mediated by LTL ontologies. In: Elkind, E. (ed.) Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence, pp. 3230-3238. ISBN 9781956792034.

H

Hart, Sarah (2023) Once upon a Prime: the wondrous connections between mathematics and literature. HarperCollins. ISBN 9780008601089.

Hart, Sarah and Rowley, Peter (2023) Lengths of Involutions in Finite Coxeter Groups. Journal of Pure and Applied Algebra 227 (2), p. 107190. ISSN 0022-4049.

Hayrapetyan, Z. and Mirkin, Boris and Nascimento, S. and Fenner, Trevor and Frolov, D. (2023) Modeling a most specific generalization in domain taxonomies. In: 17th Conference of the International Federation of Classification Societies (IFCS 2022), 19-23 July 2022, Porto, Portugal. (In Press)

Herzog, Nitsa J (2023) Deep learning of brain asymmetry digital biomarkers to support early diagnosis of cognitive decline and dementia. [Thesis] (Unpublished)

K

Kurucz, A. and Ryzhikov, Vladislav and Savateev, Yury and Zakhariyashchev, Michael (2023) Deciding FO-rewritability of Regular Languages and Ontology-Mediated Queries in Linear Temporal Logic. Journal of Artificial Intelligence Research 76 , ISSN 1076-9757.

L

Levene, Mark and Fenner, Trevor (2023) The phenomenon of Decision Oscillation: a new consequence of pathology in Game Trees. Computational Intelligence , ISSN 0824-7935.

Li, B. and Qin, H. and Xiong, W. and Li, Y. and Feng, S. and Hu, W. and Maybank, Stephen (2023) Ranking-based color constancy with limited training samples. IEEE Transactions on Pattern Analysis and Machine Intelligence , ISSN 0162-8828.

Liao, L. and Guo, Z. and Gao, Qi and WANG, Y. and Yu, F. and Zhao, Q. and Maybank, Stephen and Liu, Z. and Li, C. and Li, L. (2023) Color image recovery using generalized matrix completion over higher-order finite dimensional algebra. Axioms 12 (10), pp. 954-976. ISSN 2075-1680.

Liebenrood, Mark and Ballatore, Andrea and Candlin, Fiona and Larkin, Jamie and Poulovassilis, Alex and Wood, Peter (2023) Working paper on monitoring museum closure and reopening in the UK during the Covid-19 pandemic. UNSPECIFIED. (Unpublished)

Liu, Y. and Cao, J. and LI, B. and Hu, W. and Maybank, Stephen (2023) Learning to explore distillability and sparsability: a joint framework for model compression. IEEE Transactions on Pattern Analysis and Machine Intelligence 45 (3), pp. 3378-3395. ISSN 0162-8828.

M

Marshall, Benjamin Charles (2023) Gaussian process audio segmentation. [Thesis] (Unpublished)

Matuozzo, Alberto and Yoo, Paul and Provetti, Alessandro (2023) A right kind of wrong: European equity market forecasting with custom feature engineering and loss functions. Expert Systems with Applications , ISSN 0957-4174.

Maybank, Stephen and Liu, L. and Tau, D. (2023) Generalized Watson distribution on the Hypersphere with applications to clustering. Journal of Mathematical Imaging and Vision 65 , pp. 302-322. ISSN 0924-9907.

N

Nulty, Paul (2023) Operationalising conceptual structure. In: de Bolla, P. (ed.) Explorations in the Digital History of Ideas - New Methods and Computational Approaches Search within full text. Cambridge University Press, pp. 54-76. ISBN 9781009263610.

P

Poulovassilis, Alexandra and Katerinchuk, Valeri and Candlin, Fiona (2023) Designing a system to chart the development of the UK museum sector: an iterative approach. Journal of Systems and Information Technology , ISSN 1328-7265.

Prifti, Ylli (2023) The emergence of interpersonal and social trust in online interactions. [Thesis] (Unpublished)

R

Reidl, Felix and Sullivan, B. (2023) A color-avoiding approach to subgraph counting in Bounded Expansion Classes. Algorithmica 85 (8), pp. 2318-2347. ISSN 0178-4617.

S

Sikora, Tomasz Dawid (2023) Adaptive monitoring and control framework in Application Service Management environment. [Thesis] (Unpublished)

T

Taha, K. and Yoo, Paul and Al-Hammadi, Y. and Muhaidat, S. and Yeun, C.Y. (2023) Learning a deep-feature clustering model for gait-based individual identification. Computers and Security , ISSN 0167-4048.

W

Wang, J. and Yuan, C. and Li, B. and Deng, Y. and Hu, W. and Maybank, Stephen (2023) Self-prior guided pixel adversarial networks for blind image inpainting. IEEE Transactions on Pattern Analysis and Machine Intelligence , ISSN 0162-8828.

Y

Yang, G. and Zhou, Y. and Chen, X. and Zhang, X. and Xu, Y. and Han, Tingting and Chen, Taolue (2023) A syntax-guided multi-task learning approach for Turducken-style code generation. Empirical Software Engineering 28 , ISSN 1382-3256.

Yu, Z. and Chen, C. and Yongchao, W. and Han, Tingting and Chen, Taolue (2023) Context-aware API recommendation using tensor factorization. Science China Information Sciences , ISSN 1869-1919.

Z

Zhang, G. and Nulty, Paul and Lillis, D. (2023) Argument mining with graph representation learning. In: UNSPECIFIED (ed.) Proceedings of the Nineteenth International Conference on Artificial Intelligence and Law. ACM Digital LIbrary, pp. 371-380. ISBN 9798400701979.

Zhang, Yedi and Zhao, Zhe and Chen, Guangke and Song, Fu and Chen, Taolue (2023) Precise quantitative analysis of binarized neural networks: a BDD-based approach. ACM Transactions on Software Engineering and Methodology 32 (3), 62:1-62:51. ISSN 1049-331X.

Zhou, Y. and Zhan, W. and Li, Z. and Han, Tingting and Chen, Taolue and Gall, H. (2023) DRIVE: Dockerfile Rule Mining and Violation Detection. ACM Transactions on Software Engineering and Methodology 33 (2), pp. 1-23. ISSN 1049-331X.