Research works

A Probabilistic Choreography Language for PRISM

We present a choreographic framework for modelling and analysing concurrent probabilistic systems based on the PRISM model-checker. This is achieved through the development of a choreography language, which is a specification language that allows to describe the desired interacti...

Collective Bargaining and Its Implications for Workers and Employers: An Introduction

Data sharing not applicable to this article as no datasets were generated or analyzed during the current study.

Chern-Weil theory for singular Haefliger foliations

We give a Chern-Weil map for the Gel'fand-Fuks characteristic classes of densely regular foliations, those foliations defined by smooth Haefliger structures with dense regular set. Our characteristic map constructs, out of singular geometric structures adapted to singularities, e...

Cesarean delivery is associated with atopic sensitization to inhalants but not food at age 5

Abstract Purpose Intrauterine and early neonatal exposures, including maternal, obstetric, and postnatal factors, may influence the risk of atopic sensitization in offspring. However, their independent associations with inhalant and food sensitization remain underexplored. Method...

A Comparative Analysis of Generative AI for Architectural Visualization: A Quantitative Comparison Using Objective Evaluation Metrics and the Architectural AI Score (AIS)

This study presents a quantitative metric-based comparison of four state-of-the-art text-to-image generative AI systems for architectural visualization: OpenAI Image Generation, Imagen 4, Midjourney v8.1, and Stable Image Ultra. The models were evaluated using the Architectural P...

Access to and use of improved water and sanitation facilities in Sub-Saharan Africa: Analysis of Demographic and Health Survey Data from 30 countries

Access to and use of improved water sources and sanitation facilities in Sub-Saharan Africa (SSA) remains a significant public health concern, with notable variations across countries. Achieving the Sustainable Development Goals related to water and sanitation require evidence on...

Postoperative Delirium and the Association to Continuously Monitored Severe Deviations of Vital Signs at the General Ward After Major Abdominal Surgery

ABSTRACT Background Delirium is the most frequent neurological complication after surgery and is associated with increased postoperative morbidity and mortality. The underlying pathophysiology is not fully understood, but is suggested to be multifactorial, including hypoperfusion...

Three-year trends in community opioid use disorder stigma in a rural Tennessee county

Stigma toward people with opioid use disorder (OUD) limits treatment engagement, particularly in underserved rural communities. This study examined three-year trends in OUD stigma among community members in a rural Tennessee county served by a federal opioid response program. Rep...

The Metabolic Universe: A Research Program

This program proposes that supermassive black holes are not terminal gravitational sinks but cyclic metabolic processors. Matter that falls toward them is dismantled into its subatomic baseline; the resulting three-dimensional volume information is compressed onto a two-dimension...

Projected impact of population-level multi-cancer early detection screening: a discrete event simulation analysis.

Cancer screening for multiple cancers simultaneously, rather than one cancer at a time, has emerged as a promising strategy for population-level cancer screening, largely driven by the advent and rapid development of liquid biopsy-based multi-cancer early detection (MCED) tests....

Green hydrogen promotion in Cameroon: Implications for sustainable development

This paper argues that green hydrogen could be a driver of the technological transformation of a small open economy well integrated into the global energy market. Green hydrogen development is key to a sustainable transition of the economy. It can replace CO 2 -intensive technolo...

Numerical simulation of nonlinear wave propagation under Type-1 and Type-2 fuzzy scenarios

Purpose This research aims to create and evaluate fuzzy numerical methods to solve the coupled Whitham–Broer–Kaup equations (cWBKEs). These equations are used to study nonlinear wave movement through shallow water waves (SSW) and related models. This research aims to improve unce...

Evidence in Networked Metaverse Systems: Comparability, Reproducibility, and Deployment

Metaverse research now spans immersive networking, edge computing, digital twins, semantic communication, artificial intelligence, security, interoperability, sustainability, and deployment. The field is technically rich, yet apparently similar results are frequently produced und...

Beyond CD4 counts: Multi‐biomarker assessment of estimated time since HIV ‐1 infection and risk factors for late diagnosis

BACKGROUND: Late diagnosis (LD) of HIV, defined as CD4 count <350 cells/μL or AIDS at diagnosis, remains a substantial public health challenge, with half of individuals in Europe diagnosed late. How long these individuals have lived with HIV remains unclear. We applied a multi-bi...

Advances in Photochemical Alkene Difunctionalization via Electron Donor–Acceptor (EDA) Complexes

Alkenes are ubiquitous and versatile feedstocks in organic synthesis. Alkene difunctionalization, which enables the simultaneous installation of two functional groups across the carbon–carbon double bond, represents a highly efficient strategy for constructing complex molecular a...

Thermally Reversible Transformation between Two Isomers of Silver Sulfide Magic-Size Clusters

Abstract Isomers of semiconductor magic-size clusters (MSCs) share the same molecular formula but can exhibit distinct optical and electronic properties. Most of the reported MSC isomers have been so far limited to cadmium chalcogenides. Herein, we report the reversible transform...

Money Creation for Crypto Space: Stablecoins or Central Bank Digital Currencies?

Stablecoins are the current go-to digital money to settle transactions on the blockchain. We explore the implications of introducing competing tokenized public digital monies (i.e., tokenized central bank digital currencies (CBDCs)). When they pay a moderate interest rate and gua...

Use of Recycled Low-Density Polyethylene for Production of Asphalt Mixture: Performance and Emission Characteristics

Abstract Recycled plastic modified asphalt mixtures show varied performance due to the variability in dosage, differences in source of materials, incorporation method, inconsistency in modification techniques, and absence of global standardization. This study addresses the existi...

A targeted review on pollution, sources and risks associated with PCBs in soil and sediment in Nigeria

ABSTRACT A graphical diagram showing the sources, exposure routes and health risk of PCBs in contaminated soil and sediment in Nigeria. Polychlorinated biphenyls (PCBs) pose significant environmental risks globally, particularly in underdeveloped countries with inadequate waste h...

A KK-theoretic note on the spectral localiser

Abstract We review the construction of the spectral localiser (due to Loring and Schulz-Baldes) from a KK -theoretic perspective. We first give a KK -theoretic argument providing a spectral flow expression for the even or odd index pairing in terms of the “infinite volume” spectr...