Filetype
Cellular radio based localization can be an important complement or alternative to other localization technologies, as base stations continuously transmit signals of opportunity with beneficial positioning properties. In this paper, we use the long term evolution (LTE) cell-specific reference signal for this purpose. The multipath component delays are estimated by the ESPRIT algorithm, and the est
A (Formula presented.) -configuration is a set of (Formula presented.) blocks on (Formula presented.) points. For Steiner triple systems, (Formula presented.) -configurations are of particular interest. The smallest nontrivial such configuration is the Pasch configuration, which is a (Formula presented.) -configuration. A Steiner triple system of order (Formula presented.), an STS (Formula present
We show exponential lower bounds on resolution proof length for pigeonhole principle (PHP) formulas and perfect matching formulas over highly unbalanced, sparse expander graphs, thus answering the challenge to establish strong lower bounds in the regime between balanced constant-degree expanders as in [Ben-Sasson and Wigderson'01] and highly unbalanced, dense graphs as in [Raz'04] and [Razborov'03
We give a significantly simplified proof of the exponential separation between regular and general resolution of Alekhnovich et al. (2007) as a consequence of a general theorem lifting proof depth to regular proof length in resolution. This simpler proof then allows us to strengthen the separation further, and to construct families of theoretically very easy benchmarks that are surprisingly hard f
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
In this paper we examine the idea of implementing communicating sequential processes (CSP) constructs on a Java embedded chip multiprocessor (CMP). The approach is intended to reduce the memory bandwidth pressure on the shared memory, by employing a dedicated network-on-chip (NoC). The presented solution is scalable and also specific for our limited resources and real-time predictability requireme
Automation in aerospace industry is often in the form of dedicated solutions and focused on processes like drilling, riveting etc. The common industrial robot has due to limitations in positional accuracy and stiffness often been unsuitable for aerospace manufacturing. One major cost driver in aircraft manufacturing is manual assembly and the bespoke tooling needed. Assembly tasks frequently invol
While research on the design of heterogeneous concurrent systems has a long and rich history, a unified design methodology and tool support has not emerged so far, and thus the creation of such systems remains a difficult, time-consuming and error-prone process. The absence of principled support for system evaluation and optimization at high abstraction levels makes the quality of the resulting im
In this paper, we study the joint design of optimal linear encoders and decoders for filtering and transmission of a signal over an additive Gaussian noise channel subject to a real-time constraint. The objective is to minimize the variance of the estimation error at the receiving end. The design problem is nonconvex, but it is shown that a global optimum can be found by solving a related two-stag
The interest in modelling, analysis and optimisation of supply chain structures has increased in the last decade. Among the reasons are globalisation, a general speed-up of the rate of change in the business environment, the trend towards more outsourcing of activities, and the rapid development in IT. This development has caused more and more people to realise the benefits of supply chain managem
This paper presents a method for auto-tuning interactive ray tracing on GPUs using a hardware model. Getting full performance from modern GPUs is a challenging task. Workloads which require a guaranteed performance over several runs must select parameters for the worst performance of all runs. Our method uses an analyti- cal GPU performance model to predict the current frame’s render- ing time usi
Scaling the amount of resources allocated to an application according to the actual load is a challenging problem in cloud computing. The emergence of autoscaling techniques allows for autonomous decisions to be taken when to acquire or release resources. The actuation of these decisions is however affected by time delays. Therefore, it becomes critical for the autoscaler to account for this pheno
This paper introduces a predictive combustion-engine controller for efficient fulfillment of constraints on peak pressure, exhaust temperature and NO emissions. The controller utilizes a in-cylinder pressure sensor, actuation of multiple fuel injections and numerical optimization. A physical model is used to predict pressure changes due to fuel-injection variation. The predicted pressure is used t
