Given data y and k covariates x one problem in linear regression is to decide which in any of the covariates to include when regressing y on the x. If k is small it is possible to evaluate each subset of the x. If however k is large then some other procedure must be use. Stepwise regression and the lasso are two such procedures but they both assume a linear model with error term. A different ap...

We analyze the optimal investment strategy of a firm that can complete a project either in one stage at a single freely chosen time point or in incremental steps at distinct time points. The presence of economies of scale gives rise to the following trade-off: lumpy investment has a lower total cost, but stepwise investment gives more flexibility by letting the firm choose the timing individual...

Histograms of Oriented Gradients (HOG) is one of the wellknown features for object recognition. HOG features are calculated by taking orientation histograms of edge intensity in a local region. N.Dalal et al. proposed an object detection algorithm in which HOG features were extracted from all locations of a dense grid on a image region and the combined features are classified by using linear Su...

BACKGROUND The KIDSCREEN-10 index and the Child Health Utility 9D (CHU9D) are two recently developed generic instruments for the measurement of health-related quality of life in children and adolescents. Whilst the CHU9D is a preference based instrument developed specifically for application in cost-utility analyses, the KIDSCREEN-10 is not currently suitable for application in this context. Th...

In this paper, rigorous application of stepwise refinement is explored. The steps of definition, decomposition, and completion are described, where completion is a newly introduced step. This combination of steps extends the use of stepwise refinement to larger systems. The notions of range, active objects, and backlog interface are introduced. Verification of incomplete programs via interactiv...

Androgen-regulated gene expression is a highly coordinated dynamic process mediated by androgen receptor (AR) ligand binding and DNA binding, and by specific AR protein-protein interactions. The latter include DNA-binding domain (D-box) interactions in AR homodimers, and the interaction of the FQNLF motif in the AR N-terminal domain and the coactivator groove in the ligand-binding domain (N/C i...

We present a framework to verify both, functional correctness and (amortized) worst-case complexity of practically efficient algorithms. implemented stepwise refinement approach, using the novel concept resource currencies naturally structure analysis along chain, allow fine-grained operation counts. Our targets LLVM intermediate representation. extend its semantics from earlier work with cost ...

In xDSL service networks, accurate bandwidth measurement is essential for network management and traffic engineering, such as isolating line faults and verifying guaranteed quality of service specifications, where ISP and xDSL service providers may be involved. Existing Internet bandwidth measurement techniques are not suitable because link asymmetry and ATM traffic shaping in xDSL deployments ...