13,713 research outputs found

    Far infrared and submillimeter brightness temperatures of the giant planets

    Get PDF
    The brightness temperatures of Jupiter, Saturn, Uranus, and Neptune in the range 35 to 1000 micron. The effective temperatures derived from the measurements, supplemented by shorter wavelength Voyager data for Jupiter and Saturn, are 126.8 + or - 4.5 K, 93.4 + or - 3.3 K, 58.3 + or - 2.0 K, and 60.3 + or - 2.0 K, respectively. The implications of the measurements for bolometric output and for atmospheric structure and composition are discussed. The temperature spectrum of Jupiter shows a strong peak at approx. 350 microns followed by a deep valley at approx. 450 to 500 microns. Spectra derived from model atmospheres qualitatively reproduced these features but do not fit the data closely

    Analytical and experimental study of stratification and liquid-ullage coupling, 1 June 1964 - 31 May 1965

    Get PDF
    Closed-form solution for stratification of subcooled fluids in containers subjected to heating, and for liquid-ullage vapor couplin

    Self-Similarity and Localization

    Full text link
    The localized eigenstates of the Harper equation exhibit universal self-similar fluctuations once the exponentially decaying part of a wave function is factorized out. For a fixed quantum state, we show that the whole localized phase is characterized by a single strong coupling fixed point of the renormalization equations. This fixed point also describes the generalized Harper model with next nearest neighbor interaction below a certain threshold. Above the threshold, the fluctuations in the generalized Harper model are described by a strange invariant set of the renormalization equations.Comment: 4 pages, RevTeX, 2 figures include

    Prospects for SIMPLE 2000: A large-mass, low-background Superheated Droplet Detector for WIMP searches

    Get PDF
    SIMPLE 2000 (Superheated Instrument for Massive ParticLE searches) will consist of an array of eight to sixteen large active mass (∼15\sim15 g) Superheated Droplet Detectors(SDDs) to be installed in the new underground laboratory of Rustrel-Pays d'Apt. Several factors make of SDDs an attractive approach for the detection of Weakly Interacting Massive Particles (WIMPs), namely their intrinsic insensitivity to minimum ionizing particles, high fluorine content, low cost and operation near ambient pressure and temperature. We comment here on the fabrication, calibration and already-competitive first limits from SIMPLE prototype SDDs, as well as on the expected immediate increase in sensitivity of the program, which aims at an exposure of >>25 kg-day during the year 2000. The ability of modest-mass fluorine-rich detectors to explore regions of neutralino parameter space beyond the reach of the most ambitious cryogenic projects is pointed out.Comment: 19 pages, 10 figures included. New Journal of Physics, in pres

    Dealing with mobility: Understanding access anytime, anywhere

    Get PDF
    The rapid and accelerating move towards the adoption and use of mobile technologies has increasingly provided people and organisations with the ability to work away from the office and on the move. The new ways of working afforded by these technologies are often characterised in terms of access to information and people ‘anytime, anywhere’. This paper presents a study of mobile workers that highlights different facets of access to remote people and information, and different facets of anytime, anywhere. Four key factors in mobile work are identified from the study: the role of planning, working in ‘dead time’, accessing remote technological and informational resources, and monitoring the activities of remote colleagues. By reflecting on these issues, we can better understand the role of technology and artefact use in mobile work and identify the opportunities for the development of appropriate technological solutions to support mobile workers

    Far-UV Emissions of the Sun in Time: Probing Solar Magnetic Activity and Effects on Evolution of Paleo-Planetary Atmospheres

    Full text link
    We present and analyze FUSE observations of six solar analogs. These are single, main-sequence G0-5 strs selected as proxies for the Sun at several stages of its main-sequence lifetime. The emission features in the FUSE 920-1180 A wavelength range allow for a critical probe of the hot plasma over three decades in temperature. Using the flux ratio CIII 1176/977 as diagnostics, we investigate the dependence of the electron pressure of the transition region as a function of the rotation period, age and magnetic activity. The results from these solar proxies indicate that the electron pressure of the stellar ~10^5-K plasma decreases by a factor of about 70 between the young, fast-rotating magnetically active star and the old, slow-rotating inactive star. Also, the observations indicate that the average surface fluxes of emission features strongly decrease with increasing stellar age and longer rotation period. The emission flux evolution with age or rotation period is well fitted by power laws, which become steeper from cooler chromospheric (10^4 K) to hotter coronal (10^7 K) plasma. The relationship for the integrated (920-1180 A) FUSE flux indicates that the solar far-ultraviolet emissions were about twice the present value 2.5 Gyr ago and about 4 times the present value 3.5 Gyr ago. Note also that the FUSE/FUV flux of the Zero-Age Main Sequence Sun could have been higher by as much as 50 times. Our analysis suggests that the strong FUV emissions of the young Sun may have played a crucial role in the developing planetary system, in particular through the photoionization, photochemical evolution and possible erosion of the planetary atmospheres. (abridged)Comment: 15 pages, 8 figures, accepted for publication in Ap

    A dependent nominal type theory

    Full text link
    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
    • …
    corecore