Tight lower bounds for certain parameterized NP-hard problems

Based on the framework of parameterized complexity theory, we derive tight lower bounds on the computational complexity for a number of well-known NP-hard problems. We start by proving a general result, namely that the parameterized weighted satisfiability problem on depth-t circuits cannot be solved in time n^o(k)m^O(1), where n is the circuit input length, m is the circuit size, and k is the parameter, unless the (t − 1)-st level W[t − 1] of the W-hierarchy collapses to FPT. By refining this technique, we prove that a group of parameterized NP-hard problems, including weighted sat, hitting set, set cover, and feature set, cannot be solved in time n^o(k)m^O(1), where n is the size of the universal set from which the k elements are to be selected and m is the instance size, unless the first level W[1] of the W-hierarchy collapses to FPT. We also prove that another group of parameterized problems which includes weighted q-sat (for any fixed q 2), clique, independent set, and dominating set, cannot be solved in time n^o(k) unless all search problems in the syntactic class SNP, introduced by Papadimitriou and Yannakakis, are solvable in subexponential time. Note that all these parameterized problems have trivial algorithms of running time either n^km^O(1) or O(n^k).     

Sparse Approximations of the LMMSE Channel Estimation in OFDM with Transmitter Diversity

The linear minimum mean-squared error (LMMSE) channel estimation for orthogonal frequency-division multiplexing (OFDM) systems requires a large number of complex multiplications. We evaluate a simplified LMMSE channel estimation algorithm in a transmit diversity environment by applying a significant weight catching (SWC) technique to the LMMSE fixed weighting matrix. The SWC technique itself is based on modifying the smoothing matrix by leaving the Γ largest values in each row and turning the rest to zeros. This allows the computational complexity of the full LMMSE processor to be reduced by more than 50%. In the well known LMMSE by singular value decomposition (SVD) technique the sparse approximation is accomplished by zeroing out all but the r largest singular values. LMMSE by SVD is the preferred approximation technique for low delay spread channels. However, in channels with large delay spreads, LMMSE by SWC is a better choice in terms of computational complexity and estimation accuracy Igor Tolochkoreceived his Dipl.-Eng. Degree in Electrical Engineering from Polytechnic Institute, Riga, Latvia in 1987 and PhD from Victoria University, Melbourne, Australia in 2005. He was a senior and later principal design engineer in mobile communications at the Riga Semiconductor Institute Alpha (1988 – 1993). During 1993 – 1998, he was involved in research and development activities in communications with different companies in Riga and Melbourne, Australia. From 1998 to 2002, he was with Ericsson Australia as a senior design engineer. Currently, he works for NEC Australia Pty. Ltd. as a senior design engineer in 3G Mobile Department. His current research interests include digital signal processing, indoor and outdoor wireless communications and error control coding. Michael Faulkner(M'84) received the B.Sc. (Eng) from Queen Mary College, London University, UK, in 1970, the M.E. degree from the University of New South Wales, Australia in 1978, and the PhD from University of Technology Sydney in 1993. From 1972 to 1975 he was with STC (now Alcatel) Australia. From 1975 to 1977 he as with the University of New South Wales, and since then as a lecturer and now professor at Victoria University of Technology, Melbourne, Australia where he is director of the Telecommunications and Micro-electronics research centre. Between 1988 and 2000 he spent four periods at Lund University, Sweden. He was co-recipient of the IEE's 1997 IERE prize for a paper on amplifier linearisation. His current interests are, signal processing, radio technology, radio systems and MIMO/OFDM.     

Modification of human platelet adhesion on biomaterial surfaces by protein preadsorption under static and flow conditions

Biomaterial-induced thrombosis remains one of the main complications of vascular implant devices. Preadsorbed proteins on the biomaterial/blood interface will modify the adhesion and activation of platelets (PTLs) during the initial contact-phase. Our results clearly show that PTL-adherence on biomaterials is influenced not only by protein preadsorption, but also by flow conditions. The covalent coating of TCPS and glass by phosphorylcholine (PC) induces a significant decrease of PTL adhesion but leads to a slight, but nevertheless significant activation of PTL, which was detected by the induction of P-selectin expression using FACS analysis. Methodologically, the visualization of PTL adhesion gave more reliable results for measurement of PTL adhesion than the cell-enzyme immunoassay (EIA) for P-selectin. Human citrated plasma caused an inhibition of PTL. It is probable, that the contained sodium citrate may inhibit PTL adhesion by its calcium ion-binding capacity. The flow experiment as dynamic system is in our view absolutely essential for the evaluation of biomaterials for vascular prosthesis, and is in accordance with the international standards. The results of the experiments also suggest that investigations under static and flow conditions are needed to determine the influence of protein adsorption on mixed blood cell populations, for example, on PTL and PMN mixtures/co-cultures in order to achieve a better simulation of the in vivo situation.     

In vivo synchrotron study of thallium speciation and compartmentation in Iberis intermedia

Thallium (TI) is a metal of great toxicological concern and its prevalence in the natural environment has steadily increased as a result of manufacturing and combustion practices. Due to its low natural abundance and increasing demand, TI is the fourth most expensive metal, thus, recovery and reuse could be a profitable endeavor. The hyperaccumulator Iberis intermedia was examined via in vivo micro-X-ray absorption near edge (micro-XANES) and micro-X-ray fluorescence (micro-XRF) spectroscopies to determine the speciation and distribution of TI within leaves of the plant. I. intermedia plants were cultivated under controlled conditions in 0, 10, and 20 mg TI kg(-1) soil leading to a shoot concentration of up to 13 430 mg TI kg(-1) dry weight plant mass during 10 weeks of growth. Live plant leaves were examined by micro-XANES and micro-XRF which determined aqueous TI(I) to be the model species distributed primarily throughout the vascular network. A direct relationship of vein size to TI concentration was observed. The high uptake of TI and high potential biomass of I. intermedia, combined with knowledge of TI speciation and compartmentation within the plant, are discussed in terms of accumulation/tolerance mechanisms, consequences for potential food chain contamination, and phytomining strategies to reclaim TI-contaminated soils, sediments, and waters.     

Low metal levels in emotionally disturbed children.

Investigated possible relationships of metal levels to childhood behavioral disorders. Hair-metal concentrations in 22 emotionally disturbed children (mean age 8.72 yrs) were compared to hair-metal levels in 25 control Ss (mean age 8.4 yrs) drawn from the general school population. Each S was also rated on the Walker Problem Behavior Identification Checklist (WPBIC). Disturbed Ss had significantly higher hair-lead levels. Correlations were run between hair-metal levels and WPBIC ratings for the 2 groups. Arsenic, cadmium, and aluminum levels correlated positively and significantly with the WPBIC total scale score for the disturbed group. A continuing reexamination of metal-poisoning concentrations is needed because metals levels previously thought harmless may be associated with behavioral impairments in children. (12 ref) (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Correcting automatic speech recognition captioning errors in real time

Lectures can be digitally recorded and replayed to provide multimedia revision material for students who attended the class and a substitute learning experience for students unable to attend. Deaf and hard of hearing people can find it difficult to follow speech through hearing alone or to take notes while they are lip-reading or watching a sign-language interpreter. Synchronising the speech with text captions can ensure deaf students are not disadvantaged and assist all learners to search for relevant specific parts of the multimedia recording by means of the synchronised text. Automatic speech recognition has been used to provide real-time captioning directly from lecturers’ speech in classrooms but it has proved difficult to obtain accuracy comparable to stenography. This paper describes the development, testing and evaluation of a system that enables editors to correct errors in the captions as they are created by automatic speech recognition and makes suggestions for future possible improvements.     

Nonlinear Soil–Abutment–Bridge Structure Interaction for Seismic Performance-Based Design

Current seismic design of bridges is based on a displacement performance philosophy using nonlinear static pushover analysis. This type of bridge design necessitates that the geotechnical engineer predict the resistance of the abutment backfill soils, which is inherently nonlinear with respect to the displacement between soil backfill and the bridge structure. This paper employs limit-equilibrium methods using mobilized logarithmic-spiral failure surfaces coupled with a modified hyperbolic soil stress–strain behavior (LSH model) to estimate abutment nonlinear force-displacement capacity as a function of wall displacement and soil backfill properties. The calculated force-displacement capacity is validated against the results from eight field experiments conducted on various typical structure backfills. Using LSH and experimental data, a simple hyperbolic force-displacement (HFD) equation is developed that can provide the same results using only the backfill soil stiffness and ultimate soil capacity. HFD is compatible with current CALTRANS practice in regard to the seismic design of bridge abutments. The LSH and HFD models are powerful and effective tools for practicing engineers to produce realistic bridge response for performance-based bridge design.