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 othersAina, 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

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

Preferential Subsampling for Stochastic Gradient Langevin Dynamics

Putcha, S., Nemeth, C. & Fearnhead, P., 23/02/2023, (Accepted/In press) Proceedings of Machine Learning Research, (Artificial Intelligence and Statistics; vol. 206).

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

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

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

The relationship between smartphone use and smartphone addiction: an examination of logged and self-reported behaviour in a pre-registered, two-wave sample

James, R., Jackson, H. & Hitcham, L., 29/08/2022, PsyArXiv, 44 p.

Research output: Working paper › Preprint

Triangulations of prisms and preprojective algebras of type $A$

Iyama, O. & Williams, N. J., 27/08/2022.

Research output: Working paper › Preprint

Personalising knowledge assessments to remove compensation and thereby improve preparation for safe practice - developing content adaptive progress testing

Burr, S. A., Kisielewska, J., Zahra, D., Hodgins, I., Robinson, I., Millin, P., Gale, T., Santos, N. & Pêgo, J. M. G. M., 23/08/2022, (Unpublished) ResearchSquare.

Research output: Working paper › Preprint

SwISS: A Scalable Markov chain Monte Carlo Divide-and-Conquer Strategy

Vyner, C., Nemeth, C. & Sherlock, C., 8/08/2022.

Research output: Working paper › Preprint

The centre of the Dunkl total angular momentum algebra

Calvert, K., Martino, M. D. & Oste, R., 22/07/2022, Arxiv.

Research output: Working paper › Preprint

Modelling Populations of Interaction Networks via Distance Metrics

Bolt, G., Lunagómez, S. & Nemeth, C., 20/06/2022.

Research output: Working paper › Preprint

Red blood cell dynamics in extravascular biological tissues modelled as canonical disordered porous media

Zhou, Q., Schirrmann, K., Doman, E., Chen, Q., Singh, N., Selvaganapathy, P. R., Bernabeu, M. O., Jensen, O. E., Juel, A., Chernyavsky, I. L. & Krüger, T., 19/06/2022, bioRxiv.

Research output: Working paper › Preprint

Distances for Comparing Multisets and Sequences

Bolt, G., Lunagómez, S. & Nemeth, C., 17/06/2022, Arxiv.

Research output: Working paper › Preprint

Euclid preparation: XX. The Complete Calibration of the Color-Redshift Relation survey: LBT observations and data release

Euclid Collaboration, 3/06/2022, (Accepted/In press).

Research output: Working paper › Preprint

A stochastic game framework for patrolling a border

Darlington, M., Glazebrook, K. D., Leslie, D. S., Shone, R. & Szechtman, R., 20/05/2022, Arxiv.

Research output: Working paper › Preprint

Topology-dependence of propagation mechanisms in the production network

Molnár, E. & Csala, D., 18/05/2022, Arxiv.

Research output: Working paper › Preprint

Speaker knowledgeability and informativity inferences

Rees, A., Reksnes, V. R. S. & Rohde, H., 12/04/2022.

Research output: Working paper › Preprint

The International Linear Collider: Report to Snowmass 2021

International Linear Collider Global Design Effort, 15/03/2022, Arxiv.

Research output: Working paper › Preprint

Multivariate sensitivity analysis for a large-scale climate impact and adaptation model

Oyebamiji, O., Nemeth, C., Harrison, P., Dunford, R. & Cojocaru, G., 24/01/2022, Arxiv.

Research output: Working paper › Preprint

Electrophysiological evidence for a Whorfian double dissociation of categorical perception across two languages

Casaponsa, A., García-Guerrero, M. A., Martinez, A., Ojeda, N., Thierry, G. & Athanasopoulos, P., 2022.

Research output: Working paper › Preprint

A Personalized Smartphone-Delivered Just-in-time Adaptive Intervention (JitaBug) to Increase Physical Activity in Older Adults: Mixed Methods Feasibility Study (Preprint)

Mair, J. L., Hayes, L. D., Campbell, A. K., Buchan, D. S., Easton, C. & Sculthorpe, N., 3/11/2021, JMIR PUBLICATIONS, INC.

Research output: Working paper › Preprint

Apple Tasting Revisited: Bayesian Approaches to Partially Monitored Online Binary Classification

Grant, J. A. & Leslie, D. S., 29/09/2021, Arxiv.

Research output: Working paper › Preprint

Gaussian Processes on Hypergraphs

Pinder, T., Turnbull, K., Nemeth, C. & Leslie, D., 3/06/2021.

Research output: Working paper › Preprint

The two higher Stasheff-Tamari orders are equal

Williams, N. J., 2/06/2021, EMS Press.

Research output: Working paper › Preprint

Efficient and Generalizable Tuning Strategies for Stochastic Gradient MCMC

Coullon, J., South, L. & Nemeth, C., 27/05/2021, Arxiv.

Research output: Working paper › Preprint

Robust Bayesian Nonparametric Variable Selection for Linear Regression

Cabezas, A., Battiston, M. & Nemeth, C., 23/05/2021.

Research output: Working paper › Preprint

The Power of Wearables: Is it Time to Use Commercially Available Activity Tracker Data Retrospectively to Understand Population Physical Activity Patterns?

Mair, J., Campbell, A., Hayes, L. & Sculthorpe, N., 26/01/2021, SSRN Working Paper, 9 p.

Research output: Working paper › Preprint

The first higher Stasheff-Tamari orders are quotients of the higher Bruhat orders

Williams, N. J., 18/12/2020.

Research output: Working paper › Preprint

The Effects of an 8-weeks in-season Loaded Plyometric Exercise by Elastic Band Training Program on the Peak Power, Strength, and Throwing Velocity of Junior Male Handball Players

Aloui, G., Hermassi, S., Bragazzi, NL., Hammami, M., Cherni, Y., Gaamouri, N., Shephard, RJ., Hayes, LD. & Chelly, MS., 5/10/2020, Preprints.

Research output: Working paper › Preprint

New interpretations of the higher Stasheff--Tamari orders

Williams, N. J., 24/07/2020.

Research output: Working paper › Preprint

The combinatorics of tensor products of higher Auslander algebras of type $A$

McMahon, J. & Williams, N. J., 18/01/2020.

Research output: Working paper › Preprint

Proving soundness of combinatorial Vickrey auctions and generating verified executable code

Caminati, M. B., Kerber, M., Lange, C. & Rowat, C., 8/08/2013, (arXiv preprint arXiv:1308.1779).

Research output: Working paper › Preprint

Yet another proof of Goedel's completeness theorem for first-order classical logic

Caminati, M. B., 11/10/2009, (arXiv preprint arXiv:0910.2059).

Research output: Working paper › Preprint

An upper bound on the number of zeros of a piecewise polinomial function

Caminati, M., 15/10/2008, (arXiv preprint arXiv:0810.2634).

Research output: Working paper › Preprint