Skip to main content

Research Repository

Advanced Search

All Outputs (3382)

Strictification theorems for the homotopy time-slice axiom (2023)
Journal Article
Benini, M., Carmona, V., & Schenkel, A. (2023). Strictification theorems for the homotopy time-slice axiom. Letters in Mathematical Physics, 113(1), Article 20. https://doi.org/10.1007/s11005-023-01647-1

It is proven that the homotopy time-slice axiom for many types of algebraic quantum field theories (AQFTs) taking values in chain complexes can be strictified. This includes the cases of Haag–Kastler-type AQFTs on a fixed globally hyperbolic Lorentzi... Read More about Strictification theorems for the homotopy time-slice axiom.

Individual level microbial communities in the digestive system of the freshwater isopod Asellus aquaticus: Complex, robust and prospective (2023)
Journal Article
Liao, A., Hartikainen, H., & Buser, C. C. (2023). Individual level microbial communities in the digestive system of the freshwater isopod Asellus aquaticus: Complex, robust and prospective. Environmental Microbiology Reports, 15(3), 188-196. https://doi.org/10.1111/1758-2229.13142

The freshwater isopod Asellus aquaticus is an important decomposer of leaf detritus, and its diverse gut microbiome has been depicted as key contributors in lignocellulose degradation as of terrestrial isopods. However, it is not clear whether the in... Read More about Individual level microbial communities in the digestive system of the freshwater isopod Asellus aquaticus: Complex, robust and prospective.

Spring-in of composite L-shape specimens: An experimental and numerical investigation (2023)
Journal Article
Traiforos, N., Matveev, M., Chronopoulos, D., & Turner, T. (2023). Spring-in of composite L-shape specimens: An experimental and numerical investigation. Composite Structures, 310, Article 116772. https://doi.org/10.1016/j.compstruct.2023.116772

The effect of stacking sequence, specimen thickness, tooling material and curing cycle on process induced distortions of L-shape composite structures is investigated experimentally and numerically. Sixty specimens were manufactured, and their spring-... Read More about Spring-in of composite L-shape specimens: An experimental and numerical investigation.

Should Type Theory Replace Set Theory as the Foundation of Mathematics? (2023)
Journal Article
Altenkirch, T. (2023). Should Type Theory Replace Set Theory as the Foundation of Mathematics?. Global Philosophy, 33(1), Article 21. https://doi.org/10.1007/s10516-023-09676-0

