Implementing a new information technology (IT) system often requires an enterprise to adopt many changes in order to exploit the full set of capabilities generated by the new system. However, the new IT system itself can often act as a barrier to change rather than as an enabler. The challenge in making sure that the new IT system serves as an enabler, rather than a barrier, to change requires ...

We show that several terminating summation and transformation formulas for basic hypergeometric series can be proved in a straigntforward way. Along the same line, new finite forms of Jacobi’s triple product identity and Watson’s quintuple product identity are also proved.

Permanent magnet synchronous motor (PMSM), employing vector control, is used in high performance servo drive applications. It is highly non-linear plant which can be described by linear parameter varying (LPV) state-space model. In order to solve nonlinearity problem and syntesize speed controler, tensor product (TP) model transformation is proposed. Using this transformation, given linear para...

Elastic matrix distortion around a growing inclusion of a new phase is analyzed and the associated contribution to the Gibbs free energy is considered. The constant-composition transformation from the parent to product phase is considered within the frame of Landau theory of phase transitions. The volume misfit between the inclusion and matrix is assumed to originate from the transformation vol...

We examined bovine papillomavirus type 1 (BPV-1) DNAs mutated in the E2 open reading frame (ORF) to determine their ability (i) to transform C127 cells and (ii) to remain extrachromosomal in transfected cells. Results obtained with deletion mutants and insertion mutants containing a linker with translational termination codons in all possible reading frames indicated that an E2 ORF gene product...

Tensor Product (TP) model transformation method was proposed recently as an automated gateway between a class of non-linear models and linear matrix inequality based control design. The core of the TP model transformation is the higher order singular value decomposition of a large sized tensor, which requires high computational power that is usually out of a regular computer capacity in case of...

Every finished product has gone through a series of transformations. The process begins when manufacturers purchase the raw materials that will be transformed into the components of the product. The parts are then supplied to a manufacturer, who assembles them into the finished product and ships the completed item to the consumer. The transformation process includes numerous activities (Levary,...

To safely evolve a software product line, it is important to have a notion of product line refinement that assures behavior preservation of the original product line products. So in this article we present a language independent theory of product line refinement, establishing refinement properties that justify stepwise and compositional product line evolution.Moreover, we instantiate our theory...

Software product line engineering is one approach to implement sets of related programs efficiently. Software product lines (SPLs) can be implemented by code transformations which are combined in order to generate a program. A code transformation may add functionality to a base program or may alter its structure. Though implemented with less effort, generated programs are harder to debug becaus...