Communication protocols often rely on stateful mechanisms to ensure certain security properties. For example, counters and timestamps can be used to ensure authentication, or the security of communication can depend on whether a particular key is registered to a server or it has been revoked. ProVerif, like other state of the art tools for protocol analysis, achieves good performance by convert...

The contact behaviour between the grinding wheel and workpiece in abrasive machining processes has been investigated. This has revealed the ambiguity in deciding the size of the contact region from a measured contact signal. For improved representation of the contact conditions, fuzzy set theory was used. A membership function for the fuzzy representation of the extent of wheelworkpiece contact...

Fuzzy AHP is a hybrid method that combines Fuzzy Set Theory and AHP. It has been developed to take into account uncertainty and imprecision in the evaluations. Fuzzy Set Theory requires the definition of a membership function. At present, there are no indications of how these membership functions can be constructed. In this paper, a way to calibrate the membership functions with comparisons giv...

Given a graph $$G=(V,E)$$ and an integer k, the Minimum Membership Dominating Set (MMDS) problem seeks to find dominating set $$S \subseteq V$$ of G such that for each $$v \in , $$\vert N[v] \cap S\vert $$ is at most k. We investigate parameterized complexity obtain following results MMDS problem. First, we show NP-hard even on planar bipartite graphs. Next, W[1]-hard parameter pathwidth (and t...

In this paper we continue to investigate the important parameter of global warming a heat wave that has no unique definition and represents the constellation of different factors such as e.g., heat index (temperature + humidity), time periods of excessive heat, etc. We find typical characteristics of heat indexes during different time periods, using most typical fuzzy expected values. Trapezoid...

In this paper, the texture feature ”coarseness” is modelled by means of a fuzzy partition on the domain of coarseness measures. The number of linguistic labels to be used, and the parameters of the membership functions associated to each fuzzy set are calculated relating representative coarseness measures (our reference set) with the human perception of this texture property. A wide variety of ...

The current research is devoted to developing methods of a novel mathematical interpretation of term-sets of linguistic variables. To the term-sets of the linguistic variables fuzzy sets are assigned. We intend to adopt the sfunctions and the π-functions to derive formulas of membership functions of these sets. The fuzzy sets are divided in three families in the case of an odd number of the ter...