Sentence examples for System refinement from inspiring English sources

The framework is design based on application's objective using a rapid prototyping and iterative system refinement mechanism.

In order to preserve in the best way the Hamiltonian nature of the system, refinement is anisotropic and constrained by measurements of local Poincaré invariants.

Additionally, it is shown that m correlates with pore system refinement and increase in disparity of pore sizes, suggesting the usefulness of this parameter in describing pore system's intricacy.

Overall, the GATE integrated visual development environment leads to rapid understanding of system behaviour and hence to rapid system refinement, therefore demonstrating the utility of visual programming and visualisation techniques for the development of natural language processing systems.

The impact of these factors will be investigated in future studies to enable further system refinement.

System refinements, certification efforts, and health policies, including standards development, should address the gaps in both EHR adoption and the use of key functions.

In this paper, we construct and analyze a trustable medical system by Refinement Calculus of Object Systems (rCOS) in a model-driven development process.

Such simplifications are made because our objective is to describe a simple and abstract model which can be applied to any real world ATC system after refinement.

Lessons learned during the set-up and early operation of the B2B Research Program have greatly enhanced the ascertainment and recruit of breast cancer patients in Alberta, through the development of the CoBRA system and refinement of study-specific processes.

The dominance of the computer time in the split reaction part is partially due to the one-dimensional nature of the Purkinje network system (mesh refinement and grid generation on one-dimensional structures are much easier than the ones with multiple dimensions).

This paper presents an approach to the formal development of mode-rich systems by refinement in Event-B.