elementary condition
Recently Published Documents


TOTAL DOCUMENTS

7
(FIVE YEARS 1)

H-INDEX

3
(FIVE YEARS 0)

Author(s):  
Z.R. Sokhibova ◽  
◽  
М.R. Turdiyev ◽  

Using unified and developed methods, some hematological, biochemical, and micro-and macronutrient status indicators were studied in women of fertile age with a normal health index and iron deficiency. It is shown that there are certain pathological fluctuations in some hematological, biochemical and essential hematopoietic microelements in women of fertile age with the development of iron deficiency. In particular, there is a hypoproteinemia, hypoferremia, hypozincemia, hypocupremia and hypertransaminasemia.


2018 ◽  
Vol 27 (4) ◽  
pp. 593-607 ◽  
Author(s):  
S.V. Aruna Kumar ◽  
B.S. Harish

Abstract This paper presents a modified intuitionistic fuzzy clustering (IFCM) algorithm for medical image segmentation. IFCM is a variant of the conventional fuzzy C-means (FCM) based on intuitionistic fuzzy set (IFS) theory. Unlike FCM, IFCM considers both membership and nonmembership values. The existing IFCM method uses Sugeno’s and Yager’s IFS generators to compute nonmembership value. But for certain parameters, IFS constructed using above complement generators does not satisfy the elementary condition of intuitionism. To overcome this problem, this paper adopts a new IFS generator. Further, Hausdorff distance is used as distance metric to calculate the distance between cluster center and pixel. Extensive experimentations are carried out on standard datasets like brain, lungs, liver and breast images. This paper compares the proposed method with other IFS based methods. The proposed algorithm satisfies the elementary condition of intuitionism. Further, this algorithm outperforms other methods with the use of various cluster validity functions.


2009 ◽  
pp. 9-26
Author(s):  
Andreas Anter

-The question of the capacity and quality of the State marks a constant challenge to modern political science up to now. The article points out that the modern State should be comprehended in its quality as an idea and as an instrument of order. From its early beginning, the modern State has been closely bound up to this aspect, since it is a product of the desire of order in the time of denominational civil war. Thus in the modern age, the guarantee of order remains a central basis to the State's legitimacy. In the last decades, the State has often been said to be a weak patient or even to be dead. The article argues that this opinion is untenable, and that statehood still remains an elementary condition of democratic political order.


2009 ◽  
Vol 55 (3) ◽  
pp. 1080-1085 ◽  
Author(s):  
Xiaoyong Guo ◽  
Xiang-Gen Xia
Keyword(s):  

1985 ◽  
Vol 50 (3) ◽  
pp. 619-651 ◽  
Author(s):  
Kit Fine

This paper establishes another very general completeness result for the logics within the field of K4. With each finite transitive frame ℭ we may associate a formula — Bℭ which validates just those frames ℑ in which ℭ is not in a certain sense embeddable (to be exact, ℭ is not the p-morphic image of any subframe of ℑ. By a subframe logic we mean the result of adding such formulas as axioms to K4. The general result is that each subframe logic has the finite model property.There are a continuum of subframe logics and they include many of the standard ones, such as T, S4, S4.3, S5 and G. It turns out that the subframe logics are exactly those complete for a condition that is closed under subframes (any subframe of a frame satisfying the condition also satisfies the condition). As a consequence, every logic complete for a condition closed under subframes has the finite model property.It is ascertained which of the subframe logics are compact. It turns out that the compact logics are just those whose axioms express an elementary condition. Tests are given for determining whether a given axiom expresses an elementary condition and for determining what it is in case it does.In one respect the present general completeness result differs from most of the others in the literature. The others have usually either been what one might call logic based or formula based. They have usually either been to the effect that all of the logics containing a given logic are complete or to the effect that all logics whose axioms come from a given syntactically characterized class of formulas are complete. The present result is, by contrast, what one might call frame based. The axioms of the logics to be proved complete are characterized most directly in terms of their connection with certain frames.


1973 ◽  
Vol 38 (2) ◽  
pp. 177-188
Author(s):  
Lars Svenonius

By an elementary condition in the variablesx1, …, xn, we mean a conjunction of the form x1 ≤ i < j ≤ naij where each aij is one of the formulas xi = xj or xi ≠ xj. (We should add that the formula x1 = x1 should be regarded as an elementary condition in the one variable x1.)Clearly, according to this definition, some elementary conditions are inconsistent, some are consistent. For instance (in the variables x1, x2, x3) the conjunction x1 = x2 & x1 = x3 & x2 ≠ x3 is inconsistent.By an elementary combinatorial function (ex. function) we mean any function which can be given a definition of the formwhere E1(x1, …, xn), …, Ek(x1, …, xn) is an enumeration of all consistent elementary conditions in x1, …, xn, and all the numbers d1, …, dk are among 1, …, n.Examples. (1) The identity function is the only 1-ary e.c. function.(2) A useful 3-ary e.c. function will be called J. The definition is


Sign in / Sign up

Export Citation Format

Share Document