SEARCH · Engineering Papers

Results for “ATPS”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

SourceResearch connectionFrom yearThrough year

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 109 records · Page 6

All sources NASA NTRS DOE OSTI

NASA NTRS1997

Energy from Redox Disproportionation of Sugar Carbon Drives Biotic and Abiotic Synthesis

To identify the energy source that drives the biosynthesis of amino acids, lipids, and nucleotides from glucose, we calculated the free energy change due to redox disproportionation of the substrate carbon of: (1) 26-carbon fermentation reactions and (2) the biosynthesis of amino acids and lipids of E. coli from glucose. The free energy (cal/mmol of carbon) of these reactions was plotted as a function of the degree of redox disproportionation of carbon (disproportionative electron transfers (mmol)/mmol of carbon). The zero intercept and proportionality between energy yield and degree of redox disproportionation exhibited by this plot demonstrate that redox disproportionation is the principal energy source of these redox reactions (slope of linear fit = -10.4 cal/mmol of disproportionative electron transfers). The energy and disproportionation values of E. coli amino acid and lipid biosynthesis from glucose lie near this linear curve fit with redox disproportionation accounting for 84% and 96% (and ATP only 6% and 1%) of the total energy of amino acid and lipid biosynthesis, respectively. These observations establish that redox disproportionation of carbon, and not ATP, is the primary energy source driving amino acid and lipid biosynthesis from glucose. In contrast, we found that nucleotide biosynthesis involves very little redox disproportionation, and consequently depends almost entirely on ATP for energy. The function of sugar redox disproportionation as the major source of free energy for the biosynthesis of amino acids and lipids suggests that sugar disproportionation played a central role in the origin of metabolism, and probably the origin of life.

Weber, Arthur L.↗

NASA NTRS1999

Combining Automated Theorem Provers with Symbolic Algebraic Systems: Position Paper

In contrast to pure mathematical applications where automated theorem provers (ATPs) are quite capable, proof tasks arising form real-world applications from the area of Software Engineering show quite different characteristics: they usually do not only contain much arithmetic (albeit often quite simple one), but they also often contain reasoning about specific structures (e.g. graphics, sets). Thus, an ATP must be capable of performing reasoning together with a fair amount of simplification, calculation and solving. Therefore, powerful simplifiers and other (symbolic and semi-symbolic) algorithms seem to be ideally suited to augment ATPs. In the following we shortly describe two major points of interest in combining SASs (symbolic algebraic systems) with top-down automated theorem provers (here: SETHEO [Let92, GLMS94]).

Schumann, Johann↗

NASA NTRS2000

Models of the Protocellular Structures, Functions and Evolution

In the absence of extinct or extant record of protocells, the most direct way to test our understanding of the origin of cellular life is to construct laboratory models that capture important features of protocellular systems. Such efforts are currently underway in a collaborative project between NASA-Ames, Harvard medical School and University of California. They are accompanied by computational studies aimed at explaining self-organization of simple molecules into ordered structures. The centerpiece of this project is a method for the in vitro evolution of protein enzymes toward arbitrary catalytic targets. A similar approach has already been developed for nucleic acids: First, a very large population of candidate molecules is generated using a random synthetic approach. Next, the small numbers of molecules that can accomplish the desired task are selected. These molecules are next vastly multiplied using the polymerase chain reaction. A mutagenic approach, in which the sequences of selected molecules are randomly altered, can yield further improvements in performance or alterations of specificities. Unfortunately, the catalytic potential of nucleic acids is rather limited. Proteins are more catalytically capable but cannot be directly amplified. In the new technique, this problem is circumvented by covalently linking each protein of the initial, diverse, pool to the RNA sequence that codes for it. Then, selection is performed on the proteins, but the nucleic acids are replicated. To date, we have obtained "a proof of concept" by evolving simple, novel proteins capable of selectively binding adenosine tri-phosphate (ATP). Our next goal is to create an enzyme that can phosphorylate amino acids and another to catalyze the formation of peptide bonds in the absence of nucleic acid templates. This latter reaction does not take place in contemporary cells. once developed, these enzymes will be encapsulated in liposomes so that they will function in a simulated cellular environment. To provide a continuous energy supply, usually needed to activate the substrates, an energy transduction complex which generates ATP from adenosine diphosphate, inorganic phosphate and light will be used. This system, consisting of two modern proteins, ATP synthase and bacteriorhodopsin, has already been built and shown to work efficiently. By coupling chemical synthesis to such a system, it will be possible to drive chemical reactions by light if only the substrates for these reactions are supplied.

