conclusions this study revealed the noticeable popularity of cam in patients suffering from chronic rheumatologic diseases, mostly due to their dissatisfaction with conventional treatments. patients and methods in this cross-sectional study, 100 randomly selected patients, with different diseases, were questioned about demographic data, disease duration, the type of cam used, reasons, visit int...

Let S be a finite set of positive integers. A mixed hypergraph H is a onerealization of S if its feasible set is S and each entry of its chromatic spectrum is either 0 or 1. In [P. Zhao, K. Diao, Y. Chang and K. Wang, The smallest one-realization of a given set II, Discrete Math. 312 (2012) 2946–2951], we determined the minimum number of vertices of a 3-uniform bi-hypergraph which is a one-real...

There are many ways in which a GSS can be used to support group brainstorming. This paper reports the results of an experiment hat manipulated task structure and time structure. Groups electronically brainstormed on intact tasks (where all parts of the task were presented simultaneously) or on partitioned tasks (where three subcategories of the task were presented to the groups). The time perio...

A formal approach to feasible numbers, as well as to middle and small numbers, is introduced, based on ideas of Parikh (1971) and improving his formalization. The \vague" set F of feasible numbers intuitively satisses the axioms 0 2 F , F + 1 F and 2 1000 6 2 F , where the latter is stronger than a condition considered by Parikh, and seems to be treated rigorously here for the rst time. Our tec...

For economies in which the real rate of return on money is too low, the standard prescription is to deflate prices according to the Friedman rule. Implicit in this recommendation is the availability of a lump-sum tax instrument. In this paper, I view lump-sum tax obligations as a form of debt subject to default. While individuals may agree to honor such obligations ex ante, a lack of commitment...

In the first few years of life, a child's language undergoes tremendous changes. While it is a primary task for the student of language acquisition to document these changes, a mere description of child language, however accurate or insightful, cannot be regarded as adequate. A complete theory of language acquisition must also include a detailed account of how these changes take place, that is,...

Many mathematical proofs are hard to generate for humans and even harder for automated theorem provers. Classical techniques of automated theorem proving involve the application of basic rules, of built-in special procedures, or of tactics. Melis (Melis 1993) introduced a new method for analogical reasoning in automated theorem proving. In this paper we show how the derivational analogy replay ...

Let G = (V,E) be a graph and R ⊆ E. A matching M in G is called R-feasible if the subgraph induced by the M -saturated vertices does not have an edge of R. We show that the general problem of finding a maximum size Rfeasible matching in G is NP-hard and identify several natural applications of this new concept. In particular, we use R-feasible matchings to give a necessary and sufficient condit...

We restrict induction and recursion on notation in all nite types so as to characterize the polynomial time computable functions. The restrictions are obtained by enriching the type structure with the formation of types (and formulas A (B as well as 8 x A with \complete" variables x, and by adding linear concepts to the lambda calculus (for object terms and proof terms). For the arithmetical sy...

background: there are two types of primary dysmenorrhea (spasmodic and congestive) which differ from each other in terms of the time of menstrual cycle outbreak, pain quality and other symptoms. the present study aimed to determine the effect of acupressure at the sanyinjiao point (sp-6) on severity of menstrual symptoms (primary outcome) and the duration of resting time as well as the number o...