[1] We present new evidence for volcanic eruptions and lava flow emplacement on Venus within the last several decades. An integrated study of a radar‐dark lava flow unit in Bereghinia Planitia on Venus (∼28°E, ∼39°N) based on Magellan data obtained in 1993 reveals a significant apparent microwave thermal emission excess, consistent with increased subsurface temperature due to very recent lava f...

Athabasca Valles is a young outflow channel system on Mars that may have been carved by catastrophic water floods. However, images acquired by the High-Resolution Imaging Science Experiment camera onboard the Mars Reconnaissance Orbiter spacecraft reveal that Athabasca Valles is now entirely draped by a thin layer of solidified lava-the remnant of a once-swollen river of molten rock. The lava e...

Distribution Endemic to the six largest Ha-waiian islands. Size Greatly variable, typically reaches 20–24 m (66–79 ft) in height; may be much smaller on lava rock or boggy soils. Habitat Wide range, 1–2500 m (1–8200 ft) elevation with rainfall of 400–10,000 mm (16–400 in). Largest component of lowland and mon-tane wet and mesic forests, dry forests, subal-pine shrublands, and new lava flows. Ve...

Tracking the level of the lava lake in Halema‘uma‘u Crater, at the summit of Kīlauea Volcano, Hawai’i, is an essential part of monitoring the ongoing eruption and forecasting potentially hazardous changes in activity. We describe a simple automated image processing routine that analyzes continuously-acquired thermal images of the lava lake and measures lava level. The method uses three image se...

Obsidian is a language for data-parallel programming embedded in Haskell. As the Obsidian programs are run, C code is generated. This C code can be compiled for an NVIDIA 8800 series GPU (Graphics Processing Unit), or for other high-end NVIDIA GPUs. The idea is that the style of programming used in Lava for structural hardware design [2] can be applied to data-parallel programming as well. Ther...

[1] Throughout February and March 1997, Okmok Volcano, in the eastern Aleutian Islands of Alaska, erupted a 6-km-long lava flow of basaltic 0a0a within its caldera. In the first part of the study a numerical model for lava flow cooling was developed by Patrick et al. and applied to the flow to better understand the nature of its cooling. In this second part of the study, the model predictions f...

Introduction: Cassini ISS imaged the surface of Io in eclipse by Jupiter in late 2000 and early 2001 and obtained multiple-filter images over timescales of hours. Images like these have been used to study the temperature and variability of the numerous hotspots on the surface [1, 2, 3]. For example, Pele was found to be an active lava lake with most likely basaltic lava composition [2]. New Hor...

This work is the first extensive study on the removal of carbon monoxide from polluted air in biofilters. It compares the performance of two packing materials, namely lava rock alone and a mixture of peat and lava rock. The results show that the biofilter packed with the mixture of peat and lava rock performed much better than the other one. The effect of operating conditions as, among others, ...

Magnetic field surveys obtained near the seafloor can map the boundaries of recent volcanic eruptions and can provide thickness estimates of these lava flow units independent of bathymetry differencing methods. Magnetic thickness estimation requires knowledge of the intensity of magnetization of the new lava and surrounding terrain, but this can be satisfactorily obtained by representative samp...

This paper explores the potential of the lazy functional programming language Haskell for the specification, synthesis and verification of digital circuits. Circuits are described using combinators that combine behaviour (allowing circuit simulation, symbolic evaluation and partial evaluation) and layout (allowing the generation of output suitable for entry into VLSI CAD tools). We call the sof...