Pohorille, Andrew↗

NASA NTRS1994

Inhibition of the Vacuolar-like ATPase from Halobacterium saccharovorum by Thiol Reagents: Evidence for Different Functional Thiols

N-Ethylmaleimide (NEM) inhibited the vacuolar-like ATPase from Halobacterium saccharovorum (K(sub i) approximately 1 mM) by modifying one or more of the thiols located on the largest of the subunit. ATP protected against inhibition and coincidentally prevented NEM binding which suggested that NEM acts at or near the catalytic site. p-Chloromercuriphenylsulfonate (PCMS) also inhibited this ATPase (K(sub i) approximately 90 microM). ATP did not protect against PCMS inhibition. Dithiothreitol (DTT) partially reversed PCMS inhibition and restored approximately half of the initial activity of 90% inhibited enzyme. DTT did not restore activity of the NEM-inhibited enzyme or the PCMS-inhibited enzyme when it was subsequently incubated with NEM. The failure of ATP to protect against PCMS inhibition and the inability of DTT to restore activity of enzyme incubated in the presence of PCMS and NEM suggests these reagents react with different thiols and that the PCMS-sensitive thiol may have a structural role.

Hochstein, L. I.↗

NASA NTRS2001

[ ] or SUCCESS is Not Enough: Current Technology and Future Directions in Proof Presentation

Automated theorem provers for first order logic are now around for several decades. Over the last few years, their deductive power to solve hard problems has increased tremendously. The annual CASC system competitions [Se97] give a clear picture of this situation. However, today's automated theorem provers are restricted "more by general usability than by raw deductive power." As a result of this, there are only very few serious applications of automated theorem provers. There are numerous features which a theorem prover lacks for real-world applicability. An automated theorem prover (as it is currently seen) is nothing more than a fast and elaborate search procedure. In that sense, an ATP can compared to a formulated race car, cool and fast, but virtually unusable for shopping groceries around the corner. Many important features are missing, or are optimized for speed rather than for applicability. [Schol] identifies important features which are needed for practical usability like detection of non-theorems, handling of modal/inductive proof tasks, control of the prover, and proof output. In this paper, we will focus solely on the last point, the presentation of the ATP's result to the user. In the rest of this paper, we will first discuss the general importance of providing feedback to the user, then we will describe the system ExplainIt!, a part of the deductive synthesis system AMPHION/NAV. In the conclusions we will relate proof presentation to other ways of post-processing a proof found by an ATP and stress their role in the future of automated deduction.

Schumann, Johann↗

NASA NTRS1981

Bacteria Counter

Science Applications, Inc.'s ATP Photometer makes a rapid and accurate count of the bacteria in a body fluid sample. Instrument provides information on the presence and quantity of bacteria by measuring the amount of light emitted by the reaction between two substances. Substances are ATP adenosine triphosphate and luciferase. The reactants are applied to a human body sample and the ATP Photometer observes the intensity of the light emitted displaying its findings in a numerical output. Total time lapse is usually less than 10 minutes, which represents a significant time savings in comparison of other techniques. Other applications are measuring organisms in fresh and ocean waters, determining bacterial contamination of foodstuffs, biological process control in the beverage industry, and in assay of activated sewage sludge.

Source record↗

NASA NTRS2000

Systematic Sensitivity Analysis of Metabolic Controllers During Reductions in Skeletal Muscle Blood Flow

An acute reduction in oxygen delivery to skeletal muscle is generally associated with profound derangements in substrate metabolism. Given the complexity of the human bioenergetic system and its components, it is difficult to quantify the interaction of cellular metabolic processes to maintain ATP homeostasis during stress (e.g., hypoxia, ischemia, and exercise). Of special interest is the determination of mechanisms relating tissue oxygenation to observed metabolic responses at the tissue, organ, and whole body levels and the quantification of how changes in oxygen availability affect the pathways of ATP synthesis and their regulation. In this study, we apply a previously developed mathematical model of human bioenergetics to study effects of ischemia during periods of increased ATP turnover (e.g., exercise). By using systematic sensitivity analysis the oxidative phosphorylation rate was found to be the most important rate parameter affecting lactate production during ischemia under resting conditions. Here we examine whether mild exercise under ischemic conditions alters the relative importance of pathways and parameters previously obtained.

