Filtyp
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
Background: Low levels of the soluble tumour necrosis factor-like weak inducer of apoptosis (sTWEAK) and depression are linked to cardiovascular disease. Galectin-3, inadequate glycemic control and low high-density lipoprotein (HDL)-cholesterol levels were previously linked to depression in these patients with type 1 diabetes mellitus (T1DM). The main aim was to explore whether sTWEAK was associat
In this paper we study the Lilang Super Group in the Spiti area, Indian Himalaya to understand environmental changes in the aftermath of the end-Permian mass extinction. We focus on the Mikin and Kaga Formations, which span the Induan to Ladinian stages of the Lower and Middle Triassic. These strata formed on the southern mid-palaeolatitude margin of East Gondwana and are interpreted as condensed,
Silver birch (Betula pendula) and three Southeast Asian tropical plant species (Ficus cyathistipula, Ficus benjamina and Caryota millis) from the pantropical fig and palm genera were grown in a purpose-built and environmentcontrolled whole-tree chamber. The volatile organic compounds emitted from these trees were characterised and fed into a linked photochemical reaction chamber where they underwe
Background: The PAST-PERF registry was initiated to collect data on the PK Papyrus covered stent, a second-generation device for the treatment of coronary artery perforations with enhanced mechanical properties, but with limited available data. Methods: Patients treated for coronary artery perforations with the PK Papyrus stent at 14 international centers were retrospectively identified. The prima
Background: Early-onset pancreatic cancer (< 50 years, EOPC) is uncommon and limited data exist on clinical presentation and long-term survival. The aim of this study was to compare outcomes between patients with EOPC and those with later-onset pancreatic cancer (≥ 50 years, LOPC) using a large population-based cohort. Methods: The Surveillance, Epidemiology, and End Results (SEER) database was qu
It is tractable to increase the torque for an HCCI engine and one way is to add a turbocharger. Operating in HCCI mode requires accurate control of the combustion phasing, CA50. The higher the engine torque, the narrower the CA50 window becomes where HCCI operation is maintained. As the CA50 varies stochastically between cycles this requires improved CA50 control for turbo HCCI engines. The main f
Partially Premixed Combustion (PPC) has shown to be a promising advanced combustion mode for future engines in terms of efficiency and emission levels. The combustion timing should be suitably phased to realize high efficiency. However, a simple constant model based predictive controller is not sufficient for controlling the combustion during transient operation. This article proposed one learning
We propose a modulus based zero-forcing (MZF) detector for multi-input multi-output (MIMO) channels. Traditionally, a ZF detector nulls out interference from other layers when detecting a certain layer. While this is conceptually simple, it can result in considerable noise-enhancement. In many communication systems, finite alphabets such as M quadrature-amplitude-modulation (QAM) are used, which c
In this paper, we consider capacity degradations stemming from potential hardware impairments (HWI) of newly proposed Large Intelligent Surface (LIS) systems. Without HWI, the utility of surface-area (the first-order derivative of the capacity with respect to surface-area) is shown to be proportional to the inverse of it. With HWI, the capacity as well as the utility of surface-area are both degra
From a control design point of view, modern diesel engines are dynamic, nonlinear, MIMO systems. This paper presents a method to find low-complexity black-box dynamic models suitable for model predictive control (MPC) of NOx and soot emissions based on on-line emissions measurements. A four-input-five-output representation of the engine is considered, with fuel injection timing, fuel injection dur
The current monolithic and lengthy scheme behind the standardization and the design of new video coding standards is becoming inappropriate to satisfy the dynamism and changing needs of the video coding community. Such a scheme and specification formalism do not enable designers to exploit the clear commonalities between the different codecs, neither at the level of the specification nor at the le
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
Two smartphone applications were developed with the aim of harvesting insights of vulnerable road user accidents. The apps require a backend database with software tools for generating and managing questionnaires, etc. Such a system was developed using a MySQL database where a user-friendly platform has been developed in CakePHP. The backend system has been successfully developed and been used to
Many automated gating algorithms for flow cytometry data are based on the concept of unimodal cell populations. However, in this article, we show that criteria previously used to make decisions on unimodality cannot adequately distinguish unimodal from bimodal densities. We show that dip and bandwidth tests for unimodality, taken from the statistics literature, can do this with consistent and low
