Filtyp
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
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
Cerebrospinal fluid (CSF) biomarkers reflect brain pathophysiology and are used extensively in translational research as well as in clinical practice for diagnosis of neurological diseases, e.g., Alzheimer’s disease (AD). However, CSF biomarker concentrations may be influenced by non-disease related inter-individual variability. Here we use a data-driven approach to demonstrate the existence of in
e consider waveform iterations for dynamic coupled problems with respect to therole of time window length. We review existing theoretical results about the error of waveformiterations and the role of the time window length. Furthermore, we present numerical resultsfor waveform iterations with both time adaptive sub solvers and with fixed time steps. Thisway, we are able to give a recommendation on
As part of its commitment to transparency, the European Food Safety Authority (EFSA) has been developing improved approaches to assessing uncertainty and expressing the degree of certainty in its scientific outputs. The objectives of this workshop were to review and improve the provision of this information by EFSA and its usefulness for risk managers, and to help risk managers to interpret and us
A fundamental part of many computer algorithms involves traversing a binary tree. One notable example is traversing a space-partitioning acceleration structure when computing ray-traced images. Traditionally, the traversal requires a stack to be temporarily stored for each ray, which results in both additional storage and memory-bandwidth usage. We present a novel algorithm for traversing a binary
Measured aerosol size distributions from three measurement stations and modeled air mass trajectory data were combined to study aerosol dynamics in the boreal forest zone in Northern Scandinavia. Three approaches were used: investigation of new particle formation events, analysis of air masses arriving from ocean to continent, and study of changes in the aerosol size distributions when air masses
Since the 1960s, product designers, architects, lighting planners, gamers and scientific visualizaiton specialists have craved the ability to work in real-time three-dimensional photorealistic virtual worlds. The authors, one specializing in making computer graphics more convincing and the other focusing on making them faster, present the achievements and challenges in the race for real-time photo
The growing complexity of digital signal processing applications make a compelling case the use of high-level design and synthesis methodologies for the implementation on reconfigurable and embedded devices. Past research has shown that raising the level of abstraction of design stages does not necessarily gives penalties in terms of performance or resources. Dataflow programs provide behavioral d
We present a hybrid ray tracing system, where the work is divided between the CPU cores and the GPU in an integrated chip, and communication occurs via shared memory. Rays are organized in large packets that can be distributed among the two units as needed. Testing visibility between rays and the scene is mostly performed using an optimized kernel on the GPU, but the CPU can help as necessary. The
Millimeter-wave (mmWave) frequencies are set to play an important role in fifth-generation (5G) wireless systems. A pre-requisite for the design and performance assessment of 5G wireless is the understanding of the involved propagation processes and derivation of insightful channel models. Unlike bands below 6 GHz, several additional modelling features need to be catered for at mmWaves. For dynami
Although significant improvements have been achieved for organic photovoltaic cells (OPVs), the top-performing devices still show power conversion efficiencies far behind those of commercialized solar cells. One of the main reasons is the large driving force required for separating electron-hole pairs. Here, we demonstrate an efficiency of 14.7% in the single-junction OPV by using a new polymer do
The Base of the Pyramid (BoP) refers to 4 - 4,5 billion people in the world, who are living on less than a few dollars per day. This majority of the world's population has a little resources and is usually considered as a group with no purchasing power and therefore is currently unserved and underserved by current products and services. However, more than any others, the low-income consumers a
