Ordered Semantic Hyper Tableaux

A family of tableau methods, called ordered semantic hyper (OSH) tableau methods for first-order theories with function symbols, is presented. These methods permit semantic information to guide the search for a proof. They also may make use of orderings on literals, clauses, and interpretations to guide the search. In a typical tableau, the branches represent conjunctions of literals, and the tableau represents the disjunction of the branches. An OSH tableau is as usual except that each branch B has an interpretation I ₀[B] associated with it, where I ₀ is an interpretation supplied at the beginning and I ₀[B] is the interpretation most like I ₀ that satisfies B. Only clauses that I ₀[B] falsifies may be used to expand the branch B, thus restricting the kinds of tableau that can be constructed. This restriction guarantees the goal sensitivity of these methods if I ₀ is properly chosen. Certain choices of I ₀ may produce a purely bottom-up tableau construction, while others may result in goal-oriented evaluation for a given query. The choices of which branch is selected for expansion and which clause is used to expand this branch are examined and their effects on the OSH tableau methods considered. A branch reordering method is also studied, as well as a branch pruning technique called complement modification, that adds additional literals to branches in a soundness-preserving manner. All members of the family of OSH tableaux are shown to be sound, complete, and proof convergent for refutations. Proof convergence means that any allowable sequence of operations will eventually find a proof, if one exists. OSH tableaux are powerful enough to be treated as a generalization of several classes of tableau discussed in the literature, including forward chaining and backward chaining procedures. Therefore, they can be used for efficient query processing.     

The dental, craniofacial, and biochemical features of pyknodysostosis: a report of three new cases

1.Near-infrared (IR) spectroscopy is based on the relative transparency of skin, skull and brain to the light in the near-IR region (700-1100 nm) and on the oxygen-dependent tissue absorption changes of haemoglobin.2. We evaluated the most relevant factors (reproducibility, venous return, age and sex) that might affect reliability of near-IR spectroscopy to test CO2 cerebrovascular reactivity.3.Thirty-four healthy volunteers were enrolled in the study. The protocol consisted of a 3-min baseline, a 3-min hypercapnia (5% CO2 in air) and a 2-min recovery. Transcranial Doppler sonography measurements were simultaneously performed. The CO2 reactivity test was repeated on 27 subjects after 1 h to assess reproducibility. CO2 reactivity was also evaluated at different body positions (supine, 35 degrees Trendelenburg and 35 degrees reverse Trendelenburg), and over a gradual increase of the inspired CO2.4. Changes in near-IR spectroscopy and transcranial Doppler sonography parameters were significantly correlated with variations of end-tidal CO2 (P<0.005). A significant correlation between the reactivity indexes of near-IR spectroscopy parameters and flow velocity was also found (P<0.01). A high reproducibility was also found for deoxyhaemoglobin (rI=0.76), oxyhaemoglobin (rI=0.68) and flow velocity (rI=0.60) reactivity indexes. No significant differences between the reactivity indexes of different body positions were found (P>0.05). The reactivity index of oxyhaemoglobin and deoxyhaemoglobin decreased (P<0.05) and increased (P<0.01) with age respectively.5. We found that near-IR spectroscopy is a reliable and reproducible method for the evaluation of cerebrovascular reactivity and might be considered, after appropriate validation, for the assessment of patients with cerebrovascular disease.     

Prospects for a high octane gasoline synthesis catalyst

The thermodynamics of synthesis reactions relevant to the production of alcohols, aldehydes, olefins, paraffins and aromatics lead us to conclude that the direct synthesis of aromatics will be favoured at temperatures around 650 K. We also note that the exothermicity of such a synthesis will be some 20% lower than that in conventional Fischer Tropsch synthesis.     

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.

Biosorption of a reactive textile dye from aqueous solutions utilizing an agro-waste

In the present study a low-cost waste biomass derived from canned food plant, was tested for its ability to remove reactive textile dye from aqueous solutions. The batch biosorption experiments were carried out at various pH, biosorbent dosage, contact time and temperature. Optimum decolorization was observed at pH 2.0 and 1.6 g dm^− 3 of biomass dosage within 20 min. The first-order and the pseudo-second-order kinetics were investigated for the biosorption system. The applicability of the Langmuir and Freundlich isotherm models was examined. The thermodynamic parameters for the biosorption were also calculated. The experimental results in this study indicated that this low-cost biomaterial was an attractive candidate for the removal of textile dye Reactive Red 198 (RR198) from aqueous solutions.     

Kinetics and equilibrium studies for the adsorption of Acid Red 57 from aqueous solutions onto calcined-alunite

The adsorption of Acid Red 57 (AR57) onto calcined-alunite was examined in aqueous solution in a batch system with respect to contact time, pH and temperature. The first-order, pseudo-second-order kinetic and the intraparticle diffusion models were used to describe the kinetic data and the rate constants were evaluated. The experimental data fitted very well the pseudo-second-order kinetic model and also followed the intraparticle diffusion model up to 90 min. The Langmuir and Freundlich adsorption models were applied to describe the equilibrium isotherms and the isotherm constants were also determined. The equilibrium data are successfully fitted to the Langmuir adsorption isotherm. The Langmuir isotherm constant, K(L), was used to evaluate the changes of free energy, enthalpy and entropy of adsorption for the adsorption of AR57 onto calcined-alunite. The results indicate that calcined-alunite could be employed as low-cost material for the removal of acid dyes from textile effluents.     

A study on performance and exhaust emissions of the steam injected DI diesel engine running with different diesel- conola oil methyl ester blends

Although biodiesels have low emission profiles, the main drawback of using biodiesel in diesel engines is higher NOx. Nowadays, the electronic controlled steam injection is a promising method for NOx control. This study investigates the effects of steam injection with diesel fuel-canola oil methyl ester (COME) blends on the performance and emissions characteristics of a direct injection (DI) single cylinder diesel engine. Steam is injected into the inlet manifold during inlet period. The combustion of diesel-COME blends has been modeled using two zone combustion model. The results have been compared with each other in terms of performance and emissions. The maximum increments in engine torque and power were measured as 2.5% for 10% COME (B10) at 1200 rpm, 2.8% for 20% COME (B20) at 2200 rpm. The effects of steam injection on performance and emissions of the diesel engine running with B10 and B20 COME blends were also investigated. Satisfaction improvements have been obtained with the combination of steam injection and COME blends. The maximum torque of the engine running with B10 and 10% steam ratio combination (B10 + S10) and B20 and 10% steam ratio combinations (B20 + S10) were found as 2.4% at 1400 rpm and 0.6% at 1400 rpm, respectively. Significant reduction has been observed in NOx emission with B10-S10 combination. The reduction rate in NOx emissions were 22% with B10-S10 and 18% with B20-S10 at 1200 rpm. The study showed that steam injection is an effective tool for controlling NOx emissions without performance degradation in the diesel engines fueled with COME blends.     

Energy-efficient and fault-tolerant drone-BS placement in heterogeneous wireless sensor networks

Wireless Networks - This paper introduces a distributed and energy-aware algorithm, called Minimum Drone Placement (MDP) algorithm, to determine the minimum number of base stations mounted on...     

Silicon Mitigates Drought Stress in Wheat (Triticum aestivum L.) Through Improving Photosynthetic Pigments,Biochemical and Yield Characters

Silicon - Feeling prone to stress differs with plant production stage, water scarcity near commencement of grain filling phase has a significant reduced grain yield through fewer endosperm and sink...