Building on the theory of interface automata by de Alfaro and Henzinger we design an interface language for Lynch’s I/O automata, a popular formalism used in the development of distributed asynchronous systems, not addressed by previous interface research. We introduce an explicit separation of assumptions from guarantees not yet seen in other behavioral interface theories. Moreover we derive t...

We introduce a recurrent architecture having a modular structure and we formulate a training procedure based on the EM algorithm. The resulting model has similarities to hidden Markov models, but supports recurrent networks processing style and allows to exploit the supervised learning paradigm while using maximum likelihood estimation.

The relation between minimum sum-of-products expressions for multiple-valued input, binary-valued output functions and minimum sum-of-products expressions in Post algebra for multiple-valued input, multiple-valued output functions is made precise. We give an algorithm for minimizing Post expressions and discuss a method for their factorization. Experiments are given to demonstrate the effective...

Daeman and Rijmen had derived the distributions of correlations between linear combinations of the input and output of uniform random functions and uniform random permutations. We generalise their results by deriving the distributions of correlations between arbitrary combinations of the input and the output of uniform random functions and uniform random permutations.

resource allocation and optimal leveling are among the top challenges in project management. this paper presents a dea-based procedure for determining an optimal level of inputs to produce a fixed level of outputs. to achieve this goal, we assume that the levels of outputs can be forecasted in the next season and the procedure will determine optimal level of inputs for all dmus. such as some of...

The usefulness of fuzzy input fuzzy output functions and their interpolation/approximation by different operators in fuzzy control motivate their deeper theoretical study. We obtain some properties of fuzzy B-spline series such as variation and uncertainty diminishing property. We also propose spline approximation of fuzzy input fuzzy output functions. Key–Words: Fuzzy numbers, Fuzzy splines, A...

one of the major problems in data envelopment analysis (dea) is to determine the projection of inefficient decision making units (dmus) into the efficient frontier. in conventional dea models, inputs and outputs of inefficient dmus alter arbitrarily for reaching to the efficient frontier. nevertheless, sometimes the ability of dmus is defined and restricted. moreover, there are situations in th...

introduction: database evaluation indicators include management, content, technical, and search indicators. a database must have a high level of information retrieval. as search features is one of the most important factors in database evaluation, this research tried to evaluate search input and output in online databases of isfahan university of medical sciences (iums) central library website ...