Partial instantiation methods for inference in first-order logic

Satisfiability algorithms for propositional logic have improved enormously in recently years. This improvement increases the attractiveness of satisfiability methods for first-order logic that reduce the problem to a series of ground-level satisfiability problems. R. Jeroslow introduced a partial instantiation method of this kind that differs radically from the standard resolution-based methods. This paper lays the theoretical groundwork for an extension of his method that is general enough and efficient enough for general logic programming with indefinite clauses. In particular we improve Jeroslow's approach by (1) extending it to logic with functions, (2) accelerating it through the use of satisfiers, as introduced by Gallo and Rago, and (3) simplifying it to obtain further speedup. We provide a similar development for a "dual" partial instantiation approach defined by Hooker and suggest a primal-dual strategy. We prove correctness of the primal and dual algorithms for full first-order logic with functions, as well as termination on unsatisfiable formulas. We also report some preliminary computational results.

Simultaneous reduction of oxides and dissolution of alumina in stainless steelmaking slag

During stainless steelmaking, reductions of oxides, dissolution of oxides in the slag, and foam formation take place simultaneously. Each of these phenomena independently has been studied by a number of investigators, but little information is available for these phenomena acting simultaneously. Experiments have been conducted to study the simultaneous reduction of oxides of chromium, vanadium, and iron from stainless steelmaking slag by carbon along with the dissolution of alumina in the slag. The overall phenomena and the effect on the chromium oxide reduction have been studied..

Spatial confinement of exciton transfer and the role of conformational order in organic nanoparticles

Organic nanoparticles consisting of single conjugated polymer chains were investigated as a function of degree of conjugation by means of single-molecule spectroscopy. The degree of conjugation was synthetically controlled. For highly conjugated chains, singlet excitons are efficiently funneled over nanometer distances to a small number of sites. In contrast, chains with less conjugation and a high number of saturated bonds do not exhibit energy funneling due to a highly disordered conformation.

Synthesis and characterization of mono- and bis-D-pi-A cryptand derivatives for second-order nonlinear optics and its modulation with different metal ion inputs

Two new classes of mono- and bis-D-pi-A cryptand derivatives with a flexible and a rigid cryptand core have been synthesized. The linear and nonlinear optical properties of these molecules are probed. The three dimensional cavity of the cryptand moiety has been utilized to modulate the SHG intensity to different extents in solution with metal ion inputs such as Ni-II,Cu-II,Zn-II, and Cd-II. We also report that decomplexation events can be used to reversibly modulate their NLO responses.

Thermal Lipid Order−Disorder Transitions in Mixtures of Cationic Cholesteryl Lipid Analogues and Dipalmitoyl Phosphatidylcholine Membranes

Two types of cationic cholesteryl amphiphiles, one where the headgroup is attached to the steroid by an ester linkage and the second by an ether linkage, were synthesized. A third type of cholesteryl lipid bearing an oligoethylene glycol segment was also prepared. Each of these synthetic lipids generated vesicle-like aggregates with closed inner aqueous compartments from their aqueous suspensions. We examined their interaction with L-α-dipalmitoyl phosphatidylcholine (DPPC) membranes using fluorescence anisotropy, transmission electron microscopy (TEM), and differential scanning calorimetry (DSC). When included in membranes, the synthetic cholesteryl lipids were found to quench the chain motion of the acyl chains of DPPC. This suggests that these cationic cholesteryl derivatives act as filler molecules despite modification at the headgroup level from the molecular structure of natural cholesterol. Careful analyses of DSC and fluorescence anisotropy data suggest that the nature of perturbation induced by each of these cationic cholesterol derivatives is dependent on the details of their molecular structure and provides significant information on the nature of interaction of these derivatives with phospholipid molecules. In general, amphiphiles that support structured water at the interfacial region tend to rigidify the fluid phase more than others. Importantly, these cholesteryl amphiphiles behave less like cholesterol in that their incorporation in DPPC not only abolishes the phase transition but also depresses the phase transition temperature.

