You limited your search to:

  Partner: UNT Libraries Government Documents Department
 Decade: 1980-1989
 Collection: Technical Report Archive and Image Library
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
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
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
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
Users' Guide to Toolpack/1 Tools for Data Dependency Analysis and Program Transformation

Users' Guide to Toolpack/1 Tools for Data Dependency Analysis and Program Transformation

Date: September 1988
Creator: Cowell, Wayne R.
Description: A guide to the use of a collection of software tools for data dependency analysis and program transformation, written in Fortran and for a Unix environment.
Contributing Partner: UNT Libraries Government Documents Department
X-Ray Computed Tomography for Nondestructive Evaluation of Advanced Structural Ceramics

X-Ray Computed Tomography for Nondestructive Evaluation of Advanced Structural Ceramics

Date: September 1988
Creator: Ellingson, William A. & Vannier, Michael W.
Description: Report on the current status of X-ray computed tomography and the principal advantages of CT scanning.
Contributing Partner: UNT Libraries Government Documents Department
Laboratory Tests in Support of Atmospheric Fluidized-Bed Cogeneration Air Heater Experiment : Summary Report

Laboratory Tests in Support of Atmospheric Fluidized-Bed Cogeneration Air Heater Experiment : Summary Report

Date: July 1988
Creator: Natesan, K. & Podolski, W. F.
Description: Report of activities at Argonne involving the Atmospheric Fluidized-Bed Cogeneration Air Heater Experiment.
Contributing Partner: UNT Libraries Government Documents Department
Environmental Research Division Technical Progress Report: January 1986-October 1987

Environmental Research Division Technical Progress Report: January 1986-October 1987

Date: June 1988
Creator: Argonne National Laboratory. Environmental Research Division.
Description: Report of Argonne Environmental Research Division activities, including atmospheric physics, environmental effects research, organic geochemistry and environmental instrumentation, and fundamental molecular physics and chemistry.
Contributing Partner: UNT Libraries Government Documents Department
Laboratory-Scale Study of Electrolytic Reduction of Uranium Oxides

Laboratory-Scale Study of Electrolytic Reduction of Uranium Oxides

Date: June 1988
Creator: Poa, D. S.; Burris, L.; Steunenberg, R. K. & Tomczuk, Z.
Description: Report of an exploratory study undertaken to investigate potential improvements in the electrolytic reduction of uranium oxide to the metal.
Contributing Partner: UNT Libraries Government Documents Department
Physics Division Annual Review: April 1, 1987-March 31, 1988

Physics Division Annual Review: April 1, 1987-March 31, 1988

Date: June 1988
Creator: Argonne National Laboratory. Physics Division.
Description: Annual report of activities of the Argonne National Laboratory Physics Division, including ATLAS research, medium-energy nuclear physics and weak interactions, theoretical nuclear physics, and atomic and various molecular physics research.
Contributing Partner: UNT Libraries Government Documents Department
Retrogressive Failures in Sand Deposits of the Mississippi River, Report 1: Field Investigations, Laboratory Studies and Analysis of the Hypothesized Failure Mechanism

Retrogressive Failures in Sand Deposits of the Mississippi River, Report 1: Field Investigations, Laboratory Studies and Analysis of the Hypothesized Failure Mechanism

Date: June 1988
Creator: Torrey, Victor H., III; Dunbar, Joseph B. & Peterson, Richard W.
Description: First report regarding geotechnical field investigations meant to apply current state-of-the-art knowledge and methods to assessing the in situ characteristics of susceptible point bar deposits below Baton Rouge.
Contributing Partner: UNT Libraries Government Documents Department
Retrogressive Failures in Sand Deposits of the Mississippi River, Report 2: Empirical Evidence in Support of the Hypothesized Failure Mechanism and Development of the Levee Safety Flow Slide Monitoring System

Retrogressive Failures in Sand Deposits of the Mississippi River, Report 2: Empirical Evidence in Support of the Hypothesized Failure Mechanism and Development of the Levee Safety Flow Slide Monitoring System

Date: June 1988
Creator: Torrey, Victor H., III
Description: This report represents a continuation of efforts by the Lower Mississippi Valley Division (LMVD), US Army Corps of Engineers, to develop an effective plan for and means of protecting the integrity of main line Mississippi River levees from the threat of flow slides in sand deposits.
Contributing Partner: UNT Libraries Government Documents Department
Annex to 7-GeV Advanced Photon Source : Conceptual Design Report

Annex to 7-GeV Advanced Photon Source : Conceptual Design Report

Date: May 1988
Creator: Argonne National Laboratory
Description: The Annex to the 7-GeV Advanced Photon Source Conceptual Design Report updates the Conceptual Design Report of 1987 (CDR-87) to include the results of further optimization and changes of the design during the past year. The design changes can be summarized as affecting three areas: the accelerator system, conventional facilities, and experimental systems. Most of the changes in the accelerator system result from inclusion of a positron accumulator ring (PAR), which was added at the suggestion of the 1987 DOE Review Committee, to speed up the filling rate of the storage ring. The addition of the PAR necessitates many minor changes in the linac system, the injector synchrotron, and the low-energy beam transport lines. 63 figs., 18 tabs.
Contributing Partner: UNT Libraries Government Documents Department
Annual Technical Report

Annual Technical Report

Date: May 1988
Creator: Argonne National Laboratory. Chemical Technology Division.
Description: Report of Argonne Chemical Technology division activities, including high-performance batteries, aqueous batteries, advanced fuel cells, and coal utilization.
Contributing Partner: UNT Libraries Government Documents Department