Radhakrishnan, Krishnan↗

NASA NTRS2000

A Quantitative Study of Oxygen as a Metabolic Regulator

An acute reduction in oxygen delivery to a tissue is associated with metabolic changes aimed at maintaining ATP homeostasis. However, given the complexity of the human bio-energetic system, it is difficult to determine quantitatively how cellular metabolic processes interact to maintain ATP homeostasis during stress (e.g., hypoxia, ischemia, and exercise). In particular, we are interested in determining mechanisms relating cellular oxygen concentration to observed metabolic responses at the cellular, tissue, organ, and whole body levels and in quantifying how changes in tissue oxygen availability affect the pathways of ATP synthesis and the metabolites that control these pathways. In this study; we extend a previously developed mathematical model of human bioenergetics, to provide a physicochemical framework that permits quantitative understanding of oxygen as a metabolic regulator. Specifically, the enhancement - sensitivity analysis - permits studying the effects of variations in tissue oxygenation and parameters controlling cellular respiration on glycolysis, lactate production, and pyruvate oxidation. The analysis can distinguish between parameters that must be determined accurately and those that require less precision, based on their effects on model predictions. This capability may prove to be important in optimizing experimental design, thus reducing use of animals.

Radhakrishnan, Krishnan↗

NASA NTRS2004

Using Automated Theorem Provers to Certify Auto-Generated Aerospace Software

We describe a system for the automated certification of safety properties of NASA software. The system uses Hoare-style program verification technology to generate proof obligations which are then processed by an automated first-order theorem prover (ATP). For full automation, however, the obligations must be aggressively preprocessed and simplified We describe the unique requirements this places on the ATP and demonstrate how the individual simplification stages, which are implemented by rewriting, influence the ability of the ATP to solve the proof tasks. Experiments on more than 25,000 tasks were carried out using Vampire, Spass, and e-setheo.

Denney, Ewen↗

NASA NTRS2004

An Empirical Evaluation of Automated Theorem Provers in Software Certification

We describe a system for the automated certification of safety properties of NASA software. The system uses Hoare-style program verification technology to generate proof obligations which are then processed by an automated first-order theorem prover (ATP). We discuss the unique requirements this application places on the ATPs, focusing on automation, proof checking, and usability. For full automation, however, the obligations must be aggressively preprocessed and simplified, and we demonstrate how the individual simplification stages, which are implemented by rewriting, influence the ability of the ATPs to solve the proof tasks. Our results are based on 13 certification experiments that lead to more than 25,000 proof tasks which have each been attempted by Vampire, Spass, e-setheo, and Otter. The proofs found by Otter have been proof-checked by IVY.

Denney, Ewen↗

NASA NTRS2002

Autophosphorylation-dependent inactivation of plant chimeric calcium/calmodulin-dependent protein kinase

Chimeric calcium/calmodulin dependent protein kinase (CCaMK) is characterized by the presence of a visinin-like Ca(2+)-binding domain unlike other known calmodulin- dependent kinases. Ca(2+)-Binding to the visinin-like domain leads to autophosphorylation and changes in the affinity for calmodulin [Sathyanarayanan P.V., Cremo C.R. & Poovaiah B.W. (2000) J. Biol. Chem. 275, 30417-30422]. Here, we report that the Ca(2+)-stimulated autophosphorylation of CCaMK results in time-dependent loss of enzyme activity. This time-dependent loss of activity or self-inactivation due to autophosphorylation is also dependent on reaction pH and ATP concentration. Inactivation of the enzyme resulted in the formation of a sedimentable enzyme due to self-association. Specifically, autophosphorylation in the presence of 200 microm ATP at pH 7.5 resulted in the formation of a sedimentable enzyme with a 33% loss in enzyme activity. Under similar conditions at pH 6.5, the enzyme lost 67% of its activity and at pH 8.5, 84% enzyme activity was lost. Furthermore, autophosphorylation at either acidic or alkaline reaction pH lead to the formation of a sedimentable enzyme. Transmission electron microscopic studies on autophosphorylated kinase revealed particles that clustered into branched complexes. The autophosphorylation of wild-type kinase in the presence of AMP-PNP (an unhydrolyzable ATP analog) or the autophosphorylation-site mutant, T267A, did not show formation of branched complexes under the electron microscope. Autophosphorylation- dependent self-inactivation may be a mechanism of modulating the signal transduction pathway mediated by CCaMK.

