This paper describes the algorithms, heuristics and strategies used by the two solvers which have been elaborated from the Abscon platform and submitted to the first CSP solver competition. Both solvers maintain arc consistency during search, explore the search space using a conflict-directed variable ordering heuristic and integrate a restart strategy. At preprocessing, the first solver establ...

The Ensembl (http://www.ensembl.org/) project provides a comprehensive and integrated source of annotation of large genome sequences. Over the last year the number of genomes available from the Ensembl site has increased by 7 to 16, with the addition of the six vertebrate genomes of chimpanzee, dog, cow, chicken, tetraodon and frog and the insect genome of honeybee. The majority have been annot...

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...