[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...

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...

Pahae Julu is a sub-district located in North Tapanuli Regency, Sumatra. This area often found with volcanic material from the eruption of Mount Toba (Youngest Tuff). The Youngest Tuff occurred ~74,000 years ago volume 2,800 km3. When there an eruption, lava on earth's surface undergoes relatively fast freezing process to form igneous rock. These rocks contain various minerals, one which magnet...

Introduction: Channel formation is a unique puzzle in Venus' rock record. Channels, open passages believed to have transported fluid [1], occur in presumed volcanic regions [2], which together with current Venus surface conditions (~450º C [3] and ~100 bars surface pressure [4]), has led many workers, including us, to infer a volcanic origin for venusian channels, although an origin involving l...

Purpose is to identify a dependence of basalt raw material fine screening upon the operating and structural parameters sieving equipment. Methods. The research results have been obtained relying comparative analysis In this regard, analyzed grading efficiency characteristics were defined for three densities rock mass mined in open pits. They are γ = 1.4 g/сm3 tuff; 2.2 lava-breccia; 2.6 basalt....

Western Turkey has been dominated by N–S extension since the Early Miocene. The timing and cause of this N–S extension and related basin formation have been the subject of much debate, but new data from the Bigadiç borate basin provide insights that may solve this controversy. The basin is located in the Bornova Flysch Zone, which is thought to have formed as a major NEtrending transform zone d...

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...

MOTIVATION As the volume of next-generation sequencing (NGS) data increases, faster algorithms become necessary. Although speeding up individual components of a sequence analysis pipeline (e.g. read mapping) can reduce the computational cost of analysis, such approaches do not take full advantage of the particulars of a given problem. One problem of great interest, genotyping a known set of var...

Areas ofvegetation mortality have been recognized in the upland forests of the Kaimai Ranges, North Island, New Zealand. The mortality is not confined to any particular vegetation type, but occurs above a critical altitude that differs at different points along the ranges. The mortality is episodic and has occurred at intervals over a period of several hundred years, with severe droughts implic...