NASA Discipline Plant Biology↗

NASA NTRS1988

Promotion of beta-glucan synthase activity in corn microsomal membranes by calcium and protein phosphorylation

Regulation of the activity of beta-glucan synthase was studied using microsomal preparations from corn coleoptiles. The specific activity as measured by the incorporation of glucose from uridine diphospho-D-[U-14C]glucose varied between 5 to 15 pmol (mg protein)-1 min-1. Calcium promoted beta-glucan synthase activity and the promotion was observed at free calcium concentrations as low as 1 micromole. Kinetic analysis of substrate-velocity curve showed an apparent Km of 1.92 x 10(-4) M for UDPG. Calcium increased the Vmax from 5.88 x 10(-7) mol liter-1 min-1 in the absence of calcium to 9.52 x 10(-7) mol liter-1 min-1 and 1.66 x 10(-6) mol liter-1 min-1 in the presence of 0.5 mM and 1 mM calcium, respectively. The Km values remained the same under these conditions. Addition of ATP further increased the activity above the calcium-promoted level. Sodium fluoride, a phosphoprotein phosphatase inhibitor, promoted glucan synthase activity indicating that phosphorylation and dephosphorylation are involved in the regulation of the enzyme activity. Increasing the concentration of sodium fluoride from 0.25 mM to 10 mM increased glucan synthase activity five-fold over the + calcium + ATP control. Phosphorylation of membrane proteins also showed a similar increase under these conditions. Calmodulin, in the presence of calcium and ATP stimulated glucan synthase activity substantially, indicating that calmodulin could be involved in the calcium-dependent phosphorylation and promotion of beta-glucan synthase activity. The role of calcium in mediating auxin action is discussed.

NASA Program Space Biology↗

NASA NTRS2003

A quantitative study of oxygen as a metabolic regulator

An acute reduction in oxygen delivery to a tissue is associated with metabolic changes aimed at maintaining ATP homeostasis. However, given the complexity of the human bioenergetic system, it is difficult to determine quantitatively how cellular metabolic processes interact to maintain ATP homeostasis during stress (e.g., hypoxia, ischemia, and exercise). In particular, we are interested in determining mechanisms relating cellular oxygen concentration to observed metabolic responses at the cellular, tissue, organ, and whole body levels and in quantifying how changes in tissue oxygen availability affect the pathways of ATP synthesis and the metabolites that control these pathways. In this study, we extend a previously developed mathematical model of human bioenergetics, to provide a physicochemical framework that permits quantitative understanding of oxygen as a metabolic regulator. Specifically, the enhancement--sensitivity analysis--permits studying the effects of variations in tissue oxygenation and parameters controlling cellular respiration on glycolysis, lactate production, and pyruvate oxidation. The analysis can distinguish between parameters that must be determined accurately and those that require less precision, based on their effects on model predictions. This capability may prove to be important in optimizing experimental design, thus reducing use of animals.

Non-programmatic↗

NASA NTRS1994

Control of cytoskeletal mechanics by extracellular matrix, cell shape, and mechanical tension

We have investigated how extracellular matrix (ECM) alters the mechanical properties of the cytoskeleton (CSK). Mechanical stresses were applied to integrin receptors on the apical surfaces of adherent endothelial cells using RGD-coated ferromagnetic microbeads (5.5-microns diameter) in conjunction with a magnetic twisting device. Increasing the number of basal cell-ECM contacts by raising the fibronectin (FN) coating density from 10 to 500 ng/cm2 promoted cell spreading by fivefold and increased CSK stiffness, apparent viscosity, and permanent deformation all by more than twofold, as measured in response to maximal stress (40 dyne/cm2). When the applied stress was increased from 7 to 40 dyne/cm2, the stiffness and apparent viscosity of the CSK increased in parallel, although cell shape, ECM contacts, nor permanent deformation was altered. Application of the same stresses over a lower number ECM contacts using smaller beads (1.4-microns diameter) resulted in decreased CSK stiffness and apparent viscosity, confirming that this technique probes into the depth of the CSK and not just the cortical membrane. When magnetic measurements were carried out using cells whose membranes were disrupted and ATP stores depleted using saponin, CSK stiffness and apparent viscosity were found to rise by approximately 20%, whereas permanent deformation decreased by more than half. Addition of ATP (250 microM) under conditions that promote CSK tension generation in membrane-permeabilized cells resulted in decreases in CSK stiffness and apparent viscosity that could be detected within 2 min after ATP addition, before any measurable change in cell size.(ABSTRACT TRUNCATED AT 250 WORDS).

