Filetype
The problem of joint source-channel coding is considered for a stationary remote (noisy) Gaussian source and a Gaussian channel. The encoder and decoder are assumed to be causal and their combined operations are subject to a delay constraint. It is shown that, under the mean-square error distortion metric, an optimal encoder-decoder pair from the linear and time-invariant (LTI) class can be found
This paper presents dataflow machines, a model for stream programs aimed at capturing their logical structure in a way that is amenable to analysis, composition, and hardware and software code generation. We discuss the properties of the model, and its relationship to a previous effort, actor machines. Dataflow machines are motivated by the shortcomings of actor machines when generating highly par
We present a rasterizer, based on time-dependent edge equations, that computes analytical visibility in order to render accurate motion blur. The theory for doing the computations in a rasterization framework is derived in detail, and then implemented. To keep the frame buffer requirements low, we also present a new oracle-based compression algorithm for the time intervals. Our results are promisi
Energy and power efficiency are becoming important topics within the graphics community. In this paper, we present a simple, straightforward method for measuring per-frame energy consumption of real-time graphics workloads. The method is non-invasive, meaning that source code is not needed, which makes it possible to measure on a much wider range of applications. We also discuss certain behaviors
Homogeneous charge compression ignition (HCCI) is a promising internal combustion engine concept. It holds promise of combining low emission levels with high efficiency. However, as ignition timing in HCCI operation lacks direct actuation and is highly sensitive to operating conditions and disturbances, robust closed-loop control is necessary. To facilitate control design and allow for porting of
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
Single-strand RNA-binding proteins (RBPs) are involved in many aspects of RNA metabolism and in the regulation of gene transcription. The RBP RBM3 was recently suggested to be a proto-oncogene in colorectal cancer; however, such a role has not been corroborated by previous studies in the colon or other tumor types, and the prognostic implications of tumor-specific RBM3 expression remain unclear. M
Clinical trials of pharmaceuticals have been running in Russia for more than ten years and while it is an attractive location for research, it remains a largely untapped resource as researchers look to expand patient recruitment outside the Western world. While academic sites like Moscow, St Petersburg and Novosibirsk have all gained experience in clinical trials, smaller hospitals in peripheral
Abstract in UndeterminedDataflow descriptions have been used ina wide range of Digital Signal Processing (DSP)applications, such as multi-media processing, andwireless communications. Among various forms ofdataflow modeling, Synchronous Dataflow (SDF) isgeared towards static scheduling of computationalmodules, which improves system performance andpredictability. However, many DSP applicationsdo no
Homogeneous charge compression ignition (HCCI) holds promise for reduced emissions and increased efficiency compared to conventional internal combustion engines. As HCCI lacks direct actuation over the combustion phasing, much work has been devoted to designing controllers capable of set-point tracking and disturbance rejection. This paper presents results on model predictive control (MPC) of the
The oxidation of biogenic volatile organic compounds (BVOCs) gives a range of products, from semi-volatile to extremely low-volatility compounds. To treat the interaction of these secondary organic vapours with the particle phase, global aerosol microphysics models generally use either a thermodynamic partitioning approach (assuming instant equilibrium between semi-volatile oxidation products and
In this short note, we argue that performance per watt, which is often cited in the graphics hardware industry, is not a particularly useful unit for power efficiency in scientific and engineering discussions. We argue that joules per task and watts are more reasonable units. We show a concrete example where nanojoules per pixel is much more intuitive, easier to compute aggregate statistics from,
When rendering effects such as motion blur and defocus blur, shading can become very expensive if done in a naive way, i.e. shading each visibility sample. To improve performance, previous work often decouple shading from visibility sampling using shader caching algorithms. We present a novel technique for reusing shading in a stochastic rasterizer. Shading is computed hierarchically and sparsely
Given a stochastic shadow map rendered with motion blur, our goal is to render an image from the eye with motion-blurred shadows with as little noise as possible. We use a layered approach in the shadow map and reproject samples along the average motion vector, and then perform lookups in this representation. Our results include substantially improved shadow quality compared to previous work and a
We study mixed-integer optimal control problem using indirect approaches. The proposed method relies on splitting algorithms which separate the mixed problem into two solvable pieces and then iteratively alternating between the two. The algorithm gives approximated local solutions, and provides lower and upper bounds estimations of the global optimum. Simulations are provided to validate our appro
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-
