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 study aims to confirm the effects of a neck pillow on postural stability head and variance center mass in sitting position. Experiments were conducted keeping posture at rest with without use two types pillows; wrap front pillow. During experiments, whole body was recorded by motion capture system. Differences head-and-neck resting position statistically compared among conditions. As resul...

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

The conventional K-Ar dating method was applied to the 1986 dacite flow from the new lava dome at Mount St. Helens, Washington. Porphyritic dacite which solidified on the surface of the lava dome in 1986 gives a whole rock K-Ar “age” of 0.35±0.05 million years (Ma). Mineral concentrates from the dacite which formed ins 1986 give K-Ar “ages” from 0.34±0.06 Ma (feldspar-glass concentrate) to 2.8±...

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