beams are generated by two ECR sources, which are both able to produce both particle species. The beam energy in the Low Energy Beam Transfer (LEBT) line is 8 keV/u. A compact and versatile tank has been designed that contains a complete set of diagnostic tools. It is only 390mm long; it houses two

delivers significantly better instrumentation performance than similar tools. For example, Pin is 3.3x faster than Valgrind and 2x faster than DynamoRIO for basic-block counting. To illustrate Pin’s versatility, we describe two Pintools in daily use to analyze production software. Pin is publicly available

Summary: The Biological Networks Gene Ontology tool (BiNGO) is an open-source Java tool to determine which Gene Ontology (GO) terms are significantly overrepresented in a set of genes. BiNGO can be used either on a list of genes, pasted as text, or interactively on subgraphs of biological networks

Cluster analysis is a primary method for database mining. It is either used as a stand-alone tool to get insight into the distribution of a data set, e.g. to focus further analysis and data processing, or as a preprocessing step for other algorithms operating on the detected clusters. Almost all

of relationships consumers form with brands; and (3) inducts from the data the concept of brand relationship quality, a diagnostic tool for conceptualizing and evaluating relation-ship strength. Three in-depth case studies inform this agenda, their interpretation guided by an integrative review of the literature

for the future but currently has yielded relatively little that is of practical use in applied work. Consequently, most MCMC users address the convergence problem by applying diagnostic tools to the output produced by running their samplers. After giving a brief overview of the area, we provide an expository

We describe the capabilities of and algorithms used in a new FPGA CAD tool, Versatile Place and Route (VPR). In terms of minimizing routing area, VPR outperforms all published FPGA place and route tools to which we can compare. Although the algorithms used are based on previously known

post mean-variance efficient frontier. Several intuitive interpretations of the test are provided, including a simple mean-stan-dard deviation geometric explanation. A univariate test, equivalent to our multivariate-based method, is derived, and it suggests some useful diagnostic tools which may

diagnostic information in case verification of a particular real-time systems fails. The current version of Uppaal is available on the World Wide Web via the Uppaal home page http://www.docs.uu.se/docs/rtmv/uppaal. 1 Introduction Uppaal is a new tool suite for automatic verification of safety and bounded

application ontologies, sometimes by people who do not have much training in knowledge representation. This process has generated needs for tools that support broad ranges of users in (1) merging of ontological terms from varied sources, (2) diagnosis of coverage and correctness of ontologies, and (3