We believe D-MIAT to be unique as to the best of our knowledge, it is the first discretization algorithm that explicitly extends a set of features through discretization.
These command line programs extend a set of previously released command line programs from the Autocorrelator package [5] and include published programs for database access and diversity analysis [6, 7].
The problem is the generation of chemical structures that extend a set of possible substituents to the scaffold while satisfying [1] the condition that the product of the probabilities of all extending substituents is maximized and [2] the total molecular weight of the extending substituents is equal to a specified target molecular weight, ( W_{0} ).
A population model of infection, using the parasite (Wuchereria bancrofti) that causes lymphatic filariasis in the geographic regions for which we have community-level site-specific data, was constructed by extending a set of previously defined coupled partial differential equations [ 8, 22, 34].
Spectral estimation of NMR relaxation allows this information content to be extended to a set of (n + 1 -tuples (λ, ω1 -tuples where λ is the relaxation rate.
In this approach, the concept of IPv6 link is extended to a set of nodes which might not be directly reachable within one physical hop.
It is customary to use first-order arithmetic, that is, first-order predicate logic extended with a set of standard axioms for arithmetic like PA (Peano Arithmetic) or Robinson's Q.
The paper Blackburn (2000) introduces a tableau system for hybrid logic that has this desirable feature: Analogous to the axiom system of Blackburn and Tzakova (1999), completeness is preserved if the tableau system is extended with a set of pure axioms, that is, a set of pure formulas that are allowed to be added to a tableau during the tableau construction.
The latter paper gives an axiom system for hybrid logic and shows the remarkable result that if the axiom system is extended with a set of additional axioms which are pure formulas (that is, formulas where all propositional symbols are nominals), then the extended axiom system is complete with respect to the class of frames validating the axioms in question.
For each discussion topic, the system generated several hundred questions (e.g., 844 questions for topic 1), because from each discussion topic several key concepts were extracted, and each key concept was extended with a set of hyponyms queried from WordNet.
