Sentence examples for checking of large from inspiring English sources

What's more, our price checking of large funeral directors such as Co-operative Funeralcare has found they charge as much as £1,500 more than independent local firms.

The OpenADAM software package has been designed to allow management and data quality checking of the large amount of genotype data from the Affymetrix microarray platforms.

The checking of a large number of protein-protein interaction interfaces has shown that there are no general rules, which can describe the interfaces precisely [ 4- 10].

Thus, BDD is beneficial in dealing with the state space explosion problem, which is one of the main challenges of model checking techniques for the verification of large-scale systems.

Reduction modulo branching bisimulation usually results in a much smaller state space and therefore enables model checking of much larger state spaces.

It briefly recalls the principles of the approach, and then it describes how the employed evolutionary operations reflect the specificity of the involved mixed constrained optimization tasks, and how the approach tackles checking the feasibility of large polytope systems, frequently resulting from the optimization constraints.

A recent spot check of some large Roman Catholic parishes and mainline Protestant churches around the nation indicated attendance increases there, too.

A source said initial checks of the large box were inconclusive and the flight was allowed to fly on to the US without the box.

But a check of several large and midsize newspapers' archives shows a year-by-year decline in articles about Iraq, and an increase in the proportion supplied by wire services.

Subsequent spot-checks of all large Welsh hospitals did some failings in procedures for giving medicines - but concluded hospitals were generally performing better on sedation, continence care and ensuring patients have enough to drink.

Furthermore, we selected these tools based on execution time and ease of automation to ease the process of checking a large amount of domains.