Various design and model selection methods are available for supersaturated designs having more factors than runs but little research is available on their comparison and evaluati...
The main goal of this paper is to apply rewriting termination technology --enjoying a quite mature set of termination results and tools-- to the problem of proving automatically t...
: Automatic identification of genes has been an actively researched area of Bioinformatics. Compared to earlier attempts for finding genes, the recent techniques are significantly ...
: My aim in this paper is to articulate an account of scientific modeling that reconciles pluralism about modeling with a modest form of scientific realism. The central claim of th...
In this paper, we construct a price index for broadband services in the United States between 2004 and 2009. We analyze over 1500 service contracts offered by DSL and cable provid...