Identifying the genes underlying adaptation is a major challenge in evolutionary biology. Here, we describe the molecular changes underlying adaptive coat color variation in a natural population of rock pocket mice, Chaetodipus intermedius. Rock pocket mice are generally light-colored and live on light-colored rocks. However, populations of dark (melanic) mice are found on dark lava, and this c...

[1] Spring systems on the west slope of the Oregon High Cascades exhibit complex relationships among modern topography, lava flow geometries, and groundwater flow patterns. Seven cold springs were continuously monitored for discharge and temperature in the 2004 water year, and they were periodically sampled for dO, dD, tritium, and dissolved noble gases. Anomalously high unit discharges suggest...

Kansas Lava is a functional hardware description language implemented in Haskell. In the course of attempting to generate ever larger circuits, we have found the need to effectively test and debug the internals of Kansas Lava. This includes confirming both the simulated behavior of the circuit and its hardware realization via generated VHDL. In this paper we share our approach to this problem, ...

The growing demand for new software calls for a considerable acceleration of the software production process and for a sensible relaxation at the software maintenance front. These goals can be achieved only if we can decisively increase the degree of modularity, variability, comprehensibility of software, or short: the degree of structured programming, as well as the simplicity of program manip...

Synthetic aperture radar imagery is widely used to study surface deformation induced by volcanic activity; however, it is rarely applied to quantify the evolution of lava domes, which is important for understanding hazards and magmatic system characteristics. We studied dome formation associated with eruptive activity at Mount Cleveland, Aleutian Volcanic Arc, in 2011–2012 using TerraSAR-X imag...

Four bacterial species isolated from the rhizoplane of cacti growing in bare lava rocks were assessed for growth promotion of giant cardon cactus seedlings (Pachycereus pringlei). These bacteria fixed N(2), dissolved P, weathered extrusive igneous rock, marble, and limestone, and significantly mobilized useful minerals, such as P, K, Mg, Mn, Fe, Cu, and Zn in rock minerals. Cardon cactus seeds ...

Resenha de RODRIGUES, Fabiana Alves. Lava Jato: aprendizado institucional e ação estratégica na Justiça. São Paulo: Editora WMF Martins Fontes, 2020. 280 p.

Introduction: Evidence suggests that cold and dry conditions have persisted on Mars since the mid-to-late Hesperian period [1-3]. While it is likely that the climate conditions of Mars differed during the earlier Noachian period [e.g. 2], the exact nature of the martian climate during this earliest period of martian history remains unclear. Geological evidence has been interpreted by some previ...

Laboratory experiments are reported in an immiscible two-fluid system, where thermal convection is initiated by heating at the bottom and cooling at the top. The lava-lamp regime is characterized by a robust periodic exchange process where warm blobs rise from the bottom, attach to the top surface for a while, then cold blobs sink down again. Immiscibility allows to reach real steady (dynamical...

Improving lava flow hazard assessment is one of the most important and challenging fields of volcanology, and has an immediate and practical impact on society. Here, we present a methodology for the quantitative assessment of lava flow hazards based on a combination of field data, numerical simulations and probability analyses. With the extensive data available on historic eruptions of Mt. Etna...