You limited your search to:

  Partner: UNT Libraries Government Documents Department
 Decade: 1980-1989
 Collection: Technical Report Archive and Image Library
Geotechnical Applications of the Self-Potential Method, Report 3: Development of Self-Potential Interpretation Techniques for Seepage Detection

Geotechnical Applications of the Self-Potential Method, Report 3: Development of Self-Potential Interpretation Techniques for Seepage Detection

Date: February 1989
Creator: Corwin, Robert W. & Butler, Dwain K.
Description: This report consists of four distinct but complementary parts: (a) a laboratory/field study of environmental effects on self-potential (SP) electrodes and long-term stability of the electrodes; (b) field investigations at Beaver Dam, Arkansas; (c) development of a computer program for interpretation of seepage-related SP field survey data; (d) development of an extensive bibliography and data base for acquisition and interpretation of seepage-related SP data.
Contributing Partner: UNT Libraries Government Documents Department
Interfacial Area Measurement Methods

Interfacial Area Measurement Methods

Date: February 1989
Creator: Tan, M. J. & Ishii, M.
Description: This report describes the ongoing development of experimental techniques for measurement of local specific interfacial area in gas-liquid and liquid-liquid two-phase systems. Mathematical relations between local specific interfacial area and measurable quantities are derived based on kinematics and geometry. Two methods for determining local specific interfacial area are identified; both entail detection of passage of interfaces through fixed locations in the flow field. A multiple-sensor electrical-resistivity-probe technique is being developed for determination of local specific interfacial area in vertical gas-liquid bubbly flows. The technique consists of simultaneous measurements at two or four locations in the two-phase flow field of the local electrical resistivity of the two-phase mixture. Methods for data analysis are described. Limitations of the technique are briefly discussed.
Contributing Partner: UNT Libraries Government Documents Department
Practical Superconductor Development for Electrical Power Applications, Annual Report: 1988

Practical Superconductor Development for Electrical Power Applications, Annual Report: 1988

Date: February 1989
Creator: Argonne National Laboratory. Materials and Components Technology Division.
Description: Annual report for the superconductor program at Argonne National Laboratory discussing the group's activities and research. This report documents research efforts aimed at producing superconducting components based on oxide systems.
Contributing Partner: UNT Libraries Government Documents Department
Activities and Operations of the Advanced Computing Research Facility : November 1987-December 1988

Activities and Operations of the Advanced Computing Research Facility : November 1987-December 1988

Date: January 1989
Creator: Pieper, Gail W.
Description: Report on the activities of Argonne Advanced Computing Research Facility, including LAPACK, vectorizing compilers, algorithm design and restructuring, automated deduction, three-dimensional scientific visualization, and graphics trace facilities.
Contributing Partner: UNT Libraries Government Documents Department
Depositional Controls on the Late Campanian Sego Sandstone and Implications for Associated Coal-Forming Environments in the Uinta and Piceance Basins

Depositional Controls on the Late Campanian Sego Sandstone and Implications for Associated Coal-Forming Environments in the Uinta and Piceance Basins

Date: 1989
Creator: Franczyk, Karen J.
Description: From abstract: This report concerns a comparison of detailed measured sections and geophysical well-log profiles through the Sego allows subsurface identification of both depositional cycles and lateral facies changes.
Contributing Partner: UNT Libraries Government Documents Department
Evolution of Sedimentary Basins--San Juan Basin: Chapters B-D

Evolution of Sedimentary Basins--San Juan Basin: Chapters B-D

Date: 1989
Creator: Dubiel, Russell F.; Ridgley, Jennie L.; Armstrong, Augustus K. & Holcomb, Lee D.
Description: From abstract: This report describes the depositional environments of the Chinle Formation that was deposited in a complex fluvial-deltaic-lacustrine system in the area of the present-day eastern San Juan basin and Chama basin. Lithofacies include conglomerate and planar- and trough-crossbedded sandstone; bentonitic mudstone and sandstone; black, organic carbon-rich mudstone; large-scale, trough crossstratified siltstone, sandstone, and mudstone; and thickbedded, bioturbated, fine-grained sandstone and siltstone.
Contributing Partner: UNT Libraries Government Documents Department
[Evolution of Sedimentary Basins--Uinta and Piceance Basins: Chapters H and I]

[Evolution of Sedimentary Basins--Uinta and Piceance Basins: Chapters H and I]

Date: 1989
Creator: Nuccio, Vito F.; Johnson, Ronald Carl & Johnson, Samuel Y.
Description: From abstract: Analysis of vitrinite reflectance profiles and surfaces of equal vitrinite reflectance in the southeastern part of the Piceance basin, northwestern Colorado, indicates that burial histories for the Divide Creek anticline and the Grand Hogback are different from those for adjacent synclines. These two positive structures probably reached their present-day thermal maturity before late Eocene folding and before the end of the Laramide orogeny. In contrast, adjacent synclines did not reach their present-day thermal maturity until the end of the Laramide orogeny, or possibly later.
Contributing Partner: UNT Libraries Government Documents Department
[Evolution of Sedimentary Basins--Uinta and Piceance Basins: Chapters J and K]

