Sentence examples for used this implementation to from inspiring English sources

The implementation of our soundness-checking strategy employs the Simplify automatic theorem prover, and we have used this implementation to automatically prove the above optimizations correct.

We used this implementation to analyze the 22 final polymorphic sequences, and the resulting P-value was 0.29 after 100 random permutations, indicating that there is not significant recombination.

As part of our future work, we also intend to use this implementation to further develop the associated virtual-reality applications and related embedded robotic systems such as in [18] and [19].

We have started to use this implementation in the integrative and dynamic approach for monographing the angiosperm order Caryophyllales (6).

We are currently planning to use this implementation for the prediction of targets for differentially expressed microRNAs in children affected with Kawasaki disease and controls and have made our code and examples available so that others could use on their data as well.

Using this implementation, the computing time decrease from 12.60μ s to 11.29μ s.

Using this implementation, the misclassification rates were dramatically improved in all the cases (Table 1).

Kalarot et al. [24] compared this implementation to a GPU implementation using a CUDA on GTX 280 and showed superior performance of the FPGA implementation.

For each district where data were available, we calculated the annual percentage change in health facility use during the 1-year period prior to iCCM implementation and used this value to approximate the baseline percentage change in health facility use.

However, this test used a sequential implementation to mimic ESTCP test conditions.

The government hopes to use this delay in implementation to its advantage.