In the optimization of test sets for black-box conformance testing of objects specified and modelled as a finite state machine (FSM), a popular transformation is that under a certain precondition, a tail of a test is removed and appended to some other test. We propose a weaker precondition under which the transformation remains fault-coverage-preserving. Along with a weaker precondition, we pro...

The rotation based transformation (RBT) for privacy preserving data mining (PPDM) is vulnerable to the independent component analysis (ICA) attack. This paper introduces a modified multiple rotation based transformation (MRBT) technique for special mining applications mitigating the ICA attack while maintaining the advantages of the RBT.

We consider image registration, which is the determination of a geometrical transformation between two data sets. In this paper we propose constrained variational methods which aim for controlling the change of area or volume under registration transformation. We prove an existence result, convergence of a finite element method, and present a simple numerical example for volume-preserving regis...

This paper shows how to use the transformation of Paterson and Hewitt to improve the memory and operations used in a pointer algorithm. That transformation scheme normally is only of theoretical interest because of the inefficient performance of the transformed function. However we present a method how it can be used to decrease the amount of selective updates in memory while preserving the ori...

Given two sets of quantum states {A1, . . . , Ak} and {B1, . . . , Bk}, represented as sets as density matrices, necessary and sufficient conditions are obtained for the existence of a physical transformation T , represented as a trace-preserving completely positive map, such that T (Ai) = Bi for i = 1, . . . , k. General completely positive maps without the trace-preserving requirement, and un...

In this paper we present a termination preserving transformation from Constraint Handling Rules to Prolog. The transformation is sound w.r.t. termination under the theoretical semantics of Constraint Handling Rules. It does not consider the presence of a propagation history. The transformation allows for the direct reuse of termination proof methods from Logic Programs and Term-Rewrite Systems,...

We present a description system for transformation of structured documents based on Context Free Grammars (CFGs). The system caters to transformations between different document class descriptions, and is presented mainly in terms of logical structure transformation. Two requirements for transformation are proposed: the output document class must be explicitly representable, and inconsistency m...

The impact of smart transformation and media marketing strategy on environmental preservation is explored in this study. It highlights the importance collective efforts integration between stakeholders to achieve societal goals related decent work, economic growth, technological advancements. UAE serves as a prime example successful development advancements, with involvement leadership, ministr...