Search USGS⌕ Search

SEARCH · Search USGS

Results for “Mathematics of Computation”

Search indexed USGS publications on groundwater, aquifers, geologic maps, mineral resources and earthquakes. Explore source records by subject and place.

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

At least 109 records · Page 6Linked to original sources

MODFLOW-2005 : the U.S. Geological Survey modular ground-water model--the ground-water flow process

This report presents MODFLOW-2005, which is a new version of the finite-difference ground-water model commonly called MODFLOW. Ground-water flow is simulated using a block-centered finite-difference approach. Layers can be simulated as confined or unconfined. Flow associated with external stresses, such as wells, areal recharge, evapotranspiration, drains, and rivers, also can be simulated. The report includes detailed explanations of physical and mathematical concepts on which the model is based, an explanation of how those concepts are incorporated in the modular structure of the computer program, instructions for using the model, and details of the computer code. The modular structure consists of a MAIN Program and a series of highly independent subroutines. The subroutines are grouped into 'packages.' Each package deals with a specific feature of the hydrologic system that is to be simulated, such as flow from rivers or flow into drains, or with a specific method of solving the set of simultaneous equations resulting from the finite-difference method. Several solution methods are incorporated, including the Preconditioned Conjugate-Gradient method. The division of the program into packages permits the user to examine specific hydrologic features of the model independently. This also facilitates development of additional capabilities because new packages can be added to the program without modifying the existing packages. The input and output systems of the computer program also are designed to permit maximum flexibility. The program is designed to allow other capabilities, such as transport and optimization, to be incorporated, but this report is limited to describing the ground-water flow capability. The program is written in Fortran 90 and will run without modification on most computers that have a Fortran 90 compiler.

Techniques and Methods↗

Stream temperature investigations: field and analytic methods

This document provides guidance to the user of the U.S. Fish and Wildlife Service’s Stream Network Temperature Model (SNTEMP). Planning a temperature study is discussed in terms of understanding the management objectives and ensuring that the questions will be accurately answered with the modeling approach being used. A sensitivity analysis of SNTEMP is presented to illustrate which input variables are most important in predicting stream temperatures. This information helps prioritize data collection activities, highlights the need for quality control, focuses on which parameters can be estimated rather than measured, and offers a broader perspective on management options in terms of knowing where the biggest temperature response will be felt. All of the major input variables for stream geometry, meteorology, and hydrology are discussed in detail. Each variable is defined, with guidance given on how to measure it, what kind of equipment to use, where to obtain it from another agency, and how to calculate it if the data are in a form other than that required by SNTEMP. Examples are presented for the various forms in which water temperature, discharge, and meteorological data are commonly found. Ranges of values for certain input variables that are difficult to measure of estimate are given. Particular attention is given to those variables not commonly understood by field biologists likely to be involved in a stream temperature study. Pertinent literature is cited for each variable, with emphasis on how other people have treated particular problems and on results they have found. Model calibration, verification, and validation steps are defined and outlines, with measures of "goodness-of-fit" given for comparing simulated stream temperatures with observed values. The question of how good is good enough is explored, and attention is given to the kinds of simulation and data reduction errors that one should be alert for. Some special cases dealing with ice and reservoir temperature are mentioned. Special attention is given to understanding micro-thermal habitats that act as important thermal refugia under low flow conditions; their causes, extent, and management implications are discussed. Alternative public domain stream and reservoir temperature models are contrasted with SNTEMP. A distinction is made between steady-flow and dynamic-flow models and their respective capabilities. Regression models are offered as an alternative approach for some situations, with appropriate mathematical formulas suggested. Appendices provide information on State and Federal agencies that are good data sources, vendors for field instrumentation, and small computer programs useful in data reduction.

Report↗

Acidity and alkalinity in mine drainage: Theoretical considerations