Unsymmetrical aryl disulfides with excellent transparency in the visible region for second order nonlinear optics

Several unsymmetrically substituted aromatic donor acceptor disulfides have been synthesized and analysed for their second order nonlinear optical properties. These molecules exhibit moderately high first hyperpolarizability (beta) with excellent transparency in the visible region. Most of the unsymmetrical disulfides have a cut-off wavelength below 420 nm. Calculations show that the molecules have an asymmetric charge distribution around the disulfide bond which is responsible for their high beta values. These results provide motivation for the design and synthesis of nonlinear optical chromophores with multiple disulfide bonds for large second order nonlinearity and excellent visible transparency.

Water ingression and the role of interface on the compressive properties of epoxy filled with treated fly ash

Polymer composites are generally filled with either fibrous or particulate materials to improve the mechanical properties. In choosing the fillers one looks for materials that are inexpensive and available in abundance, in order to realize a cost reduction also. Also, often these fibres/fillers are treated to improve the matrix adhesion and thereby mechanical properties. The present study is focussed on the influence of water ingression in such filler-modified composites and the attendant changes in the compressive properties. The changes in property effected following exposure to aqueous media and the influence interface modification has on the scenario is emphasized in the work. It is seen that for plain epoxy and fly ash filled systems the strengths are increased following exposure to aqueous media. The composites with surface-treated ash particles, on the other hand, record a drop in the values. Modulus values show are increased to varying degree in unfilled and filled systems. The study also includes a fractographic analysis of the tested samples with and without exposure to water.

Carbothermal reduction and nitridation reaction of SiOx and preoxidized SiOx: Formation of α-Si3N4 fibers

The chemical composition of amorphous SiOx has been analyzed by oxidation studies and is found to be SiO1.7. SiO1.7 appears to be a monophasic amorphous material on the basis of 29Si nuclear magnetic resonance, high resolution electron microscopy, and comparative behavior of a physical mixture of Si and SiO2. Carbothermal reduction and nitridation reactions have been carried out on amorphous SiO1.7 and on amorphous SiO2 obtained from oxidation of SiO1.7. At 1623 K reactions of SiO1.7 lead exclusively to the formation of Si2N2O, while those of SiO2 lead exclusively to the formation of Si3N4. Formation of copious fibers of α-Si3N4 was observed in the latter reaction. It is suggested that the partial pressure of SiO in equilibrium with reduced SiO1.7 and SiO2 during the reaction is the crucial factor that determines the chemistry of the products. The differences in the structures of SiO2 and SiO1.7 have been considered to be the origin of the differences in the SiO partial pressures of the reduction products formed prior to nitridation. The effect of the ratios, C:SiO1.7 and C:SiO2, in the reaction mixture as well as the effect of the temperature on the course of the reactions have also been investigated.

Monodisperse sub-10 nm gold nanoparticles by reversing the order of addition in Turkevich method - The role of chloroauric acid

