Negation as Failure as Resolution

Providing a clean procedural semantics of the Negation As Failure rule in Logic Programming has been an open problem for some time now. This rule has been treated as a technique in nonmonotonic reasoning, not as a rule in classical logic. This paper contains a demonstration of the negation as failure rule as a resolution procedure in first-order logic. We present a sound and complete resolution scheme for negation as failure rule for the larger class of constraint logic programs. The approach is to consider a canonical partition of the completion of a definite (constraint) program into the IF and the FI programs. We show that a negated goal, provable from the completed definite program is provable from just the FI part. The clauses in this program have a structure dual to that of definite Horn clauses. We describe a sound and complete linear resolution rule for this fragment, and show that a resolution proof of the negated goal from the FI part corresponds to a finite failure tree resulting from classical linear resolution applied to the goal on the If part of the original definite program. Our work shows that negation as failure rule can be computationally efficient in the sense that the SLD-resolution on the If part of a definite program along with the negation as failure rule is more efficient than a direct resolution procedure on the completion of that program.     

Collaborative spaces for GIS-based multimedia cartography in blended environments

The interaction spaces between instructors and learners in the traditional face-to-face classroom environment are being changed by the diffusion and adoption of many forms of computer-based pedagogy. An integrated understanding of these evolving interaction spaces together with how they interconnect and leverage learning are needed to develop meaningful strategies for effective teaching and learning. The 18i collaborative interaction spaces model was designed based on constructivist principles, and describes 18 mixed instructor–learner spaces contextualized at a finer operational scale that makes explicit a wider range of interactions. The model was implemented during the life cycle of an undergraduate GIS-based multimedia cartography course. One output was the generation of a repository of rule-based trajectory plans for rapid planning and problem solving. The model provides an integrated workflow to manage course contents, products, interactions, individuality, and learning styles in blended environments.     

Fluid flow stability analysis of multilayer fiber drawing

We here investigate drawing of multi-layered Newtonian and non-Newtonian fluid fibers, drawn under isothermal and non-isothermal conditions. We first develop one-dimensional equations governing mass, momentum, and energy balances and solve them numerically to obtain steady state draw root shape, velocity, and temperature profiles. These solutions are then used to perform linear stability analysis. For the case of isothermal draw, the system displays an oscillatory instability when the draw ratio (ratio of cross-sectional areas of fiber at the entrance and exit of the drawing) is higher than a critical draw ratio (highest stable draw ratio) of about 20.21. Investigation of stability behavior under non-isothermal draw conditions is performed by considering radiative heating and convective cooling. Employing only radiative heating enhances the critical draw ratio, and simultaneous heating and convective cooling increase the critical draw ratio even further. For the case of simultaneous heating and cooling, with increasing convective cooling strength, the critical draw ratio first increases, reaches a maximum, and then gradually decreases. However, with only convective cooling, the critical draw ratio decreases with an increase in convective cooling strength. We also find that the stabilizing effect of a non-isothermal operation can be enhanced by considering fluids with higher viscosity sensitivity to temperature, increasing the maximum temperature, and for sharper attenuation of the fiber cross-sectional area with length. For the case of isothermal drawing of non-Newtonian fluid fibers, the system has a higher critical draw ratio for shear thickening fluids (power-law exponent, n>1). In contrast, the use of a shear thinning fluid (n<1) reduces the critical draw ratio. Consideration of a non-isothermal operation of non-Newtonian fluid fibers reveals that the critical draw ratio is primarily determined by the non-Newtonian behavior rather than the non-isothermal drawing.     

Alumina supported MoO3: an efficient and recyclable catalyst for selective oxidation of tertiary nitrogen compounds to N-oxides using anhydrous TBHP as oxidant under mild reaction conditions

Alumina-supported MoO₃ was found to be an efficient heterogeneous and recyclable catalyst for the oxidation of tertiary nitrogen compounds to N-oxides in excellent yields using anhydrous t-BuOOH as oxidant under mild reaction conditions.     

