This paper studies functional dependencies in Horn theories, both when the theory is represented by its clausal form and when it is de ned as the Horn envelope of a set of models. We provide polynomial algorithms for the recognition of whether a given functional dependency holds in a given Horn theory, as well as polynomial algorithms for the generation of some representative sets of functional...

A new horn for high displacement amplification is developed. The profile of the horn is a cubic Bézier curve. The ultrasonic actuation of the horn exploits the first longitudinal displacement mode of the horn. A design method of the horn using an optimization scheme and finite element analyses is developed. Prototypes of the horns are manufactured by a numerical control machining process. Perfo...

Endogenous indoleacetic acid (IAA) levels of Euphorbia esula L. primary root and root buds were examined at three phenologic stages. High performance liquid chromatography coupled with fluorescence detection and gas chromatography-mass spectrometry, using (13)C(6)[benzene ring]-indole-3-acetic acid as internal standard, were used to measure root bud free and bound IAA levels in vegetative, full...

Flower constellations are a particular set of satellite constellations where every satellite covers the same repeating space track. When the flower constellations are visualized on an Earth centred earth fixed reference frame, the relative orbits shows flower-shaped figures centered on the Earth. In this paper the shape and the position of a particular flower constellations has been designed fo...

Several species of flower thrips, including the Florida flower thrips {Frankliniella bispinosa (Morgan)}, Western flower thrips {F. occidentalis (Pergande)}, Eastern flower thrips {F. tritici (Fitch)}, and Scritothrips ruthveni Shull, have recently become known as pests of cultivated blueberries (Spiers et al. 2004). The three Franklinella species are pests of both rabbiteye and southern highbu...

The quantification of floral shape variations is difficult because flower structures are both diverse and complex. Traditionally, floral shape variations are quantified using the qualitative and linear measurements of two-dimensional (2D) images. The 2D images cannot adequately describe flower structures, and thus lead to unsatisfactory discrimination of the flower shape. This study aimed to ac...

This paper studies functional dependencies in Horn theories, both when the theory is represented by its clausal form and when it is deened as the Horn envelope of a set of models. We provide polynomial algorithms for the recognition of whether a given functional dependency holds in a given Horn theory, as well as polynomial algorithms for the generation of some representative sets of functional...

Headspace-solid phase microextraction-gas chromatography-mass spectrometry (HS-SPME-GC-MS) was used to identify the volatile organic compounds (VOCs) of the different flower development stages of Cananga odorata for the evaluation of floral volatile polymorphism as a basis to determine the best time of harvest. Electronic nose results, coupled with discriminant factor analysis, suggested that e...

objective(s): the present study aims to study the alteration of glutamatergic transmission in the dorsal horn neurons and the effect of gabapentin on oxaliplatin-induced neuropathic pain in rats. materials and methods: oxaliplatin (5 mg/kg) or saline was administered to adult male sprague-dawley rats.  gabapentin (60 mg/kg, ip) or vehicle was injected daily. mechanical allodynia was assessed us...

One of the obstacles to the effective compilation of propositional knowledge bases (KBs) using Horn approximations, as introduced by (Selman & Kautz 1991), is the lack of computationally feasible methods for generating Horn bounds. In this paper new algorithms for generating Horn Greatest Lower Bounds (GLB) that can apply to large size KBs, are presented. The approach is extended through a more...