In this work, alternative refinements are considered for the same intermediate problem, resulting in multiple solutions (statecharts) from a single initial problem (requirements).
Two types of refinements are considered, namely, a predicate refinement and a refinement based on selected sets of parameterized inputs as is illustrated in details in Section 5. A high-level overview of the algorithm is provided below and the detailed algorithm is given in the following subsection.
H T is a binary refinement of T if and only if H T is binary and is a refinement of T. In this article, as only binary refinements are considered, we omit the term binary from now.
After that, a refinement stage is considered to improve the subsystem and region estimation.
To further explore the performances of the progressive scheme, one more side information refinement pass is considered by splitting the Wyner-Ziv frames into four sets of blocks as shown in Figure 7.
The development of alternative care services and their constant refinement within the reporting period is considered to have been effective.
The BMD0.05 of 0.362 mg BaP/kg/day we used is considered a refinement of the 0.815 mg BaP/kg/day BMD0.05 determined in previous work, employing the MLE method with quantal Weibull and polynomial regression modeling of earlier bioassays (Fitzgerald 1998; Neal and Rigdon 1967).
This strategy is considered as a refinement (i.e. certain aspects of a disease may be mimicked more closely in these animals than in animals that had undergone other experimental manipulations), but might counteract the principle of reduction (see [ 117]).
If simulations fail to appropriately reflect observed data, model refinement may be considered.
Thus, model selection, experimentation and model refinement can be considered the basic elements of systems biology [ 8].
