A novel distributed scheduling scheme for OFDMA uplink using channel information and probabilistic transmission

Distributed uplink scheduling in OFDMA systems is considered. In the proposed model, mobile terminals have the responsibility of making their own transmission decisions. The proposed scheme is based on two dimensional reservation in time and frequency. Terminals use channel state information in order to favor transmissions over certain subchannels, and transmission is done in a probabilistic manner. The proposed approach provides more autonomy to mobile devices in making transmission decisions. Furthermore, it allows avoiding collisions during transmission since it leads to collision detection during the resource reservation phase. The proposed approach is compared to other random access methods and shown to be superior in terms of increasing sum-rate, reducing the number of users in outage, and reducing the collision probability in the reservation phase.     

SATCHMOREBID: SATCHMO(RE) with BIDirectional relevancy

SATCHMORE was introduced as a mechanism to integrate relevancy testing with the model-generation theorem prover SATCHMO. This made it possible to avoid invoking some clauses that appear in no refutation, which was a major drawback of the SATCHMO approach. SATCHMORE relevancy, however, is driven by the entire set of negative clauses and no distinction is accorded to the query negation. Under unfavorable circumstances, such as in the presence of large amounts of negative data, this can reduce the efficiency of SATCHMORE. In this paper we introduce a further refinement of SATCHMO called SATCHMOREBID: SATCHMORE with BIDirectional relevancy. SATCHMOREBID uses only the negation of the query for relevancy determination at the start. Other negative clauses are introduced on demand and only if a refutation is not possible using the current set of negative clauses. The search for the relevant negative clauses is performed in a forward chaining mode as opposed to relevancy propagation in SATCHMORE which is based on backward chaining. SATCHMOREBID is shown to be refutationally sound and complete. Experiments on a prototype SATCHMOREBID implementation point to its potential to enhance the efficiency of the query answering process in disjunctive databases. Donald Loveland, Ph.D.: He is Emeritus Professor of Computer Science at Duke University. He received his Ph.D. in mathematics from New York University and taught at NYU and CMU prior to joining Duke in 1973. His research in automated deduction includes defining the model elimination proof procedure and the notion of linear resolution. He is author of one book and editor/co-editor of two other books on automated theorem proving. He has done research in the areas of algorithms, complexity, expert systems and logic programming. He is an AAAI Fellow, ACM Fellow and winner of the Herbrand Award in Automated Reasoning. Adnan H. Yahya, Ph.D.: He is an associate professor at the Department of Electrical Engineering, Birzeit University, Palestine. He received his Diploma and PhD degrees from St. Petersburg Electrotechnical University and Nothwestern University in 1979 and 1984 respectively. His research interests are in Artificial Intelligence in general and in the areas of Deductive Databases, Logic Programming and Nonmonotonic Reasoning in particular. He had several visiting appointments at universities and research labs in the US, Germany, France and the UK. Adnan Yahya is a member of the ACM, IEEE and IEEE Computer Society.     

A quasi-static analysis for a class of induced-current EIT systems using discrete coils

A discrete coil EIT system is investigated for the general case of an eccentric circular inhomogeneity. The solution methodology of the forward problem of this system is explained. An optimization procedure using this forward problem solution is developed to find optimum currents that maximize the distinguishability. For an eccentric inhomogeneity problem, it is shown that the coil currents can be optimized to focus the current density in a region of interest. Optimum coil currents under limited peak coil currents constraint and limited total power constraint are obtained. Representative examples that demonstrate the performance of the system are presented.     

Oxygen-Generating Cryogels Restore T Cell Mediated Cytotoxicity in Hypoxic Tumors

Solid tumors are protected from antitumor immune responses due to their hypoxic microenvironments. Weakening hypoxia-driven immunosuppression by hyperoxic breathing of 60% oxygen has shown to be effective in unleashing antitumor immune cells against solid tumors. However, efficacy of systemic oxygenation is limited against solid tumors outside of lungs and has been associated with unwanted side effects. As a result, it is essential to develop targeted oxygenation alternatives to weaken tumor hypoxia as novel approaches to restore immune responses against cancer. Herein, injectable oxygen-generating cryogels (O₂-cryogels) to reverse tumor-induced hypoxia are reported. These macroporous biomaterials are designed to locally deliver oxygen, inhibit the expression of hypoxia-inducible genes in hypoxic melanoma cells, and reduce the accumulation of immunosuppressive extracellular adenosine. The data show that O₂-cryogels enhance T cell-mediated secretion of cytotoxic proteins, restoring the killing ability of tumor-specific cytotoxic T lymphocytes, both in vitro and in vivo. In summary, O₂-cryogels provide a unique and safe platform to supply oxygen as a coadjuvant in hypoxic tumors and have the potential to improve cancer immunotherapies.     

FPGA Based Implementation and Comparison of Beamformers for CDMA2000

For the integration of smart antennas into third generation code division multiple access (CDMA) base stations, it still remains as a challenging task to implement smart antenna algorithms on programmable processors. In this paper, we study implementations of some CDMA compatible beamforming algorithms, namely least mean square (LMS), constant modulus (CM), and space code correlator (SCC) algorithms, using Xilinx??s Virtex family FPGAs. This study exhibits feasibility of implementing even simple, practical, and computationally small algorithms based on today??s most powerful FPGA technologies. 16 and 32 bits floating point implementations of the algorithms are investigated using both Virtex II and Virtex IV FPGAs. CDMA2000 reverse link baseband signal format is used in the signal modeling. Randomly changing fading and Direction-of-arrivals (DOAs) of multipaths are considered as a channel condition. The implementation results in terms of beamforming accuracy, FPGA resource utilization, weight vector computation time, and DOA estimation error are presented. Beamformer weight vectors using LMS and CM can be computed within less than 20 ??s on Virtex II FPGA and 10 ??s on Virtex IV FPGA, and using SCC it can be achieved within less than 22 ??s on Virtex IV FPGA. These results show that FPGAs provide approximately 500 times faster speed in implementations than our previous work with DSPs.     

