Sentence examples for allowing the verification of from inspiring English sources

Some numerical examples from literature are presented in order to show the differences in the final optimal topology when linear and non-linear analyses are used, allowing the verification of the importance of correctly analyzing the final optimum topology and as such, demonstrate the advantages of SESO as a structural optimization method.

The technique could allow the verification of all these repeated zones in a particular way".

This allows the verification of GALS systems based on the Promela model.

The selected videos present different content (news and cartoon) to allow the verification of the effectiveness of AL-FEC techniques depending on the video semantic.

In addition, the figures 6C and 6F allowed the verification of the random distribution of residues around zero, which is a requirement to obtain adequate models.

It simulates abnormal situations within the real service and allows the verification of the robustness of Web services compositions against various errors and/or exceptional cases.

Finally, the paper describes a simulation system that allows the verification of the disassembly movements automatically obtained, and simultaneously, to determine the ease of non-destructive disassembly.

We consider Resource Agent Logic (RAL), which extends ATL to allow the verification of properties of systems where agents act under resource constraints.

Another approach, namely "Homealone" [28] allows the verification of the physical isolation of a Virtual Machine through the same tool that can launch "co-residency" attacks, performed through side channels that usually offer vulnerabilities.

In addition, the particular location of the break in test 6-1 allows the verification of the chocked flow model in the same way as for a separate-effect test.

The direct observation of the microstructures at the solid/liquid interface allows the verification of the validity of two different descriptions of the Bi–In Sn phase diagram proposed earlier, namely a description with eutectic and a second with peritectic reactions involving BiIn2, γ-Sn, β-In and liquid.