Filtyp
We introduce and develop a new semi-algebraic proof system, called Stabbing Planes that is in the style of DPLL-based modern SAT solvers. As with DPLL, there is only one rule: the current polytope can be subdivided by branching on an inequality and its "integer negation." That is, we can (nondeterministically choose) a hyperplane a x >= b with integer coefficients, which partitions the polytope in
We study the computational complexity of the Viterbi alignment and relaxed decoding problems for IBM model 3, focusing on the problem of finding a solution which has significant overlap with an optimal. That is, an approximate solution is considered good if it looks like some optimal solution with a few mistakes, where mistakes can be wrong values (such as a word aligned incorrectly or a wrong wor
Schíma – morphḗ – íchos is a reactive installation-performance that brings together visual, physical and sonic dimensions to explore ways of coping with a changing environment. The material history of nine objects crafted from steel is negotiated anew in the present tense, through the eyes, hands and ears of the two performers and the audience.The objects presented in this installation-performance
This project investigates how power operates as performative in the everyday work experiences of employees of different ethnic backgrounds in a multinational organization. Rather than treating power as a stable possession held by individuals or institutions, the study conceptualizes power as enacted, reproduced, and negotiated through routine individual and organizational practices. For migrants t
Focusing on how environmental stressors intersect with socioeconomic vulnerabilities to shape migratory patterns, this study examines the relationship between climate change and youth (im)mobility in Ethiopia. It examines how climate shocks—including droughts, unpredictable rainfall, and land degradation—heighten household insecurity and shape young people’s migration decisions. Using mixed-method
Drylands are water-limited systems that collectively sustain hundreds of millions of people, yet land–atmosphere feedbacks such as terrestrial moisture recycling remain poorly quantified. In particular, the origins of precipitation in China's drylands and their atmospheric water vapor budgets remain unclear. Here we use a Lagrangian moisture-tracking model to quantify atmospheric moisture sources
Background: Breast cancer diagnoses are limited in low- and middle-income settings due to lack of medical resources. In these settings, point-of-care ultrasound (POCUS) combined with artificial intelligence (AI)-based interpretation could be a suitable approach. Purpose: To compare the performance of an AI-based breast cancer classification algorithm with radiologists and assess whether POCUS perf
Background Screening with digital breast tomosynthesis (DBT) detects more cancers than with digital mammography (DM), but has small effect, if any, on interval cancer incidence. Methods Data were pooled from two randomized trials within the MAITA Consortium, including 100743 women (664 cancers) screened at baseline and 82938 women (550 cancers) followed for cumulative incidence at subsequent round
Abstract - Instructional Course Structure • Chair: Jenny Carroll. • Speakers: Lisbeth Nilsson, Kirsty Taylor and Iwona Orlowska. Objectives • To share the process and outcomes of establishing an early mobility playgroup for children aged 6 months - 3 years who have complex neuro-disability. • To explore how the ‘Driving to Learn’ approach and the ALP-tool (Assessment of Learning Powered mobility
Purpose: Children gain increased health and well-being by participating in physical activity (PA) and exercise. Globally, only 19% of children meet the World Health Organisation recommendations on PA and the rates are even lower among children with disabilities. Children with disabilities are often dependent on assistive exercise products (AEP) to be able to perform PA and exercise. The aim was
Cancer cells display marked heterogeneity in size and morphology, traits long recognized in pathology as indicators of pleomorphism and poor prognosis. Yet, the functional significance and phenotypic consequences of these morphological variations within a single cancer cell population remain poorly understood. Here, we employed a deterministic lateral displacement (DLD) microfluidic device with a
Few academic subjects have come under as much pressure as languages other than English (LOTEs) over the past decades. This study examines how foreign language education in 39 subjects within Swedish Higher Education (HE) has evolved since the implementation of the Bologna reform in 2007/2008. Particular attention is given to the effects of the Covid-19 pandemic. The results show a long-term declin
Classrooms are becoming increasingly digital. One novel digital technology that might enter classrooms soon is eye tracking. This is a method to estimate a person’s gaze direction and infer the point of visual attention. This technology has already provided insights into how students process computer-based instructional material. Moreover, it has been used to enhance pre-recorded video instruction
A novel phylogenetic hypothesis for the subfamilies Dyopsinae and Thiacidinae is presented. For the first time, the type genus and species of Thiacidinae, Thiacidas postica Walker, is sequenced and analysed within an expanded dataset that includes a diverse array of representative Noctuidae. Utilizing a combination of phylogenomic data and traditional phylogenetic analyses based on legacy (Sanger)
To estimate prevalence and associated factors of comorbid fibromyalgia in axial spondyloarthritis (axSpA), and to explore discriminative capacity (for discerning fibromyalgia) of algometry-assessed pain sensitivity measures. AxSpA patients from the population-based SPARTAKUS cohort evaluated for fibromyalgia (1990 ACR criteria) were included (n = 243; r-axSpA/nr-axSpA = 165/78). Factors associated
In 2024–2025, the Cystic Fibrosis Foundation (US) and Cystic Fibrosis Trust (UK) hosted an International CFRD Consortium round-table webinar series for basic science, translational, and clinical researchers with the goal of sharpening mechanistic understanding of CFRD pathogenesis and prioritizing therapeutic development. This review summarizes the research priorities identified in the Internation
Snow flies ( Chionea ) are wingless crane flies uniquely adapted to extreme cold environments. Adults remain active throughout winter and move rapidly across the snow, even at temperatures below freezing. To investigate the molecular adaptations that make this possible, we sequenced and annotated the genome of Chionea alexandriana and compared it with related species and with the cold-adapted midg
