An alternative Skolemization method, which removes strong quantifiers from formulas, is presented that is sound and complete with respect to intermediate predicate logics with the finite model property. For logics without constant domains the method makes use of an existence predicate, while for logics with constant domains no additional predicate is necessary. In both cases an analogue of Hebr...

In this paper we reformulate several NCP-functions for the nonlinear complementarity problem (NCP) from their merit function forms and study some important properties of these NCP-functions. We point out that some of these NCP-functions have all the nice properties investigated by Chen, Chen and Kanzow [2] for a modified Fischer-Burmeister function, while some other NCP-functions may lose one o...

In this paper, a hybrid language model which combines a word-based n-gram and a category-based Stochastic Context-Free Grammar (SCFG) is evaluated for training data sets of increasing size. Different estimation algorithms for learning SCFGs in General Format and in Chomsky Normal Form are considered. Experiments on the UPenn Treebank corpus are reported. These experiments have been carried out ...

$!!!!$ In this paper, the notion of fuzzy $!$ Krasner $!(m, n)$-hyperrings($!F^{(m, n)}!$-hyperrings) by using the notion of$F^m$-hyperoperations and $F^n$-operations is introduced and somerelated properties are investigated. In this regards,relationships between Krasner $F^{(m, n)}$-hyperrings and Krasner$(m, n)$-hyperrings are considered. We shall prove that everyKrasner $F^{(m, n)}$-hyperrin...

bronchial asthma is the common chronic inflammatory disease and is characterized by chronic airway inflammation, airway remodeling, and airway hyperreactivity (ahr). aim of this study was to investigate the effects of mitochondrial atp-sensitive potassium channels (mitokatp) on the proliferation and secretion of human airway smooth muscle cells (hasmcs). hasmcs were treated with the serum from ...

We start by pointing out that certain Riemann surfaces appear rather naturally in the context of wave equations in the black hole background. For a given black hole there are two closely related surfaces. One is the Riemann surface of complexified “tortoise” coordinate. The other Riemann surface appears when the radial wave equation is interpreted as the Fuchsian differential equation. We study...