Non-NASA Center↗

NASA NTRS2007

DNA Recombinase Proteins, their Function and Structure in the Active Form, a Computational Study

Homologous recombination is a crucial sequence of reactions in all cells for the repair of double strand DNA (dsDNA) breaks. While it was traditionally considered as a means for generating genetic diversity, it is now known to be essential for restart of collapsed replication forks that have met a lesion on the DNA template (Cox et al., 2000). The central stage of this process requires the presence of the DNA recombinase protein, RecA in bacteria, RadA in archaea, or Rad51 in eukaryotes, which leads to an ATP-mediated DNA strand-exchange process. Despite many years of intense study, some aspects of the biochemical mechanism, and structure of the active form of recombinase proteins are not well understood. Our theoretical study is an attempt to shed light on the main structural and mechanistic issues encountered on the RecA of the e-coli, the RecA of the extremely radio resistant Deinococcus Radiodurans (promoting an inverse DNA strand-exchange repair), and the homolog human Rad51. The conformational changes are analyzed for the naked enzymes, and when they are linked to ATP and ADP. The average structures are determined over 2ns time scale of Langevian dynamics using a collision frequency of 1.0 ps(sup -1). The systems are inserted in an octahedron periodic box with a 10 Angstrom buffer of water molecules explicitly described by the TIP3P model. The corresponding binding free energies are calculated in an implicit solvent using the Poisson-Boltzmann solvent accessible surface area, MM-PBSA model. The role of the ATP is not only in stabilizing the interaction RecA-DNA, but its hydrolysis is required to allow the DNA strand-exchange to proceed. Furthermore, we extended our study, using the hybrid QM/MM method, on the mechanism of this chemical process. All the calculations were performed using the commercial code Amber 9.

Carra, Claudio↗

NASA NTRS2012

Calculating the Lightning Protection System Downconductors' Grounding Resistance at Launch Complex 39B, Kennedy Space Center

A new Lightning Protection System (LPS) was designed and built at Launch Complex 39B (LC39B), at the Kennedy Space Center (KSC), Florida, which consists of a catenary wire system (at a height of about 181 meters above ground level) supported by three insulators installed atop three towers in a triangular configuration. Nine downconductors (each about 250 meters long) are connected to the catenary wire system. Each downconductor is connected to a 7.62-meter-radius circular counterpoise conductor with six equally spaced, 6-meter-long vertical grounding rods. Grounding requirements at LC39B call for all underground and aboveground metallic piping, enclosures, raceways, and cable trays, within 7.62 meters of the counterpoise, to be bonded to the counterpoise, which results in a complex interconnected grounding system, given the many metallic piping, raceways, and cable trays that run in multiple directions around LC39B. The complexity of this grounding system makes the fall-of-potential method, which uses multiple metallic rods or stakes, unsuitable for measuring the grounding impedances of the downconductors. To calculate the grounding impedance of the downconductors, an Earth Ground Clamp (EGC) (a stakeless device for measuring grounding impedance) and an Alternative Transient Program (ATP) model of the LPS are used. The EGC is used to measure the loop impedance plus the grounding impedance of each downconductor, and the ATP model is used to calculate the loop impedance of each downconductor circuit. The grounding resistance of the downconductors is then calculated by subtracting the ATP calculated loop impedances from the EGC measurements.

Mata, Carlos T.↗

NASA NTRS2017

Lessons from Astrobiological Planetary Analogue Exploration in Iceland: Biomarker Assay Performance and Downselection

