Search results

BACKGROUND: Per- and polyfluoroalkyl substances (PFAS) are persistent substances with surfactant and repellent properties. Municipal drinking water contaminated with PFAS had been distributed for decades to one third of households in Ronneby, Sweden. The source was firefighting foam used in a nearby airfield since the mid-1980s. Clean water was provided from December 16, 2013.AIMS: The purpose was

We prove that polynomial calculus (and hence also Nullstellensatz) over any field requires linear degree to refute that sparse random regular graphs, as well as sparse Erdős-Rényi random graphs, are 3-colourable.

We prove that unary Sherali-Adams requires proofs of size nΩ(d) to rule out the existence of an nΘ(1)-clique in Erdős-Rényi random graphs whose maximum clique is of size d ≤ 2 log n. This lower bound is tight up to the multiplicative constant in the exponent. We obtain this result by introducing a technique inspired by pseudo-calibration which may be of independent interest. The technique involves

Debattartikel om kustskydd och brister i framförhållningen inför kommande stormar under Aktuella frågor i Sydsvenskan.

Electromagnetic vector spherical waves have been used recently to model antenna-channel interaction and the available degrees of freedom in multiple-input-multiple-output (MIMO) systems. However, there are no previous accounts of a method to estimate spherical wave coefficients from channel measurements. One approach for this, using a 3-D positioner, is presented and analyzed in this letter. Measu

We study optimal information provision in transportation networks when users are strategic and the network state is uncertain. An omniscient planner observes the network state and discloses information to the users with the goal of minimizing the expected travel time at the user equilibrium. Public signal policies, including full-information disclosure, are known to be inefficient in achieving opt

Software development is a complex activity that needs a lot of tool assistance. Over the years there has been a lot of effort put into development of automated assistance to help with activities such as detection of issues via program analysis, or refactoring of code. Recently, the landscape of developer tool assistance is being disrupted with the entry of AI tools, such as Copilot and ChatGPT, po

The widespread availability of large language models (LLMs) has presented the opportunity for novice programmers to make use of them for the purpose of understanding and synthesising code. In this paper, we discuss a small pilot study intended to explore the user experience of doing so in a limited way, and the attitudes of a group of novice programmers towards this style of programming. We also d

Stochastic sampling of light transport paths is key to Monte Carlo forward rendering, and previous studies have led to mature techniques capable of drawing high-contribution light paths in complex scenes. These sampling techniques have also been applied to differentiable rendering.In this paper, we demonstrate that path sampling techniques developed for forward rendering can become inefficient for

Aerosol particles, small solid or liquid particles suspended in a gas, are found everywhere in the atmosphere. Air pollution from such particles, mainly soot from combustion-derived activity is a leading cause of premature deaths in the world and have a large effect on the climate. Aerosol particles can interact with climate-related processes in the atmosphere either directly by absorbing or refle

We establish an exactly tight relation between reversiblepebblings of graphs and Nullstellensatz refutations of pebbling formulas,showing that a graph G can be reversibly pebbled in time t and space s if and only if there is a Nullstellensatz refutation of the pebbling formulaover G in size t + 1 and degree s (independently of the field in whichthe Nullstellensatz refutation is made). We use this

Systems mixing Boolean logic and arithmetic have been a long-standing challenge for verification tools such as SAT-based bit-vector solvers. Though SAT solvers can be highly efficient for Boolean reasoning, they scale poorly once multiplication is involved. Algebraic methods using Gröbner basis reduction have recently been used to efficiently verify multiplier circuits in isolation, but generally

Sliding mode control (SMC) is to keep the system to a stable differential manifold. Model predictive control (MPC) calculates the control input by solving an optimization problem on receding horizon. The method of receding horizon sliding control (RHSC) includes the predicted information into the SMC design by combining SMC and MPC. Considering the modeling error and measurement noise, there are m

In this paper, we perform a belief propagation (BP) decoding threshold analysis of spatially coupled (SC) turbo-like codes (TCs) (SC-TCs) on the additive white Gaussian noise (AWGN) channel. We review Monte-Carlo density evolution (MC-DE) and efficient prediction methods, which determine the BP thresholds of SC-TCs over the AWGN channel. We demonstrate that instead of performing time-consuming MC-

We see a potential for ESS to benefit from sharing alarm data for machine learning applications, by establishing data ecosystem. To achieve these goal, ESS must make a strategic decision to pursue data sharing, establish a technical platform to share a digital twin, continue advancing the data ecosystem, and work towards a standardized reference model.

One type of light source that remains largely unexplored in the field of light transport rendering is the light generated by superluminal particles, a phenomenon more commonly known as Cherenkov radiation. By re-purposing the Frank-Tamm equation for rendering, the energy output of these particles can be estimated and consequently mapped to photons, making it possible to visualize the brilliant blu

The high-resolution Sentinel-2 data potentially enable the estimation of gross primary productivity (GPP) at finer spatial resolution by better capturing the spatial variation in a heterogeneous landscapes. This study investigates the potential of 10 m resolution reflectance from the Sentinel-2 Multispectral Instrument to improve the accuracy of GPP estimation across Nordic vegetation types, compa

Conflict-driven pseudo-Boolean solvers optimize 0-1 integer linear programs by extending the conflict-driven clause learning (CDCL) paradigm from SAT solving. Though pseudo-Boolean solvers have the potential to be exponentially more efficient than CDCL solvers in theory, in practice they can sometimes get hopelessly stuck even when the linear programming (LP) relaxation is infeasible over the real