[Evolution of Sedimentary Basins--Uinta and Piceance Basins: Chapters J and K]

Date: 1989
Creator: Bryant, Bruce; Naeser, Charles W.; Marvin, Richard F. & Mehert, H. H.
Description: From abstract: This is a report on reconnaissance geologic mapping and isotopic dating of tuff beds in the Uinta Basin of Utah that show that Lake Uinta probably persisted into late Eocene time in the area east of Duchesne and Strawberry Reservoir.
Contributing Partner: UNT Libraries Government Documents Department
Geologic History and Hydrocarbon Potential of Late Cretaceous-Age, Low-Permeability Reservoirs, Piceance Basin, Western Colorado

Geologic History and Hydrocarbon Potential of Late Cretaceous-Age, Low-Permeability Reservoirs, Piceance Basin, Western Colorado

Date: 1989
Creator: Johnson, Ronald Carl
Description: From abstract: The Piceance basin of western Colorado contains large reserves of natural gas in low-permeability reservoirs of the Late Cretaceous-age Mesaverde Formation or Mesaverde Group. The gas accumulation can be divided into three general zones: a zone of surface-water invasion that extends inward a few miles from present outcrops, a gas-and-waterbearing zone that extends 10-20 miles inward from the water-bearing zone, and a central, predominantly gasbearing zone.
Contributing Partner: UNT Libraries Government Documents Department
Landslides and Debris Flows in Ephraim Canyon, Central Utah

Landslides and Debris Flows in Ephraim Canyon, Central Utah

Date: 1989
Creator: Baum, Rex L. & Fleming, Robert W.
Description: From Abstract: This report describes landslides and debris flows occurred in bedrock and surficial deposits of Ephraim Canyon, on the west side of the Wasatch Plateau, in central Utah, during the spring of 1983.
Contributing Partner: UNT Libraries Government Documents Department
OTTER 1.0 Users' Guide

OTTER 1.0 Users' Guide

Date: January 1989
Creator: McCune, William W.
Description: Otter is Other Techniques for Theorem-proving and Effective Research), a revolution-style theorem-proving program for first-order logic with equality.
Contributing Partner: UNT Libraries Government Documents Department
Petrography, Mineralogy, and Reservoir Characteristics of the Upper Cretaceous Mesaverde Group in the East-Central Piceance Basin, Colorado

Petrography, Mineralogy, and Reservoir Characteristics of the Upper Cretaceous Mesaverde Group in the East-Central Piceance Basin, Colorado

Date: 1989
Creator: Pitman, Janet K.; Pollastro, Richard M. & Spencer, Charles Winthrop
Description: From abstract: Three closely spaced wells drilled through the Upper Cretaceous Mesaverde Group and were extensively cored and logged in order to identify the factors controlling the occurrence and distribution of gas in low-permeability rocks and to improve recovery technology.
Contributing Partner: UNT Libraries Government Documents Department
The Theory of the Pitot and Venturi Tubes, Part 2

The Theory of the Pitot and Venturi Tubes, Part 2

Date: January 1, 1989
Creator: Buckingham, E.
Description: None
Contributing Partner: UNT Libraries Government Documents Department
Calculations of Atomic Sputtering and Displacement Cross-Sections in Solid Elements by Electrons with Energies from Threshold to 1.5 MV

Calculations of Atomic Sputtering and Displacement Cross-Sections in Solid Elements by Electrons with Energies from Threshold to 1.5 MV

Date: December 1988
Creator: Bradley, C. R.
Description: Report on the kinetics of knock-on collisions of relativistic electrons with nuclei and details of the numerical evaluation of differential, recoil, and total Mott cross-sections.
Contributing Partner: UNT Libraries Government Documents Department
Coastal Cliff Sediments, San Diego Region, Dana Point to the Mexican Border (1887 to 1947)

Coastal Cliff Sediments, San Diego Region, Dana Point to the Mexican Border (1887 to 1947)

Date: December 1988
Creator: unknown
Description: From Summary: These studies document the temporally episodic and areally site-specific character of subaerial erosion, which is shown to be directly related to prevailing meteorologic conditions.
Contributing Partner: UNT Libraries Government Documents Department
Accurate and Efficient Testing of the Exponential and Logarithm Functions in Ada

Accurate and Efficient Testing of the Exponential and Logarithm Functions in Ada