Determination of the polymer‐solvent contact angle by the capillary raising curve,applied to the field of supports for homogeneous catalysts

A comprehension of the phenomenon that controls the diffusion of an organic solvent to the pores of a polymeric matrix is fundamental for optimizing the operating conditions to distribute a homogeneous catalyst, which has to be supported on it. The traditional sessile drop method is impossible to use when a high polymer‐solvent affinity exists. In this case, a different determination technique, similar to the Wilhelmy static mode method and based on the direct observation of the capillary raising curve of the solvent on the polymeric surface, has been set together with an experimental apparatus specifically built to perform measurements at a desired temperature and atmosphere. Such a technique has been demonstrated to be easy and promising for differentiating the behavior of different polyolefins [polypropylene (PP), high density polyethylene (HDPE), heterophasic copolymers (COPO)] at equal solvent and different temperatures. © 2007 Wiley Periodicals, Inc. J Appl Polym Sci, 2007     

Multiple-wavelength focusing of surface plasmons with a nonperiodic nanoslit coupler

A novel type of multiple-wavelength focusing plasmonic coupler based on a nonperiodic nanoslit array is designed and experimentally demonstrated. An array of nanoslits patterned on a thin metal film is used to couple free-space light into surface plasmon polaritons (SPPs) and simultaneously focus different-wavelength SPPs into arbitrary predefined locations in the two-dimensional plane. We design and fabricate a compact triplexer on a glass substrate with an integrated silicon photodetector. The photocurrent spectra demonstrate that the incident light is effectively coupled to SPPs and routed into three different focal spots depending on the wavelength. The proposed scheme provides a simple method of building wavelength-division multiplexing and spectral filtering elements, integrated with other plasmonic and optoelectronic devices.     

Evidence for Fe(2+) in wurtzite coordination: iron doping stabilizes ZnO nanoparticles

First-principles calculations are used to investigate the structural and electronic properties of Fe-doped ZnO nanoparticles. Based on extensive validation studies surveying various density functionals, the hybrid functional PBE0 is employed to calculate the structures, formation energies, and electronic properties of Fe in ZnO with Fe concentrations of 6.25, 12.5, and 18.75 at%. Substitution of Zn by Fe, zinc vacancies, and interstitial oxygen defects is studied. High-resolution inner-shell electron energy loss spectroscopy measurements and X-ray absorption near-edge structure calculations of Fe and O atoms are performed. The results show that Fe-doped ZnO nanoparticles are structurally and energetically more stable than the isolated FeO (rocksalt) and ZnO (wurtzite) phases. The Fe dopants distribute homogeneously in ZnO nanoparticles and do not significantly alter the host ZnO lattice parameters. Simulations of the absorption spectra demonstrate that Fe(2+) dominates in the Fe-doped ZnO nanoparticles reported recently, whereas Fe(3+) is present only as a trace.     

Improved Turnover Numbers in Palladium‐Catalyzed Bisdiene Cyclization‐Trapping using N‐Heterocyclic Carbene Ligands

An optimized palladium‐N‐heterocyclic carbene catalyst system effects the palladium‐catalyzed bisdiene cyclization‐trapping with phenol at the 0.01% catalyst loading level with a TON of 7.6×10³ and TOF of 280 h⁻¹, values much higher than typically found for this and related carbocyclizations. The reaction scales well and the trans‐substituted six‐membered ring product is obtained in excellent yield on a 10‐mmole scale without further optimization of the catalyst system or reaction conditions.     

Determination of correlation properties of moving diffuser by spectral analyses of the scattered light emerging from two pinholes

Abstract

Correlation properties of light scattered by a moving diffuser are determined by studying the spectral characteristics of the light that emerges from two pinholes placed after the diffuser. These properties are used to determine the correlation functions of the heights of diffuser surface and the speed of the diffuser. The phase of the light on the two pinholes after it has passed through the moving diffuser, is also determined.