User's manual for the REEDM (Rocket Exhaust Effluent Diffusion Model) computer program

The REEDM computer program predicts concentrations, dosages, and depositions downwind from normal and abnormal launches of rocket vehicles at NASA's Kennedy Space Center. The atmospheric dispersion models, cloud-rise models, and other formulas used in the REEDM model are described mathematically Vehicle and source parameters, other pertinent physical properties of the rocket exhaust cloud, and meteorological layering techniques are presented as well as user's instructions for REEDM. Worked example problems are included

Program listing for the REEDM (Rocket Exhaust Effluent Diffusion Model) computer program

The program listing for the REEDM Computer Program is provided. A mathematical description of the atmospheric dispersion models, cloud-rise models, and other formulas used in the REEDM model; vehicle and source parameters, other pertinent physical properties of the rocket exhaust cloud and meteorological layering techniques; user's instructions for the REEDM computer program; and worked example problems are contained in NASA CR-3646

A dependent nominal type theory

Nominal abstract syntax is an approach to representing names and binding pioneered by Gabbay and Pitts. So far nominal techniques have mostly been studied using classical logic or model theory, not type theory. Nominal extensions to simple, dependent and ML-like polymorphic languages have been studied, but decidability and normalization results have only been established for simple nominal type theories. We present a LF-style dependent type theory extended with name-abstraction types, prove soundness and decidability of beta-eta-equivalence checking, discuss adequacy and canonical forms via an example, and discuss extensions such as dependently-typed recursion and induction principles

A New Method of Synthesizing Black Birnessite Nanoparticles: From Brown to Black Birnessite with Nanostructures

A new method for preparing black birnessite nanoparticles is introduced. The initial synthesis process resembles the classical McKenzie method of preparing brown birnessite except for slower cooling and closing the system from the ambient air. Subsequent process, including wet-aging at 7◦C for 48 hours, overnight freezing, and lyophilization, is shown to convert the brown birnessite into black birnessite with complex nanomorphology with folded sheets and spirals. Characterization of the product is performed by X-ray diffraction (XRD), transmission electron microscopy (TEM), high-resolution transmission electron microscopy (HRTEM), thermogravimetric analysis (TGA), and N2 adsorption (BET) techniques. Wet-aging and lyophilization times are shown to affect the architecture of the product. XRD patterns show a single phase corresponding to a semicrystalline birnessite-based manganese oxide. TEM studies suggest its fibrous and petal-like structures. The HRTEM images at 5 and 10 nm length scales reveal the fibrils in folding sheets and also show filamentary breaks. The BET surface area of this nanomaterial was found to be 10.6m2/g. The TGA measurement demonstrated that it possessed an excellent thermal stability up to 400◦C. Layerstructured black birnessite nanomaterial containing sheets, spirals, and filamentary breaks can be produced at low temperature (−49◦C) from brown birnessite without the use of cross-linking reagents

Super-resolution, Extremal Functions and the Condition Number of Vandermonde Matrices

Super-resolution is a fundamental task in imaging, where the goal is to extract fine-grained structure from coarse-grained measurements. Here we are interested in a popular mathematical abstraction of this problem that has been widely studied in the statistics, signal processing and machine learning communities. We exactly resolve the threshold at which noisy super-resolution is possible. In particular, we establish a sharp phase transition for the relationship between the cutoff frequency ($m$) and the separation ($\Delta$). If $m > 1/\Delta + 1$, our estimator converges to the true values at an inverse polynomial rate in terms of the magnitude of the noise. And when $m < (1-\epsilon) /\Delta$ no estimator can distinguish between a particular pair of $\Delta$-separated signals even if the magnitude of the noise is exponentially small. Our results involve making novel connections between {\em extremal functions} and the spectral properties of Vandermonde matrices. We establish a sharp phase transition for their condition number which in turn allows us to give the first noise tolerance bounds for the matrix pencil method. Moreover we show that our methods can be interpreted as giving preconditioners for Vandermonde matrices, and we use this observation to design faster algorithms for super-resolution. We believe that these ideas may have other applications in designing faster algorithms for other basic tasks in signal processing.Comment: 19 page

Compact Nuclei in Galaxies at Moderate Redshift:II. Their Nature and Implications for the AGN Luminosity Function

This study explores the space density and properties of active galaxies to z=0.8. We have investigated the frequency and nature of unresolved nuclei in galaxies at moderate redshift as indicators of nuclear activity such as Active Galactic Nuclei (AGN) or starbursts. Candidates are selected by fitting imaged galaxies with multi-component models using maximum likelihood estimate techniques to determine the best model fit. We select those galaxies requiring an unresolved point-source component in the galaxy nucleus, in addition to a disk and/or bulge component, to adequately model the galaxy light. We have searched 70 WFPC2 images primarily from the Medium Deep Survey for galaxies containing compact nuclei. In our survey of 1033 galaxies, the fraction containing an unresolved nuclear component greater than 5% of the total galaxy light is 9+/-1% corrected for incompleteness. In this second of two papers in this series, we discuss the nature of the compact nuclei and their hosts. We present the upper limit luminosity function (LF) for low-luminosity AGN (LLAGN) in two redshift bins to z=0.8. Mild number density evolution is detected for nuclei at -18 -16 and this flatness, combined with the increase in number density, is inconsistent with pure luminosity evolution. Based on the amount of density evolution observed for these objects, we find that almost all present-day spiral galaxies could have hosted a LLAGN at some point in their lives. We also comment on the likely contribution of these compact nuclei to the soft X-ray background.Comment: 50 pages, 14 figures, to appear in ApJ, April 199

Spectral structure and decompositions of optical states, and their applications

We discuss the spectral structure and decomposition of multi-photon states. Ordinarily `multi-photon states' and `Fock states' are regarded as synonymous. However, when the spectral degrees of freedom are included this is not the case, and the class of `multi-photon' states is much broader than the class of `Fock' states. We discuss the criteria for a state to be considered a Fock state. We then address the decomposition of general multi-photon states into bases of orthogonal eigenmodes, building on existing multi-mode theory, and introduce an occupation number representation that provides an elegant description of such states that in many situations simplifies calculations. Finally we apply this technique to several example situations, which are highly relevant for state of the art experiments. These include Hong-Ou-Mandel interference, spectral filtering, finite bandwidth photo-detection, homodyne detection and the conditional preparation of Schr\"odinger Kitten and Fock states. Our techniques allow for very simple descriptions of each of these examples.Comment: 12 page

Sustainable Affordable Housing - Submission to Inquiry into First Home Ownership

The Institute welcomes this opportunity to submit comments to the Commissions Inquiry evaluating the affordability and availability of housing for first home buyers. The Institute for Sustainable Futures is a self-funded research and consulting institute of the University of Technology, Sydney. The Institutes mission is to support and create change towards sustainable futures by working with government, industry and the community. Social sustainability, sustainable housing and sustainable urban infrastructure for energy, water and transport are all key parts of this mission.1 This submission seeks to evaluate the affordability and availability of housing for first home buyers within the framework of ecologically sustainable development (ESD). It is in two parts. Part I: Submission provides the framework. Part II: Comments on the Commissions Issues Paper provides more details on this framework under the broad headings used in the Commissions Issues Paper