Filetype
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
In this paper we propose a design methodology to partition dataflow applications on a multi clock domain architecture. This work shows how starting from a high level dataflow representation of a dynamic program it is possible to reduce the overall power consumption without impacting the performances. Two different approaches are illustrated, both based on the post-processing and analysis of the ca
In this paper, we present a systematic approach to design a compact dual-mode monopole-like patch antenna using characteristic mode analysis (CMA). The modal analysis of a slotted circular patch structure incorporating a new shorting pin loading technique is presented. To achieve a compact monopole-like antenna with wideband operation, it is demonstrated that the first two significant modes with m
A pre-requisite for the design of wireless systems is the understanding of the propagation channel. While a wealth of propagation knowledge exists for bands below 6 GHz, the same can not be said for bands approaching millimeter-wave frequencies. In this paper, we present the design, implementation and measurement-based verification of a re-configurable 27.5-29.5 GHz channel sounder for measuring d
A co-designed (3+3)-port antenna for dual-band operation that requires no feeding or decoupling network is proposed and verified. The antenna consists of six ports which are divided into two groups that resonate in two differentfrequency ranges. The basic radiating element is a tri-modal patch in a folded snowflake-shaped structure with the largest antenna dimension of 0.48λ1 or 0.68λ2, where λ1 and
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
Research purpose: This study aims at finding out (1) how retailers' sales can be influenced if customers are offered to use SSTs (self-service technologies) for navigating themselves directly to the items they want to buy. (2) how the shopping experience can be influenced if customers are offered to use SSTs for navigating themselves directly to the items they want to buy. Methodology: Based o
This paper presents the development of a non-dimensional model of a continuous cross-flow atomic layer deposition (ALD) reactor with temporally separated precursor pulsing and a structured model-based methodology for scaling up the substrate dimensions. The model incorporates an ALD gas–surface reaction kinetic mechanism for the deposition of thin ZnO films from Zn(C2H5)2 and H2O precursors that w
We propose a generalized approach to decoupling shading from visibility sampling in graphics pipelines, which we call decoupled sampling. Decoupled sampling enables stochastic supersampling of motion and defocus blur at reduced shading cost, as well as controllable or adaptive shading rates which trade off shading quality for performance. It can be thought of as a generalization of multisample ant
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
In this work, we present a method for acquiring, storing, and using scene data to enable realistic shading of virtual objects in an augmented reality application. Our method allows for sparse sampling of the environment’s lighting condition while still delivering a convincing shading to the rendered objects. We use common camera parameters, provided by a head-mounted camera, to get lighting inform
Correlation attacks apply mainly to stream ciphers and can be considered as an extension of the idea of distinguishing attacks to collect information on secret key bits. The original correlation attack was proposed by Siegenthaler on nonlinear combination generators. In a nonlinear combination generator, the keystream is generated as the output of a Boolean function with inputs being sequences fro
This paper presents a new approach to buffer dimensioning for dynamic dataflow implementations. A novel transformation applied to the execution trace graph of a dataflow program is introduced in order to generate an event driven system. It is shown how model predictive control theory techniques can be applied to such a system to analyse the execution space of a dataflow program and to define and t
Computer generated imagery is used in a wide range of disciplines, each with different requirements. As an example, real-time applications such as computer games have completely different restrictions and demands than offline rendering of feature films. A game has to render quickly using only limited resources, yet present visually adequate images. Film and visual effects rendering may not have st
We present a novel visibility algorithm for rendering motion blur with per-pixel anti-aliasing. Our algorithm uses a number of line samples over a rectangular group of pixels, and together with the time dimension, a two-dimensional spatio-temporal visibility problem needs to be solved per line sample. In a coarse culling step, our algorithm first uses a bounding volume hierarchy to rapidly remove