Mathematicians often consider Zermelo-Fraenkel Set Theory with Choice (ZFC) as the only foundation of Mathematics, and frequently don’t actually want to think much about foundations. We argue here that modern Type Theory, i.e. Homotopy Type Theory (H... Read More about Should Type Theory Replace Set Theory as the Foundation of Mathematics?.

The biological paradigm of psychosis in crisis – A Kuhnian analysis (2023)
Journal Article
Pearson, M., Rennick-Egglestone, S., & Winship, G. (2023). The biological paradigm of psychosis in crisis – A Kuhnian analysis. Nursing Philosophy, 24(4), Article e12418. https://doi.org/10.1111/nup.12418

The philosophy of Thomas Kuhn proposes that scientific progress involves periods of crisis and revolution in which previous paradigms are discarded and replaced. Revolutions in how mental health problems are conceptualised have had a substantial impa... Read More about The biological paradigm of psychosis in crisis – A Kuhnian analysis.

The biological paradigm of psychosis in crisis: A Kuhnian analysis (2023)
Journal Article
Pearson, M., Egglestone, S. R., & Winship, G. (2023). The biological paradigm of psychosis in crisis: A Kuhnian analysis. Nursing Philosophy, 24(4), Article e12418. https://doi.org/10.1111/nup.12418

The philosophy of Thomas Kuhn proposes that scientific progress involves periods of crisis and revolution in which previous paradigms are discarded and replaced. Revolutions in how mental health problems are conceptualised have had a substantial impa... Read More about The biological paradigm of psychosis in crisis: A Kuhnian analysis.

Efficient All-Perovskite White Light-Emitting Diodes Made of In Situ Grown Perovskite-Mesoporous Silica Nanocomposites (2023)
Journal Article
Fan, M., Huang, J., Turyanska, L., Bian, Z., Wang, L., Xu, C., …Yang, X. (2023). Efficient All-Perovskite White Light-Emitting Diodes Made of In Situ Grown Perovskite-Mesoporous Silica Nanocomposites. Advanced Functional Materials, 33(19), Article 2215032. https://doi.org/10.1002/adfm.202215032

Metal halide perovskite quantum dots (QDs) have emerged as potential materials for high brightness, wide color gamut, and cost-effective backlight emission due to their high photoluminescence quantum yields, narrow emission linewidths, and tunable ba... Read More about Efficient All-Perovskite White Light-Emitting Diodes Made of In Situ Grown Perovskite-Mesoporous Silica Nanocomposites.

Modelling and performance evaluation of a direct steam generation solar power system coupled with steam accumulator to meet electricity demands for a hospital under typical climate conditions in Libya (2023)
Journal Article
Ehtiwesh, A., Kutlu, C., Su, Y., & Riffat, S. (2023). Modelling and performance evaluation of a direct steam generation solar power system coupled with steam accumulator to meet electricity demands for a hospital under typical climate conditions in Libya. Renewable Energy, 206, 795-807. https://doi.org/10.1016/j.renene.2023.02.075

This study aims to build a dynamic model of a direct steam generation (DSG) solar power system coupled with a steam accumulator to meet electricity demands for a hospital under transient environmental conditions in Libya. The main components of the s... Read More about Modelling and performance evaluation of a direct steam generation solar power system coupled with steam accumulator to meet electricity demands for a hospital under typical climate conditions in Libya.

Mechanical properties of high strength steels and weld metals at arctic low temperatures (2023)
Journal Article
Chen, M. T., Cai, A., Pandey, M., Shen, C., Zhang, Y., & Hu, L. (2023). Mechanical properties of high strength steels and weld metals at arctic low temperatures. Thin-Walled Structures, 185, Article 110543. https://doi.org/10.1016/j.tws.2023.110543

This paper attempts to acquire fundamental knowledge on the mechanical properties of high strength steels and the corresponding high strength weld metals at arctic low temperatures. Two types of high strength steels (Q890, Q960) and three types of hi... Read More about Mechanical properties of high strength steels and weld metals at arctic low temperatures.

Enhanced Starting Control Scheme for PMM-Based Starter/Generator System for MEA (2023)
Journal Article
Mohamed, M. A. A., Shen Yeoh, S., Atkin, J., Diab, A. M., Khalaf, M., & Bozhko, S. (2023). Enhanced Starting Control Scheme for PMM-Based Starter/Generator System for MEA. Aerospace, 10(2), Article 168. https://doi.org/10.3390/aerospace10020168

A control approach for aircraft Starter/Generator (S/G) with Permanent Magnet Machine (PMM) operating in Flux Weakening (FW) mode is presented. The proposed strategy helps the previous approaches which are adopted for the Variable Voltage Bus (VVB) o... Read More about Enhanced Starting Control Scheme for PMM-Based Starter/Generator System for MEA.

Diagnostic Sensitivity of Unenhanced CT for Cerebral Venous Thrombosis: Can Clot Density Measurement Replace CT Venogram? (2023)
Journal Article
Chaudhary, S. R., Chunara, M., McLeavy, C., Qayyum, H., Cusack, J., Paton, D., …Ganguly, A. (2023). Diagnostic Sensitivity of Unenhanced CT for Cerebral Venous Thrombosis: Can Clot Density Measurement Replace CT Venogram?. Indian Journal of Radiology and Imaging, 33(02), 187-194. https://doi.org/10.1055/s-0043-1761184

Objectives Cerebral venous sinus thrombosis is an important cause of stroke in young adults. Noncontrast-enhanced CT head (NECT) is almost always the first investigation. Our objectives were as follows:1. How accurately does venous sinus density on N... Read More about Diagnostic Sensitivity of Unenhanced CT for Cerebral Venous Thrombosis: Can Clot Density Measurement Replace CT Venogram?.

Naming the “baby” or the “beast”? The importance of concepts and labels in healthcare safety investigation (2023)
Journal Article
Wiig, S., Macrae, C., Frich, J., & Øyri, S. F. (2023). Naming the “baby” or the “beast”? The importance of concepts and labels in healthcare safety investigation. Frontiers in Public Health, 11, Article 1087268. https://doi.org/10.3389/fpubh.2023.1087268

This paper focuses on concepts and labels used in investigation of adverse events in healthcare. The aim is to prompt critical reflection of how different stakeholders frame investigative activity in healthcare and to discuss the implications of the... Read More about Naming the “baby” or the “beast”? The importance of concepts and labels in healthcare safety investigation.

One-dimensional alignment of defects in a flexible metal-organic framework (2023)
Journal Article
Fu, Y., Forse, A. C., Kang, Z., Cliffe, M. J., Cao, W., Yin, J., …Kong, X. (2023). One-dimensional alignment of defects in a flexible metal-organic framework. Science Advances, 9(6), Article eade6975. https://doi.org/10.1126/sciadv.ade6975

Crystalline materials are often considered to have rigid periodic lattices, while soft materials are associated with flexibility and nonperiodicity. The continuous evolution of metal-organic frameworks (MOFs) has erased the boundaries between these t... Read More about One-dimensional alignment of defects in a flexible metal-organic framework.

Oceanic Eddy Identification Using Pyramid Split Attention U-Net With Remote Sensing Imagery (2023)
Journal Article
Zhao, N., Huang, B., Yang, J., Radenkovic, M., & Chen, G. (2023). Oceanic Eddy Identification Using Pyramid Split Attention U-Net With Remote Sensing Imagery. IEEE Geoscience and Remote Sensing Letters, 20, Article 1500605. https://doi.org/10.1109/lgrs.2023.3243902

Oceanic eddy is the ubiquitous ocean flow phenomenon, which has been the key factor in the transportation of ocean energy and materials. Consequently, oceanographic understanding can be enhanced by the intelligent identification of eddy. State-of-the... Read More about Oceanic Eddy Identification Using Pyramid Split Attention U-Net With Remote Sensing Imagery.

Intelligent Beam Steering for Wireless Communication Using Programmable Metasurfaces (2023)
Journal Article
Ashraf, N., Saeed, T., Taghvaee, H., Abadal, S., Vassiliou, V., Liaskos, C., …Lestas, M. (2023). Intelligent Beam Steering for Wireless Communication Using Programmable Metasurfaces. IEEE Transactions on Intelligent Transportation Systems, 24(5), 4848-4861. https://doi.org/10.1109/TITS.2023.3241214

Reconfigurable Intelligent Surfaces (RIS) are well established as a promising solution to the blockage problem in millimeter-wave (mm-wave) and terahertz (THz) communications, envisioned to serve demanding networking applications, such as 6G and vehi... Read More about Intelligent Beam Steering for Wireless Communication Using Programmable Metasurfaces.

Low-Density Lipoprotein Pathway Is a Ubiquitous Metabolic Vulnerability in High Grade Glioma Amenable for Nanotherapeutic Delivery (2023)
Journal Article
Adekeye, A. O., Needham, D., & Rahman, R. (2023). Low-Density Lipoprotein Pathway Is a Ubiquitous Metabolic Vulnerability in High Grade Glioma Amenable for Nanotherapeutic Delivery. Pharmaceutics, 15(2), Article 599. https://doi.org/10.3390/pharmaceutics15020599

Metabolic reprogramming, through increased uptake of cholesterol in the form of low-density lipoproteins (LDL), is one way by which cancer cells, including high grade gliomas (HGG), maintain their rapid growth. In this study, we determined LDL recept... Read More about Low-Density Lipoprotein Pathway Is a Ubiquitous Metabolic Vulnerability in High Grade Glioma Amenable for Nanotherapeutic Delivery.

The executive disruption model of tinnitus distress: Model validation in two independent datasets using factor score regression (2023)
Journal Article
Clarke, N. A., Akeroyd, M. A., Henshaw, H., Hall, D. A., Mohamad, W. N. W., & Hoare, D. J. (2023). The executive disruption model of tinnitus distress: Model validation in two independent datasets using factor score regression. Frontiers in Psychology, 14, Article 1006349. https://doi.org/10.3389/fpsyg.2023.1006349

This study presents the executive disruption model (EDM) of tinnitus distress and subsequently validates it statistically using two independent datasets (the Construction Dataset: n = 96 and the Validation Dataset: n = 200). The conceptual EDM was fi... Read More about The executive disruption model of tinnitus distress: Model validation in two independent datasets using factor score regression.

Electronic Structure and Photoactivity of Organoarsenic Hybrid Polyoxometalates (2023)
Journal Article
Kibler, A. J., Tsang, N., Winslow, M., Argent, S. P., Lam, H. W., Robinson, D., & Newton, G. N. (2023). Electronic Structure and Photoactivity of Organoarsenic Hybrid Polyoxometalates. Inorganic Chemistry, 62(8), 3585-3591. https://doi.org/10.1021/acs.inorgchem.2c04249

Organofunctionalization of polyoxometalates (POMs) allows the preparation of hybrid molecular systems with tunable electronic properties. Currently, there are only a handful of approaches that allow for the fine-tuning of POM frontier molecular orbit... Read More about Electronic Structure and Photoactivity of Organoarsenic Hybrid Polyoxometalates.

Using many different voltage protocols to characterise discrepancy in mathematical ion channel models (2023)
Journal Article
Shuttleworth, J. G., Lok Lei, C., Windley, M., Hill, A. P., Perry, M. D., Preston, S., & Mirams, G. R. (2023). Using many different voltage protocols to characterise discrepancy in mathematical ion channel models. Biophysical Journal, 122(3, Suppl. 1), 242a. https://doi.org/10.1016/j.bpj.2022.11.1415

The Kv11.1 protein encoded by the hERG gene forms the primary subunit of a voltage-sensitive ion channel responsible for IKr in cardiomyocytes. Mathematical models of the macroscopic current are fitted to data from patch-clamp experiments - in which... Read More about Using many different voltage protocols to characterise discrepancy in mathematical ion channel models.