Sentence examples for present refinement from inspiring English sources

In this paper we present refinement modal logic.

The present refinement algorithm was used in simulating fuel sprays in an engine combustion chamber.

Finally, the present refinement results indicate donation via the deprotonated hydroxyl groups (Figure 4) just following -NH3+ deprotonation.

The present refinement of muscle organization and identity elucidates how apposed muscles actuate different syringeal elements.

Using our experience from previous CFD computations, the present refinement is a priori not sufficient for a perfect convergence of the results but appropriate to have good qualitative results.

The present refinement of muscle identity also allows for more precise predictions about muscle co-activation known to increase accuracy and stability of position control in many complex motor systems such as arm reaching [ 112- 114].

In this paper, we proposed and proved new inequalities, which present refinements and generalizations of inequalities stated in [1], related to Shafer-Fink's inequality for the inverse sine function.

In this report, we present refinements to the walk-through assessment methods, and the resulting measurement ratings and inter-rater reliability statistics for the 25 small to medium manufacturing worksites that participated in the baseline assessments of the Healthy Directions-Small Business trial.

Although the PPV of the original algorithm was low, we have presented refinements that increase the PPV, with little effect on its sensitivity.

We present a refinement operator on the Modal Mu-calculus that conforms with the process algebraic refinement in the following sense: Provided some reasonable conditions are met, the transition system induced by a process term P satisfies a Modal Mu-Calculus-specification ϕ if and only if the system which is induced by a refinement of P satisfies a particular refinement of ϕ.

First, we present a refinement of Theorem 2.