XXXV. Mutual induction

Multi-Predicate Induction Schemes for Mutual Recursion

Where mutually recursive data types are used in programming languages, etc., mutually recursive functions are usually required. Mutually recursive functions are also quite common for non-mutually recursive types. Reasoning about recursive functions requires some form of mathematical induction but there have been difficulties in adapting induction methods for simple recursion to the mutually rec...

Molecular recognition on supramolecular systems (XXXV)

A novel β-cyclodextrin derivative 4 bearing a pyridinio group on the primary side was synthesized by the reaction of 2-aminopyridine with 6-β-cyclodextrin monoaldehyde 3, and its complexation stability constants with several aliphatic amino acids have been determined in phosphate buffer solution ( pH = 7.2, 0.1 mol L) at 25 by using spectrofluormetric titrations. The stoichiometry is 1 1 for th...

Notes on Some Remedies. XXXV. Oxygen Therapy

Xxxv. the Preparation and Composition of Caseinogen

Mutual information phone clustering for decision tree induction

The paper presents an automatic method for devising the question sets used for the induction of classification and regression trees. The algorithm employed is the well-known mutual information based bottom-up clustering applied to phone bigram statistics. The sets of phones at the nodes in the resulting binary tree are used as question sets for clustering context-sensitive (tri-phone) HMM outpu...