Acidity, net acidity, and net alkalinity are widely used parameters for the characterization of mine drainage, but these terms are not well defined and are often misunderstood. Incorrect interpretation of acidity, alkalinity, and derivative terms can lead to inadequate treatment design or poor regulatory decisions. We briefly explain derivations of theoretical expressions of three types of alkalinities (caustic, phenolphthalein, and total) and acidities (mineral, CO 2 , and total). Theoretically defined total alkalinity is closely analogous to measured alkalinity and presents few practical interpretation problems. Theoretically defined “CO 2- acidity” is closely related to most standard titration methods used for mine drainage with an endpoint pH of 8.3, but it presents numerous interpretation problems, and it is unfortunately named because CO 2 is intentionally driven off during titration of mine-drainage samples. Using the proton condition/massaction approach and employing graphs for visualization, we explore the concept of principal components and how to assign acidity contributions to solution species, including aqueous complexes, commonly found in mine drainage. We define a comprehensive theoretical definition of acidity in mine drainage on the basis of aqueous speciation at the sample pH and the capacity of these species to undergo hydrolysis to pH 8.3. This definition indicates the computed acidity in milligrams per liter (mg L -1 ) as CaCO 3 (based on pH and analytical concentrations of dissolved Fe III , Fe II , Mn, and Al in mg L -1 ): Acidity computed = 50. (10 (3-pH) + 3.C FeIII /55.8 + 2.C FeII /55.8 + 2.C Mn /54.9 + 3.C Al /27.0) underestimates contributions from HSO 4 - and H + , but overestimates the acidity due to Fe 3+ . These errors tend to approximately cancel each other. We demonstrate that “net alkalinity” is a valid mathematical construction based on theoretical definitions of alkalinity and acidity. We demonstrate that, for most mine-drainage solutions, a useful net alkalinity value can be derived from: 1) alkalinity and acidity values based on aqueous speciation, 2) measured alkalinity - computed acidity, or 3) taking the negative of the value obtained in a standard method “hot peroxide” acidity titration, provided that labs report negative values . We recommend the third approach; i.e., Net alkalinity = - Hot Acidity.

Conference Paper↗

Flood-frequency analysis for small natural streams in Georgia

Flood information from 104 project basins (0.1 to 20 square miles) and data available from 170 larger basins (20 to 1,500 square miles) are analyzed to provide planners and designers with relations for estimating the magnitude and frequency of flood-peak discharges on small natural streams in Georgia. In 1963 the U.S. Geological Survey, in cooperation with the Georgia Department of Transportation and the Federal Highway Administration,U.S. Department of Transportation, began this program to collect and analyze flood-peak data from small drainage basins. More than 90 percent of the project activity was directed toward the acquisition and processing of data for more than two thousand rainfall-runoff periods occurring during 1964-74 at the 104 project stations. Storm rainfall data were computed at 5-minute intervals from records of six long-term (about 75 years) National Weather Service stations. The U.S. Geological Survey mathematical rainfall-runoff model is used to synthesize long-term flood records for about 80 percent of the project stations. Station flood-frequency data are developed, using the log-Pearson Type III distribution with regionalized skew coefficients. Multiple regression analysis is used to define relations between flood-frequency station data for small and large streams and 10 physical and climatological basin characteristics. The analysis indicates the drainage-basin size is the most significant variable. Five regions having distinct flood-peak characteristics are delineated. One of these regions, known as the Sand Hills, has not been delineated previously as an area of "low" flood runoff. The developed relations, expressed as equations and nomographs, are considered usable for virtually any site in Georgia where ne drainage area is between 0.1 and 20 square miles, and the flow is natural.

Georgia↗

A computer program for uncertainty analysis integrating regression and Bayesian methods

This work develops a new functionality in UCODE_2014 to evaluate Bayesian credible intervals using the Markov Chain Monte Carlo (MCMC) method. The MCMC capability in UCODE_2014 is based on the FORTRAN version of the differential evolution adaptive Metropolis (DREAM) algorithm of Vrugt et al. (2009), which estimates the posterior probability density function of model parameters in high-dimensional and multimodal sampling problems. The UCODE MCMC capability provides eleven prior probability distributions and three ways to initialize the sampling process. It evaluates parametric and predictive uncertainties and it has parallel computing capability based on multiple chains to accelerate the sampling process. This paper tests and demonstrates the MCMC capability using a 10-dimensional multimodal mathematical function, a 100-dimensional Gaussian function, and a groundwater reactive transport model. The use of the MCMC capability is made straightforward and flexible by adopting the JUPITER API protocol. With the new MCMC capability, UCODE_2014 can be used to calculate three types of uncertainty intervals, which all can account for prior information: (1) linear confidence intervals which require linearity and Gaussian error assumptions and typically 10s–100s of highly parallelizable model runs after optimization, (2) nonlinear confidence intervals which require a smooth objective function surface and Gaussian observation error assumptions and typically 100s–1,000s of partially parallelizable model runs after optimization, and (3) MCMC Bayesian credible intervals which require few assumptions and commonly 10,000s–100,000s or more partially parallelizable model runs. Ready access allows users to select methods best suited to their work, and to compare methods in many circumstances.

