Resolution calculus for the first order linear logic

This paper presents a formulation and completeness proof of the resolution-type calculi for the first order fragment of Girard's linear logic by a general method which provides the general scheme of transforming a cutfree Gentzen-type system into a resolution type system, preserving the structure of derivations. This is a direct extension of the method introduced by Maslov for classical predicate logic. Ideas of the author and Zamov are used to avoid skolomization. Completeness of strategies is first established for the Gentzen-type system, and then transferred to resolution. The propositional resolution system was implemented by T. Tammet.     

Synergistic Sex Pheromone Components of White-Spotted Tussock Moth, Orgyia thyellina

In 1996, the exotic white-spotted tussock moth (WSTM), Orgyia thyellina (Lepidoptera: Lymantriidae), was discovered in Auckland, New Zealand. Because establishment of WSTM would threaten New Zealand's orchard industry and international trade, eradication of WSTM with microbial insecticide was initiated. To monitor and complement eradication of WSTM by capture of male moths in pheromone-baited traps, pheromone components of female WSTM needed to be identified. Coupled gas chromatographic–electroantennographic detection analysis of pheromone gland extract revealed several compounds that elicited responses from male moth antennae. Mass spectra of the two most EAD-active compounds suggested, and comparative GC-MS of authentic standards confirmed, that they were (Z)-6-heneicosen-11-one (Z6–11-one) and (Z)-6-heneicosen-9-one, the latter termed here thyellinone. In field experiments in Japan, Z6–11-one plus thyellinone at a 100:5 ratio attracted WSTM males, whereas either ketone alone failed to attract a single male moth. Addition of further candidate pheromone components did not enhance attractiveness of the binary blend. Through the 1997–1998 summer, 45,000 commercial trap lures baited with 2000 g of Z6–11-one and 100 g of thyellinone were deployed in Auckland towards eradication of the residual WSTM population.Dedicated to my dear mother in honor of her 75th birthday     

Decadienoates: Sex Pheromone Components of Nettle Caterpillars Darna trima and D. bradleyi

This study was undertaken to identify sex pheromone components of nettle caterpillars Darna trima and Darna bradleyi (Lepidoptera: Limacodidae) whose larvae defoliate oil palm, Elaeis guineensis, in southeast Asia. Coupled gas chromatographic–electroantennographic detection (GCEAD) analyses of pheromone gland extracts revealed two antennally active compounds produced by female D. trima and two by female D. bradleyi. Molecular structures of these candidate pheromone components were identified by electron-impact and chemical-ionization mass spectrometry; retention-index calculations on DB-5, DB-23, and DB-210 columns; microanalytical treatments, as well as syntheses of "auxilliary" compounds that facilitated identification of the compounds. The compounds from D. trima were 2-methylbutyl (E)-7,9-decadienoate (A) and (E)-2-hexenyl (E)-7,9decadienoate (B); from D. bradleyi we identified methyl (E)-7,9-decadienoate (C), and isobutyl (E)-7,9-decadienoate (D). In field experiments in Malaysia, (S)-2-methylbutyl (E)-7,9-decadienoate (SA) in combination with B proved to be essential and synergistic pheromone components for attraction of male D. trima. (R)-2-Methylbutyl (E)-7,9-decadienoate (RA) had no behavioral activity. Compound D singly attracted male D. bradleyi, but addition of C to D at a 1 : 10 ratio significantly enhanced attractiveness of the bait. Synthetic pheromone blends were more effective trap baits than unmated female moths and could be developed for monitoring populations of D. trima and D. bradleyi in Asian oil palm plantations.     

(<Emphasis Type="Italic">Z,Z</Emphasis>)-6,9-Heneicosadien-11-One: Major Sex Pheromone Component Of Painted Apple Moth, <Emphasis Type="Italic">Teia anartoides</Emphasis>

(Z, Z)-6,9-Heneicosadien-11-one (Z6Z9-11-one-21Hy) was identified as the major sex pheromone component of the painted apple moth (PAM), Teia anartoides (Lepidoptera: Lymantriidae), on the basis of (1) comparative gas chromatographic-electroantennographic detection (GC-EAD) analyses, GC-mass spectrometry (MS), high-performance liquid chromatography (HPLC)-MS, and HPLC-UV/visible spectroscopy of pheromone gland extracts and authentic standards; (2) GC-EAD analyses of effluvia of calling females; and (3) wind tunnel and field trapping experiments with a synthetic standard. In field experiments in Australia, synthetic Z6Z9-11-one-21Hy as a single component attracted male moths. Wind tunnel experiments suggested that a 4-component blend consisting of Z6Z9-11-one-21Hy, (6Z,9R,10S)-cis-9,10-epoxy-heneicosene (Z6-9R10S-epo-21Hy), (E, E)-7,9-heneicosadien-6,11-dione (E7E9-6,11-dione-21Hy), and 6-hydroxy-(E, E)-7,9-heneicosadien-11-one (E7E9-6-ol-11-one-21Hy) (all present in pheromone gland extracts) might induce more males to orient toward, approach, and contact the source than did Z6Z9-11-one-21Hy as a single component. Additional experiments are needed to determine conclusively whether or not Z6-9R10S-epo-21Hy, E7E9-6,11-dione-21Hy, and E7E9-6-ol-11-one-21Hy might be minor sex pheromone components of PAM. Moreover, attractiveness of synthetic pheromone and virgin PAM females needs to be compared to determine whether synthetic pheromone could replace PAM females as trap baits in the program to monitor eradication of exotic PAM in New Zealand.     

