NASA Scientific and Technical Aerospace Reports

Predicting Ductile Crack Growth in Engineered
Structures – 91
Validation, Verification and Certification
of Embedded Systems – 127
PREPROCESSING
A Fast Line-Search Method Based on a
Tile Plane – 180
Real-Time Analysis of Fuel Spray Images
– 81
PRESSURE VESSELS
Progress in Research of Vascular Contractility
under Weightlessness or Simulated
Weightlessness – 114
PREVENTION
Evaluations of Sana and Cisco Host Intrusion
Prevention Systems
(HIPS) – 140
Workstyle Intervention for the Prevention
of Work-Related Upper Extremity Problems:
A Randomized Controlled
Trial – 108
PRINTING
Direct Write Contacts for Solar
Cells – 95
PROBABILITY DENSITY FUNCTIONS
Active Contours for Multispectral Images
With Non-Homogeneous Sub-
Regions – 176
On the Distributions of Small-Sample Estimates
of Second-Order AR Process
Parcor Coefficients – 172
PROBABILITY
TIONS
DISTRIBUTION FUNC-
A Minimum Discrimination Information
Approach
ing – 217
for Hidden Markov Model-
Non-Linear
sor – 177
Adaptive Signal Proces-
PROBABILITY THEORY
A 4D Flight Profile Server and
Probability-Based 4D Weather Objects:
Toward a Common-Core Toolset for the
NAS – 17
Maximum Likelihood Estimation of a
Class of Non-Gaussian Densities with
Application to Deconvolution – 172
New Algorithm for Estimating Optic Flow
for Low Level Vision Systems – 172
On the Probability Density Function of
the LMS Adaptive Filter Weights – 172
Statistical Language Modeling for Information
Retrieval – 224
Statistically/Computationally Efficient Estimation
of Non-Gaussian Autoregressive
Processes – 173
Strategies and Heuristics Used by the
UMBCTAC Agent in the Third Trading
Agent Competition – 174
PROBLEM SOLVING
Intrinsically Motivated Reinforcement
Learning – 166
Superconvergence in the Generalized Finite
Element Method – 168
A-38
PROCUREMENT
Scoping Aerospace: Tracking Federal
Procurement and R&D Spending in the
Aerospace Sector – 28
PRODUCTIVITY
Gemini Publications: Growth and Impact
– 231
PROGRAM VERIFICATION (COMPUT-
ERS)
Validation and Usability Analysis of Intelligent
Systems: An Integrated Approach
– 160
PROGRAMMING LANGUAGES
Dynamic Ontologies on the Web – 136
Embedded Systems – 143
Polymorphic Type Inference and Abstract
Data Types – 133
Semantic Interoperability on the
Web – 147
SIP Based Communications in Netcentric
Operations – 140
The Graph Search Machine (GSM): A
Programmable Processor for Connected
Word Speech Recognition and Other Applications
– 129
PROGRAMS
Why the Aspen Program Now? – 221
PROJECT MANAGEMENT
Secure Key Management for NASA
Space Communication – 31
The Management of Personnel Collaboration
for the Improvement of Multidisciplinary
Projects – 221
PROPULSION
Energetic Materials Modeling for Rocket
Propulsion – 36
PROTECTION
A Development of Experimental Environments
‘SIOS’ and ‘VM Nebula’ for Reproducing
Internet Security Incidents – 138
Evaluations of Sana and Cisco Host Intrusion
Prevention Systems
(HIPS) – 140
Protection Factor Testing of the 3M
Breathe Easy (BE-10) Powered Air Purifying
Respirator (PAPR) – 116
PROTEINS
A3-2 Continuous Free-flow Electrophoresis
Device for Separation of Model Proteins
– 111
BRCC36, A Novel Subunit of a BRCA1
E3 Ubiquitin Ligase Complex: Candidates
for BRCA3 – 107
Space Medicine & Medical Engineering
– 111
PROTOCOL (COMPUTERS)
A Formal Syntax and Semantics for the
GSPML Language – 130
A Hierarchical IP Addressing Scheme for
Mobile Ad-Hoc Networks – 152
Certification – 128
Information Dynamics Applied to Link-
State Routing – 227
Selective Routing for the Mobile IP LAN
Protocol – 144
SIP Based Communications in Netcentric
Operations – 140
Techniques to Improve the Performance
of Software-Based Distributed Shared
Memory Systems – 132
PROTON BEAMS
Development of an Optical Transition Radiation
Detector for Profile Monitoring of
Antiproton and Proton Beams at
FNAL – 192
PROTON-ANTIPROTON INTERACTIONS
New Technique for Making Bright Proton
Bunches Using Barrier RF Systems
– 190
PROTONS
8 GeV H- Ions: Transport and Injection
– 190
Development of an Optical Transition Radiation
Detector for Profile Monitoring of
Antiproton and Proton Beams at
FNAL – 192
New Technique for Making Bright Proton
Bunches Using Barrier RF Systems
– 190
PROTOTYPES
In-Service Evaluation of a Prototype Turbulence
Auto-PIREP System
(TAPS) – 8
PROVING
The Mathematics Models and an Actual
Proof Experiment for IP Traceback System
– 139
Verification and Validation: Current and
Best Practice – 128
PUBLIC HEALTH
Successful Nutrition and Health Interventions
to Obtain and Maintain an Optimal
Availability of Soldiers – 105
The Acquisition of Drugs and Biologics
for Chemical and Biological Warfare Defense.
Department of Defense Interactions
with the Food and Drug Administration
– 110
PULSE COMMUNICATION
Digital Signatures for the Analogue Radio
– 11
Role of Multi-Mode Multi-Function Digital
Avionics in the Future NAS – 26
PULSE DURATION
Beaming Bandwidth via Laser Communications
– 80
PULSED LASERS
Beaming Bandwidth via Laser Communications
– 80
QUADRATURES
A VLSI Sigma-Delta Waveform Generator
for a Quadrature Type CPM Transmitter
– 77