Environmental Modelling and Software↗

A snapshot of women of the U.S. Geological Survey in STEM and related careers

Introduction The term “STEM” has been used to group together the fields of science, technology, engineering, and mathematics and to describe education and professions related to these fields. The professional fields connected to STEM education are thought of as engineering, medicine, and computer technology. Yet these professional fields are merely the tip of the iceberg. Numerous opportunities in these fields encompass environmental research. The possibilities range from predicting the next earthquake to saving polar bears from extinction to developing a vaccine for salmon measles. The science of natural systems is complex and often requires people from a variety of fields of expertise to make headway with a solution. To that end, the U.S. Geological Survey (USGS) has long recognized the need for a diversity of STEM expertise to address the Nation’s environmental research needs and the vision to facilitate integration of these fields. We are team builders! In this book, we point out the many facets of research carried out by USGS STEM scientists in an effort to show career options and pathways not typically pursued. The women portrayed were selected by USGS associate and regional directors as representative of particular fields and to inspire future generations.

Circular↗

FEMFLOW3D; a finite-element program for the simulation of three-dimensional aquifers; version 1.0

This document describes a computer program that simulates three-dimensional ground- water systems using the finite-element method. The program was developed to simulate regional ground-water systems, but it can be applied to small-scale problems as well. This program can be used to simulate both confined and water-table aquifers. The program simulates a linearized three-dimensional free-surface ground-water system with a fixed grid. FEMFLOW3D is applicable to the simulation of various free-surface ground-water systems for which the change in aquifer thickness is small relative to the overall aquifer thickness. The finite-element method provides flexibility in the design of a geometric grid that represents the physical dimensions of an aquifer system. For example, features that can be well represented with a finite-element grid include irregular, random geographic and geologic features; irregular boundaries; and increased detail within localized areas of particular interest within the study area. The structure of the computer program consists of a main program, which serves as a simple driver, and a set of subroutines in which the calculations are performed. The background, mathematical basis, structure, and inputs for each of the subroutines are described in the document where applicable. Each subroutine generally handles (1) a part of the mathematical calculations related to the finite-element method, (2) a specific feature of the hydrologic system, or (3) special features related to the management input or output data. Hydrologic features that can be represented with the program include stream-aquifer interactions, phreatophytic evapotranspiration, highly permeable fault zones, land subsidence, and land-aquifer interactions associated with land-use activities. The program can also represent the primary features associated with complex irrigation systems, such as irrigated agriculture, and can calculate the ground-water recharge that results from these activities. Three boundary conditions, including specified-head boundaries, specified-flux boundaries, and variable-flux boundaries, can be represented with the program. The program also provides a method for identifying aquifer and river-bed parameters that can be used in the calibration of models. This document also includes model validation, source code, and example input and output files. Model validation was performed using four test problems. For each test problem, the results of a model simulation with FEMFLOW3D were compared with either an analytic solution or the results of an independent numerical approach. The source code, written in the ANSI x3.9-1978 FORTRAN standard, and the complete input and output of an example problem are listed in the appendixes.

Open-File Report↗

Computational methodology to analyze the effect of mass transfer rate on attenuation of leaked carbon dioxide in shallow aquifers

Exsolution and re-dissolution of CO 2 gas within heterogeneous porous media are investigated using experimental data and mathematical modeling. In a set of bench-scale experiments, water saturated with CO 2 under a given pressure is injected into a 2-D water-saturated porous media system, causing CO 2 gas to exsolve and migrate upwards. A layer of fine sand mimicking a heterogeneity within a shallow aquifer is present in the tank to study accumulation and trapping of exsolved CO 2 . Then, clean water is injected into the system and the accumulated CO 2 dissolves back into the flowing water. Simulated exsolution and dissolution mass transfer processes are studied using both nearequilibrium and kinetic approaches and compared to experimental data under conditions that do and do not include lateral background water flow. The mathematical model is based on the mixed hybrid finite element method that allows for accurate simulation of both advection- and diffusion- dominated processes.

