Filetype
We study Frege proofs using depth-d Boolean formulas for the Tseitin contradiction on n \times n grids. We prove that if each line in the proof is of size M, then the number of lines is exponential in n/(log M)O(d). This strengthens a recent result of Pitassi, Ramakrishman, and Tan [2022 IEEE 62nd Annual Symposium on Foundations of Computer Science, 2022, pp. 445-456]. The key technical step is a
Recent advances are transforming our understanding of brain fluid dynamics, highlighting cerebrospinal fluid (CSF) flow as a key process in brain waste clearance. While debates persist regarding its anatomical pathways and regulatory mechanisms, certain core principles have become widely accepted. CSF influx occurs primarily along periarterial spaces, solute clearance follows multiple routes, and
Introduction: Advanced endometriosis (stage III–IV, per the revised American Society for Reproductive Medicine (rARSM) classification of endometriosis) is associated with a range of pregnancy-related complications. Despite growing evidence, awareness of these risks remains limited among healthcare providers. Furthermore, the impact of endometriosis surgery prior to conception on pregnancy outcomes
Background: The clinical management of ER-positive/HER2-negative (ERpHER2n) breast cancer is complicated by a heterogeneous patient population, with some patients exhibiting endocrine resistance and an increased risk of recurrence. Among these high-risk subgroups, ERpHER2n Basal-like (ERpHER2n-Basal) breast cancer, as defined by PAM50 gene expression subtyping, remains poorly characterized due to
Water scarcity is a growing global challenge, with projections indicating that 40% of the world’s population could face shortages by 2030. At the same time, the transition to renewable energy is essential for reducing carbon emissions, with solar power playing a key role. The DESOLINATION project addresses these challenges by integrating concentrated solar power with advanced membrane processes fo
Background: Mental health professionals often differ in their explanatory models of mental distress, which may influence their attitudes toward individuals experiencing such conditions. Stigmatizing attitudes among providers can adversely affect therapeutic relationships, service quality, and recovery outcomes. Aims: This study investigates the attributional frameworks—biological, cognitive-behavi
COVID-19 convalescent plasma (CCP) obtained from recently recovered people is safe and effective against SARS-CoV-2. Currently available CCP is a “hybrid” product with antibodies from individuals who had both infection and vaccination (vaccine-boosted CCP). B-cell depleted patients are at risk of not producing antibodies after either infection or vaccination, hence conceivably among those who woul
This paper explores the asymptotic distributions of low-dimensional patterns in linear regression with regularizers such as Lasso, Elastic Net, Generalized Lasso, and SLOPE, as the number of observations n grows and the penalty increases at rate n. While the asymptotic distribution of rescaled estimation errors is well-understood, convergence of patterns lacks proof in the literature, even for Las
What happens when states' gender identity is endangered? How may a state actor's gender identity be conceived of and (de)stabilised in the first place? What are the ontological effects of such disruptions? And how do states respond to ruptures in their gender identities or selves? Despite growing attention to gendered narratives in ontological security studies (OSS), the extant scholarship has eng
Aim: To explore the lived experience of the trusting nurse–patient relationship among patients admitted to internal medicine wards. Design: A qualitative study guided by van Manen's hermeneutic phenomenological approach. Methods: Semi-structured interviews were conducted with fourteen hospitalised patients in a Danish University hospital in 2024. Data were analysed through thematic reflection. Res
Background: Age-related immunosenescence, also known as ‘inflammageing’, may impact the elderly’s ability to mount immune responses against cancers and compromise the effectiveness of immune checkpoint inhibition (ICI). In this context, data on tonsillar cancer (TC), a subset of head and neck squamous cell cancer (HNSCC), are lacking. Aims/objectives: To compare the presence/distribution and featu
Membrane technology has revolutionized protein recovery in the food industry, beginning with whey protein extraction via ultrafiltration. This success led to its application in concentrating animal proteins like blood plasma, fish proteins, and albumen. As the protein shift towards plant-based sources grows, membrane processes now enable the industrial recovery of wheat, sunflower, and rapeseed pr
The paper deals with the notion of stability for thermo-elastoplastic materials undergoing large strains. The stability analysis is performed by using the perturbation approach applied to a comprehensive material model derived in a thermodynamic format. As the main contribution of this paper a stability condition for a material model incorporating geometrical and material non-linearities under ful
This article examines bordering via bureaucratic violence in Myanmar in relation to civil documentation. We categorize bureaucratic encounters into five modalities of bureaucratic violence: deferred citizenship and higher evidentiary burdens; negative discretion in administrative decision-making; denationalization; administrative erasure; and movement restrictions. Since the 2021 military coup, su
Cryptic pigmentation is a key phenotypic adaptation that helps many benthic invertebrates evade visual predators. However, little is known about whether and how the expression of pigmentation phenotypes that match the habitat background is influenced by the availability of nutritional resources. Here we investigated whether variation in both the background and the nutritive composition of benthic
In Acoustofluidics, sound pressure waves can cause a force field on the liquid in a microfluidic channel. The forces depend on density and compressibility of the medium as well as the pressure and velocity amplitude of the sound. The forces lead to a steady flow in the bulk of the fluid, namely acoustic streaming. If a localized change in temperature introduces a gradient in compressibility and de
Multi-wavelength thermo-optical analysis (MW-TOA) and Raman spectroscopy are commonly used methods to study soot sampled on filters, in terms of carbon content, nanostructure, and absorption properties. In this work, these techniques were combined to study how these characteristic properties of soot change in premixed flames, 1) at various flame heights during soot maturation and 2) as a result of
This article aims to conceptualize movement texts as a crucial yet often overlooked phenomenon in the articulation of collective identity and narratives in the context of social movements. We define movement texts as symbolic acts that publicly manifest a social movement as a collective actor. Against the backdrop of the “narrative turn” in social movement studies and adjacent fields, we argue tha
