Welcome to Repository@Nottingham

Epimorphisms and acyclic types in univalent foundations (2024)
Journal Article
Buchholtz, U., De Jong, T., & Rijke, E. (in press). Epimorphisms and acyclic types in univalent foundations. Journal of Symbolic Logic,

We characterize the epimorphisms in homotopy type theory (HoTT) as the fiberwise acyclic maps and develop a type-theoretic treatment of acyclic maps and types in the context of synthetic homotopy theory as developed in univalent foundations. We prese... Read More about Epimorphisms and acyclic types in univalent foundations.

Wnt/GSK‐3β mediates posttranslational modifications of FLYWCH1 to regulate intestinal epithelial function and tumorigenesis in the colon (2024)
Journal Article
Almozyan, S., Babaei‐Jadidi, R., Aljohani, A., Youssefi, S., Dalleywater, W., Kadam, P., Spencer‐Dene, B., Rakha, E., Ilyas, M., & Shams Nateri, A. (2024). Wnt/GSK‐3β mediates posttranslational modifications of FLYWCH1 to regulate intestinal epithelial function and tumorigenesis in the colon. Cancer Communications, https://doi.org/10.1002/cac2.12625

Co-developing frameworks towards environmentally directed pharmaceutical prescribing in Scotland -A mixed methods study (2024)
Journal Article
Niemi, L., Arakawa, N., Glendell, M., Gagkas, Z., Gibb, S., Anderson, C., & Pfleger, S. (2024). Co-developing frameworks towards environmentally directed pharmaceutical prescribing in Scotland -A mixed methods study. Science of the Total Environment, 955, Article 176929. https://doi.org/10.1016/j.scitotenv.2024.176929

The presence of human pharmaceuticals in the aquatic environment is recognised internationally as an important public health and environmental issue. In Scotland, healthcare sustainability targets call for improvements to medicine prescribing and use... Read More about Co-developing frameworks towards environmentally directed pharmaceutical prescribing in Scotland -A mixed methods study.

Monitoring university student response to social distancing policy during the SARS-CoV-2 pandemic using Bluetooth: the RADAR study (2024)
Journal Article
Bolton, K. J., Mendez-Villalon, A., Nanji, H., Jia, R., Ayling, K., Figueredo, G., & Vedhara, K. (in press). Monitoring university student response to social distancing policy during the SARS-CoV-2 pandemic using Bluetooth: the RADAR study. Mathematics in Medical and Life Sciences,

Aim: We use the Remote Assessment of Disease and Relapses platform (RADAR) to collect Bluetooth contact and location data from university students. We test the ability of this technology to objectively capture social interaction, explore the propensi... Read More about Monitoring university student response to social distancing policy during the SARS-CoV-2 pandemic using Bluetooth: the RADAR study.

Preliminary Design of a GNSS Interference Mapping CubeSat Mission: JamSail (2024)
Journal Article
Cormier, L., Yousif, T., Thompson, S., Arcia Gil, A., Pushparaj, N., Blunt, P., & Cappelletti, C. (2024). Preliminary Design of a GNSS Interference Mapping CubeSat Mission: JamSail. Aerospace, 11(11), Article 901. https://doi.org/10.3390/aerospace11110901

The JamSail mission is an educational CubeSat aiming to design, develop, and demonstrate two new technologies on a small satellite, tentatively scheduled for launch no earlier than 2026. When launched, JamSail will demonstrate the functionality of tw... Read More about Preliminary Design of a GNSS Interference Mapping CubeSat Mission: JamSail.