On the efficiency of bootstrap method into the analysis contingency table

The bootstrap method is a computer intensive statistical method that is widely used in performing nonparametric inference. Categorical data analysis, in particular the analysis of contingency tables, is commonly used in applied field. This work considers nonparametric bootstrap tests for the analysis of contingency tables. There are only a few research papers which exploit this field. The p-values of tests in contingency tables are discrete and should be uniformly distributed under the null hypothesis. The results of this article show that corresponding bootstrap versions work better than the standard tests. Properties of the proposed tests are illustrated and discussed using Monte Carlo simulations. This article concludes with an analytical example that examines the performance of the proposed tests and the confidence interval of the association coefficient.     

Combining Local and Global Model Checking

The verification process of reactive systems in local model checking [1,7] and in explicit state model checking is[13,15] on-the-fly. Therefore only those states of a system have to be traversed that are necessary to prove a property. In addition, if the property does not hold, than often only a small subset of the state space has to be traversed to produce a counterexample. Global model checking [6,23] and, in particular, symbolic model checking [4,22] can utilize compact representations of the state space, e.g. BDDs [3], to handle much larger designs than what is possible with local and explicit model checking. We present a new model checking algorithm for LTL that combines both approaches. In essence, it is a generalization of the tableau construction of [1] that enables the use of BDDs but still is on-the-fly.     

The impact of cultural differences in offshore outsourcing—Case study results from German–Indian application development projects

Offshore outsourcing to vendors in foreign countries causes unique challenges which need to be understood and managed effectively. This paper explores cultural differences in IS offshoring arrangements involving German client organizations that outsource application development activities to Indian vendors. For this purpose, a research framework is developed based on both theoretical considerations and specific empirical observations from multiple case studies. The goal is to (1) explore the nature of cultural differences in offshore outsourcing arrangements in depth and to (2) analyze the relationship between those cultural differences and offshore outsourcing success. Based on the case findings, implications and practices for the management of offshore development projects are outlined. The results indicate that cultural differences in terms of power distance, IS designer values, and an active versus passive working attitude critically affect several dimensions of relationship quality, thereby influencing offshore outsourcing success. A clear definition of roles and mechanisms, strong leadership, and an active management of culture by adapting to either the client’s or the vendor’s national culture appeared to be effective ways to manage cultural differences.

Bounded Model Checking Using Satisfiability Solving

The phrase model checking refers to algorithms for exploring the state space of a transition system to determine if it obeys a specification of its intended behavior. These algorithms can perform exhaustive verification in a highly automatic manner, and, thus, have attracted much interest in industry. Model checking programs are now being commercially marketed. However, model checking has been held back by the state explosion problem, which is the problem that the number of states in a system grows exponentially in the number of system components. Much research has been devoted to ameliorating this problem.In this tutorial, we first give a brief overview of the history of model checking to date, and then focus on recent techniques that combine model checking with satisfiability solving. These techniques, known as bounded model checking, do a very fast exploration of the state space, and for some types of problems seem to offer large performance improvements over previous approaches. We review experiments with bounded model checking on both public domain and industrial designs, and propose a methodology for applying the technique in industry for invariance checking. We then summarize the pros and cons of this new technology and discuss future research efforts to extend its capabilities.     

Nonsmooth nonnegative matrix factorization (nsNMF)

We propose a novel nonnegative matrix factorization model that aims at finding localized, part-based, representations of nonnegative multivariate data items. Unlike the classical nonnegative matrix factorization (NMF) technique, this new model, denoted "nonsmooth nonnegative matrix factorization" (nsNMF), corresponds to the optimization of an unambiguous cost function designed to explicitly represent sparseness, in the form of nonsmoothness, which is controlled by a single parameter. In general, this method produces a set of basis and encoding vectors that are not only capable of representing the original data, but they also extract highly focalized patterns, which generally lend themselves to improved interpretability. The properties of this new method are illustrated with several data sets. Comparisons to previously published methods show that the new nsNMF method has some advantages in keeping faithfulness to the data in the achieving a high degree of sparseness for both the estimated basis and the encoding vectors and in better interpretability of the factors.     

A theory of mode of action of azolylalkylquinolines as DNA binding agents using automated flexible ligand docking

Azolylalkylquinolines (AAQs) are a family of quinolines with varying degrees of cytotoxic activity (comparable or moderately superior to adriamycin in some cases) developed in the past decade in our group where their exact mode of action is still unclear. In this study the most probable DNA binding mode of AAQs was investigated employing a novel flexible ligand docking approach by using AutoDock 3.0. Forty-nine AAQs with known experimental inhibitory activity were docked onto d(CGCAAATTTGCG)(2), d(CGATCG)(2) and d(CGCG)(2) oligonucleotides retrieved from the Protein Data Bank (PDB IDs: 102D, 1D12 and 1D32, respectively) as the representatives of the three plausible models of interactions between chemotherapeutic agents and DNA (groove binding, groove binding plus intercalation and bisintercalation, respectively). Good correlation (r(2)=0.64) between calculated binding energies and experimental inhibitory activities was obtained using groove binding plus intercalation model for phenyl-azolylalkylquinoline (PAAQ) series. Our findings show that the most probable mode of action of PAAQs as DNA binding agents is via intercalation of quinolinic moiety between CG base pairs with linker chain and azole moiety binding to the minor groove.     

Illustrative context-preserving exploration of volume data

In volume rendering, it is very difficult to simultaneously visualize interior and exterior structures while preserving clear shape cues. Highly transparent transfer functions produce cluttered images with many overlapping structures, while clipping techniques completely remove possibly important context information. In this paper, we present a new model for volume rendering, inspired by techniques from illustration. It provides a means of interactively inspecting the interior of a volumetric data set in a feature-driven way which retains context information. The context-preserving volume rendering model uses a function of shading intensity, gradient magnitude, distance to the eye point, and previously accumulated opacity to selectively reduce the opacity in less important data regions. It is controlled by two user-specified parameters. This new method represents an alternative to conventional clipping techniques, sharing their easy and intuitive user control, but does not suffer from the drawback of missing context information     

Stochastic Models for Pad Structure and Pad Conditioning Used in Chemical-Mechanical Polishing

Stochastic models are presented for the structure and conditioning of pads used in chemical-mechanical polishing of wafers. First the one-dimensional distribution function of surface depth in the case of a conditioned solid pad is described. Then, for characterizing the structure of a foamed pad, the theory of random closed sets is applied. An important distributional characteristic of a random closed set, the linear contact distribution function, yields the contribution to surface depth resulting from pores. As a special example the Boolean model is considered. This leads to a formula that describes the variability of the surface of a conditioned foamed pad after a certain time. Simulations and experimental data show a good agreement between theory and reality.     

Influence of particle elasticity in shear testers

Two dimensional simulations of non-cohesive granular matter in a biaxial shear tester are discussed. The effect of particle elasticity on the mechanical behavior is investigated using two complementary distinct element methods (DEM): Soft particle molecular dynamics simulations (Particle Flow Code, PFC) for elastic particles and contact dynamics simulations (CD) for the limit of perfectly rigid particles. As soon as the system dilates to form shear bands, it relaxes the elastic strains so that one finds the same stresses for rigid respectively elastic particles in steady state flow. The principal stresses in steady state flow are determined. They are proportional to each other, giving rise to an effective macroscopic friction coefficient which is about 10% smaller than the microscopic friction coefficient between the grains.