The uniform design is one of space filling designs and has been widely used in computer and industrial experiments. Many methods for construction of uniform designs or nearly uniform designs, such as the glp method, optimization method etc. have been proposed. A nearly uniform design is a design with low-discrepancy, where the discrepancy is a measure of uniformity. Various discrepancies have b...

Restricting the randomization of hard-to-change factors in industrial experiments is often performed by employing a split-plot design structure. From an economic perspective, these designs minimize the experimental cost by reducing the number of resets of the hard-tochange factors. In this paper, unbalanced designs are considered for cases where the subplots are relatively expensive and the exp...

Owing to their superior catalytic activity in the extreme conditions, extremozymes have found the potential biotechnological applications for industrial purposes. A robust extracellular protease activity was detected in the culture broth of Salicola marasensis, an extreme halophilic bacterium, after a 48 h-incubation. The effect of different media ingredients in a liquid state fermentation was ...

ion and BDDs Complement SAT-based BMC in DiVer Aarti Gupta1, Malay Ganai, Chao Wang2, Zijiang Yang1, Pranav Ashar 1 NEC Laboratories America, Princeton, NJ, U.S.A. 2 University of Colorado, Boulder, CO, U.S.A. Abstract. Bounded Model Checking (BMC) based on Boolean Satisfiability (SAT) procedures has recently gained popularity for finding bugs in large designs. However, due to its incompletenes...

This paper reports experiences and results gained during the evaluation of the visual formalism STD as speciication method for formal veriication, performed in cooperation with industrial partners. The visual formalism STD (Symbolic Timing Diagrams) was developed continuously since 1993 by OFFIS as a speciication method, which satisses several needs: (1) It is based on the principles used in th...

We present a novel derivative-based parameter identification method to improve the precision at the tool center point of an industrial manipulator. The tool center point is directly considered in the optimization as part of the problem formulation as a key performance indicator. Additionally, our proposed method takes collision avoidance as special nonlinear constraints into account and is ther...

D-optimality is one of the most commonly used design criteria for linear regression models. In industrial experiments binary or count data often arise, for example defective/nondefective or number of defects. For such data Generalized Linear Models (GLMs) are appropriate. An analogous D-optimality design criterion can be developed using the asymptotic covariance matrix. For GLMs, this matrix is...

We describe a method to permit the user of a mathematical logic to write elegant logical definitions while allowing sound and efficient execution. We focus on the ACL2 logic and automated reasoning environment. ACL2 is used by industrial researchers to describe microprocessor designs and other complicated digital systems. Properties of the designs can be formally established with the theorem pr...

A key challenge of post-silicon validation methodology is to select a limited number of trace signals that are effective during post-silicon debug. Structural analysis used by traditional signal selection techniques are fast but lead to poor restoration quality. In contrast, simulation-based selection techniques provide superior restorability but incur significant computation overhead. While ea...

A key challenge of post-silicon validation methodology is to select a limited number of trace signals that are effective during post-silicon debug. Structural analysis used by traditional signal selection techniques are fast but lead to poor restoration quality. In contrast, simulation-based selection techniques provide superior restorability but incur significant computation overhead. While ea...