The Turkevich method for synthesizing gold nanoparticles, using sodium citrate as the reducing agent, is renowned for its ability to produce biocompatible colloids with mean size >10 nm. Here we show that monodisperse gold nanoparticles in the 5-10 nm size range can be synthesized by simply reversing the order of addition of reactants, i.e. adding chloroauric acid to citrate solution. Kinetic studies and electron microscopic characterization revealed that the reactivity of chloroauric acid, initial molar ratio of citrate to chloroauric acid (MR), and reaction mixture pH play an important role in producing monodisperse gold nanoparticles. Reversing the order of addition also enhanced the stabilization of nanoparticles at high MR values. Remarkably, the system exhibits a `memory' of the order of addition, even when the timescale of mixing is much shorter than the timescale of synthesis. (C) 2011 Elsevier Inc. All rights reserved.

NO Reduction Over Noble Metal Ionic Catalysts

In last 40 years, catalysis for NO (x) removal from exhaust gas has received much attention to achieve pollution free environment. CeO(2) has been found to play a major role in the area of exhaust catalysis due to its unique redox properties. In last several years, we have been exploring an entirely new approach of dispersing noble metal ions in CeO(2) and TiO(2) for redox catalysis. We have extensively studied Ce(1-x) M (x) O(2-delta) (M = Pd, Pt, Rh), Ce(1-x-y) A (x) M (y) O(2-delta) (A = Ti, Zr, Sn, Fe; M = Pd, Pt) and Ti(1-x) M (x) O(2-delta) (M = Pd, Pt, Rh, Ru) catalysts for exhaust catalysis especially NO reduction and CO oxidation, structure-property relation and mechanism of catalytic reactions. In these catalysts, lower valent noble metal ion substitution in CeO(2) and TiO(2) creates noble metal ionic sites and oxide ion vacancy. NO gets molecularly adsorbed on noble metal ion site and dissociatively adsorbed on oxide ion vacancy site. Dissociative chemisorption of NO on oxide ion vacancy leads to preferential conversion of NO to N(2) instead of N(2)O over these catalysts. It has been demonstrated that these new generation noble metal ionic catalysts (NMIC) are much more catalytically active than conventional nano crystalline noble metal catalysts especially for NO reduction.

Reduction of oxygen impurity at GaN/beta-Si(3)N(4)/Si interface via SiO(2) to Ga(2)O conversion by exposing of Si surface under Ga flux

The removal of native oxide from Si (1 1 1) surfaces was investigated by X-ray photoelectron spectroscopy (XPS) and secondary ion mass spectra (SIMS) depth profiles. Two different oxide removal methods, performed under ultrahigh-vacuum (UHV) conditions, were carried out and compared. The first cleaning method is thermal desorption of oxide at 900 degrees C. The second method is the deposition of metallic gallium followed by redesorption. A significant decrease in oxygen was achieved by thermal desorption at 900 degrees C under UHV conditions. By applying a subsequent Ga deposition/redesorption, a further reduction in oxygen could be achieved. We examine the merits of an alternative oxide desorption method via conversion of the stable SiO(2) surface oxide into a volatile Ca(2)O oxide by a supply of Ga metals. Furthermore, ultra thin films of pure silicon nitride buffer layer were grown on a Si (1 1 1) surface by exposing the surface to radio-frequency (RF) nitrogen plasma followed by GaN growth. The SIMS depth profile shows that the oxygen impurity can be reduced at GaN/beta-Si(3)N(4)/Si interfaces by applying a subsequent Ga deposition/redesorption. (C) 2011 Elsevier B.V. All rights reserved.

Analytical Evaluation of Squeeze Film Forces in a CMUT With Sealed Air-Filled Cavity

The presence of vacuum inside the cavity of a capacitive micromachined ultrasonic transducer (CMUT) causes the membrane of the device (which is the main vibrating structural component) to deflect towards the substrate, thereby causing a reduction in the effective gap height. This reduction causes a drastic decrease in the pull-in voltage of the device limiting the DC bias at which the device can be operated for maximum efficiency. In addition, this initial deflection of the membrane due to atmospheric pressure, causes significant stress stiffening of the the membrane, changing the natural frequency of the device significantly from the design value. To circumvent the deleterious effects of vacuum in the sealed cavity, we investigate the possibility of using sealed CMUT cavities with air inside at ambient pressure. In order to estimate the transducer loss due to the presence of air in the sealed cavity, we evaluate the resulting damping and determine the forces acting on the vibrating membrane resulting from the compression of the trapped air film. We take into account the flexure of the top vibrating membrane instead of assuming the motion to be parallel-plate like. Towards this end, we solve the linearized Reynolds equation using the appropriate boundary conditions and show that, for a sealed CMUT cavity, the presence of air does not cause any squeeze film damping.