@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@? @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@? @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@...

In the design and evaluation of speech input/output dialogues for control of PBX features, various issues were encountered which could not be resolved by reference to the available literature. This paper outlines solutions to some generic issues in speech dialogue design in the form of Generic Dialogue Modules. These are descriptions of procedures which may be implemented in a wide range of spe...

We present results concerning the parameter estimates obtained by prediction error methods in the case of input signals that are insuuciently rich when considered locally in time. As is intuitively obvious, the data located in time intervals where the system excitation is poor carry only an incomplete information about the system input-to-output (I/O) dynamics. In noise undermodeling situations...

Neural network is one of the new soft computing methods commonly used for prediction of the thermodynamic properties of pure fluids and mixtures. In this study, we have used this soft computing method to predict the coefficients of the Antoine vapor pressure equation. Three transfer functions of tan-sigmoid (tansig), log-sigmoid (logsig), and linear were used to evaluate the performance of diff...

We present a parametric groundness analysis whose input and output are parameterized by a set of groundness parameters. The result of the analysis can be instantiated for different uses of the program. It can also be used to derive sufficient conditions for safely removing groundness checks for built-in calls in the program. The parametric groundness analysis is obtained by generalizing a non-p...

In this study, we present a new framework of runtime enforcement of security policies. Building on previous studies, we examine the enforcement power of monitors capable of transforming their target’s execution. We bound this ability by a restriction stating that any transformation must preserve equivalence between the monitor’s input and output. We proceed by giving examples of meaningful equi...

Article history: Received 11 March 2008 Received in revised form 10 November 2008 Accepted 30 January 2010 Available online xxxx

Different industrial decision makers and managers in our country, try to select and organize locations for aggregating industrial units, estates and areas with respect to land use planning visions and industrial development strategies. In this regard, considering large quantity of the input data and diverse criteria affecting this application, it is complicated and difficult to optimally make d...

In this study, the Input- Output Structural Decomposition Analysis (I-O SDA) is used to investigate the effects of technological structure changes on changes of total output in Sistan and Baluchestan Province during 2006-2011. The technological structure change is decomposed into two factors: intermediate input structure changes (input substitution) and change in direct backward linkage. The re...