Under manufacturing process variation, the circuit delay varies with process parameters. For delay test and timing verification under process variation, it is necessary to model the variational delay as a function of process variables. However, conventional methods to generate such functions are either slow or inaccurate. In this paper, we present a number of new methods for fast parametric del...

Since the 1985 release of methyl isocyanate in Bhopal, India, which killed thousands, the chemical industry has begun to use process hazard analysis techniques more widely to protect the public from catastrophic chemical releases. These techniques can provide a systematic method for evaluating a system design to ensure that it operates as intended, help identify process areas that may result in...

Current prediction models for usability evaluations are based on stochastic distributions derived from series of Bernoulli processes. The underlying assumption of these models is a homogeneous detection probability despite of it being intuitively unrealistic. This paper contributes a simple statistical test for existence of heterogeneity in the process. The compound beta-binomial model is propo...

CARDIOVASCULAR aging is a complex phenomenon associated with a gradual, yet progressive, deterioration in cardiovascular function.1-3 The etiology of this deterioration in function is poorly understood, but atherosclerosis and, in particular, coronary artery disease seem to be a factor. Cardiovascular aging and atherosclerosis appear to be universal phenomena, but their rate of development and ...

We adopt a process-centric approach to computational creativity, based on a model of people’s innate ability to process analogical comparisons. A three-phase model of analogical reasoning is adapted to function as an analogy generating machine. It is supplied with two distinct knowledge-bases containing many domain descriptions, with the aim of generating novel analogies – potentially even crea...

Model transformations have become a key element of model-driven software development, being used to transform platform-independent models to platform-specific models, to improve model quality, to introduce design patterns and refactorings, and to map models from one language to another. A large number of model transformation notation and tools exist, however, there are no guidelines on how to s...

vii

Process model matching refers to the automatic identification of corresponding activities between two process models. It represents the basis for many advanced process model analysis techniques such as the identification of similar process parts or process model search. A central problem is how to evaluate the performance of process model matching techniques. Often, not even humans can agree on...