We study the complexity of deciding whether a modular discrete event system is detectable (resp. opaque, A-diagnosable). Detectability arises in the state estimation of discrete event systems, opacity is related to the privacy and security analysis, and A-diagnosability appears in the fault diagnosis of stochastic discrete event systems. Previously, deciding weak detectability (opacity, A-diagn...

In this paper, we show that the problem of determining whether one player can force a win in a multiplayer version of the children’s card game War is pspace-hard. The same reduction shows that a related problem, asking whether a player can survive k rounds, is pspace-complete when k is polynomial in the size of the input.

We study the achromatic number of the Cartesian product of graphs G 1 and G 2 and obtain the following results: (i) maXl<t<rn min{l mn J, t(m + n-1)-t 2 + I}

One hundred patients were treated with complete dentures. The patients were divided into two equal groups; the first group (50 patients) received complete dentures and a clinical remount procedure was performed, while the second group received complete dentures without a clinical remount. A four point, nine scale Patient Denture Satisfaction questionnaire was used to evaluate the patients' sati...

this paper continues the study of the connection between hyper- groups and fuzzy sets, investigating the length of the sequence of join spaces associated with a hypergroup. the classes of complete hypergroups and of 1-hypergroups are considered and analyzed in this context. finally, we give a method to construct a nite hypergroup with the strong fuzzy grade equal to a given natural number

in this paper, the definition of meet-continuity on $l$-directedcomplete posets (for short, $l$-dcpos) is introduced. as ageneralization of meet-continuity on crisp dcpos, meet-continuity on$l$-dcpos, based on the generalized scott topology, ischaracterized. in particular, it is shown that every continuous$l$-dcpo is meet-continuous and $l$-continuous retracts ofmeet-continuous $l$-dcpos are al...

the paper deals with special types of $l$-ordered sets, $l$-fuzzy complete lattices, and fuzzy directed complete posets.first, a theorem for constructing monotone maps is proved, a characterization for monotone maps on an $l$-fuzzy complete lattice is obtained, and it&apos;s proved that if $f$ is a monotone map on an $l$-fuzzy complete lattice $(p;e)$, then the least fixpoint of $f$ is meet of ...