Class Day Address Transcript, 1963: Excellence - What is it?

Transcript of Dr. E. Gardner Jacob\u27s 1963 class day address at Bryant. This year marked Bryant\u27s Centennial Commencement

Distributed Access View Integrated Database (DAVID) system

The Distributed Access View Integrated Database (DAVID) System, which was adopted by the Astrophysics Division for their Astrophysics Data System, is a solution to the system heterogeneity problem. The heterogeneous components of the Astrophysics problem is outlined. The Library and Library Consortium levels of the DAVID approach are described. The 'books' and 'kits' level is discussed. The Universal Object Typer Management System level is described. The relation of the DAVID project with the Small Business Innovative Research (SBIR) program is explained

Measurement of electric fields in the ionosphere, volume 2 Final report, Aug. 1966 - Sep. 1967

Electric field meter, using electron beam deflection techniques, for ionospheric measurement

National Educators' Workshop: Update 1988. Standard Experiments in Engineering Materials Science and Technology

Presented here is a collection of experiments presented and demonstrated at the National Educators' Workshop: Update 88, held May 10 to 12, 1988 at the National Institute of Standards and Technology (NIST), Gaithersberg, Maryland. The experiments related to the nature and properties of engineering materials and provided information to assist in teaching about materials in the education community

New camera tube improves ultrasonic inspection system

Electron multiplier, incorporated into the camera tube of an ultrasonic imaging system, improves resolution, effectively shields low level circuits, and provides a high level signal input to the television camera. It is effective for inspection of metallic materials for bonds, voids, and homogeneity

Instrument continuously measures density of flowing fluids

Electromechanical densitometer continuously measures the densities of either single-phase or two-phase flowing cryogenic fluids. Measurement is made on actual flow. The instrument operates on the principle that the mass of any vibrating system is a primary factor in determining the dynamic characteristics of the system

Confocal analysis of nervous system architecture in direct-developing juveniles of Neanthes arenaceodentata (Annelida, Nereididae)

Background: Members of Family Nereididae have complex neural morphology exemplary of errant polychaetes and are leading research models in the investigation of annelid nervous systems. However, few studies focus on the development of their nervous system morphology. Such data are particularly relevant today, as nereidids are the subjects of a growing body of "evo-devo" work concerning bilaterian nervous systems, and detailed knowledge of their developing neuroanatomy facilitates the interpretation of gene expression analyses. In addition, new data are needed to resolve discrepancies between classic studies of nereidid neuroanatomy. We present a neuroanatomical overview based on acetylated α-tubulin labeling and confocal microscopy for post-embryonic stages of Neanthes arenaceodentata, a direct-developing nereidid. Results: At hatching (2-3 chaetigers), the nervous system has developed much of the complexity of the adult (large brain, circumesophageal connectives, nerve cords, segmental nerves), and the stomatogastric nervous system is partially formed. By the 5-chaetiger stage, the cephalic appendages and anal cirri are well innervated and have clear connections to the central nervous system. Within one week of hatching (9-chaetigers), cephalic sensory structures (e.g., nuchal organs, Langdon's organs) and brain substructures (e.g., corpora pedunculata, stomatogastric ganglia) are clearly differentiated. Additionally, the segmental-nerve architecture (including interconnections) matches descriptions of other, adult nereidids, and the pharynx has developed longitudinal nerves, nerve rings, and ganglia. All central roots of the stomatogastric nervous system are distinguishable in 12-chaetiger juveniles. Evidence was also found for two previously undescribed peripheral nerve interconnections and aspects of parapodial muscle innervation. Conclusions: N. arenaceodentata has apparently lost all essential trochophore characteristics typical of nereidids. Relative to the polychaete Capitella, brain separation from a distinct epidermis occurs later in N. arenaceodentata, indicating different mechanisms of prostomial development. Our observations of parapodial innervation and the absence of lateral nerves in N. arenaceodentata are similar to a 19th century study of Alitta virens (formerly Nereis/Neanthes virens) but contrast with a more recent study that describes a single parapodial nerve pattern and lateral nerve presence in A. virens and two other genera. The latter study apparently does not account for among-nereidid variation in these major neural features

Fibrational induction rules for initial algebras

This paper provides an induction rule that can be used to prove properties of data structures whose types are inductive, i.e., are carriers of initial algebras of functors. Our results are semantic in nature and are inspired by Hermida and Jacobs’ elegant algebraic formulation of induction for polynomial data types. Our contribution is to derive, under slightly different assumptions, an induction rule that is generic over all inductive types, polynomial or not. Our induction rule is generic over the kinds of properties to be proved as well: like Hermida and Jacobs, we work in a general fibrational setting and so can accommodate very general notions of properties on inductive types rather than just those of particular syntactic forms. We establish the correctness of our generic induction rule by reducing induction to iteration. We show how our rule can be instantiated to give induction rules for the data types of rose trees, finite hereditary sets, and hyperfunctions. The former lies outside the scope of Hermida and Jacobs’ work because it is not polynomial; as far as we are aware, no induction rules have been known to exist for the latter two in a general fibrational framework. Our instantiation for hyperfunctions underscores the value of working in the general fibrational setting since this data type cannot be interpreted as a set