Filtyp
Building on [Clegg et al.’96], [Impagliazzo et al.’99] established that if an unsatisfiable k-CNF formula over n variables has a refutation of size S in the polynomial calculus resolution proof system, then this formula also has a refutation of degree k + O(n log S). The proof of this works by converting a small-size refutation into a small-degree one, but at the expense of increasing the proof si
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
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
Abstract in UndeterminedIn this article, we present a constraint programming approach for solving hard design problems present when automatically designing specialized processor extensions. Specifically, we discuss our approach for automatic selection and synthesis of processor extensions as well as efficient application compilation for these newly generated extensions. The discussed approach is i
In this paper, we derive compact representations of the depth function for a triangle undergoing motion or defocus blur. Unlike a static primitive, where the depth function is planar, the depth function is a rational function in time and the lens parameters. Furthermore, we show how these compact depth functions can be used to design an efficient depth buffer compressor/decompressor, which signifi
In this paper, we present a meshing scheme for the implementation of an adaptive tessellation of triangular meshes on the graphics processing unit (GPU). Tessellation is performed according to a local test to generate primitives dynamically. The refinement procedure does not require the pre-computation of any refinement pattern. The resulting adaptive procedure is efficient and simple, and generat
We present user-controllable and plausible defocus blur for a stochastic rasterizer. We modify circle of confusion coefficients per vertex to express more general defocus blur, and show how the method can be applied to limit the foreground blur, extend the in-focus range, simulate tilt-shift photography, and specify per-object defocus blur. Furthermore, with two simplifying assumptions, we show th
Stereoscopic rendering and 3D stereo displays are quickly becoming mainstream. The natural extension is autostereoscopic multi-view displays, which by the use of parallax barriers or lenticular lenses, can accommodate many simultaneous viewers without the need for active or passive glasses. As these displays, for the foreseeable future, will support only a rather limited number of views, there is
Airborne dispersal of microalgae has largely been a blind spot in environmental biological studies because of their low concentration in the atmosphere and the technical limitations in investigating microalgae from air samples. Recent studies show that airborne microalgae can survive air transportation and interact with the environment, possibly influencing their deposition rates. This minireview
The feasibility of digesting energy crops supplemented with macro- and micronutrients instead of manure, without the commonly applied long hydraulic retention time (HRT), was investigated in long-term, single-stage continuous stirred tank processes. The crops used were mixtures of sugar beets, maize and whole crop triticale. The organic loading rate (OLR) measured as a total solid (TS) was 1.5-5.5
As custom multicore architectures become more and more common for DSP applications, instruction selection and scheduling for such applications and architectures become important topics. In this paper, we explore the effects of defining the problem of finding an optimal instruction selection and scheduling as a constraint satisfaction problem (CSP). We incorporate methods based on sub-graph isomorp
Arbetspsykologiska personlighetstest används numera ofta vid rekrytering och matchning på arbetsmarknaden. Det är därför viktigt att utvärdera de test som används på området. Den aktuella studiens syfte var att utvärdera egenskaper hos den svenska versionen av det arbetspsykologiska personlighetstestet Shapes Management genom att mäta dess konvergenta validitet mot den svenska versionen av det välOccupational personality questionnaires are increasingly being used in the process of recruitment, and the matching between individuals and jobs, on the contemporary labor market. Evaluation and development of questionnaires that are in use is therefore important. The purpose of this study was to evaluate the Swedish version of the occupational personality questionnaire Shapes Management by measur
In this paper we revisit positioning from Doppler measurements, using techniques from algebraic geometry to produce new theoretical insights and efficient localization algorithms. First, we give a full characterization of the problem, identifying for each problem their minimal configurations, that is the minimum number of receivers and transmitters to have a finite number of solutions. We also stu
In this paper, we present a system for drone detection and positioning. The approach uses a system composed of an audio detection rig with a set of microphones, a set of fixed cameras with a large combined field of view and a Pan-TiltZoom camera. We present how this system can be defined in an efficient and modular way with a number of parallel sensing modules. The focus of this work is the audio
