The major contributor to the pessimistic results of TETASARTS and WCA are that they over-approximate the iterations of nested loops with interdependencies.
In this contribution, assuming Gaussian (normally distributed) noise, we propose and study (a) two schemes to over-approximate the confidence region of parameters using an ellipsoid and an orthotope and (b) a framework for optimal experiment design.
Optimal experiment design is usually performed as a search over a finitely-parameterized shape that (over-) approximates the confidence region of parameters of a model.
In this contribution, we develop the procedure to over-approximate the parameter set resulting from guaranteed parameter estimation based on the expected values of parameters.
Static analysis by abstract interpretation aims at automatically proving properties of computer programs, by computing invariants that over-approximate the program behaviors.
This yields a safe local analysis of the tasks because the symbolic variables over-approximate the values of shared variables and thus the feasible execution paths.
This representation over-approximates possible program behavior since it also includes infeasible execution paths, i.e., execution paths for which there does not exist inputs that lead to that path being exercised.
Inevitably, considering all execution paths characterized by the CFG as in [7, 22, 24, 25] affects the analysis time, but it may also severely over-approximate the temporal behavior.
The composition of all timing models generated from the tasks from the per-task analysis yields a complete system model which is also safe, because the composed model over-approximates the possible interference between the tasks.
They found a significant correlation between the hospital admissions of patients admitted with a diagnosis related to congestive heart failure over time and the sodium intake over time approximated via recipe visits.
The language of the bill, which passed in a 120-to-25 vote in the Assembly, was very careful, saying it would "create a simple structure for approximating over-the-counter availability".
