We consider an approach to testing that combines white-box and black-box techniques. Black-box testing is used for testing a program's e ects against its speci cation. White-box testing is essential if subtle implementation errors are to be identi ed, e.g., errors due to race conditions. Full white-box testing is a large task. However, for many properties, only a small portion of the program is...

In debates over the trade in archaeological objects or antiquities, on one end are those who believe that everyone has a shared interest in and claim to the common heritage of humanity, and thus support a vibrant and legal trade in cultural materials. On the other end are those who believe that cultural objects have special significance for specific groups and thus support the efforts of such g...

In this paper, a comparison of linear and nonlinear estimators with particular emphasis to the closed-loop properties of the resulting inferential control scheme is presented. The concept of closed-loop “consistency” is introduced as an effective criterion for choosing the auxiliary variables. An estimator is consistent if it guarantees low closedloop steady-state offset in the true unmeasured ...

Aquantitative structure-property relationship studywasperformedon the criticalmicelle concentration (cmc) of nonionic surfactants using the CODESSA program. A known correlation between the logarithm of the cmc and counts of linear alkane carbon atoms and ethoxy groups in linear alkyl ethoxylates was improved (R2 ) 0.996) by adding cross terms of these molecular descriptors. A general three-para...

We consider the convergence properties for alternating projection algorithm (a.k.a alternating projections) which has been widely utilized to solve many practical problems in machine learning, signal and image processing, communication and statistics since it is a gradient-free method (without requiring tuning the step size) and it usually converges fast for solving practical problems. Although...

Communication time prediction is critical for parallel application performance tuning, especially for the rapidly growing field of data-intensive applications. However, making such predictions accurately is non-trivial when contention exists on different components in hierarchical networks. In this paper, we derive an ‘asymmetric network property’ on TCP layer for concurrent bidirectional commu...

in this paper, asymmetric buckling analysis of functionally graded (fg) circular plates with temperature dependent property that subjected to the uniform radial compression and thermal loading is investigated. this plate is on an elastic medium that simulated by winkler and pasternak foundation. mechanical properties of the plate are assumed to vary nonlinearly by temperature change. the equili...

In recent years, supporting intellectual property right has gained more significance. Intellectual property rights could be considered as legal rights resulting from intellectual activities in industrial, scientific, literary and artistic fields. Today, many countries are seeking practical information about using intellectual property to improve economic growth. Intellectual property rights hav...

We propose a new approach to compute counterexamples for violated ω-regular properties of discrete-time Markov chains and Markov decision processes. Whereas most approaches compute a set of system paths as a counterexample, we determine a critical subsystem that already violates the given property. In earlier work we introduced methods to compute such subsystems based on a search for shortest p...