|
|
|
|
Nas 1. 26 :181827
|
|
|
|
Formal verification of AI software [electronic resource] / John Rushby, R. Alan Whitehurst.
NAS 1.26:181827
;
Axe Federal Documents Online:Available
|
|
1989
|
|
Formal verification of AI software [electronic resource] / John Rushby, R. Alan Whitehurst.
Axe Federal Documents Online:Available
|
|
1989
|
|
|
Nas 1. 26 :181837
|
|
|
|
Analytic theory for the determination of velocity and stability of bubbles in a Hele-Shaw cell. Part
NAS 1.26:181837
;
Axe Federal Documents Online:Available
|
|
1989
|
|
Analytic theory for the determination of velocity and stability of bubbles in a Hele-Shaw cell. Part
Axe Federal Documents Online:Available
|
|
1989
|
|
|
Nas 1. 26 :181841
|
|
|
|
An experimental investigation of the ground vortex created by a moving jet [electronic resource] / V.
NAS 1.26:181841
;
Axe Federal Documents Online:Available
|
|
1989
|
|
An experimental investigation of the ground vortex created by a moving jet [electronic resource] / V.
Axe Federal Documents Online:Available
|
|
1989
|
|
|
Nas 1. 26 :181843
|
|
|
|
File concepts for parallel I/O [electronic resource] / Thomas W. Crockett.
NAS 1.26:181843
;
Axe Federal Documents Online:Available
|
|
1989
|
|
File concepts for parallel I/O [electronic resource] / Thomas W. Crockett.
Axe Federal Documents Online:Available
|
|
1989
|
|
|
Nas 1. 26 :181847
|
|
|
|
Indirect addressing and load balancing for faster solution to Mandelbrot set on SIMD architectures [e
NAS 1.26:181847
;
Axe Federal Documents Online:Available
|
|
1989
|
|
Indirect addressing and load balancing for faster solution to Mandelbrot set on SIMD architectures [e
Axe Federal Documents Online:Available
|
|
1989
|
|
|
Nas 1. 26 :181855
|
|
|
|
Inviscid spatial stability of a compressible mixing layer. Part III, Effect of thermodynamics [electr
NAS 1.26:181855
;
Axe Federal Documents Online:Available
|
|
1989
|
|
Inviscid spatial stability of a compressible mixing layer. Part III, Effect of thermodynamics [electr
Axe Federal Documents Online:Available
|
|
1989
|
|
|
Nas 1. 26 :181860
|
|
|
|
Bunch-Kaufman factorization for real symmetric indefinite banded matrices [electronic resource] / Mar
NAS 1.26:181860
;
Axe Federal Documents Online:Available
|
|
1989
|
|
Bunch-Kaufman factorization for real symmetric indefinite banded matrices [electronic resource] / Mar
Axe Federal Documents Online:Available
|
|
1989
|
|
|
Nas 1. 26 :181862
|
|
|
|
An integrating matrix formulation for buckling of rotating beams including the effects of concentrate
NAS 1.26:181862
;
Axe Federal Documents Online:Available
|
|
1989
|
|
An integrating matrix formulation for buckling of rotating beams including the effects of concentrate
Axe Federal Documents Online:Available
|
|
1989
|
|
|
Nas 1. 26 :181863
|
|
|
|
Data traffic reduction schemes for Cholesky factorization on asynchronous multiprocessor systems [ele
NAS 1.26:181863
;
Axe Federal Documents Online:Available
|
|
1989
|
|
Data traffic reduction schemes for Cholesky factorization on asynchronous multiprocessor systems [ele
Axe Federal Documents Online:Available
|
|
1989
|
|
|
Nas 1. 26 :181864
|
|
|
|
A critical comparison of turbulence models for homogeneous shear flows in a rotating frame [electroni
NAS 1.26:181864
;
Axe Federal Documents Online:Available
|
|
1989
|
|
A critical comparison of turbulence models for homogeneous shear flows in a rotating frame [electroni
Axe Federal Documents Online:Available
|
|
1989
|
|
|
Nas 1. 26 :181866
|
|
|
|
On processing development for fabrication of fiber reinforced composite, II [electronic resource] / T
NAS 1.26:181866
;
Axe Federal Documents Online:Available
|
|
1989
|
|
On processing development for fabrication of fiber reinforced composite, II [electronic resource] / T
Axe Federal Documents Online:Available
|
|
1989
|
|
|
Nas 1. 26 :181868
|
|
|
|
The NASA Langley Research Center 0.3-meter transonic cryogenic tunnel T-P/Re-M controller manual [ele
NAS 1.26:181868
;
Axe Federal Documents Online:Available
|
|
1989
|
|
The NASA Langley Research Center 0.3-meter transonic cryogenic tunnel T-P/Re-M controller manual [ele
Axe Federal Documents Online:Available
|
|
1989
|
|
|
Nas 1. 26 :181871
|
|
|
|
An evaluation of three experimental processes for two-dimensional transonic tests [electronic resourc
NAS 1.26:181871
;
Axe Federal Documents Online:Available
|
|
1989
|
|
An evaluation of three experimental processes for two-dimensional transonic tests [electronic resourc
Axe Federal Documents Online:Available
|
|
1989
|
|
|
Nas 1. 26 :181873
|
|
|
|
Process development and fabrication of space station type aluminum-clad graphite epoxy struts [electr
NAS 1.26:181873
;
Axe Federal Documents Online:Available
|
|
1990
|
|
Process development and fabrication of space station type aluminum-clad graphite epoxy struts [electr
Axe Federal Documents Online:Available
|
|
1990
|
|
|
Nas 1. 26 :181874
|
|
|
|
Advanced information processing system [electronic resource] : Input/output system services / Tom Mas
NAS 1.26:181874
;
Axe Federal Documents Online:Available
|
|
1989
|
|
Advanced information processing system [electronic resource] : Input/output system services / Tom Mas
Axe Federal Documents Online:Available
|
|
1989
|
|
|
Nas 1. 26 :181876
|
|
|
|
A multidomain spectral collocation method for the Stokes problem [electronic resource] / G. Sacchi La
NAS 1.26:181876
;
Axe Federal Documents Online:Available
|
|
1989
|
|
A multidomain spectral collocation method for the Stokes problem [electronic resource] / G. Sacchi La
Axe Federal Documents Online:Available
|
|
1989
|
|
|
Nas 1. 26 :181877
|
|
|
|
Design guide for predicting nonlinear random response (including snap-through) of buckled plates [ele
NAS 1.26:181877
;
Axe Federal Documents Online:Available
|
|
1989
|
|
Design guide for predicting nonlinear random response (including snap-through) of buckled plates [ele
Axe Federal Documents Online:Available
|
|
1989
|
|
|
Nas 1. 26 :181887
|
|
|
|
The nonconvex multi-dimensional Riemann problem for Hamilton-Jacobi equations [electronic resource] /
NAS 1.26:181887
;
Axe Federal Documents Online:Available
|
|
1989
|
|
The nonconvex multi-dimensional Riemann problem for Hamilton-Jacobi equations [electronic resource] /
Axe Federal Documents Online:Available
|
|
1989
|
|
|
Nas 1. 26 :181898
|
|
|
|
Boeing/NASA composite components flight service evaluation [electronic resource] / Randy L. Coggeshal
NAS 1.26:181898
;
Axe Federal Documents Online:Available
|
|
1989
|
|
Boeing/NASA composite components flight service evaluation [electronic resource] / Randy L. Coggeshal
Axe Federal Documents Online:Available
|
|
1989
|
|
|
Nas 1. 26 :181903
|
|
|
|
A high-order Lagrangian-decoupling method for the incompressible Navier-Stokes equations [electronic
NAS 1.26:181903
;
Axe Federal Documents Online:Available
|
|
1989
|
|
A high-order Lagrangian-decoupling method for the incompressible Navier-Stokes equations [electronic
Axe Federal Documents Online:Available
|
|
1989
|
|
|
Nas 1. 26 :181908
|
|
|
|
Three component laser Doppler measurements in an axisymmetric jet [electronic resource] / John M. Kuh
NAS 1.26:181908
;
Axe Federal Documents Online:Available
|
|
1989
|
|
Three component laser Doppler measurements in an axisymmetric jet [electronic resource] / John M. Kuh
Axe Federal Documents Online:Available
|
|
1989
|
|
|
Nas 1. 26 :181909-Vol- 5
|
|
|
|
The NASA digital VGH program, exploration of methods and final results. Volume V, DC 10 data 1981-198
NAS 1.26:181909-VOL-5
;
Axe Federal Documents Online:Available
|
|
1989
|
|
The NASA digital VGH program, exploration of methods and final results. Volume V, DC 10 data 1981-198
Axe Federal Documents Online:Available
|
|
1989
|
|
|
Nas 1. 26 :181910
|
|
|
|
Analytic theory for the selection of Saffman-Taylor fingers in the presence of thin film effects [ele
NAS 1.26:181910
;
Axe Federal Documents Online:Available
|
|
1989
|
|
Analytic theory for the selection of Saffman-Taylor fingers in the presence of thin film effects [ele
Axe Federal Documents Online:Available
|
|
1989
|
|
|
Nas 1. 26 :181913
|
|
|
|
On the coefficients of differentiated expansions of ultraspherical polynomials [electronic resource]
NAS 1.26:181913
;
Axe Federal Documents Online:Available
|
|
1989
|
|
On the coefficients of differentiated expansions of ultraspherical polynomials [electronic resource]
Axe Federal Documents Online:Available
|
|
1989
|
|
|
Nas 1. 26 :181914
|
|
|
|
The use of Lanczos's method to solve the large generalized symmetric definite eigenvalue problem [ele
NAS 1.26:181914
;
Axe Federal Documents Online:Available
|
|
1989
|
|
The use of Lanczos's method to solve the large generalized symmetric definite eigenvalue problem [ele
Axe Federal Documents Online:Available
|
|
1989
|
|
|
Nas 1. 26 :181915
|
|
|
|
Requirements for multidisciplinary design of aerospace vehicles on high performance computers [electr
NAS 1.26:181915
;
Axe Federal Documents Online:Available
|
|
1989
|
|
Requirements for multidisciplinary design of aerospace vehicles on high performance computers [electr
Axe Federal Documents Online:Available
|
|
1989
|
|
|
Nas 1. 26 :181916/V. 1- 2
|
|
|
|
Investigation of difficult component effects on finite element model vibration prediction for the Bel
NAS 1.26:181916/V.1-2
;
Axe Federal Documents Online:Available
|
|
1989
|
|
Investigation of difficult component effects on finite element model vibration prediction for the Bel
Axe Federal Documents Online:Available
|
|
1989
|
|
|
Nas 1. 26 :181917
|
|
|
|
Application of laminar flow control to supersonic transport configurations [electronic resource].
NAS 1.26:181917
;
Axe Federal Documents Online:Available
|
|
1990
|
|
Application of laminar flow control to supersonic transport configurations [electronic resource].
Axe Federal Documents Online:Available
|
|
1990
|
|
|
Nas 1. 26 :181919
|
|
|
|
An iterative method for systems of nonlinear hyperbolic equations [electronic resource] / Jeffrey S.
NAS 1.26:181919
;
Axe Federal Documents Online:Available
|
|
1989
|
|
An iterative method for systems of nonlinear hyperbolic equations [electronic resource] / Jeffrey S.
Axe Federal Documents Online:Available
|
|
1989
|
|
|
Nas 1. 26 :181920
|
|
|
|
Shock capturing by the spectral viscosity method [electronic resource] / Eitan Tadmor.
NAS 1.26:181920
;
Axe Federal Documents Online:Available
|
|
1989
|
|
Shock capturing by the spectral viscosity method [electronic resource] / Eitan Tadmor.
Axe Federal Documents Online:Available
|
|
1989
|
|
|
Nas 1. 26 :181921
|
|
|
|
Convection of a pattern of vorticity through a reacting shock wave [electronic resource] / T.L. Jacks
NAS 1.26:181921
;
Axe Federal Documents Online:Available
|
|
1989
|
|
Convection of a pattern of vorticity through a reacting shock wave [electronic resource] / T.L. Jacks
Axe Federal Documents Online:Available
|
|
1989
|
|
|
Nas 1. 26 :181923
|
|
|
|
Calculation of flight vibration levels of the AH-1G helicopter and correlation with existing flight v
NAS 1.26:181923
;
Axe Federal Documents Online:Available
|
|
1989
|
|
Calculation of flight vibration levels of the AH-1G helicopter and correlation with existing flight v
Axe Federal Documents Online:Available
|
|
1989
|
|
|
Nas 1. 26 :181926
|
|
|
|
Numerical optimization in Hilbert space using inexact function and gradient evaluations [electronic r
NAS 1.26:181926
;
Axe Federal Documents Online:Available
|
|
1989
|
|
Numerical optimization in Hilbert space using inexact function and gradient evaluations [electronic r
Axe Federal Documents Online:Available
|
|
1989
|
|
|
Nas 1. 26 :181927
|
|
|
|
Numerical experience with a class of algorithms for nonlinear optimization using inexact function and
NAS 1.26:181927
;
Axe Federal Documents Online:Available
|
|
1989
|
|
Numerical experience with a class of algorithms for nonlinear optimization using inexact function and
Axe Federal Documents Online:Available
|
|
1989
|
|
|
Nas 1. 26 :181928
|
|
|
|
Near-planar TS waves and longitudinal vortices in channel flow [electronic resource] : nonlinear inte
NAS 1.26:181928
;
Axe Federal Documents Online:Available
|
|
1989
|
|
Near-planar TS waves and longitudinal vortices in channel flow [electronic resource] : nonlinear inte
Axe Federal Documents Online:Available
|
|
1989
|
|
|
Nas 1. 26 :181929
|
|
|
|
Convergence results for pseudospectral approximations of hyperbolic systems by a penalty type boundar
NAS 1.26:181929
;
Axe Federal Documents Online:Available
|
|
1989
|
|
Convergence results for pseudospectral approximations of hyperbolic systems by a penalty type boundar
Axe Federal Documents Online:Available
|
|
1989
|
|
|
Nas 1. 26 :181933
|
|
|
|
Parameter identification for an abstract Cauchy problem by quasilinearization [electronic resource] /
NAS 1.26:181933
;
Axe Federal Documents Online:Available
|
|
1989
|
|
Parameter identification for an abstract Cauchy problem by quasilinearization [electronic resource] /
Axe Federal Documents Online:Available
|
|
1989
|
|
|
Nas 1. 26 :181940
|
|
|
|
Crew emergency return vehicle autoland feasibility study [electronic resource] / J.A. Bossi, M.A. Lan
NAS 1.26:181940
;
Axe Federal Documents Online:Available
|
|
1989
|
|
Crew emergency return vehicle autoland feasibility study [electronic resource] / J.A. Bossi, M.A. Lan
Axe Federal Documents Online:Available
|
|
1989
|
|
|
Nas 1. 26 :181941
|
|
|
|
Fatigue life estimates for helicopter loading spectra [electronic resource] / A.K. Khosrovaneh ... [e
NAS 1.26:181941
;
Axe Federal Documents Online:Available
|
|
1989
|
|
Fatigue life estimates for helicopter loading spectra [electronic resource] / A.K. Khosrovaneh ... [e
Axe Federal Documents Online:Available
|
|
1989
|
|
|
Nas 1. 26 :181947
|
|
|
|
Development of microchannel plates in advanced wind-tunnel instrumentation [electronic resource] / W.
NAS 1.26:181947
;
Axe Federal Documents Online:Available
|
|
1990
|
|
Development of microchannel plates in advanced wind-tunnel instrumentation [electronic resource] / W.
Axe Federal Documents Online:Available
|
|
1990
|
|
|
Nas 1. 26 :181950
|
|
|
|
CPU timing routines for a CONVEX C220 computer system [electronic resource] / Mary Ann Bynum.
NAS 1.26:181950
;
Axe Federal Documents Online:Available
|
|
1989
|
|
CPU timing routines for a CONVEX C220 computer system [electronic resource] / Mary Ann Bynum.
Axe Federal Documents Online:Available
|
|
1989
|
|
|
Nas 1. 26 :181955
|
|
|
|
Optimum shape of a blunt forebody in hypersonic flow [electronic resource] / L. Maestrello, L. Ting.
NAS 1.26:181955
;
Axe Federal Documents Online:Available
|
|
1989
|
|
Optimum shape of a blunt forebody in hypersonic flow [electronic resource] / L. Maestrello, L. Ting.
Axe Federal Documents Online:Available
|
|
1989
|
|
|
Nas 1. 26 :181962
|
|
|
|
Gortler vortices in growing boundary layers [electronic resource] : the leading edge receptivity prob
NAS 1.26:181962
;
Axe Federal Documents Online:Available
|
|
1989
|
|
Gortler vortices in growing boundary layers [electronic resource] : the leading edge receptivity prob
Axe Federal Documents Online:Available
|
|
1989
|
|
|
Nas 1. 26 :181977
|
|
|
|
Euler and Navier-Stokes computations for two-dimensional geometries using unstructured meshes [electr
NAS 1.26:181977
;
Axe Federal Documents Online:Available
|
|
1990
|
|
Euler and Navier-Stokes computations for two-dimensional geometries using unstructured meshes [electr
Axe Federal Documents Online:Available
|
|
1990
|
|
|
Nas 1. 26 :181984
|
|
|
|
Triangle based TVD schemes for hyperbolic conservation laws [electronic resource] / Louis J. Durlofsk
NAS 1.26:181984
;
Axe Federal Documents Online:Available
|
|
1990
|
|
Triangle based TVD schemes for hyperbolic conservation laws [electronic resource] / Louis J. Durlofsk
Axe Federal Documents Online:Available
|
|
1990
|
|
|
Nas 1. 26 :181995
|
|
|
|
High order essentially non-oscillatory schemes for Hamilton-Jacobi equations [electronic resource] /
NAS 1.26:181995
;
Axe Federal Documents Online:Available
|
|
1990
|
|
High order essentially non-oscillatory schemes for Hamilton-Jacobi equations [electronic resource] /
Axe Federal Documents Online:Available
|
|
1990
|
|
|
Nas 1. 26 :181996
|
|
|
|
The inviscid stability of supersonic flow past a sharp cone [electronic resource] / Peter W. Duck, St
NAS 1.26:181996
;
Axe Federal Documents Online:Available
|
|
1990
|
|
The inviscid stability of supersonic flow past a sharp cone [electronic resource] / Peter W. Duck, St
Axe Federal Documents Online:Available
|
|
1990
|
|
|
Nas 1. 26 :181997
|
|
|
|
The analysis and simulation of compressible turbulence [electronic resource] / Gordon Erlebacher ...
NAS 1.26:181997
;
Axe Federal Documents Online:Available
|
|
1990
|
|
The analysis and simulation of compressible turbulence [electronic resource] / Gordon Erlebacher ...
Axe Federal Documents Online:Available
|
|
1990
|
|
|
Nas 1. 26 :181998
|
|
|
|
Secondary frequencies in the wake of a circular cylinder with vortex shedding [electronic resource] /
NAS 1.26:181998
;
Axe Federal Documents Online:Available
|
|
1990
|
|
Secondary frequencies in the wake of a circular cylinder with vortex shedding [electronic resource] /
Axe Federal Documents Online:Available
|
|
1990
|
|
|
Nas 1. 26 :182006
|
|
|
|
IAPSA II small-scale system specification [electronic resource] / G. C. Cohen, T. C. Torkelson.
NAS 1.26:182006
;
Axe Federal Documents Online:Available
|
|
1990
|
|
IAPSA II small-scale system specification [electronic resource] / G. C. Cohen, T. C. Torkelson.
Axe Federal Documents Online:Available
|
|
1990
|
 Add Marked to Bag
Add All On Page
|
