An extragalactic HI cloud with no optical counterpart?

We report the discovery, from the H I Parkes All-Sky Survey (HIPASS), of an isolated cloud of neutral hydrogen, which we believe to be extragalactic. The H I mass of the cloud (HIPASS J1712-64) is very low, 1.7 x 10(7) M-circle dot, using an estimated distance of similar to 3.2 Mpc. Most significantly, we have found no optical companion to this object to very faint limits [mu(B) similar to 27 mag arcsec(-2)]. HIPASS J1712-64 appears to be a binary system similar to, but much less massive than, H I 1225 + 01 (the Virgo H. I cloud) and has a size of at least 15 kpc. The mean velocity dispersion measured with the Australia Telescope Compact Array (ATCA) is only 4 km s(-1) for the main component and, because of the weak or nonexistent star formation, possibly reflects the thermal line width (T < 2000 K) rather than bulk motion or turbulence. The peak column density for HIPASS J1712-64, from the combined Parkes and ATCA data, is only 3.5 x 1019 cm(-2), which is estimated to be a factor of 2 below the critical threshold for star formation. Apart from its significantly higher velocity, the properties of HIPASS J1712-64 are similar to the recently recognized class of compact high-velocity clouds. We therefore consider the evidence for a Local Group or Galactic origin, although a more plausible alternative is that HIPASS J1712-64 was ejected from the interacting Magellanic Cloud-Galaxy system at perigalacticon similar to 2 x 10(8) yr ago.

L-studio/cpfg: A software system for modeling plants

L-studio/cpfg is a plant modeling software system designed for Windows 95/98/NT platforms. Its key components are the L-system-based plant simulator cpfg and the modeling environment called L-studio. We overview version 1.0 of this system from the user's perspective.

The 1000 brightest HIPASS galaxies: Newly cataloged galaxies

The H I Parkes All-Sky Survey (HIPASS) is a blind 21 cm survey for extragalactic neutral hydrogen, covering the whole southern sky. The HIPASS Bright Galaxy Catalog (BGC) is a subset of HIPASS and contains the 1000 H I brightest (peak flux density) galaxies. Here we present the 138 HIPASS BGC galaxies that had no redshift measured prior to the Parkes multibeam H I surveys. Of the 138 galaxies, 87 are newly cataloged. Newly cataloged is defined as having no optical ( or infrared) counterpart in the NASA/IPAC Extragalactic Database. Using the Digitized Sky Survey, we identify optical counterparts for almost half of the newly cataloged galaxies, which are typically of irregular or Magellanic morphological type. Several H I sources appear to be associated with compact groups or pairs of galaxies rather than an individual galaxy. The majority ( 57) of the newly cataloged galaxies lie within 10degrees of the Galactic plane and are missing from optical surveys as a result of confusion with stars or dust extinction. This sample also includes newly cataloged galaxies first discovered by Henning et al. in the H I shallow survey of the zone of avoidance. The other 30 newly cataloged galaxies escaped detection because of their low surface brightness or optical compactness. Only one of these, HIPASS J0546-68, has no obvious optical counterpart, as it is obscured by the Large Magellanic Cloud. We find that the newly cataloged galaxies with -b->10degrees are generally lower in H I mass and narrower in velocity width compared with the total HIPASS BGC. In contrast, newly cataloged galaxies behind the Milky Way are found to be statistically similar to the entire HIPASS BGC. In addition to these galaxies, the HIPASS BGC contains four previously unknown H I clouds.

2-perfect directed m-cycle systems can be equationally defined for m=3,4, and 5 only

It is shown that quasigroups constructed using the standard construction from 2-perfect directed m-cycle systems are precisely the finite members of a variety if and only if m=3, 4 or 5.

A framework for specification-based testing

Test templates and a test template framework are introduced as useful concepts in specification-based testing. The framework can be defined using any model-based specification notation and used to derive tests from model-based specifications-in this paper, it is demonstrated using the Z notation. The framework formally defines test data sets and their relation to the operations in a specification and to other test data sets, providing structure to the testing process. Flexibility is preserved, so that many testing strategies can be used. Important application areas of the framework are discussed, including refinement of test data, regression testing, and test oracles.

Super-CHO - A cell line capable of autocrine growth under fully defined protein-free conditions

Chinese Hamster Ovary (CHO) cells are widely used for the large scale production of recombinant biopharmaceuticals. Growth of the CHO-K1 cell line has been demonstrated in serum-free medium containing insulin, transferrin and selenium. In an attempt to get autocrine growth in protein-free medium, DNA coding for insulin and transferrin production was transfected into CHO-K1 cells. Transferrin was expressed well, with clones secreting approximately 1000 ng/10(6)cells/24h. Insulin was poorly expressed, with rates peaking at 5 ng/10(6)cells/24h. Characterisation of the secreted insulin indicated that the CHO cells were incompletely processing the insulin molecule. Site-directed mutagenesis was used to introduce a furin (prohormone converting enzyme) recognition sequence into the insulin molecule, allowing the production of active insulin. However, the levels were still too low to support autocrine growth. Further investigations revealed insulin degrading activity (presumably due to the presence of insulin degrading enzymes) in the cytoplasm of CHO cells. To overcome these problems insulin-like growth factor I (instead of insulin) was transfected into the cells. IGF-1 was completely processed and expressed at rates greater than 500 ng/10(6)cells/24h. In this paper we report autonomous growth of the transfected CHO-K1 cell line expressing transferrin and IGF-1 in protein-free medium without the addition of exogenous growth factors. Growth rates and final cell densities of these cells were identical to that of the parent cell line CHO-K1 growing in insulin, transferrin, and selenium supplemented serum-free media.

Behavioral Types for Embedded Software - A Survey

At present, there is a variety of formalisms for modeling and analyzing the communication behavior of components. Due to a tremendous increase in size and complexity of embedded systems accompanied by shorter time to market cycles and cost reduction, so called behavioral type systems become more and more important. This chapter presents an overview and a taxonomy of behavioral types. The intentions of this taxonomy are to provide a guidance for software engineers and to form the basis for future research.

Specification and Evaluation of Safety Properties in a Component-Based Software Engineering Process

Over the past years, component-based software engineering has become an established paradigm in the area of complex software intensive systems. However, many techniques for analyzing these systems for critical properties currently do not make use of the component orientation. In particular, safety analysis of component-based systems is an open field of research. In this chapter we investigate the problems arising and define a set of requirements that apply when adapting the analysis of safety properties to a component-based software engineering process. Based on these requirements some important component-oriented safety evaluation approaches are examined and compared.