One of the main features of Event driven Process Chains (EPCs) is the non-local semantics of the OR-join and the XOR-join connectors. Simulating this non-local semantics faithfully and efficiently is still a challenging problem. A year ago, we have shown that the semantics of moderately sized EPCs can be calculated in reasonable time by using techniques from symbolic model checking. For larger ...

3 ©2005 Corbett Research Pty Ltd and Michael W. Pfaffl 1 Abstract REST 2005 is a new standalone software tool to estimate up and down-regulation for gene expression studies. The software addresses issues surrounding the measurement of uncertainty for expression ratios, by using randomisation and bootstrapping techniques. By increasing the number of iterations from 2,000 to 50,000 in this versio...

The control delay in distributed control systems may be compensated on-line or off-line depending on the required quality of the output, available computational power of the controller node, time stamping and clock synchronizing facilities etc. Irrespective of the compensation technique, there is an upper bound to the constant or variable control delay, which is decided by the plant, controller...

Some 10 years ago, Canadian health care organizations came under extreme pressure to cut costs as a result of a $4 billion cut in federal transfer payments to the provinces (Merrifield, 2003). This led to facility closures, cutting of beds on hospital wards, and moves to outpatient and community-based care. Health care employees felt the impact as well, with health professionals reporting loss ...

Female expatriates have been found to have better work adjustment and interaction adjustment than male expatriates, despite the additional challenges faced by women on foreign assignments. This paper considers three possible explanations for this finding: higher self-transcendence, experience in domestic contexts; and female work styles. Research propositions are proposed for future empirical t...

Flow tracking is an integral aspect of many network-related applications, including intrusion detection, network administration, per-flow billing, and network engineering. While some applications do not require precise tracking of every packet or flow and successfully employ statistical sampling or approximations to achieve an acceptable level of accuracy, many others, especially in the securit...

The paper presents a global Finite Element Method model developed to understand and quantify the complex phenomena of energetic transfer and overpressure taking place within a transformer vessel during and after a short-circuit. The goal of the model is to design an efficient system able to protect Power Transformers against explosion and resulting oil fire. The model presentation and compariso...