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.     

LXRα Regulates oxLDL-Induced Trained Immunity in Macrophages

Reprogramming of metabolic pathways in monocytes and macrophages can induce a proatherosclerotic inflammatory memory called trained innate immunity. Here, we have analyzed the role of the Liver X receptor (LXR), a crucial regulator of metabolism and inflammation, in oxidized low-density lipoprotein (oxLDL)-induced trained innate immunity. Human monocytes were incubated with LXR agonists, antagonists, and oxLDL for 24 h. After five days of resting time, cells were restimulated with the TLR-2 agonist Pam3cys. OxLDL priming induced the expression of LXRα but not LXRβ. Pharmacologic LXR activation was enhanced, while LXR inhibition prevented the oxLDL-induced inflammatory response. Furthermore, LXR inhibition blocked the metabolic changes necessary for epigenetic reprogramming associated with trained immunity. In fact, enrichment of activating histone marks at the IL-6 and TNFα promotor was reduced following LXR inhibition. Based on the differential expression of the LXR isoforms, we inhibited LXRα and LXRβ genes using siRNA in THP1 cells. As expected, siRNA-mediated knock-down of LXRα blocked the oxLDL-induced inflammatory response, while knock-down of LXRβ had no effect. We demonstrate a specific and novel role of the LXRα isoform in the regulation of oxLDL-induced trained immunity. Our data reveal important aspects of LXR signaling in innate immunity with relevance to atherosclerosis formation.     

Compact and High Speed Architectures of KASUMI Block Cipher

Wireless Personal Communications - This paper proposes highly compact and high speed hardware architectures of 64-bit KASUMI block cipher for wide range of wireless applications. A novel...     

SEPFL routing protocol based on fuzzy logic control to extend the lifetime and throughput of the wireless sensor network

In this paper a new protocol using fuzzy logic control has been proposed. The protocol is based on Stable Election Protocol (SEP). Fuzzy logic control based on three variables, distance of nodes form base station, density of nodes and the battery level of nodes along with the traditional threshold values used in SEP are used to enhance the process of cluster head election in the existing SEP protocol and improve the lifetime and throughput of the Wireless Sensor Network. The result of the simulation which has been done in MATLAB simulator indicates that Stable Election Protocol based on fuzzy logic is more energy efficient and improves the lifetime and throughput of the network by 73.2 and 68.54 % respectively comparing with the existing SEP protocol.     

Highly accurate frequency estimation of brief duration signals in noise

A highly accurate frequency estimation providing suppression of windowing effects, denoising performances and frequency resolutions in excess of Gabor–Heisenberg limit, is proposed for brief duration signals. It is shown that unbiased frequency estimation with vanishing frequency variances is achieved far below Cramer–Rao lower bound when signal-to-noise ratio reaches vicinity of threshold values. Observed performances provide novel and valuable perspectives for efficient and accurate frequency estimation for brief duration signals in noise.     

The physical theory of slope diffraction

The physical theory of diffraction (PTD) has been expanded for the case of slope diffraction, when an incident wave is zero but its derivative is not zero in the direction of a perfectly conducting scattering edge. High frequency asymptotics are found both for elementary edge waves and for the total edge waves scattered by arbitrary curved edges. Great attention is given to fields created by the nonuniform (diffraction) component of edge currents. These fields are usually called ptd corrections to the Physical Optics approach. These corrections are found for diffraction fields in ray regions and in diffraction regions such as the vicinities of shadow boundaries, smooth caustics, and foci.     

Towards a classification of energy aware MAC protocols for wireless sensor networks

Power management is an important issue in wireless sensor networks (WSNs) because wireless sensor nodes are usually battery powered, and an efficient use of the available battery power becomes an important concern specially for those applications where the system is expected to operate for long durations. This necessity for energy efficient operation of a WSN has prompted the development of new protocols in all layers of the communication stack. Provided that, the radio transceiver is the most power consuming component of a typical sensor node, large gains can be achieved at the link layer where the medium access control (MAC) protocol controls the usage of the radio transceiver unit. MAC protocols for sensor networks differ greatly from typical wireless networks access protocols in many issues. MAC protocols for sensor networks must have built‐in power conservation, mobility management, and failure recovery strategies. Furthermore, sensor MAC protocols should make performance trade‐off between latency and throughput for a reduction in energy consumption to maximize the lifetime of the network. This is in general achieved through duty cycling the radio transceiver. Many MAC protocols with different objectives were proposed for wireless sensor networks in the literature. Most of these protocols take into account the energy efficiency as a main objective. There is much more innovative work should be done at the MAC layer to address the hard unsolved problems. In this paper, we first outline and discuss the specific requirements and design trade‐offs of a typical wireless sensor MAC protocol by describing the properties of WSN that affect the design of MAC layer protocols. Then, a typical collection of wireless sensor MAC protocols presented in the literature are surveyed, classified, and described emphasizing their advantages and disadvantages whenever possible. Finally, we present research directions and identify open issues for future medium access research. Copyright © 2009 John Wiley & Sons, Ltd.     

Optimisation of digestion method for determination of arsenic in shrimp paste sample using atomic absorption spectrometry

The microwave digestion method was developed and verified for the determination of arsenic in shrimp paste samples. Experimental design for five factors (HNO₃ and H₂O₂ volumes, sample weight, microwave power and digestion time) were used for the optimisation of sample digestion. For this purpose, two level half factorial design, which involves 16 experiments, was adopted. The concentration of arsenic was analysed by graphite furnace atomic absorption spectrometry. Design Expert® 7.0 software was used to interpret all data obtained. The combination of 2 mL HNO₃ and 1 mL H₂O₂ volumes, 0.1 g sample weight, 1400 W power and 5 min digestion time was found to be the optimum parameters required to digest the shrimp paste samples. Tests with spiked samples presented good recoveries with relative standard deviations between 0.32% and 5.35%.