The salt gland in a sea snake
Glands in two sea snakes located in oral area compared, identified and proved not to be salt glands
ENDOCRINE SYSTEM↗
SEARCH · Search NASA
Results for “Proving”
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.
Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.
Polar magnetic disturbances and intrusion of charged particles into the ionosphere
Polar magnetic disturbances and data on charged particles in ionosphere evaluated to prove regularity of occurrence
Afonina, R. G.↗
The rate distortion function for a class of sources
Rate distortion function defined for class of sources, and proving of corresponding coding theorem
Sakrison, D. J.↗
Linear problems for systems of nonlinear differential equations.
Linear problems involving linear and nonlinear systems of differential equations, proving theorems for nonlinear differential equation systems
Opial, Z.↗
Identity of the C sub 50 -carotenoid dehydrogenans-P439 and sarcinaxanthin.
C50-carotenoid dehydrogenans-P439 and sarcinaxanthin proved identical by melting point and mass spectrometry tests
Liaaen-Jensen, S.↗
Evolution of a nonlinear ion acoustic wave.
Nonlinear ion acoustic wave evolution in Vlasov plasma to prove large amplitude compressive pulses steepen and develop discontinuities
Montgomery, D.↗
Kinematics of finite, rigid-body displacements.
Rigid body kinematics for finite displacements, proving several theorems analytically by matrix algebraic methods using mass density description
Thurnauer, P. G.↗
Entropy considerations in the frequency domain.
Entropy relations identity proved between two dimensional functions related by Fourier transformation, noting spacecraft communication implications
Andrews, H. C.↗
Proof tests of the terminal parachute-recovery system for the Biosatellite.
Biosatellite terminal parachute recovery system test proved noting drag, deceleration, descent velocity and deployment
Cassanto, J. M.↗
A note on frequency modulation spectra.
FM spectra proved to be not band limited, using Fourier transform of Hess equation to obtain second order convolution equation
Yavuz, D.↗
Uniqueness of the energy in perturbation theory.
Ambiguities in perturbation equations solution for wave function proved to produce no corresponding ambiguities in energy
Epstein, S. T.↗
Torsion system for creep testing with multiple stress reversals
Torsion system proves exploratory data on accelerated creep due to multiple stress reversals. Torsional testing of tubular specimens is best suited for reversed stress creep tests since large strains are obtainable while maintaining specimen geometry.
Lilienthal, P. A.↗
Purification and characterization of two fully deuterated enzymes
Comparative data reveal little difference between kinetic and thermal stabilities of pure preparations of two ordinary enzymes and their fully deuterated counterparts. The effects of temperature on the enzymes proved to be consistent with earlier results.
Crespi, H. L.↗
COGENT programming manual
COGENT /COmpiler and GENeralized Translator/ programming system is a compiler whose input language enables a description of symbolic and linguistic manipulation algorithms. Primarily for use as a compiler-compiler, it is also applicable to algebraic manipulation, mechanical theorem proving, and heuristic programming.
Reynolds, J. C.↗
Zero-gravity liquid/gas separator Final report
Zero gravity liquid-gas separator to prove principle of hydrophilic screen separation
Source record↗
Design and development of an annular slit colloid thruster.
Research and development program in annular slit colloid thrustor technology, proving thrustor feasibility by performance tests
Stark, K. W.↗
On some representations of generalized inverses.
Unitary matrix representing generalized inverses, proving weak method of steepest descent for least squares solution of equations
Tewarson, R. P.↗
On the existence of noncontinuous irreducible representations of a locally compact group.
Nondiscrete locally compact group having noncontinuous irreducible representations, proving theorem
Bichteler, K.↗