Understanding the sensitivity of biomarker assays to the local physicochemical environment, and the underlying spatial distribution of the target biomarkers in 'homogeneous' environments, can increase mission science return. We have conducted four expeditions to Icelandic Mars analogue sites in which an increasingly refined battery of physicochemical measurements and biomarker assays were performed, staggered with scouting of further sites. Completed expeditions took place in 2012 (location scouting and field assay use testing), 2013 (sampling of two major sites with three assays and observational physicochemical measurements), 2015 (repeat sampling of prior sites and one new site, scouting of new sites, three assays and three instruments), and 2016 (preliminary sampling of new sites with analysis of returned samples). Target sites were geologically recent basaltic lava flows, and sample loci were arranged in hierarchically nested grids at 10 cm, 1 m, 10 m, 100 m, and >1 km order scales, subject to field constraints. Assays were intended to represent a diversity of potential biomarker types (cell counting via nucleic acid staining and fluorescence microscopy, ATP quantification via luciferase luminescence, and relative DNA quantification with simple domain-level primers) rather a specific mission science target, and were selected to reduce laboratory overhead, require limited consumables, and allow rapid turnaround. All analytical work was performed in situ or in a field laboratory within a day's travel of the field sites unless otherwise noted. We have demonstrated the feasibility of performing ATP quantification and qPCR analysis in a field-based laboratory with single-day turnaround. The ATP assay was generally robust and reliable and required minimal field equipment and training to produce a large amount of useful data. DNA was successfully extracted from all samples, but the serial-batch nature of qPCR significantly limited the number of primers (hence classifications) and replicates that could be run in a single day. Fluorescence microscopy did not prove feasible under the same constraints, primarily due to the large number of person-hours required to view, analyze, and record results from the images; however, this could be mitigated with higher-quality imaging instruments and appropriate image analysis software.

Planetary↗

NASA NTRS2017

Field Exploration and Life Detection Sampling Through Planetary Analogue Sampling (FELDSPAR).

Exploration missions to Mars rely on rovers to perform analyses over small sampling areas; however, landing sites for these missions are selected based on large-scale, low-resolution remote data. The use of Earth analogue environments to estimate the multi-scale spatial distributions of key signatures of habitability can help ensure mission science goals are met. A main goal of FELDSPAR is to conduct field operations analogous to Mars sample return in its science, operations, and technology from landing site selection, to in-field sampling location selection, remote or stand-off analysis, in situ analysis, and home laboratory analysis. Lava fields and volcanic regions are relevant analogues to Martian landscapes due to desiccation, low nutrient availability, and temperature extremes. Operationally, many Icelandic lava fields are remote enough to require that field expeditions address several sampling constraints that are experienced in robotic exploration, including in situ and sample return missions. The Fimmvruhls lava field was formed by a basaltic effusive eruption associated with the 2010 Eyjafjallajkull eruption. Mlifellssandur is a recently deglaciated plain to the north of the Myrdalsjkull glacier. Holuhraun was formed by a 2014 fissure eruptions just north of the large Vatnajkull glacier. Dyngjusandur is an alluvial plain apparently kept barren by repeated mechanical weathering. Informed by our 2013 expedition, we collected samples in nested triangular grids every decade from the 10 cm scale to the 1 km scale (as permitted by the size of the site). Satellite imagery is available for older sites, and for Mlifellssandur, Holuhraun, and Dyngjusandur we obtained overhead imagery at 1 m to 200 m elevation. PanCam-style photographs were taken in the field by sampling personnel. In-field reflectance spectroscopy was also obtained with an ASD spectrometer in Dyngjusandur. All sites chosen were 'homogeneous' in apparent color, morphology, moisture, grain size, and reflectance spectra at all scales greater than 10 cm. Field lab assays were conducted to monitor microbial habitation, including ATP quantification, qPCR for fungal, bacterial, and archaeal DNA, and direct cell imaging using fluorescence microscopy. Home laboratory analyses include Raman spectroscopy and community sequencing. ATP appeared to be significantly more sensitive to small changes in sampling location than qPCR or fluorescence microscopy. Bacterial and archaeal DNA content were more consistent at the smaller scales, but similarly variable across more distant sites. Conversely, cell counts and fungal DNA content have significant local variation but appear relatively homogeneous over scales of 1 km. ATP, bacterial DNA, and archaeal DNA content were relatively well correlated at many spatial scales. While we have observed spatial variation at various scales and are beginning to observe how that variation fluctuates over time as biodiversity recovers after an eruption, we do not yet fully understand what parameters lead to the observed spatial variation. Home laboratory analyses will help us further understand the elemental and structural composition of the basaltic matrices, but further field analyses are vital for the understanding how temperature, moisture, incident radiation, and so forth influence the habitability of a microclimate.

Field↗