Formal models for the safety validation of autonomous vehicles have become increasingly important. To this end, we present a safety framework for longitudinal automated driving. This framework enables the calculation of minimum safe inter-vehicular distances for arbitrary ego vehicle control policies in a computationally efficient manner. We use this framework to enhance and generalize the Respons

Despite the widely recognized potential of product-as-a-service (PaaS) business models to contribute to the circular economy, many industrial case studies have reported that several systemic factors tend to hinder product manufacturers from effectively designing such solutions. More specifically, factors such as linear value chains, organizational structures, and market and financial conditions te

Declarative approaches to program analysis promise a number of practical advantages over imperative approaches, from eliminating manual worklist management to increasing modularity. Reference Attribute Grammars (RAGs) are one such approach. One particular advantage of RAGs is the automatic generation of on-demand implementations, suitable for query-based interactive tooling as well as for client a

Background: Sex and gender influence many aspects of chronic obstructive pulmonary disease (COPD). Limited data are available on this topic in alpha-1 antitrypsin deficiency (AATD). We therefore aimed to investigate sex issues in the EARCO registry, a prospective, international, observational cohort study. Methods: Baseline data from PiZZ individuals, enrolled in the registry with complete data on

[18F]Flortaucipir is an FDA-approved tau-PET tracer that is increasingly utilized in clinical settings for the diagnosis of Alzheimer’s disease. Still, a large-scale comparison of the in vivo PET uptake to quantitative post-mortem tau pathology and to other co-pathologies is lacking. Here, we examined the correlation between in vivo [18F]flortaucipir PET uptake and quantitative post-mortem tau pat

Introduction: The presence of fibrillatory waves (f-waves) is important in the diagnosis of atrial fibrillation (AF), which has motivated the development of methods for f-wave extraction. We propose a novel approach to benchmarking methods designed for single-lead ECG analysis, building on the hypothesis that better-performing AF classification using features computed from the extracted f-waves im

The medial temporal lobe (MTL) is a hotspot for neuropathology, and measurements of MTL atrophy are often used as a biomarker for cognitive decline associated with neurodegenerative disease. Due to the aggregation of multiple proteinopathies in this region, the specific relationship of MTL atrophy to distinct neuropathologies is not well understood. Here, we develop two quantitative algorithms usi

Bridges are subject to a plethora of deterioration phenomena, such as corrosion, fatigue, and damaging events (e.g., truck impacts and earthquakes) that can affect their performance and compromise functionality and safety. These challenges, along with the expansion of physical infrastructures and limited economic resources, underscore the need for effective management systems to enhance the effici

Identifying concomitant Lewy body (LB) pathology through seed amplification assays (SAA) might enhance the diagnostic and prognostic work-up of Alzheimer’s disease (AD) in clinical practice and trials. This study examined whether LB pathology exacerbates AD-related disease progression in 795 cognitively impaired individuals (Mild Cognitive Impairment and dementia) from the longitudinal multi-cente

While structural and biochemical brain changes are well-documented in ageing, functional neuronal network differences, as indicated by electrophysiological markers, are less clear. Moreover, age-related changes in sustained attention and their associated electrophysiological correlates are still poorly understood. To address this, we analysed cross-sectional baseline electroencephalography (EEG) a

Sustained attention is important for maintaining cognitive function and autonomy during ageing, yet older people often show reductions in this domain. The role of the underlying neurobiology is not yet well understood, with most neuroimaging studies primarily focused on fMRI. Here, we utilise sMRI to investigate the relationships between age, structural brain volumes and sustained attention perfor

The role of gender relations in shaping technological transitions is widely acknowledged but remains understudied. This study uses historical data to analyze the gendering of early 20th century American cars and its impact. Previous research has argued that early electric vehicles were construed as a women's car, contributing to its demise. Other work has questioned to what extent automotive prefe