Search results

Advanced combustion such as the partially premixed combustion (PPC) is characterized by high energy efficiency. However, they are sensitive to the inlet condition and injection of a combustion engine. Therefore, it is essential to use combustion feedback. The accuracy of the feedback variables, derived from the cylinder pressure signal, is crucial for effective combustion feedback control. This pa

Background: In anti-neutrophil cytoplasmic antibody (ANCA)-associated glomerulonephritis, antigen specificity varies between myeloperoxidase (MPO) and proteinase 3 (PR3). This has been reported to vary in relation to age, gender, geography and extrarenal manifestations. However, studies are difficult to compare as criteria for inclusion vary. The aim of this study was to investigate the relationsh

The focus of this work is detecting pedestrians, captured in a surveillance setting, and locating them in world coordinates. Commonly adopted search strategies operate in the image plane to address the object detection problem with machine learning, for example using scale-space pyramid with the sliding windows methodology or object proposals. In contrast, here a new search space is presented, whi

Modern transportation requires advanced powertrain systems to reduce the production of greenhouse gas CO2. Partially premixed combustion (PPC) is one of the most promising methods to achieve low emission and low fuel consumption of internal combustion engines. The present paper evaluated the effects of the calibration parameters on the efficiency and emissions of a multi-cylinder engine using PPC

Realistic network simulations are necessary to assess the performance of any communication system. In this paper, we describe an implementation of a channel model for vehicle-to-vehicle (V2V) communication in the OMNeT++/Plexe simulation environment. The model is based on previous extensive measurements in a V2V multilink highway scenario and cover line-of-sight (LOS) as well as obstructed LOS (OL

To a higher degree, older adults will live to old age in their own homes with the assistance of home care services. One effect of this is an increased number of people working in the home environment. This paper presents the results from a research project that studied the physical environment in Swedish home care. Innovations to support the home care situation were developed, with the aim of cont

The premise of massive multiple-input multiple-output (MIMO) is based around coherent transmission and detection. Majority of the vast literature on massive MIMO presents performance evaluations over simplified statistical propagation models. All such models are drop-based and do not ensure continuity of channel parameters. In this paper, we quantify the impact of spatially consistent (SC) models

With the potential to provide a clean break from massive multiple-input multiple-output, large intelligent surfaces (LISs) have recently received a thrust of research interest. Various proposals have been made in the literature to define the exact functionality of LISs, ranging from fully active to largely passive solutions. Nevertheless, almost all studies in the literature investigate the fundam

The traditional way to capture rate and amplitude dependence of filled rubbers is by a branched model containing elastic, viscous, and frictional branches, leading to a decoupling of the rate and amplitude dependence. In order to capture the experimentally observed phenomena with a steeper increasing dynamic modulus with frequency, for small amplitudes, a model by Besseling (1958) is revisited. In

Massive multiple-input multiple-output (MIMO) promises significantly higher performance relative to conventional multiuser systems. However, the promised gains of massive MIMO systems rely heavily on the accuracy of the absolute front-end calibration, as well as quality of channel estimates at the base station (BS). In this paper, we analyze user equipment-aided calibration mechanism to estimate t

We propose that CDCL SAT solver heuristics such as restarts and clause database management can be analysed by studying the resolution proofs produced by the solvers, and by trimming these proofs to extract the clauses actually used to reach the final conclusion. We find that for non-adaptive Luby restarts higher frequency makes both untrimmed and trimmed proofs smaller, while adaptive restarts bas

We study planning problems where the transition function is described by a learned binarized neural network (BNN). Theoretically, we show that feasible planning with a learned BNN model is NP-complete, and present two new constraint programming models of this task as a mathematical optimization problem. Experimentally, we run solvers for constraint programming, weighted partial maximum satisfiabil

An algorithm is said to be certifying if it outputs, together with a solution to the problem it solves, a proof that this solution is correct. We explain how state of the art maximum clique, maximum weighted clique, maximal clique enumeration and maximum common (connected) induced subgraph algorithms can be turned into certifying solvers by using pseudo-Boolean models and cutting planes proofs, an

Braided convolutional codes (BCCs) are a class of spatially coupled turbo-like codes that can be described by a (2), (3)-regular compact graph. In this paper, we introduce a family of (d v , d c )-regular GLDPC codes with convolutional code constraints (CC-GLDPC codes), which form an extension of classical BCCs to arbitrary regular graphs. In order to characterize the performance in the waterfall

Propagation models constitute a fundamental building block of wireless communications research. Before we build and operate real systems, we must understand the science of radio propagation, and develop channel models that both reflect the important propagation processes and allow a fair comparison of different systems. In the past five decades, wireless systems have gone through five generations,

Radio based positioning or tracking solutions typically require wideband signals or phase coherent antennas. In this paper, we present a target tracking method based on received non-coherent signal strength differences (RSSDs) between antennas for outdoor Internet-of-things (IoT) scenarios. We introduce an RSSD model based on classical path-loss models. With known antenna patterns and antenna arra

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