Acta Polytechnica↗

Flood frequency of Mississippi streams

Techniques have been developed for estimating future flood magnitudes having recurrence intervals as great as 100 years. Estimates for gaged sites were obtained by application of the log-Pearson Type III frequency distribution. Estimates for ungaged sites are defined by mathematical relations which may be solved using data from topographic maps. Nomographs were designed for making rapid estimates for floodfrequency values. Snythetic records generated by a digital computer Model of the rainfall-runoff process for drainage areas ranging from 0.04 to 4.35 square miles (0.1 to 11.3 square kilometres) were combined with long-term observed records to define the relation of basic characteristics to flood frequency on drainage areas as great as 6,630 square miles (17,200 square kilometres). Multiple-regression techniques indicated that drainage area, slope, and length were the most significant variables affecting flood frequency.

Mississippi↗

Uncertainty quantification for environmental models

Environmental models are used to evaluate the fate of fertilizers in agricultural settings (including soil denitrification), the degradation of hydrocarbons at spill sites, and water supply for people and ecosystems in small to large basins and cities—to mention but a few applications of these models. They also play a role in understanding and diagnosing potential environmental impacts of global climate change. The models are typically mildly to extremely nonlinear. The persistent demand for enhanced dynamics and resolution to improve model realism [17] means that lengthy individual model execution times will remain common, notwithstanding continued enhancements in computer power. In addition, high-dimensional parameter spaces are often defined, which increases the number of model runs required to quantify uncertainty [2]. Some environmental modeling projects have access to extensive funding and computational resources; many do not. The many recent studies of uncertainty quantification in environmental model predictions have focused on uncertainties related to data error and sparsity of data, expert judgment expressed mathematically through prior information, poorly known parameter values, and model structure (see, for example, [1,7,9,10,13,18]). Approaches for quantifying uncertainty include frequentist (potentially with prior information [7,9]), Bayesian [13,18,19], and likelihood-based. A few of the numerous methods, including some sensitivity and inverse methods with consequences for understanding and quantifying uncertainty, are as follows: Bayesian hierarchical modeling and Bayesian model averaging; single-objective optimization with error-based weighting [7] and multi-objective optimization [3]; methods based on local derivatives [2,7,10]; screening methods like OAT (one at a time) and the method of Morris [14]; FAST (Fourier amplitude sensitivity testing) [14]; the Sobol' method [14]; randomized maximum likelihood [10]; Markov chain Monte Carlo (MCMC) [10]. There are also bootstrapping and cross-validation approaches.Sometimes analyses are conducted using surrogate models [12]. The availability of so many options can be confusing. Categorizing methods based on fundamental questions assists in communicating the essential results of uncertainty analyses to stakeholders. Such questions can focus on model adequacy (e.g., How well does the model reproduce observed system characteristics and dynamics?) and sensitivity analysis (e.g., What parameters can be estimated with available data? What observations are important to parameters and predictions? What parameters are important to predictions?), as well as on the uncertainty quantification (e.g., How accurate and precise are the predictions?). The methods can also be classified by the number of model runs required: few (10s to 1000s) or many (10,000s to 1,000,000s). Of the methods listed above, the most computationally frugal are generally those based on local derivatives; MCMC methods tend to be among the most computationally demanding. Surrogate models (emulators)do not necessarily produce computational frugality because many runs of the full model are generally needed to create a meaningful surrogate model. With this categorization, we can, in general, address all the fundamental questions mentioned above using either computationally frugal or demanding methods. Model development and analysis can thus be conducted consistently using either computation-ally frugal or demanding methods; alternatively, different fundamental questions can be addressed using methods that require different levels of effort. Based on this perspective, we pose the question: Can computationally frugal methods be useful companions to computationally demanding meth-ods? The reliability of computationally frugal methods generally depends on the model being reasonably linear, which usually means smooth nonlin-earities and the assumption of Gaussian errors; both tend to be more valid with more linear

SIAM News↗

HyWaves: Hybrid downscaling of multimodal wave spectra to nearshore areas

