Filtyp
We prove the first hardness results against efficient proof search by quantum algorithms. We show that underLearning with Errors (LWE), the standard lattice-based cryptographic assumption, no quantum algorithm can weaklyautomate TC0-Frege. This extends the line of results of Krajííček and Pudlík(Information and Computation, 1998), Bonet, Pitassi, and Raz (SIAM Journal on Computing, 2000),and Bonet
Policy on greening freight constitutes a recent addition to the discourse on sustainability in the EU. To stimulate economic growth, the EU also plans for freight transport activity to grow significantly over the coming decades. In this paper, drawing on critical discourse analysis and Marxian geographical thought, I show how the argument for implementing sustainable freight is constructed in EU fPolicy on greening freight constitutes a recent addition to the discourse on sustainability in the EU. To stimulate economic growth, the EU also plans for freight transport activity to grow significantly over the coming decades. In this paper, drawing on critical discourse analysis and Marxian geographical thought, I show how the argument for implementing sustainable freight is constructed in EU f
Transgressive learning has gained scholarly interest as a way of enabling learners to question and defy norms that perpetuate unsustainability. However, transgression can also be risky and calls for responsible teaching able to identify and prevent such risks. This paper asks How transgressive learning can be responsibly integrated into sustainability pedagogy. It clarifies these risks of transgre
BACKGROUND: Most COVID-19-related deaths and hospitalisations occurred among older people. Natural outdoor environments influence health outcomes, but the evidence of their effect on COVID-19 outcomes among older adults is limited. This study aimed to investigate associations between residential natural outdoor environment and COVID-19-related deaths or hospitalisations among community dwellers ag
This article distills the vast literature on Common Correlated Effects (CCE), initiated by the seminal contribution of Pesaran (2006), into five practical lessons. We provide a concise overview of the CCE framework and describe the reasons for its popularity in empirical (macro-) panel data research. The lessons we draw focus on aspects that have received substantial methodological attention, but
Measurements of integrated and differential cross-sections for electroweak W±Z production in association with two jets (W±Zjj) in proton-proton collisions are presented. The data collected by the ATLAS detector at the Large Hadron Collider from 2015 to 2018 at a centre-of-mass energy of s = 13 TeV are used, corresponding to an integrated luminosity of 140 fb−1. The W±Zjj candidate events are recon
In the easternmost Sveconorwegian Province, field studies have shown that some intrusions remained largely unaffected by the Sveconorwegian orogeny. However, seemingly pristine gabbros locally display the incipient development of amphibolite amphibolite-facies mineral assemblages in microscale corona textures. The primary objective of this study is to document in detail the microtextures that occu
Hydrogen energy plays a pivotal role in the sustainable energy transition. Methanol steam reforming offers an efficient route for decentralized hydrogen production, yet catalyst limitations persist. This work employs entropy engineering to design lanthanide perovskite catalysts via sol-gel synthesis. Structural analyses reveal entropy-driven lattice distortion, enhanced disorder, and elevated oxyg
Lamniform sharks are amongst the largest-bodied extant fishes and have an evolutionary history spanning ~135 million years (Ma). Fossils correlate their initial development of mega-body size (≥ 6 m) with ecological radiation as marine top-predators during the later part of the mid-Cretaceous (after the late Albian, ~100 Ma). Here, we push back this earliest appearance of gigantic lamniforms by ~15
Background: Induced hypothermia after cardiac arrest is neuroprotective in several animal models of cardiac arrest, but few high-quality studies have been conducted in larger animals. Recent clinical trials have questioned the beneficial effects of post-ischemic hypothermia. This study investigated whether immediate cooling or a 2-h delay in cooling to 33 °C after cardiac arrest was neuroprotectiv
We propose a novel class of dark matter (DM) candidates in the form of a heavy composite axionlike particle (ALP) with highly suppressed electromagnetic interactions populating vast yet unexplored domains in the ALP parameter space. This is achieved for the first time in the simplest dark confining gauge theory yielding a new composite glueball ALP (GALP) DM coupling-mass relation found in terms o
Science is a risky business, and risk-taking is a critical disposition for scientists. This study uses a combination of survey and bibliometric data to measure the degree of individual scientists' risk-taking and investigate its determinants. In particular, we focus on academic training as a critical arena for the socialization of risk-taking and examine whether and how risk-taking is transmitted
Cutaneous endometriosis is a rare manifestation of endometriosis, and few reports on its dermoscopic features have been published. In this case report, we present a 40-year-old female with cutaneous endometriosis arising in a caesarean scar, exhibiting unique and distinct dermoscopic features. Te patient presented with a nodular, papillomatous growth in the right end of the scar, and dermoscopic e
IMPORTANCE Risk stratification strategies in primary prevention of coronary events lack precision. OBJECTIVE To determine whether prediction of first coronary events is improved by adding information on coronary atherosclerosis from coronary computed tomography angiography (CCTA) to a model using the pooled cohort equation (PCE) risk score tool and the coronary artery calcification score (CACS). D
In this paper, we revisit the question of key recovery using side-channel analysis for unrolled, single-cycle block ciphers. In particular, we study the Princev2 cipher. While it has been shown vulnerable in multiple previous studies, those studies were performed on side-channel friendly ASICs or older FPGAs (e.g., Xilinx Virtex II on the SASEBO-G board), and using mostly expensive equipment. We s
Background: Current guidelines for the treatment of severe TBI recommend maintaining a cerebral perfusion pressure (CPP) at 60–70 mmHg. In our institution, as well as others, an alternative algorithm—originally named the Lund concept—has been used. This treatment algorithm employs metoprolol and clonidine to limit CPP, accepting levels below 60 mmHg, with the aim of reducing cerebral edema. Previo
