Symbolic execution unrolls loops, hence, for most cases, neither loop bound annotations nor complementary loop bound analyses are necessary (see Section 5 for examples) except when the bound is dependent on, for example, I/O or the unrolling exceeds the specified analysis depth.
Unless otherwise specified, analysis was done separately for each approach and group (e.g. -DA of pre-clinical, DA of clinical, etc).
Pre specified analysis will be used to describe and explore those factors potentially affecting variability within the three main research areas i.e. i. Indications for hysterectomy, ii.
Unless otherwise specified, analysis of the complete data on all patients seen at the MDACC CTCL clinic from 2000 to 2012 is presented throughout the study.
22 Although all analyses conducted were based on an a priori specified analysis plan, the numerous subgroup analyses in this study might lead to a risk of finding isolated significant associations because of chance alone.
The (correctly specified) analysis model was Y=θ0+θ2 X2+θ3 X3+θ4 X4+θ23 X2 X3+ e, where E(e ∣ X2, X3, X4) = 0. Variables X1 and Y were always observed; X2 and X3 were both observed or both missing.
If no gaze shift is recorded within the specified analysis period (e.g., the point of gaze does not move from the first stimulus to the second stimulus within the specified time window), the value of the SRT is determined as the last data point of the analysis window (e.g., 1,000 ms for an analysis window ranging from 150 to 1,000 ms poststimulus).
After logging into the system the users manually specify the analysis details: they label the analysis and select a regression model (currently, linear and logistic models), dataset and optionally a gender stratified or combined analysis.
In addition, contracts specify the analysis interfaces, thereby enabling to reason about the analysis process.
The person wishing to re-analyse the data would request a data dictionary (list of variables with explanation of what they are) from the originator of the data, and would then specify the analysis to be conducted.
