this article aims to provide a simple robust method to test the parameters of a normal population by using the new diagnostic tool called the “forward search” (fs) method. the most commonly used procedures to test the mean and variance of a normal distribution are student’s t test and chi-square test, respectively. these tests suffer from the presence of outliers. we introduce the fs version of...

biomedical datasets usually include a large number of features relative to the number of samples. however, some data dimensions may be less relevant or even irrelevant to the output class. selection of an optimal subset of features is critical, not only to reduce the processing cost but also to improve the classification results. to this end, this paper presents a hybrid method of filter and wr...

In this paper, we consider three different search strategies for a cut-free sequent system formalizing orthologic, and estimate the respective search spaces. Applying backward search, there are classes of formulae for which both the minimal proof length and the search space are exponential. In a combined forward and backward approach, all proofs are polynomial, but the potential search space re...

The Forward Search is an iterative algorithm concerned with detection of outliers and other unsuspected structures in data. This approach has been suggested, analysed and applied for regression models in the monograph Atkinson and Riani (2000). An asymptotic analysis of the Forward Search is made. The argument involves theory for a new class of weighted and marked empirical processes, quantile ...

Natural deduction, which is a method for establishing validity of propositional type arguments, helps develop important reasoning skills and is thus a key ingredient in a course on introductory logic. We present two core components, namely solution generation and practice problem generation, for enabling computer-aided education for this important subject domain. The key enabling technology is ...

In this paper we propose a computationally efficient implementation of general one factor short rate models with a trinomial tree. We improve the Hull–White’s procedure to calibrate the tree to bond prices by circumventing the forward rate induction and numerical root search algorithms. Our calibration procedure is based on forward measure changes and is as general as the Hull–White procedure, ...