University of Southern Denmark

Towards a Higher-Order Bialgebraic Denotational Semantics

The bialgebraic abstract GSOS framework by Turi and Plotkin provides an elegant categorical approach to modelling the operational and denotational semantics of programming and process languages. In abstract GSOS, bisimilarity is always a congruence, and it coincides with denotati...

Performance evaluation of a position-sensitive SiPM-based gamma camera for intraoperative imaging

Abstract Background The POSiCS camera is a handheld and wireless, small field-of-view gamma camera developed for use in radio-guided surgery (RGS), with sentinel lymph node biopsy (SLNB) as its benchmark application. This compact and lightweight detector (about $$350\,\textrm{g}$...

Urban heat vulnerability in a warming climate in Denmark: Projected temperature-related mortality for Copenhagen and the remaining areas

Objective We estimated future cold- and heat-related mortality for Copenhagen and remaining areas in Denmark under different warming scenarios. Methods We used nationwide historical and projected data on temperature, mortality, and population size. For 2000–2019, daily deaths wer...

Twenty years of inhaler therapy: A nationwide drug utilization study

AIMS: This study aimed to map nationwide trends and prescribing patterns in inhaler use from 2004 to 2023. In light of evolving clinical guidelines and attention to the environmental impact of inhalers within recent years, we also examined variation in prescribing behaviour and p...

Microscopic screening theory for excitons in two-dimensional materials: a bridge between effective models and ab initio descriptions

We present a computational approach for exciton calculations in two-dimensional (2D) materials within the Bethe–Salpeter equation (BSE) framework, employing an atomistic description with point-like orbitals. Unlike widespread efficient calculations that rely on classical or effec...

The right time to quit: patients' experiences of smoking cessation support during COPD hospitalisation

Introduction Smoking cessation is a central component of disease management in chronic obstructive pulmonary disease (COPD). Hospitalisation provides an opportunity to initiate smoking cessation support. The present study aimed to explore how patients with COPD perceived the usef...

Occupational exposure to noise and depression incidence: a nationwide cohort study of workers in Denmark, 2000–2017

Objectives Research on the association between occupational noise and incident depression is limited. We investigated whether long-term occupational noise was associated with depression risk, both independently and in combination with other stress-related factors. Methods In a Da...

Soft-tissue thickness changes following bimaxillary surgery in skeletal class II malocclusion

OBJECTIVES: This retrospective cohort study evaluated regional facial soft-tissue thickness changes after bimaxillary surgery in skeletal Class Ⅱ patients and assessed their associations with skeletal movement and patient-related factors. MATERIALS AND METHODS: Class Ⅱ patients t...

Calciphylaxis in chronic kidney disease: a systematic review of pathomechanisms and risk factors for calcific uremic arteriolopathy

Calcific uremic arteriolopathy (CUA) is a rare, severe condition affecting patients with chronic kidney disease (CKD). The etiology of CUA is unclear. Here, we aimed to identify factors associated with its development. We reviewed the existing evidence on its pathomechanisms and...

Cumulative Lifetime Trauma Exposure Among Employed Mental Health Care Professionals and Associations With Professional Quality of Life: A Cross‐Sectional Survey

INTRODUCTION: Mental health care professionals face emotionally demanding work and often carry invisible personal trauma histories. AIM: To examine cumulative lifetime trauma exposure among employed psychiatric mental health care professionals and its associations with burnout, s...

Exercise training during hospitalization in community-acquired pneumonia: effects on functional ability, body composition, and physical activity level

Abstract Background Physical inactivity contributes to functional decline and is associated with increased risk of adverse outcomes in patients hospitalized with community-acquired pneumonia (CAP). Exercise programs applied during acute hospitalization may mitigate these effects,...

Electrocatalytic Urea Waste Valorization via Water Electrolysis: Transition‐Metal Phosphides for Sustainable Hydrogen Production

ABSTRACT As global energy demand continues to grow along with increasing environmental challenges, the development of clean, sustainable, and eco‐friendly energy technologies has become imperative to sustain modern society. Urea‐assisted water electrolysis (UAWE) offers a sustain...

Opening spaces for collaborative innovation: understanding the value of hackathons for the Blue Bioeconomy.

Prepint for our article titled "Opening spaces for collaborative innovation: understanding the value of hackathons for the Blue Bioeconomy" from the Blue Bio Techpreneurs project (https://bluebiotechpreneurs.eu/). Abstract: The blue bioeconomy is an emerging field of sustainabili...

Reduced glymphatic function in autism revealed by the diffusion tensor analysis along the perivascular space index

The glymphatic system supports brain homeostasis by clearing interstitial solutes via perivascular pathways. Alterations in glymphatic function have been linked to neurodevelopmental and neurodegenerative disorders, but its role in autism spectrum disorder (ASD) remains unclear....

A temporal differentiation program after birth delineates γδ T cell immunity

Type 1 and type 3 γδ T cells develop in the embryonic thymus, yet it is not known whether they continue to differentiate after birth in tissues. Here, we show that in the first week of life, intestinal γδ T cells up-regulated many T cell activation and type 3 genes, while the pos...

Assessment of degradation in Ion pair membrane high temperature PEM fuel cells using commercial and customized catalysts under varied operating conditions

High-temperature proton exchange membrane fuel cells (HT-PEMFCs) present considerable advantages, such as high energy efficiency and tolerance to fuel impurities; however, durability issues and catalyst costs remain major barriers to commercial adoption. This study systematically...

Photothermal Regulation of Reaction Intermediates at Ru–O–Mn(II) Interfaces for Enhanced Low-Temperature CO2 Methanation

Abstract Photothermal CO2 methanation offers a promising strategy for carbon-neutral fuel production. However, simultaneously achieving high activity, selectivity, and long-term stability at low temperatures remains challenging due to inherent trade-offs in reaction kinetics and...

Terminology for describing the 24-h cycle of physical activity, sedentary behaviour, and sleep: a scoping review

Abstract Background Physical activity, sedentary behaviour, and sleep are three behaviours which occupy the 24-h cycle and interact to influence a multitude of health outcomes. Different terms are currently used to describe these behaviours collectively (e.g., movement behaviours...

Factors Associated With Progression From Level 1 to Level 2 Sensor‐Detected Hypoglycaemia in People With Type 1 and Insulin‐Treated Type 2 Diabetes: A Post Hoc Analysis From the Hypo‐ METRICS Study

ABSTRACT Aims We investigated the proportion of sensor‐detected hypoglycaemic (SDH) events progressing to level 2, and associated variables. Materials and Methods We used data from Hypo‐METRICS, which recruited people with type 1 (pwT1D) and insulin‐treated type 2 diabetes (pwT2D...

Interpretable Spectral Transformer for Raman-Based Bacterial Identification Across Species and Strains

Raman spectroscopy combined with machine learning offers a rapid, label-free approach for bacterial identification, but robust translation remains challenged by spectral variability, biological heterogeneity, and limited model interpretability. Here, we present an integrated eval...