Sentence examples for refinement methodology from inspiring English sources

In particular, we show how correctness kernels can be integrated with the well-known CEGAR (CounterExample-Guided Abstraction Refinement) methodology.

An advantage of the iterated refinement methodology is that it makes the method less dependent on the initial dictionary.

The structural modifications at different stages of milling have been characterized in terms of several microstructure parameters like, particle size, microstrains, stacking faults, dislocation density, etc. and quantitative estimations of individual phase have been made by employing Rietveld's powder structure refinement methodology.

Here, we build on and extend these refinement methodologies to develop an enhanced set of systematic procedures to modify the in vitro metabolic network model of M. tuberculosis iNJ661 [ 15] and develop a network model that is more consistent with in vivo metabolism during the initial eight-week post-infection period.

This paper describes an Adaptive Mesh and Algorithm Refinement (AMAR) methodology for multi-scale simulations of gas flows and the challenges associated with extending this methodology for simulations of weakly ionized plasmas.

A precedent setting legislative mandate under the Canadian Environmental Protection Act 1999 to establish priorities for assessment based on systematic consideration of all of the approximately 23,000 Existing Chemicals in Canada required the development and refinement of methodology in a number of important areas.

However, some unexpected results required refinement in methodology.

This proposed view of how to consider gene expression (or similarly peptide/metabolite abundance) in a genetical context is currently receiving considerable attention, extension and refinement of methodology [ 21- 25].

FM contributed in various ways in the work reported in this paper including; refinement of methodology, data collection, data analysis, inputs to various versions of manuscript, editing and approval of final version.

These efforts include both the refinement of methodologies for performing toxicogenomics studies and analysis of the resultant data sets.

An iterative refinement application development methodology was used to create the game.