Reykjavík University

A Topological Framework for Finite Behavioural Observations and Verification

Formal verification and monitorability are based on finite observations, which allow properties to be verified from finite information about system behaviour. We study such observations through the topologies they generate on spaces of processes. We first consider trace-based top...

Combined effects of long‑term air pollution exposures on adult active asthma: a quantile g-computation analysis

Abstract Background Air pollution is a well‑established risk factor for the development of asthma, yet most studies examine pollutants individually, failing to capture the health effects of real‑world pollutant mixtures. Assessing long-term multipollutant exposure is essential fo...

Generational changes in lung function in adults from several world regions: results from the Burden of Obstructive Lung Disease study

This study estimated birth cohort effects on lung function using BOLD (Burden of Obstructive Lung Disease) data from 28 569 adults born between 1902 and 1976 across 41 sites in 34 countries. Forced vital capacity (FVC), forced expiratory volume in 1 s (FEV 1 ) and the FEV 1 /FVC...

Between expectations and outcomes: Technology adopters' narratives and technology discourse dynamics

Expectations propel the evolution of emerging technologies, yet existing research generally assumes that expectations are gradually displaced by concrete outcomes as technologies mature and become widely accepted. We revisit this assumption by examining how technology adopters' t...

A patient-derived missense mouse model of Kabuki syndrome 1

Kabuki syndrome type 1 (KS1) is a rare cause of intellectual disability resulting from heterozygous pathogenic variants in the gene encoding the histone methyltransferase KMT2D. A previously established loss-of-function mouse model of KS1 exhibits key phenotypic features, and the...

Severity of Reactions in Double-Blind Placebo-Controlled Food Challenges: New Insights From the EuroPrevall Outpatient Clinic Study

BACKGROUND AND OBJECTIVES: Oral food challenge, particularly double-blind placebo-controlled food challenge (DBPCFC), is the gold standard for diagnosis of food allergy, although safety concerns limit its widespread use. Objectives: To evaluate the severity of reactions during DB...

Source-separation infrastructure and the reduction of residual household waste: Evidence from Iceland’s 2023 waste reform

This study evaluates whether Iceland’s 2023 waste-management reform, which combined Extended Producer Responsibility (EPR) financing with mandatory four-bin kerbside collection, reduced targeted household waste remaining in the general bin. Using a decade-long dataset (2014–2025)...

Understanding funding-related bias in gambling research: insights from unhealthy commodities industries and medical/pharmaceutical research – a scoping review

Despite the risk of funding-related bias (RoFRB) introduced by industry funding in gambling research, empirical investigations remain limited. To inform understanding of RoFRB in gambling research, this scoping review synthesized 52 peer-reviewed studies (2019–2024) spanning gamb...

Design and experimental validation of dual-feed cavity-backed slot antenna diplexer for millimeter-wave dual-band 5G applications

Abstract This article presents the development of a novel cavity-backed dual-feed miniaturized antenna with an intrinsic self-diplexing property for millimeter-wave dual-frequency 5G applications. The proposed device is designed using a rectangular substrate integrated cavity loa...

Patients’ experiences of living with the risk of Alzheimer’s disease – a multicentre qualitative study

Aims and objectives To explore the experiences of receiving and living with a diagnosis of prodromal Alzheimer’s disease. Background Alzheimer’s disease is a progressive dementia disorder, with pathology potentially developing years before clinical symptoms. Evidence concerning p...