Moisture conditioning of wood using a continuous microwave dryer

Lower moisture content in wood, preferably 5–6%, is desirable for many chemical modification reactions. Economically, it is not feasible to dry timber to such low moisture content by conventional drying without drying degrades. Microwave heating was evaluated and found to be effective in reducing the moisture content of radiata pine from 13% to 6% in a microwave cycle of two minutes. The energy consumption is about 55 kWh/m³. Moisture distribution profiles demonstrate very uniform drying across the sample thickness. The findings suggest that microwave heating can potentially be applied to condition wood in a very short period of time.     

Boron removal from water and its recovery using iron (Fe) oxide/hydroxide-based nanoparticles (NanoFe) and NanoFe-impregnated granular activated carbon as adsorbent

This study presents information obtained by the synthesis of Fe(3) oxide/hydroxide nanoparticles sol (NanoFe) and NanoFe-impregnated granular activated carbon as adsorbents for boron removal from solutions. The research describes an adsorption method for cleaning a solution containing boron contaminants followed by recovery of the adsorbent and the adsorbed material for safe removal or further reuse. The technology provides an efficient method of boron removal from water. A marked effect of NanoFe and NanoFe-impregnated GAC adsorbents concentration and pH level on boron removal efficiency was demonstrated. At least 95–98% boron recovery efficiency is possible using NanoFe sol and Fe-impregnated GAC that in fact also recover the adsorbent for reuse. Boron adsorption onto the NanoFe-impregnated GAC adsorbent may be described by pseudo-second-order reaction kinetics and the Langmuir isotherm model. The boron adsorption capacity on iron (3) oxide nanoparticles and Fe-impregnated GAC at an equilibrium concentration of 0.3 mg/dm³ as B in the solution is much higher than these values for similar adsorbents reported in the literature.     

Non-visual interaction with graphs assisted with directional-predictive sounds and vibrations: a comparative study

Blind and visually impaired students need special educational and developmental tools to allow them to interact with graphic entities on PDA and desktop platforms. In previous research, stylus movements regarding the hidden graph were sonified with three directional-predictive sound (DPS) signals, taking into account an exploration behavior and the concept of the capture radius. The results indicated that the scanpaths were by 24–40% shorter in length and task completion times decreased by 20–25%. The goal of the study presented in this paper was to measure and compare the subjective performance recorded with directional-predictive vibrations (DPV) regarding the subjective performance achieved when the hidden graphic images were explored with DPS. The study also aimed to find out which kind of feedback cues would require less cognitive efforts in interpreting their meaning. The prototype of vibro-tactile pen with embedded vibration motor was used to produce DPV instead of sounds. The performance of eight blindfolded subjects was investigated in terms of the number of both feedbacks used and the time spent to complete non-visual inspection of the hidden graphs. There was a statistically significant difference between the average number of DPS and vibrations and task completion time taken by the players to discover the features of hidden graphs being explored with different capture radius. The experimental findings confirmed the beneficial use of DPS signals in the task when cross-modal coordination should benefit the user in the absence of visual information when compared with DPV patterns.     

Behavioral matchmaking for service retrieval: Application to conversation protocols

The capability to easily find useful services (software applications, software components, scientific computations) becomes increasingly critical in several fields. Current approaches for services retrieval are mostly limited to the matching of their inputs/outputs possibly enhanced with some ontological knowledge. Recent works have demonstrated that this approach is not sufficient to discover relevant components. In this paper we argue that, in many situations, the service discovery should be based on the specification of service behavior (in particular, the conversation protocol). The idea behind is to develop matching techniques that operate on behavior models and allow delivery of partial matches and evaluation of semantic distance between these matches and the user requirements. Consequently, even if a service satisfying exactly the user requirements does not exist, the most similar ones will be retrieved and proposed for reuse by extension or modification. To do so, we reduce the problem of behavioral matching to a graph matching problem and we adapt existing algorithms for this purpose. A prototype is presented (available as a web service) which takes as input two conversation protocols and evaluates the semantic distance between them.