Sökresultat

We exhibit supercritical trade-off for monotone circuits, showing that there are functions computable by small circuits for which any small circuit must have depth superlinear or even super-polynomial in the number of variables, far exceeding the linear worst-case upper bound. We obtain similar trade-offs in proof complexity, where we establish the first size-depth trade-offs for cutting planes an

Gaseous ammonia, while influential in atmospheric processes, is critically underrepresented in atmospheric measurements. This limits our understanding of key climate-relevant processes, such as new particle formation, particularly in remote regions. Here, we present highly sensitive, online observations of gaseous ammonia from a coastal site in Antarctica, which allows us to constrain the mechanis

Ice nucleating particles (INPs) play a crucial role in initiating ice crystal formation in clouds, influencing the dynamics and optical properties of clouds and their impacts on precipitation and the climate system. Despite their importance, there is limited knowledge about the vertical distribution of INPs. This study focuses on aircraft measurements conducted during spring 2018 above the boreal

Biological invasions are one of the leading causes of biodiversity loss worldwide. Given that eradication of invasive species is not usually a practical option, conservationists may attempt to limit their impacts through the designation and management of protected areas. Here, we investigate the effect of marine protected areas on the habitat suitability of an invasive species, the round goby (Neo

A non-adaptive quantitative group testing (GT) scheme based on sparse codes-on-graphs in combination with low-complexity peeling decoding was introduced and analyzed by Karimi et al.. In this work, we propose a variant of this scheme based on low-density parity-check codes where the BCH codes at the constraint nodes are replaced by simple single parity-check codes. Furthermore, we apply spatial co

Insect and disease outbreaks in forests are biotic disturbances that can profoundly alter ecosystem dynamics. In many parts of the world, these disturbance regimes are intensifying as the climate changes and shifts the distribution of species and biomes. As a result, key forest ecosystem services, such as carbon sequestration, regulation of water flows, wood production, protection of soils, and th

Efficient and robust control strategies can greatly contribute to the reliability of fuel cell systems, and a stable output voltage is a key criterion for evaluating a fuel cell system's reliability as a power source. In this study, a polymer electrolyte fuel cell (PEFC) system model is developed, and its performances under different operating conditions are studied. Then two different novel contr

Background noise makes listening effortful and may lead to fatigue. This may compromise classroom learning, especially for children with a non-native background. In the current study, we used pupillometry to investigate listening effort and fatigue during listening comprehension under typical (0 dB signal-to-noise ratio [SNR]) and favorable (+10 dB SNR) listening conditions in 63 Swedish primary s

Intrinsically disordered proteins (IDPs) are proteins that, in comparison with globular/structured proteins, lack a distinct tertiary structure. Here, we use the model IDP, Histatin 5, for studying its dynamical properties under self-crowding conditions with quasi-elastic neutron scattering in combination with full atomistic molecular dynamics (MD) simulations. The aim is to determine the effects

Modern subgraph-finding algorithm implementations consist of thousands of lines of highly optimized code, and this complexity raises questions about their trustworthiness. Recently, some state-of-the-art subgraph solvers have been enhanced to output machine-verifiable proofs that their results are correct. While this significantly improves reliability, it is not a fully satisfactory solution, sinc

One of the major open problems in complexity theory is proving super-logarithmiclower bounds on the depth of circuits (i.e., P⊈NC1). Karchmer et al. (Comput Complex 5(3/4):191–204, 1995) suggested to approach thisproblem by proving that depth complexity behaves “as expected”with respect to the composition of functions f◊g. They showedthat the validity of this conjecture would imply that P⊈NC1.Seve

Continuous experimentation (CE) is used by many internet-facing companies to improve the value of their products based on user feedback gathered, e.g. through on-line experiments using A/B testing. Frameworks and theories for CE have been derived through academic research from applications in large internet facing companies. To assist practitioners in a broader range of companies, we herein presen

Reconfigurable surface (RS) has been shown to be an effective solution for improving wireless communication links in general multi-user multiple-input multiple-output (MU-MIMO) setting. Current research efforts have been largely directed towards the study of reconfigurable intelligent surface (RIS), which corresponds to an RS made of passive reconfigurable elements with only phase shifting capabil

With the emergence of autonomous vehicles comes requirements on adequate and rigorous testing techniques, particularly as systems continuously adapt to changing environments. Scenario-based, simulated testing is one approach that has received attention, where deriving relevant scenarios from various sources is still a challenge. We therefore explore creating executable test scenarios from textual

Streaming applications, such as MPEG video encoders or sensor processing pipelines, are increasing in complexity as well as the diversity of platforms that they run on. The toolchains handling these applications must keep up with this increase at all levels of abstraction. The Actor Machine (AM) is an intermediate representation in the toolchain that we make use of. Large AMs are difficult to work

New particle formation (NPF) events substantially contribute to the number concentration of atmospheric particles and cloud condensation nuclei (CCN) which can further influence radiative balance and Earth's climate. Many short-term studies have found that sulfuric acid (H2 SO4) and highly oxygenated organic molecules (HOM) are critical compounds in the early steps of NPF. However, it is not fully

This article addresses the obstacle avoidance problem for setpoint stabilization tasks in complex dynamic 2-D environments that go beyond conventional scenes with isolated convex obstacles. A combined motion planner and controller is proposed that integrates the favorable convergence characteristics of closed-form motion planning techniques with the intuitive representation of system constraints t