Sentence examples for proposed transformation from inspiring English sources

We identify two correctness criteria and argue that the proposed transformation is at least correct in the sense that transformed programs yield the same results as the original programs modulo monad constructors.

The proposed transformation is invertible, and leads to a "sparse" system representation in the transformed state space – a property crucial for the methods developed to compute reachable sets of CSTR reaction systems.

New York City's energy bazaar has opened for business, and the proposed transformation of a Truman administration relic into a 21st-century cash cow is just the beginning.

But six years after Mr. Michael, 29, of Haddam Neck began volunteering at WESU, he is worried that his days as a broadcaster are numbered because of a proposed transformation of the 65-year-old radio station.

Pearson, the FT's parent company, is firmly behind our strategy and our proposed transformation and is providing financial support for the reorganisation we are planning for the first quarter of this year.

The 770-acre Lennar development is one of several projects changing the eastern face of the city, including the new Bay Terminal and its signature tower, the development of Mission Bay and the proposed transformation of Treasure Island, another Lennar project.

Thus, correlation of morphological and transformed molecular matrices represents a natural means of quantitatively validating the proposed transformations.

The results obtained by application of the proposed transformation-rate maximum analysis to model systems are in good agreement with the values assigned to the kinetic parameters of the model systems.

For tested Steiner trees, the experimental results show that the 0 1 ILP formulation based on our proposed transformation-based timing analysis has 21.0% and 23.5% of the delay reduction of the critical path under the resource constraints for 10%and20%0% of the total wirelength of the original tree in reasonable CPU time on the average, respectively.

The proposed transformations were based on the definition of three pillars (didactic, integrative and engineering) for the development of an LF.

The application of the proposed transformations is illustrated on examples of designing floor layouts and furniture with the use of the evolutionary method.