In automata theory, Büchi’s and Elgot’s fundamental theorems [6, 7, 25] established the coincidence of regular and ω-regular languages with languages definable in monadic second-order logic. At the same time, Schützenberger [57] investigated finite automata with weights and characterized their behaviours as rational formal power series. Both of these results have inspired a wealth of extensions...

PURPOSE To present the k-means clustering algorithm as a tool to address treatment planning considerations characteristic of stereotactic radiosurgery using a single isocenter for multiple targets. METHODS For 30 patients treated with stereotactic radiosurgery for multiple brain metastases, the geometric centroids and radii of each met were determined from the treatment planning system. In-ho...

In this paper1, we introduce a fuzzy automaton for computing the similarity between pairs of strings and a genetic method for adjusting its parameters. The fuzzy automaton models the edit operations needed to transform any string into another one. The selection of appropriate fuzzy operations and fuzzy membership values for the transitions leads to improve the system performance for a particula...

Based on the definitions and properties of fuzzy metric for random sets. We considered limit theory weighted sums sets in sense metric. The are independent compactly uniformly integrable, weights more general constants. convergence is induced by Hausdorff

The methods of assessing the individuals’ performance usually applied in practice are based on principles of the bivalent logic (yes-no). However, fuzzy logic, due to its nature of including multiple values, offers a wider and richer field of resources for this purpose. In this paper we use principles of fuzzy logic in developing a new method for assessing the performance of groups of individua...

Weighted constraints have been proven a useful means to enhance the quality of error diagnosis, e.g., in the domain of natural language parsing. In this paper, we propose an heuristic approach using constraint weights to analyze learning curves for weighted constraint-based tutoring systems as an addition (or alternative) to the commonly used analysis of pre-/post-test comparisons. Using a tuto...