Long-term and accurate wave hindcast databases are often required in different coastal engineering projects. The assessment of the nearshore wave climate is often accomplished by using downscaling techniques to translate offshore waves to coastal areas. However, dynamical downscaling approaches may incur huge computational cost. Additionally, the common use of bulk parameterizations are often not accurate for multidimensional waves. To overcome these limitations, we present a hybrid downscaling approach that combines mathematical algorithms (statistical downscaling) and numerical modeling (dynamical downscaling) over the individual spectral partitions. Every wave partition is downscaled and aggregated afterward by using principles of wave linear theory. By assuming linearity in the propagation of the wave celerity, the application of the method is limited from offshore to intermediate water depths. In addition, the method proposed uses a technique to simplify the spectral boundary conditions in complex domains. The methodology has been applied and validated in the island states of Samoa, American Samoa, Majuro, and Kwajalein, showing good skill at reproducing the spectral hourly time series of significant wave height, peak period, and peak direction. Moreover, an accurate representation of the observed energy spectrum was achieved. This study provides insight into the numerical approximation of the combined sea-swell states while improving the quality of fast spectral forecasting and early warning systems.

Ocean Modeling↗

A distribution-based parameterization for improved tomographic imaging of solute plumes

Difference geophysical tomography (e.g. radar, resistivity and seismic) is used increasingly for imaging fluid flow and mass transport associated with natural and engineered hydrologic phenomena, including tracer experiments, in situ remediation and aquifer storage and recovery. Tomographic data are collected over time, inverted and differenced against a background image to produce ‘snapshots’ revealing changes to the system; these snapshots readily provide qualitative information on the location and morphology of plumes of injected tracer, remedial amendment or stored water. In principle, geometric moments (i.e. total mass, centres of mass, spread, etc.) calculated from difference tomograms can provide further quantitative insight into the rates of advection, dispersion and mass transfer; however, recent work has shown that moments calculated from tomograms are commonly biased, as they are strongly affected by the subjective choice of regularization criteria. Conventional approaches to regularization (Tikhonov) and parametrization (image pixels) result in tomograms which are subject to artefacts such as smearing or pixel estimates taking on the sign opposite to that expected for the plume under study. Here, we demonstrate a novel parametrization for imaging plumes associated with hydrologic phenomena. Capitalizing on the mathematical analogy between moment-based descriptors of plumes and the moment-based parameters of probability distributions, we design an inverse problem that (1) is overdetermined and computationally efficient because the image is described by only a few parameters, (2) produces tomograms consistent with expected plume behaviour (e.g. changes of one sign relative to the background image), (3) yields parameter estimates that are readily interpreted for plume morphology and offer direct insight into hydrologic processes and (4) requires comparatively few data to achieve reasonable model estimates. We demonstrate the approach in a series of numerical examples based on straight-ray difference-attenuation radar monitoring of the transport of an ionic tracer, and show that the methodology outlined here is particularly effective when limited data are available.

Geophysical Journal International↗

Approaches to highly parameterized inversion: Pilot-point theory, guidelines, and research directions

Pilot points have been used in geophysics and hydrogeology for at least 30 years as a means to bridge the gap between estimating a parameter value in every cell of a model and subdividing models into a small number of homogeneous zones. Pilot points serve as surrogate parameters at which values are estimated in the inverse-modeling process, and their values are interpolated onto the modeling domain in such a way that heterogeneity can be represented at a much lower computational cost than trying to estimate parameters in every cell of a model. Although the use of pilot points is increasingly common, there are few works documenting the mathematical implications of their use and even fewer sources of guidelines for their implementation in hydrogeologic modeling studies. This report describes the mathematics of pilot-point use, provides guidelines for their use in the parameter-estimation software suite (PEST), and outlines several research directions. Two key attributes for pilot-point definitions are highlighted. First, the difference between the information contained in the every-cell parameter field and the surrogate parameter field created using pilot points should be in the realm of parameters which are not informed by the observed data (the null space). Second, the interpolation scheme for projecting pilot-point values onto model cells ideally should be orthogonal. These attributes are informed by the mathematics and have important ramifications for both the guidelines and suggestions for future research.

Scientific Investigations Report↗

New method for calculating a mathematical expression for streamflow recession

