Sentence examples for the previous verification from inspiring English sources

Furthermore, to reduce model checking costs after product line evolution, we restrict the number of products that should be re-verified by reusing the previous verification result.

Findings demonstrated that subjects performing the task responded faster and more accurately when the previous verification was in the same modality (e.g., LEAVES rustling) rather than in a different modality (e.g., CRANBERRIES tart) (Pecher et alia 2003).

Moving forward from these previous verifications, in our research HNPE characteristics and localization have been defined through the following evidence.

Previous verification of the technique has yielded promising results but a key element that needs to be addressed is the description of the spring behaviour in the FEA environment so that it could reflect the real-world behaviour of fixture workpiece contacts.

At this same coverage only 9/31 of variants that failed previous verification by capillary sequencing showed the SNV, and of these, 7 showed the reference base.

Then, we propose and apply both asynchronous and synchronous model checking methods, which extend our previous verification technique, to automatically and formally analyze the ER-Golgi-regulated signaling pathways in the cell cycle progression through verifying some computation tree temporal logic formulas.

In previous verifications of offset placement with FEA models [15 18], the maximum stress that occurs in the peri-implant bone has been measured and compared with the observed stress distribution with straight placement.

Compared with the previous encryption and verification technique, these predesigned wavelengths can be used as additional verification keys, which should significantly enhance the security of system.

Most important, it replaces the previous treaty's lapsed verification regime with a state-of-the-art system that builds on 20 years of verification experience and puts U.S. inspectors back on the ground to monitor Russia's nuclear weapons".

In the previous section, the general verification flow was introduced.

Actually, by changing the observable, the conjunction of the two previous empirical verifications is quite omnipresent.