Polar communications: Status and recommendations. Report of the Science Working Group

The capabilities of the existing communication links within the polar regions, as well as between the polar regions and the continental United States, are summarized. These capabilities are placed in the context of the principal scientific disciplines that are active in polar research, and in the context of how scientists both utilize and are limited by present technologies. Based on an assessment of the scientific objectives potentially achievable with improved communication capabilities, a list of requirements on and recommendations for communication capabilities necessary to support polar science over the next ten years is given

Nucleation in dilute 3He-4He liquid mixtures at low temperatures

We present a study of phase separation from supersaturated 3He-4He liquid mixtures at low temperatures addressing both the degree of critical supersaturation Dx and the thermal-to-quantum crossover temperature T* for the nucleation process. Two different nucleation seeds are investigated, namely 3He droplets and 4He vortex lines with cores filled with 3He. We have found that the experimental T* is reproduced when we consider that nucleation proceeds from 3He droplets, whereas Dx is reproduced when we consider 4He vortex lines filled with 3He. However, neither nucleation configuration is able to simultaneously reproduce the current experimental information on Dx and T*.Comment: To appear in J. of Low Temp. Physic

Quantum cavitation in liquid helium

Using a functional-integral approach, we have determined the temperature below which cavitation in liquid helium is driven by thermally assisted quantum tunneling. For both helium isotopes, we have obtained the crossover temperature in the whole range of allowed negative p essures. Our results are compatible with recent experimental results on 4He.Comment: Typeset using Revtex, 10 pages and 2 figures, Phys. Rev B (1996

Contracts in the Wild: A Study of Java Programs (Artifact)

This artefact contains a dataset of open-source programs obtained from the Maven Central Repository and scripts that first extract contracts from these programs and then perform several analyses on the contracts extracted. The extraction and analysis is fully automated and directly produces the tables presented in the accompanying paper. The results show how contracts are used in real-world program, and how their usage changes between versions and within inheritance hierarchies

Stability of vortex lines in liquid 3He-4He mixtures at zero temperature

At low temperatures and 3He concentrations below 6.6 %, there is experimental evidence about the existence in liquid helium mixtures, of stable vortices with 3He-rich cores. When the system is either supersaturated or submitted to a tensile strength, vortices lose stability becoming metastable and eventually completely unstable, so that their cores freely expand. Within a density functional approach, we have determined the pressure-3He concentration curve along which this instability appears at zero temperature.Comment: Typeset using Revtex, 9 pages and 5 Postscript figure