Filetype
The complexity class PPP contains all total search problems many-one reducible to the Pigeon problem, where we are given a succinct encoding of a function mapping n+1 pigeons to n holes, and must output two pigeons that collide in a hole. PPP is one of the “original five” syntactically-defined subclasses of TFNP, and has been extensively studied due to the strong connections between its defining p
In their seminal work, Atserias et al. and independently Pipatsrisawat and Darwiche in 2009 showed that CDCL solvers can simulate resolution proofs with polynomial overhead. However, previous work does not address the tightness of the simulation, i.e., the question of how large this overhead needs to be. In this paper, we address this question by focusing on an important property of proofs generat
We study the problem of testing whether a function f:R^n→R is a polynomial of degree at most d in the distribution-free testing model. Here, the distance between functions is measured with respect to an unknown distribution D over Rn from which we can draw samples. In contrast to previous work, we do not assume that D has finite support.We design a tester that given query access to f, and sample a
What is the effect of foreign events on ideas and discourses at the national level? This paper argues that a foreign event may set in motion an ideational momentum that gives positive attention to certain ideas, strengthening the credibility of political actors that hold these ideas, and hurting the credibility of actors promoting competing ideas. Based on a regression discontinuity design and qua
We consider two-dimensional irrotational steady gravity waves and derive new explicit analytical bounds for the velocity field and the slope of the free surface. Using an auxiliary function tailored to the streamfunction formulation, we obtain an explicit exponential decay estimate which is optimal for linear waves. The same method yields a new slope estimate that improves existing bounds in the m
Traceability in the dairy supply chain helps ensure high transparency, quality assurance, and regulatory compliance. At the same time, the implementation of traceability in the dairy sector faces several challenges; therefore, this paper examines the factors influencing the implementation of AI-enabled traceability in the Indian dairy industry. The Fuzzy-Decision-Making Trial and Evaluation Labora
This paper presents NMCu-CNN, a near-memory computing (NMC) co-processor for the hardware acceleration of convolutional neural networks (CNNs) on a low-power, flexible MCU platform. The scalable architecture and the selected platform enable adaptability to the rapidly evolving Edge AIoT landscape, where energy and performance requirements are constrained. Application-tailored NMC units, equipped w
For this episode of “Global Governance Beyond Neoliberalism”, we had the pleasure of engaging with Ian Manners, professor of political science at Lund University. Manners has decades of experience in teaching in Denmark, Britain and Sweden and is widely known for his work on normative power, European integration, and global politics. His research explores how values, identities, and political norm
'Does the EU Still Have Normative Power? Rethinking Europe in a Time of Crisis' brought to you by the European Dialogue.What does it mean for the European Union to have “normative power” in today’s world, and does that idea still hold?In this episode recorded in February 2026, Professor Ian Manners revisits the concept he famously coined and reflects on how the EU’s global role is being reshaped i
In this interview, Professor Ian Manners of the University of Lund revisits the concept he helped define - Normative Power approach - to examine what it really means to think of the EU as a living, evolving political project rather than a fixed set of institutions. He explores which values the EU genuinely embodies on the world stage, beyond its own rhetoric, and how far these values hold up under
In this paper we critically assess common perceptions of work to inform current debates on work in ecological economics. Work is usually conceived as (1) a productive activity (2) that satisfies consumer demand, (3) is conducive to health and well-being, and (4) ensures social inclusion and personal development. Drawing on the burgeoning literature of postwork or critiques of work, we argue that w
OBJECTIVES: Patients with rheumatoid arthritis (RA) can reduce their increased risk for cardiovascular diseases and improve symptoms and quality of life with healthy lifestyle habits. This study aimed to explore patients' experiences of managing their lifestyle habits following a diagnosis of RA.METHODS: In this qualitative study, 20 patients with RA, 14 women, and 6 men, were included. Individual
OBJECTIVES: Rheumatoid arthritis (RA) is a chronic disease that requires lifelong medication and self-management. Few studies have explored the coping strategies patients use to make life manageable after an RA diagnosis, and how these strategies function in the adaptive process of living with RA. The aim was to describe coping strategies patients with RA use to manage everyday life during the fir
OBJECTIVES: To develop a group-based COMbined Fatigue Intervention (COMFI) that integrates a cognitive behavioural approach with physical activity to enhance self-management of fatigue and reduce fatigue severity and impact in people with inflammatory arthritis (IA).METHODS: The development was guided by the British Medical Research Council's framework for complex interventions and was based on: (
