Sentence examples for correspondence result from inspiring English sources

As an example, we give an encoding of the synchronous π-calculus into pure ambients and we state an operational correspondence result.

Based on the new correspondence result, we can construct new dynamic reference by linear combination, which will get more accurate aligning result.

The above correspondence result immediately shows that GL is modally sound with respect to the class of possible worlds models on transitive conversely well-founded frames, because all axioms and rules of GL are valid on such models.

Their subsequent correspondence resulted in a treatment for a game currently in production (scheduled for release early next year) and inspired this novel.

By incorporating these two key features, we were able to to deal with highly curved surfaces, improve upon computational space requirements and enhance the correspondence results.

This passage, of course, does not make immediately clear how this correspondence results in the perception of color and shape.

On the other hand, the overlap constraint makes it difficult to determine correspondence, resulting in a lack of flexibility.

Since true correspondences result in good registration and vice versa, the verification of feature correspondences can be carried out through evaluating their registration results.

But because Pite more or less confines his research to Hardy's two-volume biography and his published correspondence, the result is a rather airless psychological study, undertaken without corroborating evidence.

The analytical expressions of the continuous atomic displacements, lattice distortion and lattice correspondence matrices result directly from the orientation relationships; the unique assumption is that the atoms are hard-spheres that can't interpenetrate each other.

The authors wish to thank Prof. Ismail Warad and Prof. Idris Badja for help with correspondence and result transfer from KSU. Help from ANU technician staff, and financial support from Al-Maqdisi Project and from Union of Arab Universities are acknowledged.