We propose a new decision procedure for dependency quantified Boolean formulas (DQBFs) that uses interpolation-based definition extraction to compute Skolem functions in counter-example guided inductive synthesis (CEGIS) loop. In each iteration, family of candidate is tested correctness using SAT solver, which either determines model has been found, or returns an assignment the universal variab...

Let $S$ be a dense subsemigroup of $(0,+infty)$. In this paper, we state   definition of thick near zero, and also  we will introduce a definition that is equivalent to the definition of piecewise syndetic near zero which presented by Hindman  and Leader in [6].  We define density near zero for subsets of $S$ by a collection of nonempty finite subsets of $S$ and we investigate the conditions un...

background and aims. a plethora of definitions has been used for periodontitis for epidemiological studies. the aim of this cross-sectional study was to assess the impact of different case definitions on the prevalence of periodontitis and to find the level of agreement among them. materials and methods. periodontal records of 300 subjects were randomly selected from the database of oral health ...

International Journal of Multidisciplinary Studies (IJMS) is published by the Faculty Graduate - University Sri Jayewardenepura. IJMS provides a supportive environment for multidisciplinary researchers to publish their contribution academy knowledge and wisdom. Focus journal on research which should cover at least two distinct disciplines.

Humans recognize themselves as a part of humanity, of the biological world and of life simultaneously. They identify themselves differently in each case. However, in the absence of an accurate definition of life, the process of the identification of humanity remains incomplete. The incompleteness of this process justifies the numerous attempts to define life. Nevertheless, none of these previou...

a new definition of boundedness of linear order-homomorphisms (loh)in $l$-topological vector spaces is proposed. the new definition iscompared with the previous one given by fang [the continuity offuzzy linear order-homomorphism, j. fuzzy math. 5 (4) (1997)829$-$838]. in addition, the relationship between boundedness andcontinuity of lohs is discussed. finally, a new uniform boundednessprincipl...