Results 281 to 290 of about 301,733 (364)
Some of the next articles are maybe not open access.
Related searches:
Related searches:
ACM SIGPLAN Notices, 1998
Lava is a tool to assist circuit designers in specifying, designing, verifying and implementing hardware. It is a collection of Haskell modules. The system design exploits functional programming language features, such as monads and type classes, to provide multiple interpretations of circuit descriptions.
Satnam Singh +3 more
openaire +2 more sources
Lava is a tool to assist circuit designers in specifying, designing, verifying and implementing hardware. It is a collection of Haskell modules. The system design exploits functional programming language features, such as monads and type classes, to provide multiple interpretations of circuit descriptions.
Satnam Singh +3 more
openaire +2 more sources
Journal of Volcanology and Geothermal Research, 2018
Abstract Active lava lakes are rare on Earth, with only ten documented examples, all formed by lavas of basaltic composition and housed inside summit craters or calderas. The existence of lava lakes on other planetary bodies may imply similarities in either composition or volcano-tectonic settings, and so has important implications for understanding ...
Lopes, Rosaly M.C. +6 more
openaire +4 more sources
Abstract Active lava lakes are rare on Earth, with only ten documented examples, all formed by lavas of basaltic composition and housed inside summit craters or calderas. The existence of lava lakes on other planetary bodies may imply similarities in either composition or volcano-tectonic settings, and so has important implications for understanding ...
Lopes, Rosaly M.C. +6 more
openaire +4 more sources
Viscosity of Lunar Lavas [PDF]
Science, 1970 The viscosity of a synthetic silicate liquid with the composition of a lunar rock has been determined experimentally and found to be lower than that of any previously studied volcanic rock on earth. This fact suggests that lunar lava flows will be very thin and extensive unless they are ponded, and that lava tubes should be common and of larger ...
Alexander R. McBirney, Tsutomu Murase
openaire +2 more sources
Phenocryst fragments in rhyolitic lavas and lava domes
Journal of Volcanology and Geothermal Research, 2003Although rhyolitic lavas and lava domes are characterised by evenly porphyritic textures, not all the phenocrysts are whole euhedra. We undertook image analysis of 46 rhyolitic lava and lava dome samples to determine the abundance and shape of quartz and feldspar phenocryst fragments. Phenocryst fragments were identified in nearly all samples.
S.R. Allen, Jocelyn McPhie
openaire +2 more sources
2020
As presented in Chap. 14 hot melts that are derived from the Earth’s interior are erupted during volcanic events, either by effusion of lava flow accompanied by turbulent degassing (Fig. 16.1) or by explosive ejection.
Martin Okrusch, Hartwig E. Frimmel
openaire +2 more sources
As presented in Chap. 14 hot melts that are derived from the Earth’s interior are erupted during volcanic events, either by effusion of lava flow accompanied by turbulent degassing (Fig. 16.1) or by explosive ejection.
Martin Okrusch, Hartwig E. Frimmel
openaire +2 more sources