12,917 research outputs found

    Human Ecology and Urban Revitalization: A Case Study of the Minneapolis Warehouse District

    Get PDF

    New light on numerical boundary conditions

    Full text link
    Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/77330/1/AIAA-1991-1600-977.pd

    Numerical wave propagation and steady state solutions. II - Bulk Viscosity Damping

    Full text link
    Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/77154/1/AIAA-1993-3331-227.pd

    Raman signatures of classical and quantum phases in coupled dots: A theoretical prediction

    Get PDF
    We study electron molecules in realistic vertically coupled quantum dots in a strong magnetic field. Computing the energy spectrum, pair correlation functions, and dynamical form factor as a function of inter-dot coupling via diagonalization of the many-body Hamiltonian, we identify structural transitions between different phases, some of which do not have a classical counterpart. The calculated Raman cross section shows how such phases can be experimentally singled out.Comment: 9 pages, 2 postscript figures, 1 colour postscript figure, Latex 2e, Europhysics Letters style and epsfig macros. Submitted to Europhysics Letter

    Hdo And SO2 Thermal Mapping On Venus: Evidence For Strong SO2 Variability

    Get PDF
    We have been using the TEXES high-resolution imaging spectrometer at the NASA Infrared Telescope Facility to map sulfur dioxide and deuterated water over the disk of Venus. Observations took place on January 10-12, 2012. The diameter of Venus was 13 arcsec, with an illumination factor of 80%. Data were recorded in the 1344-1370 cm(-1) range (around 7.35 mu m) with a spectral resolving power of 80 000 and a spatial resolution of about 1.5 arcsec. In this spectral range, the emission of Venus comes from above the cloud top (z = 60-80 km). Four HDO lines and tens of SO2 lines have been identified in our spectra. Mixing ratios have been estimated from HDO/CO2 and SO2/CO2 line depth ratios, using weak neighboring transitions of comparable depths. The HDO maps, recorded on Jan. 10 and Jan. 12, are globally uniform with no significant variation between the two dates. A slight enhancement of the HDO mixing ratio toward the limb might be interpreted as a possible increase of the D/H ratio with height above the cloud level. The mean H2O mixing ratio is found to be 1.5 +/-0.75 ppm, assuming a D/H ratio of 0.0312 (i.e. 200 times the terrestrial value) over the cloud deck. The SO2 maps, recorded each night from Jan. 10 to Jan. 12, show strong variations over the disk of Venus, by a factor as high as 5 to 10. In addition, the position of the maximum SO2 mixing ratio strongly varies on a timescale of 24 h. The maximum SO2 mixing ratio ranges between 75 +/-25 ppb and 125 +/-50 ppb between Jan. 10 and Jan. 12. The high variability of sulfur dioxide is probably a consequence of its very short photochemical lifetime.NASA NNX-08AE38A, NNX08AW33G S03NSF AST-0607312, AST-0708074Astronom

    Mapping UML models incorporating OCL constraints into object-Z

    Get PDF
    Focusing on object-oriented designs, this paper proposes a mapping for translating systems modelled in the Unified Modelling Language (UML) incorporating Object Constraint Language (OCL) constraints into formal software specifications in Object-Z. Joint treatment of semi-formal model constructs and constraints within a single translation framework and conversion tool is novel, and leads to the generation of much richer formal specifications than is otherwise possible. This paper complements previous analyses by paying particular attention to the generation of complete Object-Z structures. Integration of proposals to extend the OCL to include action constraints also boosts the expressivity of the translated specifications. The main features of a tool support are described

    United States Supreme Court February Term 1824

    Get PDF

    Direct measurement of the size of 2003 UB313 from the Hubble Space Telescope

    Get PDF
    We have used the Hubble Space Telescope to directly measure the angular size of the large Kuiper belt object 2003 UB313. By carefully calibrating the point spread function of a nearby field star, we measure the size of 2003 UB313 to be 34.3±\pm1.4 milliarcseconds, corresponding to a diameter of 2400±\pm100 km or a size ∼5\sim5% larger than Pluto. The V band geometric albedo of 2003 UB313 is 86±786\pm7%. The extremely high albedo is consistent with the frosty methane spectrum, the lack of red coloring, and the lack of observed photometric variation on the surface of 2003 UB313. Methane photolysis should quickly darken the surface of 2003 UB313, but continuous evaporation and redeposition of surface ices appears capable of maintaining the extreme alebdo of this body
    • …
    corecore