Many phenomena in the real world are inherently complex and involve many dynamical variables interacting nonlinearly through feedback loops and exhibiting chaos, self-organization, and pattern formation. It is useful to ask if there are generic features of such systems, and if so, how simple can such systems be and still display these features. This paper describes several such systems that are...

The mechanical properties including elastic stiffness constants as well as bulk modulus of Palladium (Pd) nanowire were calculated in the constant temperature and pressure (NPT), ensemble by molecular dynamics (MD) simulation technique. The quantum Sutton-Chen (Q-SC) many-body potential was used to calculate the cohesive energy as well as forces experience by every atoms. The temperature and pr...

Dataflow has proven to be an attractive computation model for programming DSP applications. A restricted version of dataflow, termed synchronous dataflow (SDF), that offers strong compiletime predictability properties, but has limited expressive power, has been studied extensively in the DSP context [3]. Many extensions to synchronous dataflow have been proposed to increase its expressivity, wh...

One important and valuable topic in rough sets is attribute reduction of a decision system. The existing attribute reductions are designed to just keep confidence of every certain rule as they cannot identify key conditional attributes explicitly for special decision rules. In this paper, we develop the concept of θ-local reduction in order to offer a minimal description for special θpossible d...

We revisit the parameterized model checking problem for token-passing systems and specifications in indexed CTL∗\X. Emerson and Namjoshi (1995, 2003) have shown that parameterized model checking of indexed CTL∗\X in uni-directional token rings can be reduced to checking rings up to some cutoff size. Clarke et al. (2004) have shown a similar result for general topologies and indexed LTL\X, provi...

Input-to-state stability (ISS) of a parameterized family of discrete-time time-varying nonlinear systems is investigated. A converse Lyapunov theorem for such systems is developed. We consider parameterized families of discrete-time systems and concentrate on a semiglobal practical type of stability that naturally arises when an approximate discrete-time model is used to design a controller for...

Tiling is a loop transformation that decomposes computations into a set of smaller computation blocks. The transformation has proved to be useful for many high-level program optimizations, such as data locality optimization and exploiting coarse-grained parallelism, and crucial for architecture with limited resources, such as embedded systems, GPUs, and the Cell. Data locality and parallelism w...

As an aid in software maintenance, it would be useful to be able to track down duplication in large software systems efficiently. Duplication in code is often in the form of sections of code that are the same except for a systematic change of parameters such as identifiers and constants. To model such parameterized duplication in code, this paper introduces the notions of parameterized strings ...