Cultivation of amebae of the axenic strain of Naegleria gruberi, NEG-M, was achieved in media consisting entirely of chemically defined components. A complete medium that contains 31 components allows growth with yields up to 5 x 10(6) amebae per ml. A minimal medium gives lower yields but defines 22 components that are essential for continuous cultivation: 11 amino acids, 6 vitamins, hematin, ...

SUMMARY A human hormone-synthesizing trophoblastic cell system has been established in vitro and may prove to be the first func tional human embryonic cell line in continuous culture. Cho-rionic gonadotropin hormone produced by these cultures serve as a marker for identification of the trophoblastic cell. No interruption in this property nor change in cytologie display has occurred during 1.5 y...

Let Y be a proximinal subspace of finite codimension of c0. We show that Y is proximinal in ∞ and the metric projection from ∞ onto Y is Hausdorff metric continuous. In particular, this implies that the metric projection from ∞ onto Y is both lower Hausdorff semi-continuous and upper Hausdorff semi-continuous.

A human hormone-synthesizing trophoblastic cell system has been established in vitro and may prove to be the first func tional human embryonic cell line in continuous culture. Chorionic gonadotropin hormone produced by these cultures serve as a marker for identification of the trophoblastic cell. No interruption in this property nor change in cytologie display has occurred during 1.5 years in c...

4 Introduction 5 1.1 Large vocabulary vs. small vocabulary tasks . . . . . . . . . . . . . . . . . . . . 5 1.2 Overview . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 The SPHINX II System 8 2.1 Overview of SPHINX II . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 2.2 Hidden Markov Models (HMMs) . . . . . . . . . . . . . . . . . . . . . . . . . 8 Recognition Un...

The veri cation of timed systems is extremely important but also extremely di cult Several methods have been proposed to assist in this task including extensions to symbolic model checking One possible use of model checking to analyze timed systems is by modeling passage of time as the number of taken transitions and ap plying quantitative algorithms to determine the timing parameters of the sy...