Date: November 1988
Creator: Tang, Ping Tak Peter
Description: Report of how table-driven techniques can be used to test highly accurate implementations of EXP and LOG.
Contributing Partner: UNT Libraries Government Documents Department
Development of Nuclear Magnetic Resonance (NMR) Imaging Technology for Advanced Ceramics

Development of Nuclear Magnetic Resonance (NMR) Imaging Technology for Advanced Ceramics

Date: November 1988
Creator: Ellingson, William A.; Ackerman, J. L.; Garrido, L.; Wong, P. S. & Gronemeyer, S.
Description: Report on application of nuclear magnetic resonance imaging to map the distribution of organic binder/plasticizers in cold-pressed ceramic parts.
Contributing Partner: UNT Libraries Government Documents Department
Proceedings of the Workshop on Advanced Computer Technologies and Biological Sequencing : Held at Argonne National Laboratory, November 3-5, 1988

Proceedings of the Workshop on Advanced Computer Technologies and Biological Sequencing : Held at Argonne National Laboratory, November 3-5, 1988

Date: November 1988
Creator: Argonne National Laboratory. Mathematics and Computer Science Division.
Description: Report on utilization of advanced computer technologies in biological sequencing.
Contributing Partner: UNT Libraries Government Documents Department
Vectorizing Compilers : a Test Suite and Results

Vectorizing Compilers : a Test Suite and Results

Date: November 1988
Creator: Callahan, David; Dongarra, J. J. & Levine, David
Description: Report describing a collection of 100 Fortran loops used to test the effectiveness of an automatic vectorizing compiler.
Contributing Partner: UNT Libraries Government Documents Department
Nuclear Technology Programs Semiannual Progress Report: October 1986-March 1987

Nuclear Technology Programs Semiannual Progress Report: October 1986-March 1987

Date: October 1988
Creator: Argonne National Laboratory. Chemical Technology Division.
Description: Progress report of the Argonne National Laboratory's Nuclear Technology Programs, including applied chemistry, separation science and technology, and high-level waste and repository interactions.
Contributing Partner: UNT Libraries Government Documents Department
LAPACK Working Note #5 : Provisional Contents

LAPACK Working Note #5 : Provisional Contents

Date: September 1988
Creator: Bischof, Chris; Demmel, James; Dongarra, J. J.; Du Croz, Jeremy; Greenbaum, Anne; Hammarling, Sven et al.
Description: Report on the proposed computational routines in LAPACK, describing a naming scheme for the routines, enumerates the individual routines, and includes notes on the choice of algorithms and discusses aspects of software design.
Contributing Partner: UNT Libraries Government Documents Department
Operational Health Physics Training

Operational Health Physics Training

Date: September 1988
Creator: Moe, H. J. & Vallario, Edward J.
Description: Report is an update to 1965 publication regarding on-the-job monitoring training for Health Physics technicians.
Contributing Partner: UNT Libraries Government Documents Department
Proceedings of the Focused Research Program on Spectral Theory and Boundary Value Problems, Vol. 2: Singular Differential Equations

Proceedings of the Focused Research Program on Spectral Theory and Boundary Value Problems, Vol. 2: Singular Differential Equations

Date: September 1988
Creator: Kaper, H. G.; Kwong, Man Kam & Zettl, Anton
Description: Report on research and exchange of views among 24 mathematicians for investigations of the theory of singular Sturm-Liouville equations, the asymptotic analysis of the Titchmarsh-Weyl m(λ)-coefficient, and the qualitative theory of non-linear differential equations.
Contributing Partner: UNT Libraries Government Documents Department
Searching for Fixed Point Combinators by Using Automated Theorem Proving : a Preliminary Report

Searching for Fixed Point Combinators by Using Automated Theorem Proving : a Preliminary Report

Date: September 1988
Creator: Wos, Larry
Description: In this report, we establish that the use of an automated theorem- proving program to study deep questions from mathematics and logic is indeed an excellent move. Among such problems, we focus mainly on that concerning the construction of fixed point combinators--a problem considered by logicians to be significant and difficult to solve, and often computationally intensive and arduous. To be a fixed point combinator, THETA must satisfy the equation THETAx = x(THETAx) for all combinators x. The specific questions on which we focus most heavily ask, for each chosen set of combinators, whether a fixed point combinator can be constructed from the members of that set. For answering questions of this type, we present a new, sound, and efficient method, called the kernel method, which can be applied quite easily by hand and very easily by an automated theorem-proving program. For the application of the kernel method by a theorem-proving program, we illustrate the vital role that is played by both paramodulation and demodulation--two of the powerful features frequently offered by an automated theorem-proving program for treating equality as if it is ''understood.'' We also state a conjecture that, if proved, establishes the completeness of the kernel method. From ...
Contributing Partner: UNT Libraries Government Documents Department