Sentence examples for 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.

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.

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).

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.

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

In this work, we will extend our previous synchronous verification technique and propose an asynchronous model checking method to formally analyze the ER-Golgi-regulated signaling pathways.

In contrast to the approach used in previous studies, verification was performed for all drug event associations, irrespective of whether a potential signal was flagged or not by any of the signal detection methods used in either EudraVigilance or EU-ADR.

For each case, heat transfer coefficient enhancement is found near the pseudo-critical point, which agrees with previous experimental verifications.

Previous functional verifications of system software were all based on interactive theorem proving, requiring substantial human effort complemented by expert proven knowledge.