An empirical method has been devised to calculate the master recession curve, which is a mathematical expression for streamflow recession during times of negligible direct runoff. The method is based on the assumption that the storage-delay factor, which is the time per log cycle of streamflow recession, varies linearly with the logarithm of streamflow. The resulting master recession curve can be nonlinear. The method can be executed by a computer program that reads a data file of daily mean streamflow, then allows the user to select several near-linear segments of streamflow recession. The storage-delay factor for each segment is one of the coefficients of the equation that results from linear least-squares regression. Using results for each recession segment, a mathematical expression of the storage-delay factor as a function of the log of streamflow is determined by linear least-squares regression. The master recession curve, which is a second-order polynomial expression for time as a function of log of streamflow, is then derived using the coefficients of this function.

Conference Paper↗

Simulation studies of flow and sediment transport using a mathematical model, Atchafalaya River Basin, Louisiana

Simulation studies were made of flow and sediment transport for the Atchafalaya River basin, Louisiana using a mathematical model calibrated and supplied by the Hydrologic Engineering Center and the New Orleans District, U.S. Army Corps of Engineers. The study results are based on three, 50-year computer simulations for the following alternatives: (1) no-action alternative, (2) channelization with a center-channel flow area of 80,000 sq ft, and (3) channelization with a center-channel flow area of 100,000 sq ft. Analyses of the simulated data base for depth-frequency, inundated-area, floodway cross-section and water-surface profile relationships were made for 10 flow rates. The analyses indicate a general trend of aggradation in the lower part of the floodway with a consequent trend toward increasing the inundated area, especially at higher flood flows.

Louisiana↗

Documentation of a Regional Aquifer Simulation Model, RAQSIM, and a description of support programs applied in the Twin Platte-Middle Republican Study Area, Nebraska

RAQSIM, a generalized flow model of a groundwater system using finite-element methods, is documented to explain how it works and to demonstrate that it gives valid results. Three support programs that are used to compute recharge and discharge data required as input to RAQSIM are described. RAQSIM was developed to solve transient, two-dimensional, regional groundwater flow problems with isotropic or anisotropic conductance. The model can also simulate radially-symmetric flow to a well and steady-state flow. The mathematical basis, program structure, data input and output procedures, organization of data sets, and program features and options of RAQSIM are discussed. An example , containing listings of data and results and illustrating RAQSIM 's capabilities, is discussed in detail. Two test problems also are discussed comparing RAQSIM 's results with analytical procedures. The first support program described, the PET Program, uses solar radiation and other climatic data in the Jensen-Haise method to compute potential evapotranspiration. The second support program, the Soil-Water Program, uses output from the PET Program, soil characteristics, and the ratio of potential to actual evapotranspiration for each crop to compute infiltration, storage, and removal of water from the soil zone. The third program, the Recharge-Discharge Program, uses output from the Soil-Water Program together with other data to compute recharge and discharge from the groundwater flow system. For each support program, a program listing and examples of the data and results for the Twin Platte-Middle Republican study are provided. In addition, a brief discussion on how each program operates and on procedures for running and modifying these programs are presented. (Author 's abstract)

Nebraska↗

A satellite-based digital data system for low-frequency geophysical data

A reliable method for collection, display, and analysis of low-frequency geophysical data from isolated sites, which can be throughout North and South America and the Pacific Rim, has been developed for use with the Geostationary Operational Environmental Satellite (GOES) system. Geophysical data primarily intended for earthquake hazard and crustal deformation monitoring are digitized with either 12-bit or 16-bit resolution and transmitted every 10 min through a satellite link to a bank of UNIX-based computers in Menlo Park, California. There the data are available for analysis and display within a few seconds of their transmit time. This system provides real-time monitoring of crustal deformation parameters such as tilt, strain, fault displacement, local magnetic field, crustal geochemistry, and water levels, as well as meteorological and other parameters, along faults in California and Alaska, and in volcanic regions in the western United States, Rabaul, and other locations in the New Britain region of the South Pacific. Various mathematical, statistical, and graphical algorithms process the incoming data to detect changes in crustal deformation and fault slip that may indicate the first stages of catastrophic fault failure. Alert trigger levels based on physical models, signal resolution, and previous history have been defined for particular instrument types. Computer-driven remote paging and mail systems are used to notify appropriate personnel when alarm status is reached. The system supports continuous historical records of low-frequency geophysical data, software for extensive analysis of these data, and programs for modeling fault rupture with and without seismic radiation, as well as providing an environment for real-time attempts at earthquake prediction.

Bulletin of the Seismological Society of America↗