Hybrid Paper–Plastic Microchip for Flexible and High‐Performance Point‐of‐Care Diagnostics

A low‐cost and easy‐to‐fabricate microchip remains a key challenge for the development of true point‐of‐care (POC) diagnostics. Cellulose paper and plastic are thin, light, flexible, and abundant raw materials, which make them excellent substrates for mass production of POC devices. Herein, a hybrid paper–plastic microchip (PPMC) is developed, which can be used for both single and multiplexed detection of different targets, providing flexibility in the design and fabrication of the microchip. The developed PPMC with printed electronics is evaluated for sensitive and reliable detection of a broad range of targets, such as liver and colon cancer protein biomarkers, intact Zika virus, and human papillomavirus nucleic acid amplicons. The presented approach allows a highly specific detection of the tested targets with detection limits as low as 10² ng mL^?1 for protein biomarkers, 10³ particle per milliliter for virus particles, and 10² copies per microliter for a target nucleic acid. This approach can potentially be considered for the development of inexpensive and stable POC microchip diagnostics and is suitable for the detection of a wide range of microbial infections and cancer biomarkers.     

Machine learning based optimized live virtual machine migration over WAN links

Live virtual machine migration is one of the most promising features of data center virtualization technology. Numerous strategies have been proposed for live migration of virtual machines on local area networks. These strategies work perfectly in their respective domains with negligible downtime. However, these techniques are not suitable to handle live migration over wide area networks and results in significant downtime. In this paper we have proposed a Machine Learning based Downtime Optimization (MLDO) approach which is an adaptive live migration approach based on predictive mechanisms that reduces downtime during live migration over wide area networks for standard workloads. The main contribution of our work is to employ machine learning methods to reduce downtime. Machine learning methods are also used to introduce automated learning into the predictive model and adaptive threshold levels. We compare our proposed approach with existing strategies in terms of downtime observed during the migration process and have observed improvements in downtime of up to 15 %.     

A Practical Space-Code Correlator Receiver for DSP Based Software Radio Implementation in CDMA2000

Development of practical algorithms for beamforming in 3G CDMA systems and their software radio implementations are still a challenging task, which will facilitate upgrading of traditional base stations into smart antenna capable 3G base stations. In this paper, we propose a practical space-code correlator (SCC) receiver structure for its software radio implementation a DSP. SCC’s advantage comes from the fact that it doesn’t require any training sequence or learning parameter as in other algorithms (LMS or CM). DSP implementations of the SCC are performed using Texas Instruments C67xx family platforms. In the simulations, reverse link base band signal format of CDMA2000 is used and the effects of different array topologies (uniform linear array-ULA or uniform circular array-UCA) are considered. The implementation results regarding beamforming accuracy, weight vector computation time (execution time), search resolution effect on DOA estimation accuracy, DSP resource utilization, and received SINR are presented. The results show that DSP based SCC beamformer can estimate weight vectors within less than 10 ms with DOA search resolution of 2° especially when C6713 DSP is used. With faster DSPs and larger search resolutions, execution time could be significantly reduced as well. It provides comparable SINR performance with LMS and CM algorithms.

Experimental Study of an Adding Interferometer at Millimeter Waves

In order to study an original detection architecture for future cosmology experiments based on wide band adding interferometry, we have tested a single baseline bench instrument based on commercial components. The instrument has been characterized in the laboratory with a wide band power detection setup. A method which allows us to reconstruct the complete transfer function of the interferometer has been developed and validated with measurements. This scheme is useful to propagate the spurious effects of each component till the output of the detector.     

Novel signals for optimized timing synchronization in direct‐sequence spread‐spectrum communication systems

The paper presents design techniques for novel signaling waveforms to optimize timing synchronization in direct‐sequence spread‐spectrum communication systems. Both coarse code timing acquisition and fine delay‐locked loop tracking systems are considered, and their performance metrics are analyzed in terms of initial acquisition detection probability and residual tracking jitter, showing a strong dependency on signal waveform spectral characteristics. Bit error performance under imperfect synchronization is also assessed. A design methodology is formulated with a low complexity parametric optimization approach based on prolate spheroidal waveform expansions for the generation of signals that minimize the probability of acquisition miss and tracking error jitter subject to additional constraints on signal energy and phase transitions. Novel optimized waveforms are synthesized with different levels of effective root mean square bandwidth occupancy and compared with conventional pulses to illustrate their advantages. Performance trade‐offs are demonstrated between the acquisition and tracking systems, whereby signals with low effective bandwidth are found to have better acquisition capability at the expense of poorer tracking jitter, while the converse holds for signals with higher effective bandwidth. It is found that an effective root mean square bandwidth occupancy in the range of 40% to 50% of the chip rate can achieve a good compromise between the requirements of the 2 code timing synchronization phases. Numerical results are presented to quantify the relative merits of representative waveforms with respect to the different performance measures in terms of acquisition capability, tracking jitter, and bit error probability.