15] A. Cumani. ESP-A package for the evaluation of stochastic Petri nets with phase-type distributed transitions times. modeling of an automated manufacturing system with deterministic and stochastic Petri nets. net analysis of a replicated le system.mated generation and analysis of Markov reward models using Stochastic Reward Nets. 16 of (000111; 1), which is set to seven. Then, we can solve t...

cost of the overhead is O(lglg n). Hence the implementation cost is O(lg(jA(v)j), which is proportional to the number of comparisons needed by the Koml os algorithm to nd the heaviest edges in 2m half-paths of the tree in the worst case. Summed over all nodes, this comes to O(n log(m+n n)) as Koml os has shown. The only additional costs are in forming the LCA 0 s which take O(m+n) and in proces...

The Lane Change Task (LCT) is an established method to assess driver distraction caused by secondary tasks. In the LCT ISO standard, "course following and maneuvering" and "event detection" are mentioned as central task properties. Especially event detection seems to be a reasonable feature, as research suggests that distraction has profound effects on drivers' reactions to sudden, unexpected e...

australian rainfall is related with numerous key climate predictors namely el-nino southern oscillation (enso), indian ocean dipole (iod) and southern annular mode (sam). some studies have tried to discover the effects of these climate predictors on rainfall variability of different parts of australia, particularly western australia, queensland and victoria. nonetheless, clear association betwe...

A cardinality version of Beigel's nonspeedup theorem. We have shown that the notion of enumeration complexity allows to characterize the query complexity, even in the fault tolerant case. Then we went on to determine for any nite function f : f0; 1g n ! S the extremal values of e(f; A) which can be obtained for some nonrecursive set A. It is open to determine the possible intermediate values. M...

The presented computational model was fully implemented and tested. For validation purposes diierent visualization methods (cf. (Gapp 94)) are used to get an idea of the spatial relations' region of applicability (Figure 4 and 6). The system proceeds from a geometrical scene description and answers questions in natural language about the constellation of the objects involved in a cognitively pl...

21 Like all other papers that have addressed this problem, the mappings generated by this strategy use a heuristic. Experimental evidence has been presented to justify the use of this heuristic, however, one aspect we want to examine further is a bound on the ratio of our mapping algorithm versus the optimal. This examination is useful both for quantifying the worst-case and expected results of...

Even if an original time series exhibits nonlinearity, it is not always effective to approximate the time series by a nonlinear model because such nonlinear models have high complexity from the viewpoint of information criteria. Therefore, we propose two measures to evaluate both the nonlinearity of a time series and validity of nonlinear modeling applied to it by nonlinear predictability and i...