Model Checking Access Control Policies: A Case Study using Google Cloud IAM

Gouglidis, A., Kagia, A. & Hu, V. C., 29/03/2023, Arxiv.

Research output: Working paper › Preprint

The African Stopwords project: curating stopwords for African languages

Emezue, C., Nigatu, H., Chukwuneke, C., Thinwa, C., Zhou, H., Muhammad, S., Louis, L., Abdulmumin, I., Oyerinde, S., Ajibade, B., Samuel, O., Joshua, O., Onwuegbuzia, E., Emezue, H., Ige, I. A., Tonja, A. L., Dossou, B. F. P., Etori, N. A., Emmanuel, M. C. & Yousuf, O. & 2 others, Aina, K. & David, D., 21/03/2023, Arxiv.

Research output: Working paper › Preprint

Automatic Locally Stationary Time Series Forecasting with application to predicting U.K. Gross Value Added Time Series under sudden shocks caused by the COVID pandemic

Killick, R., Knight, M. I., Nason, G. P., Nunes, M. A. & Eckley, I. A., 14/03/2023.

Research output: Working paper › Preprint

Topological transitions with continuously monitored free fermions

Kells, G., Meidan, D. & Romito, A., 13/03/2023, SciPost Foundation.

Research output: Working paper › Preprint

A survey of congruences and quotients of partially ordered sets

Williams, N. J., 7/03/2023.

Research output: Working paper › Preprint

Use of a digital application to enhance communication and triage between care homes and National Health Service community services in the United Kingdom: a qualitative evaluation

Russell, S., Stocker, R., Cockshott, Z., Mason, S., Knight, J., Hanratty, B. & Preston, N., 2/03/2023, medRxiv.

Research output: Working paper › Preprint

A geometric perspective on the $τ$-cluster morphism category

Schroll, S., Tattar, A., Treffinger, H. & Williams, N. J., 23/02/2023.

Research output: Working paper › Preprint

A closer look at high-energy X-ray-induced bubble formation during soft tissue imaging

Xian, R. P., Brunet, J., Huang, Y., Wagner, W. L., Lee, P. D., Tafforeau, P. & Walsh, C. L., 14/02/2023, (Unpublished) bioRxiv.

Research output: Working paper › Preprint

A structural view of maximal green sequences

Gorsky, M. & Williams, N. J., 20/01/2023.

Research output: Working paper › Preprint

ICARUS at the Fermilab Short-Baseline Neutrino Program -- Initial Operation

ICARUS Collaboration, 20/01/2023.

Research output: Working paper › Preprint

Improving Power by Conditioning on Less in Post-selection Inference for Changepoints

Carrington, R. & Fearnhead, P., 13/01/2023, Arxiv.

Research output: Working paper › Preprint

Designing an Optimal LSST Deep Drilling Program for Cosmology with Type Ia Supernovae

The LSST Dark Energy Science Collaboration, 11/01/2023.

Research output: Working paper › Preprint

The Entoptic Field Camera as Metaphor-Driven Research-through-Design with AI Technologies

Benjamin, J., Biggs, H., Berger, A., Rukanskaitė, J., Heidt, M., Merrill, N., Pierce, J. & Lindley, J., 2023, (Accepted/In press).

Research output: Working paper › Preprint

Two families of Dirac-like operators for Drinfeld's Hecke algebra

Calvert, K., 23/12/2022.

Research output: Working paper › Preprint

The tensorial representation of the distributional stress-energy quadrupole and its dynamics

Gratus, J. & Talaganis, S., 7/11/2022, Arxiv.

Research output: Working paper › Preprint

DUNE Offline Computing Conceptual Design Report

DUNE Collaboration, Blake, A., Brailsford, D., Cross, R., Mouster, G., Nowak, J. & Ratoff, P., 28/10/2022.

Research output: Working paper › Preprint

‘Something that facilitates our work…rather than a hindrance’: Clinical pharmacist perspectives on the use of data analytics to support polypharmacy medication reviews in primary care

Hurley, R., Jury, F., van Staa, T. P., Palin, V. & Armitage, C., 25/10/2022, Research Square, 22 p.

Research output: Working paper › Preprint

Detecting A Single Change-point

Fearnhead, P. & Fryzlewicz, P., 13/10/2022, Arxiv.

Research output: Working paper › Preprint

LancasterAQ: A High Resolution Street Level Dataset of Ultrafine Particles

Amos, M., Booker, D., Duncan, R., Gouldsbrough, L., Pinder, T., Young, P. & Carter, J., 3/10/2022, EarthArXiv.

Research output: Working paper › Preprint

Measuring Light Yield with Isolated Protons in MicroBooNE

MicroBooNE Collaboration, 22/09/2022.

Research output: Working paper › Preprint

Light Yield Calibration in MicroBooNE

MicroBooNE Collaboration, 20/09/2022.

Research output: Working paper › Preprint

Transformer-based Detection of Multiword Expressions in Flower and Plant Names

Premasiri, D., Haddad, A. H., Ranasinghe, T. & Mitkov, R., 20/09/2022, Arxiv.

Research output: Working paper › Preprint

Pragmatism or Politicism: Local Officials’ Decision Making in Social Policy Experimentation

Wang, Y., 16/09/2022, SSRN Working Paper.

Research output: Working paper › Preprint

Differential cross section measurement of charged current $ν_{e}$ interactions without final-state pions in MicroBooNE

MicroBooNE Collaboration, Blake, A., Devitt, A., Nowak, J., Patel, N. & Thorpe, C., 9/09/2022, Arxiv.

Research output: Working paper › Preprint

A New Aligned Simple German Corpus

Toborek, V., Busch, M., Boßert, M., Bauckhage, C. & Welke, P., 2/09/2022, Arxiv.

Research output: Working paper › Preprint