In this paper, we discuss properties of the Knack system which is designed as a testbed for experimenting memory retrieval and organization in Case-Based Reasoning. Methods used for retrieval and indexing are based on mathematically sound techniques developed in classification, clustering and decision analysis. Retrieval is done using decision theoretic methods such as voting k nearest neighbor...

  Purpose: Estrogen as a crucial hormone during pregnancy acts by two types of receptors.   Estrogen receptor alpha, expressed by estrogen receptor 1 (ESR1) gene, is more abundant and   exists in all human reproductive systems. Association of ESR1 gene polymorphism has been   shown in some reproductive fields such as spontaneous abortion, endometriosis-related infertility   and in vitro fertili...

We consider a new data mining problem of detecting the members of a rare class of data, the needles, that have been hidden in a set of records, the haystack. Besides the haystack, a single instance of a needle is given. It is assumed that members of the needle class are similar according to an unknown needle characterization. The goal is to find the needle records hidden in the haystack. This p...

This paper is concerned with testing properties of polymorphic functions. The problem is that testing can only be performed on specific monomorphic instances, whereas parametrically polymorphic functions are expected to work for any type. We present a schema for constructing a monomorphic instance for a polymorphic property, such that correctness of that single instance implies correctness for ...