Formal Verification of Semi-Algebraic Sets and Real Analytic Functions
Explore the source record for details and available documents.
Real Analytic Functions↗
SEARCH · Engineering Papers
Results for “formal”
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.
Formal Specification and Verification of Hybrid Programs for Urban Air Mobility
Explore the source record for details and available documents.
Hybrid Systems↗
A Formal Verification Framework for PLEXIL: Status Report and Demonstration
Explore the source record for details and available documents.
Plan Execution↗
Formal Methods for Unmanned Aircraft Systems
Explore the source record for details and available documents.
Formal Methods↗
Formal Requirements Elicitation With Fret
Explore the source record for details and available documents.
FRET↗
Generally Applicable Formalism for Modeling the Observable Signatures of Inflows, Outflows, and Moving Coronal Plasma Close to Kerr Black Holes
Explore the source record for details and available documents.
Henric Krawczynski↗
A Formalism for Calibrating the Instrumental Polarization of Radio Interferometric Arrays at Meter Wavelengths Using Unpolarized Sky: A Demonstration Using MWA Observations
Explore the source record for details and available documents.
Devojyoti Kansabanik↗
Ultraviolet line profiles of slowly rotating massive star winds using the ‘analytic dynamical magnetosphere’ formalism
Explore the source record for details and available documents.
C Erba↗
A Comprehensive Perturbative Formalism for Phase Mixing in Perturbed Disks. II. Phase Spirals in an Inhomogeneous Disk Galaxy with a Nonresponsive Dark Matter Halo
Explore the source record for details and available documents.
Uddipan Banik↗
FORMAL KINETIC THEORY OF TRANSPORT PHENOMENA IN POLYATOMIC GAS MIXTURES
Kinetic theory of transport properties of multicomponent polyatomic gas mixtures
GAS MIXTURE↗
Demonstration of acoustic spectrometer for measuring stress and locating flaws in materials Final formal progress report
Testing and evaluation of acoustic spectrometer for nondestructive measurement of stress and location of flaws in materials
FLAW DETECTION↗
Use of a formal language to describe on-board and ground station data handling and processing of satellite experiments
Machine language to describe on board and ground station data handling and processing of satellite experiments
MACHINE LANGUAGE↗
Cluster expansions in many-fermion theory. I - ''Factor-cluster'' formalisms.
Cluster expansions in many fermion system for calculating expectation values of observables with respect to dynamically correlated state vectors
Clark, J. W.↗
Formal problems in the theory of dissociative attachment and recombination.
Dissociative attachment and recombination, discussing resonance state joining and asymptotic physical state and projection operator techniques
Chen, J. C. Y.↗
A formal theory of cubical complexes Final report
Logic minimization and description of IBM 7094 program MIN6
Levy, L. S.↗
Numerical research for the Burgers' model turbulence based on the characteristic functional formalism
Investigation of one dimensional Burgers model of turbulence
Hosokawa, I.↗