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...

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...

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...

In the AGM framework [Alchourrón and Makinson, 1985], a revision function can be defined directly through constructions like systems of spheres, epistemic entrenchment, etc., or indirectly through a contraction operation via the Levi identity. A recent trend is to construct AGM style contraction and revision functions that operate under Horn logic. A direct construction of Horn revision is give...

233 Plantains and bananas (Musa sp.) are important starchy staples in Ghana. Processing of plantains into flour is limited as most plantain foods are eaten as boiled, fried or roasted. However, after the introduction on local and foreign markets of instant plantain fufu (popular West African food) flour consisting of plantain flour and cassava starch, interest in plantain flours as a commercial...

In this paper, we consider computing the difference between two Horn theories. This problem may arise, for example, if we take care of a theory change in a knowledge base. In general, the difference of Horn theories is not Horn. Therefore, we consider Horn approximations of the difference in terms of Horn cores (i.e., weakest Horn theories included in the difference), which have been proposed a...

We provide a characterization of Horn cores for formulas in conjunctive normal form (CNF) and, based on it, a novel algorithm for computing Horn cores of disjunctions of Horn CNFs that has appealing properties (e.g., it is polynomial for a bounded disjunction). Furthermore, we show that recognizing the Horn envelope of a disjunction of two Horn CNFs is intractable, and that computing a compact ...

Horn description logics (Horn-DLs) have recently started to attract attention due to the fact that their (worst-case) data complexities are in general lower than their overall (i.e. combined) complexities, which makes them attractive for reasoning with large ABoxes. However, the natural question whether Horn-DLs also provide advantages for TBox reasoning has hardly been addressed so far. In thi...

Unicornuate uterus with rudimentary horn is a rare type of uterine malformation associated with obstetrical complications. Rupture of pregnant rudimentary horn is the usual presentation resulting in severe haemoperitoneum with increased maternal morbidity, and at times, mortality. A case of ruptured rudimentary horn pregnancy in a 24-year-old, second gravida, is reported. Exploratory laparotomy...