TY - CONF
TI - Deductive Evaluation: Formal Code Analysis with Low User Burden
T2 - 2016 IEEE/ACM 4th FME Workshop on Formal Methods in Software Engineering (FormaliSE)
SP - 1
EP - 7
AU - B. L. Di Vito
PY - 2016
KW - C language
KW - formal verification
KW - iterative methods
KW - software engineering
KW - theorem proving
KW - workflow management software
KW - Floyd-Hoare verification principles
KW - PVS
KW - deductive approach
KW - deductive evaluation
KW - formal code analysis
KW - iteration specific deductive knowledge
KW - iterative C code
KW - low user burden
KW - program behavior
KW - program properties
KW - program variables
KW - prototype verification system
KW - sample C functions
KW - software engineering workflows
KW - synthesize loop invariants
KW - theorem proving
KW - Indexes
KW - Libraries
KW - Prototypes
KW - Reactive power
KW - Software
KW - Software engineering
KW - Synthesizers
KW - Code verification
KW - higher order logic
KW - loop invariants
KW - symbolic evaluation
KW - theorem proving
DO - 10.1109/FormaliSE.2016.009
JO - 2016 IEEE/ACM 4th FME Workshop on Formal Methods in Software Engineering (FormaliSE)
IS -
SN -
VO -
VL -
JA - 2016 IEEE/ACM 4th FME Workshop on Formal Methods in Software Engineering (FormaliSE)
Y1 - 15-15 May 2016
ER -
TY - CONF
TI - Decomposition and State Variable Feedback Control of Elastic Robotic Systems
T2 - 1985 American Control Conference
SP - 375
EP - 380
AU - S. N. Singh
AU - A. A. Schy
PY - 1985
KW - Control systems
KW - Energy efficiency
KW - Feedback control
KW - Manipulators
KW - Motion control
KW - Nonlinear dynamical systems
KW - Orbital robotics
KW - Robots
KW - Uncertainty
KW - Vehicle dynamics
DO -
JO - 1985 American Control Conference
IS -
SN -
VO -
VL -
JA - 1985 American Control Conference
Y1 - 19-21 June 1985
ER -
TY - CONF
TI - Effectiveness of internal vs. external SEU scrubbing mitigation strategies in a Xilinx FPGA: Design, test, and analysis
T2 - 2007 9th European Conference on Radiation and Its Effects on Components and Systems
SP - 1
EP - 8
AU - M. Berg
AU - C. Poivey
AU - D. Petrick
AU - D. Espinosa
AU - A. Lesea
AU - K. LaBel
AU - M. Friendlich
AU - H. Kim
AU - A. Phan
PY - 2007
KW - field programmable gate arrays
KW - logic design
KW - logic testing
KW - SEU scrubbing mitigation strategies
KW - Xilinx FPGA
KW - field programmable gate array design
KW - heavy ion data
KW - single event unit
KW - Circuit faults
KW - Clocks
KW - Field programmable gate arrays
KW - Logic devices
KW - Protection
KW - Random access memory
KW - Read-write memory
KW - Reconfigurable logic
KW - Space technology
KW - Testing
KW - FPGA
KW - Reconfiguration
KW - Scrubbing
KW - Xilinx
DO - 10.1109/RADECS.2007.5205603
JO - 2007 9th European Conference on Radiation and Its Effects on Components and Systems
IS -
SN - 0379-6566
VO -
VL -
JA - 2007 9th European Conference on Radiation and Its Effects on Components and Systems
Y1 - 10-14 Sept. 2007
ER -
TY - CONF
TI - Continuous audio-visual digit recognition using decision fusion
T2 - 2002 IEEE International Conference on Acoustics, Speech, and Signal Processing
SP - I-305
EP - I-308
AU - G. Meyer
AU - J. Mulligan
PY - 2002
KW - Discrete wavelet transforms
KW - Visualization
DO - 10.1109/ICASSP.2002.5743715
JO - 2002 IEEE International Conference on Acoustics, Speech, and Signal Processing
IS -
SN - 1520-6149
VO - 1
VL - 1
JA - 2002 IEEE International Conference on Acoustics, Speech, and Signal Processing
Y1 - 13-17 May 2002
ER -
TY - CONF
TI - Student's t robust bundle adjustment algorithm
T2 - 2012 19th IEEE International Conference on Image Processing
SP - 1757
EP - 1760
AU - A. Aravkin
AU - M. Styer
AU - Z. Moratto
AU - A. Nefian
AU - M. Broxton
PY - 2012
KW - cameras
KW - image matching
KW - image reconstruction
KW - least squares approximations
KW - maximum likelihood estimation
KW - σ-edit outlier removal rule
KW - L2-BA algorithm
KW - MAP estimation
KW - RST-BA
KW - camera
KW - geometric constraints
KW - heavy tailed t-distribution
KW - large publicly available datasets
KW - maximum a posteriori estimation
KW - median reproduction error recovery
KW - mismatched interest points
KW - multiview scene reconstruction
KW - refining viewing parameters
KW - reprojection error model
KW - robust student t-BA algorithm
KW - scene model
KW - simulated error generation scenarios
KW - standard least squares approach
KW - structure estimates
KW - student t-robust bundle adjustment algorithm
KW - Algorithm design and analysis
KW - Barium
KW - Cameras
KW - Educational institutions
KW - Image reconstruction
KW - Robustness
KW - Standards
KW - Bundle Adjustment
KW - Optimization
KW - Robustness
KW - Structure from Motion
KW - Student's t
DO - 10.1109/ICIP.2012.6467220
JO - 2012 19th IEEE International Conference on Image Processing
IS -
SN - 1522-4880
VO -
VL -
JA - 2012 19th IEEE International Conference on Image Processing
Y1 - Sept. 30 2012-Oct. 3 2012
ER -
TY - CONF
TI - The future of instrument technology for space-based remote sensing for NASA's Earth Science Enterprise
T2 - IGARSS 2001. Scanning the Present and Resolving the Future. Proceedings. IEEE 2001 International Geoscience and Remote Sensing Symposium (Cat. No.01CH37217)
SP - 432
EP - 435 vol.1
AU - F. Peri
AU - J. B. Hartley
AU - J. L. Duda
PY - 2001
KW - aerospace instrumentation
KW - atmospheric measuring apparatus
KW - geophysical equipment
KW - remote sensing
KW - ESE
KW - Earth Science Enterprise
KW - NASA
KW - active optical instruments
KW - climate
KW - instrument technology
KW - microwave imagers
KW - microwave radiometers
KW - on-board processing
KW - passive optical instruments
KW - radar instruments
KW - science challenges
KW - space-based remote sensing
KW - weather
KW - Geoscience
KW - High speed optical techniques
KW - Instruments
KW - Laser radar
KW - NASA
KW - Optical sensors
KW - Optical transmitters
KW - Remote sensing
KW - Sea measurements
KW - Space technology
DO - 10.1109/IGARSS.2001.976181
JO - IGARSS 2001. Scanning the Present and Resolving the Future. Proceedings. IEEE 2001 International Geoscience and Remote Sensing Symposium (Cat. No.01CH37217)
IS -
SN -
VO - 1
VL - 1
JA - IGARSS 2001. Scanning the Present and Resolving the Future. Proceedings. IEEE 2001 International Geoscience and Remote Sensing Symposium (Cat. No.01CH37217)
Y1 - 2001
ER -
TY - CONF
TI - Towards prognostics for electronics components
T2 - 2009 IEEE Aerospace conference
SP - 1
EP - 7
AU - B. Saha
AU - J. R. Celaya
AU - P. F. Wysocki
AU - K. F. Goebel
PY - 2009
KW - aerospace components
KW - aircraft
KW - condition monitoring
KW - insulated gate bipolar transistors
KW - life testing
KW - remaining life assessment
KW - accelerated aging tests
KW - aircraft system
KW - avionics system
KW - electrical transient
KW - electronics components
KW - health management system
KW - isolated gate bipolar transistor
KW - particle filter framework
KW - remaining useful life prediction
KW - thermal transient
KW - Accelerated aging
KW - Aerospace electronics
KW - Aircraft
KW - Bipolar transistors
KW - Condition monitoring
KW - Electronic components
KW - Information management
KW - Insulated gate bipolar transistors
KW - Life testing
KW - Particle filters
DO - 10.1109/AERO.2009.4839676
JO - 2009 IEEE Aerospace conference
IS -
SN - 1095-323X
VO -
VL -
JA - 2009 IEEE Aerospace conference
Y1 - 7-14 March 2009
ER -
TY - CONF
TI - Radiation tolerant intelligent memory stack (RTIMS)
T2 - 2nd IEEE International Conference on Space Mission Challenges for Information Technology (SMC-IT'06)
SP - 7 pp.
EP - 276
AU - Tak-kwong Ng
AU - J. A. Herath
PY - 2006
KW - DRAM chips
KW - field programmable gate arrays
KW - radiation effects
KW - redundancy
KW - space research
KW - space vehicle electronics
KW - storage management chips
KW - RTIMS
KW - circuit stacking
KW - flight-like module
KW - geostationary mission
KW - heterogeneous components
KW - linear regulator
KW - low Earth orbit missions
KW - memory module
KW - radiation mitigation circuitries
KW - radiation shielding technologies
KW - radiation tolerant intelligent memory stack
KW - reprogrammable field programmable gate array
KW - synchronous dynamic random access memories
KW - Circuits
KW - Current limiters
KW - Error correction
KW - Field programmable gate arrays
KW - Low earth orbit satellites
KW - Packaging
KW - Redundancy
KW - Regulators
KW - SDRAM
KW - Stacking
DO - 10.1109/SMC-IT.2006.63
JO - 2nd IEEE International Conference on Space Mission Challenges for Information Technology (SMC-IT'06)
IS -
SN -
VO -
VL -
JA - 2nd IEEE International Conference on Space Mission Challenges for Information Technology (SMC-IT'06)
Y1 - 0-0 0
ER -
TY - JOUR
TI - Directional Scattering Properties of a Wintering Deciduous Hardwood Canopy
T2 - IEEE Transactions on Geoscience and Remote Sensing
SP - 510
EP - 515
AU - D. S. Kimes
AU - W. W. Newcomb
PY - 1987
KW - Azimuth
KW - Barium
KW - Earth
KW - Helicopters
KW - Helium
KW - Radiometry
KW - Reflectivity
KW - Sampling methods
KW - Scattering
KW - Vegetation
DO - 10.1109/TGRS.1987.289864
JO - IEEE Transactions on Geoscience and Remote Sensing
IS - 4
SN - 0196-2892
VO - GE-25
VL - GE-25
JA - IEEE Transactions on Geoscience and Remote Sensing
Y1 - July 1987
ER -
TY - CONF
TI - A framework for reliability modeling of electronics
T2 - Annual Reliability and Maintainability Symposium 1995 Proceedings
SP - 144
EP - 151
AU - J. Evans
AU - P. Lall
AU - R. Bauernschub
PY - 1995
KW - circuit analysis computing
KW - digital simulation
KW - failure analysis
KW - integrated circuit reliability
KW - reliability theory
KW - software packages
KW - CADMP-II software
KW - IC
KW - computer simulation
KW - degradation processes
KW - failure modes
KW - failure sites
KW - loads
KW - multichip modules
KW - physics-of-failure approach
KW - potential failure mechanisms
KW - reliability modeling
KW - single chip packages
KW - Degradation
KW - Electronics packaging
KW - Failure analysis
KW - Integrated circuit modeling
KW - Integrated circuit packaging
KW - Integrated circuit testing
KW - Materials reliability
KW - Multichip modules
KW - Physics
KW - Process design
DO - 10.1109/RAMS.1995.513238
JO - Annual Reliability and Maintainability Symposium 1995 Proceedings
IS -
SN - 0149-144X
VO -
VL -
JA - Annual Reliability and Maintainability Symposium 1995 Proceedings
Y1 - 16-19 Jan 1995
ER -
TY - CONF
TI - Initial characterization of a modular heat exchanger with an integral heat pipe
T2 - Proceedings of the 24th Intersociety Energy Conversion Engineering Conference
SP - 2891
EP - 2895 vol.6
AU - J. G. Schreiber
PY - 1989
KW - heat engines
KW - heat exchangers
KW - heat pipes
KW - NASA missions
KW - free-piston Stirling engine
KW - integral heat pipe
KW - modular heat exchanger
KW - sonic limit
KW - temperature drops
KW - Assembly
KW - Contracts
KW - Heat engines
KW - NASA
KW - Resistance heating
KW - Space missions
KW - Space technology
KW - Stirling engines
KW - Testing
KW - Thermal loading
DO - 10.1109/IECEC.1989.74404
JO - Proceedings of the 24th Intersociety Energy Conversion Engineering Conference
IS -
SN -
VO -
VL -
JA - Proceedings of the 24th Intersociety Energy Conversion Engineering Conference
Y1 - 6-11 Aug 1989
ER -
TY - JOUR
TI - A fiber-optic current sensor for aerospace applications
T2 - IEEE Aerospace and Electronic Systems Magazine
SP - 10
EP - 14
AU - R. L. Patterson
AU - A. H. Rose
AU - D. Tang
AU - G. W. Day
PY - 1990
KW - Faraday effect
KW - aerospace instrumentation
KW - aircraft instrumentation
KW - compensation
KW - electric current measurement
KW - electromagnetic interference
KW - fibre optic sensors
KW - polarimetry
KW - 20 kHz
KW - 400 Hz
KW - 60 Hz
KW - AC sensor
KW - EMI
KW - Faraday effect
KW - aerospace applications
KW - aircraft
KW - electric current measurement
KW - electromagnetic interference
KW - fiber-optic current sensor
KW - isolation
KW - single-mode optical fiber
KW - standard polarimetric measurements
KW - temperature compensation
KW - terrestrial power systems
KW - Electromagnetic interference
KW - Frequency
KW - Optical fiber sensors
KW - Optical fibers
KW - Optical sensors
KW - Power system measurements
KW - Robustness
KW - Sensor phenomena and characterization
KW - Temperature sensors
KW - Testing
DO - 10.1109/62.61952
JO - IEEE Aerospace and Electronic Systems Magazine
IS - 12
SN - 0885-8985
VO - 5
VL - 5
JA - IEEE Aerospace and Electronic Systems Magazine
Y1 - Dec. 1990
ER -
TY - JOUR
TI - Computer animation for visualizing terrain data
T2 - IEEE Computer Graphics and Applications
SP - 12
EP - 13
AU - R. S. Klasky
PY - 1989
KW - computer animation
KW - computerised picture processing
KW - geography
KW - computer animation
KW - computerised picture processing
KW - geography
KW - simulated fly-by
KW - terrain data
KW - Animation
KW - Computational modeling
KW - Computer simulation
KW - Computer vision
KW - Data visualization
KW - Image analysis
KW - Satellites
DO - 10.1109/38.28105
JO - IEEE Computer Graphics and Applications
IS - 3
SN - 0272-1716
VO - 9
VL - 9
JA - IEEE Computer Graphics and Applications
Y1 - May 1989
ER -
TY - CONF
TI - Single-Walled Carbon Nanotubes for a Strain-based Magnetometer
T2 - 2006 Sixth IEEE Conference on Nanotechnology
SP - 465
EP - 468
AU - S. A. Getty
AU - G. Kletetschka
PY - 2006
KW - electromechanical
KW - electron transport
KW - magnetometer
KW - magnetotransport
KW - single-walled carbon nanotube
KW - Carbon nanotubes
KW - Couplings
KW - Iron
KW - Magnetic field induced strain
KW - Magnetic field measurement
KW - Magnetic materials
KW - Magnetic sensors
KW - Magnetometers
KW - Needles
KW - Torque
KW - electromechanical
KW - electron transport
KW - magnetometer
KW - magnetotransport
KW - single-walled carbon nanotube
DO - 10.1109/NANO.2006.247688
JO - 2006 Sixth IEEE Conference on Nanotechnology
IS -
SN - 1944-9399
VO - 2
VL - 2
JA - 2006 Sixth IEEE Conference on Nanotechnology
Y1 - 17-20 June 2006
ER -
TY - JOUR
TI - Parallel volume rendering using binary-swap compositing
T2 - IEEE Computer Graphics and Applications
SP - 59
EP - 68
AU - Kwan-Liu Ma
AU - J. S. Painter
AU - C. D. Hansen
AU - M. F. Krogh
PY - 1994
KW - Cray computers
KW - parallel algorithms
KW - parallel programming
KW - ray tracing
KW - rendering (computer graphics)
KW - Connection Machine CM-5
KW - binary-swap compositing
KW - computing resources
KW - massively parallel processing
KW - networked workstations
KW - parallel compositing process
KW - parallel ray tracing
KW - parallel volume-rendering algorithm
KW - partial image
KW - performance issues
KW - Computer graphics
KW - Computer vision
KW - Concurrent computing
KW - Data visualization
KW - Distributed computing
KW - High performance computing
KW - Parallel processing
KW - Ray tracing
KW - Rendering (computer graphics)
KW - Workstations
DO - 10.1109/38.291532
JO - IEEE Computer Graphics and Applications
IS - 4
SN - 0272-1716
VO - 14
VL - 14
JA - IEEE Computer Graphics and Applications
Y1 - July 1994
ER -
TY - CONF
TI - WinSURE: a new Windows interface to the SURE program
T2 - 19th DASC. 19th Digital Avionics Systems Conference. Proceedings (Cat. No.00CH37126)
SP - 1A2/1
EP - 1A2/8 vol.1
AU - R. W. Butler
PY - 2000
KW - Markov processes
KW - fault tolerant computing
KW - graphical user interfaces
KW - probability
KW - reliability theory
KW - software packages
KW - SURE program
KW - Semi-Markov Range Evaluator program
KW - WinSURE program
KW - Windows 98 operating system
KW - Windows interface
KW - Windows-based GUI
KW - Windows-based graphical user interface
KW - death state probabilities
KW - fast bounding theorem
KW - fault-handling behavior
KW - fault-tolerant computer systems
KW - lower bounds
KW - operational state probabilities
KW - rapid computational capability
KW - reliability analysis program
KW - semi-Markov models
KW - system reliability bounds
KW - upper bounds
KW - Analysis of variance
KW - Displays
KW - Fault tolerant systems
KW - Graphical user interfaces
KW - NASA
KW - Operating systems
KW - Power system modeling
KW - Probability
KW - Reliability theory
KW - Sensitivity analysis
DO - 10.1109/DASC.2000.886873
JO - 19th DASC. 19th Digital Avionics Systems Conference. Proceedings (Cat. No.00CH37126)
IS -
SN -
VO - 1
VL - 1
JA - 19th DASC. 19th Digital Avionics Systems Conference. Proceedings (Cat. No.00CH37126)
Y1 - 2000
ER -
TY - CONF
TI - On the design of integrated air/ground automation
T2 - 2005 IEEE International Conference on Systems, Man and Cybernetics
SP - 3933
EP - 3938 Vol. 4
AU - T. Prevot
PY - 2005
KW - air traffic control
KW - NASA Ames Research Center
KW - air traffic controllers
KW - air traffic management
KW - air transportation system
KW - automation system design
KW - flight crew
KW - flight deck
KW - human automation interaction
KW - human factors division
KW - integrated air-ground automation
KW - integrated automation support
KW - Aerospace electronics
KW - Air traffic control
KW - Air transportation
KW - Aircraft
KW - Communication system operations and management
KW - Design automation
KW - Human factors
KW - NASA
KW - Prototypes
KW - Stress
KW - Human automation interaction
KW - air ground integration
KW - air traffic management
DO - 10.1109/ICSMC.2005.1571760
JO - 2005 IEEE International Conference on Systems, Man and Cybernetics
IS -
SN - 1062-922X
VO - 4
VL - 4
JA - 2005 IEEE International Conference on Systems, Man and Cybernetics
Y1 - 10-12 Oct. 2005
ER -
TY - JOUR
TI - Boolean Integral Calculus for Digital Systems
T2 - IEEE Transactions on Computers
SP - 78
EP - 81
AU - J. H. Tucker
AU - M. A. Tapia
AU - A. W. Bennett
PY - 1985
KW - Base of Boolean function
KW - Boolean calculus
KW - Boolean differential
KW - Boolean differential expression
KW - Boolean integration
KW - compatible integral
KW - direct and inverse partial derivatives
KW - edge-sensitive flip-flops
KW - exact integral
KW - Boolean functions
KW - Calculus
KW - Digital systems
KW - Flip-flops
KW - Logic circuits
KW - NASA
KW - Testing
KW - Base of Boolean function
KW - Boolean calculus
KW - Boolean differential
KW - Boolean differential expression
KW - Boolean integration
KW - compatible integral
KW - direct and inverse partial derivatives
KW - edge-sensitive flip-flops
KW - exact integral
DO - 10.1109/TC.1985.1676517
JO - IEEE Transactions on Computers
IS - 1
SN - 0018-9340
VO - C-34
VL - C-34
JA - IEEE Transactions on Computers
Y1 - Jan. 1985
ER -
TY - CONF
TI - Anisotropy in ocean scattering of bistatic radar using signals of opportunity
T2 - 2011 IEEE International Geoscience and Remote Sensing Symposium
SP - 4229
EP - 4232
AU - R. Shah
AU - J. L. Garrison
AU - M. S. Grant
PY - 2011
KW - digital communication
KW - geophysical signal processing
KW - probability
KW - remote sensing by radar
KW - surface roughness
KW - wind
KW - Chesapeake Lighthouse recordings
KW - XM radio satellites
KW - airborne experiment
KW - bidirectional normal PDF
KW - bistatic radar
KW - cross-correlation waveform
KW - crosswind slope
KW - digital communication signals
KW - digital communications satellites
KW - isotropic normal distribution
KW - local wind direction
KW - mean square slope retrievals
KW - ocean remote sensing
KW - ocean scattering
KW - ocean surface roughness
KW - principal axes
KW - probability density function
KW - reflected XM radio signals
KW - signals of opportunity
KW - surface slopes
KW - two-stage estimation process
KW - upwind slope
KW - wind direction
KW - Anisotropic magnetoresistance
KW - Estimation
KW - Satellite broadcasting
KW - Satellites
KW - Sea measurements
KW - Sea surface
KW - Bistatic radar
KW - anisotropy
KW - digital communication signals
KW - retrievals
KW - waveforms
DO - 10.1109/IGARSS.2011.6050164
JO - 2011 IEEE International Geoscience and Remote Sensing Symposium
IS -
SN - 2153-6996
VO -
VL -
JA - 2011 IEEE International Geoscience and Remote Sensing Symposium
Y1 - 24-29 July 2011
ER -
TY - JOUR
TI - Observations of supernova SN 1987A
T2 - IEEE Transactions on Nuclear Science
SP - 516
EP - 519
AU - G. R. Riegler
PY - 1988
KW - Large Magellanic Cloud
KW - X-ray astronomical observations
KW - gamma-ray astronomical observations
KW - infrared astronomical observations
KW - supernovae
KW - ultraviolet astronomical observations
KW - AD 1987
KW - AD 1988
KW - LMC
KW - Large Magellanic Cloud
KW - NASA program
KW - SN 1987A
KW - Sanduleak-69 degrees 202
KW - Type II supernova
KW - X-ray observations
KW - aircraft
KW - balloons
KW - gamma-ray observations
KW - ground
KW - infrared observations
KW - rockets
KW - spacecraft
KW - ultraviolet observations
KW - Astrophysics
KW - Clouds
KW - Explosions
KW - Helium
KW - Hydrogen
KW - Iron
KW - NASA
KW - Silicon
KW - Space vehicles
KW - Tin
DO - 10.1109/23.12776
JO - IEEE Transactions on Nuclear Science
IS - 1
SN - 0018-9499
VO - 35
VL - 35
JA - IEEE Transactions on Nuclear Science
Y1 - Feb 1988
ER -
TY - CONF
TI - Migration of FACET from simulation environment to dispatcher decision support system
T2 - 24th Digital Avionics Systems Conference
SP - 3.E.4
EP - 31-12 Vol. 1
AU - B. Sridhar
AU - K. Sheth
AU - P. Smith
AU - W. Leber
PY - 2005
KW - aerospace simulation
KW - air traffic control
KW - decision support systems
KW - risk analysis
KW - FACET-derived technology
KW - National Airspace System
KW - air traffic management
KW - airline operations center
KW - demand forecasting
KW - demand management
KW - dispatcher decision support system
KW - dispatcher tools
KW - flight handling
KW - future ATM concepts evaluation tool
KW - integrated air traffic data
KW - risk analysis
KW - route planning
KW - simulation environment
KW - weather data
KW - Decision support systems
KW - Demand forecasting
KW - Risk analysis
KW - Risk management
KW - Weather forecasting
DO - 10.1109/DASC.2005.1563359
JO - 24th Digital Avionics Systems Conference
IS -
SN - 2155-7195
VO - 1
VL - 1
JA - 24th Digital Avionics Systems Conference
Y1 - 30 Oct.-3 Nov. 2005
ER -
TY - CONF
TI - ECHO – enabling interoperability with NASA earth science data and services
T2 - 2007 IEEE International Geoscience and Remote Sensing Symposium
SP - 4012
EP - 4015
AU - M. Burnett
AU - B. Weinstein
AU - A. Mitchell
PY - 2007
KW - Web services
KW - data assimilation
KW - geophysics computing
KW - information services
KW - meta data
KW - ECHO
KW - EOS Clearinghouse
KW - Earth Observing System
KW - NASA Earth science data
KW - NASA Earth science services
KW - community developed data services
KW - community developed search services
KW - data access
KW - interoperability
KW - services registry
KW - spatial metadata registry
KW - temporal metadata registry
KW - Earth Observing System
KW - Ecosystems
KW - Geoscience
KW - NASA
KW - Planets
KW - Resource management
KW - Semiconductor optical amplifiers
KW - Service oriented architecture
KW - Water storage
KW - Web services
KW - ECHO
KW - Earth
KW - Earth Observation Data
KW - Registry
KW - SOA
KW - SOAP
KW - Science
KW - UDDI
KW - WSDL
KW - Web Services
KW - metadata
DO - 10.1109/IGARSS.2007.4423729
JO - 2007 IEEE International Geoscience and Remote Sensing Symposium
IS -
SN - 2153-6996
VO -
VL -
JA - 2007 IEEE International Geoscience and Remote Sensing Symposium
Y1 - 23-28 July 2007
ER -
TY - CONF
TI - State reduction for semi-Markov reliability models
T2 - Annual Proceedings on Reliability and Maintainability Symposium
SP - 280
EP - 285
AU - A. L. White
AU - D. L. Palumbo
PY - 1990
KW - Markov processes
KW - failure analysis
KW - reliability
KW - error bound
KW - failure
KW - holding time
KW - operating time
KW - recovery-mode
KW - semi-Markov reliability models
KW - state reduction
KW - trimming
KW - Aerospace control
KW - Computer architecture
KW - Concrete
KW - Digital control
KW - Failure analysis
KW - Mathematical model
KW - NASA
KW - Reduced order systems
KW - Redundancy
KW - System recovery
DO - 10.1109/ARMS.1990.67970
JO - Annual Proceedings on Reliability and Maintainability Symposium
IS -
SN -
VO -
VL -
JA - Annual Proceedings on Reliability and Maintainability Symposium
Y1 - 23-25 Jan 1990
ER -
TY - CONF
TI - Laser Sounder for Global Measufrement of Co2 Concentrations in the Troposhpere
T2 - IGARSS 2008 - 2008 IEEE International Geoscience and Remote Sensing Symposium
SP - III - 519
EP - III - 521
AU - H. Riris
AU - J. B. Abshire
AU - G. Allan
AU - X. Sun
AU - S. J. Chen
AU - R. Kawa
AU - J. P. Mao
AU - M. Stephen
AU - J. Burris
AU - E. Wilson
AU - M. A. Krainak
PY - 2008
KW - atmospheric composition
KW - atmospheric measuring apparatus
KW - optical radar
KW - remote sensing by laser beam
KW - remote sensing by radar
KW - CO2
KW - global carbon dioxide concentrations measurement
KW - laser radar
KW - lower troposphere
KW - satellite-based laser-sounding instrument
KW - Absorption
KW - Atmospheric measurements
KW - Extraterrestrial measurements
KW - Fiber lasers
KW - Gas lasers
KW - Instruments
KW - Laser radar
KW - Laser tuning
KW - Sea measurements
KW - Space technology
KW - Laser radar
KW - Spectroscopy
DO - 10.1109/IGARSS.2008.4779398
JO - IGARSS 2008 - 2008 IEEE International Geoscience and Remote Sensing Symposium
IS -
SN - 2153-6996
VO - 3
VL - 3
JA - IGARSS 2008 - 2008 IEEE International Geoscience and Remote Sensing Symposium
Y1 - 7-11 July 2008
ER -
TY - CONF
TI - Architecting the Communication and Navigation Networks for NASA's Space Exploration Systems
T2 - 2007 IEEE International Conference on System of Systems Engineering
SP - 1
EP - 6
AU - K. B. Bhasin
AU - C. Putt
AU - J. Hayden
AU - S. Tseng
AU - R. Miller
AU - J. Hudiburg
AU - D. Miller
AU - A. Jeffries
AU - T. Sartwell
AU - A. Biswas
AU - B. Kennedy
AU - E. Jennings
PY - 2007
KW - aerospace computing
KW - open systems
KW - satellite navigation
KW - software maintenance
KW - space communication links
KW - NASA
KW - interoperability
KW - legacy system
KW - multiple space communication system
KW - navigation
KW - space exploration system
KW - Costs
KW - Humans
KW - Mars
KW - Moon
KW - NASA
KW - Navigation
KW - Orbital robotics
KW - Space exploration
KW - Space missions
KW - Timing
KW - architecting process
KW - communication
KW - ground network
KW - navigation
KW - space exploration
KW - space network
KW - space systems
KW - system architecting
KW - tracking
DO - 10.1109/SYSOSE.2007.4304307
JO - 2007 IEEE International Conference on System of Systems Engineering
IS -
SN -
VO -
VL -
JA - 2007 IEEE International Conference on System of Systems Engineering
Y1 - 16-18 April 2007
ER -
TY - CONF
TI - Using remotely sensed data to estimate surface albedo and absorbed photosynthetic active radiation
T2 - Geoscience and Remote Sensing Symposium, 1994. IGARSS '94. Surface and Atmospheric Remote Sensing: Technologies, Data Analysis and Interpretation., International
SP - 1461
EP - 1463 vol.3
AU - D. L. Toll
AU - D. A. Shirey
AU - D. S. Kimes
PY - 1994
KW - albedo
KW - atmospheric radiation
KW - remote sensing
KW - APAR
KW - AVHRR
KW - FIFE
KW - First ISLSCP Field Experiment
KW - Kansas
KW - Konza tall grass prairie
KW - NOAA Advanced Very High Resolution Radiometer
KW - USA
KW - absorbed photosynthetic active radiation
KW - biophysical parameters
KW - field spectrometer and pyranometer data
KW - land surface albedo
KW - pyranometer data
KW - remotely sensed data
KW - repetitive satellite data
KW - synoptic satellite data
KW - Atmosphere
KW - Electromagnetic wave absorption
KW - Error correction
KW - Land surface
KW - Radiometry
KW - Reflectivity
KW - Satellite broadcasting
KW - Soil
KW - Solar radiation
KW - Spectroscopy
DO - 10.1109/IGARSS.1994.399469
JO - Geoscience and Remote Sensing Symposium, 1994. IGARSS '94. Surface and Atmospheric Remote Sensing: Technologies, Data Analysis and Interpretation., International
IS -
SN -
VO - 3
VL - 3
JA - Geoscience and Remote Sensing Symposium, 1994. IGARSS '94. Surface and Atmospheric Remote Sensing: Technologies, Data Analysis and Interpretation., International
Y1 - 8-12 Aug 1994
ER -
TY - JOUR
TI - Design Overview of DM Radio Pathfinder Experiment
T2 - IEEE Transactions on Applied Superconductivity
SP - 1
EP - 4
AU - M. Silva-Feaver
AU - S. Chaudhuri
AU - H. M. Cho
AU - C. Dawson
AU - P. Graham
AU - K. Irwin
AU - S. Kuenstner
AU - D. Li
AU - J. Mardon
AU - H. Moseley
AU - R. Mule
AU - A. Phipps
AU - S. Rajendran
AU - Z. Steffen
AU - B. Young
PY - 2017
KW - SQUIDs
KW - dark matter
KW - readout electronics
KW - superconducting resonators
KW - DM Radio Pathfinder Experiment
KW - LC resonant detector
KW - axion
KW - cryogenic mounting structure
KW - differential SQUID readout circuit
KW - electron volt energy 500 peV to 50 neV
KW - frequency 100 fHz to 10 MHz
KW - hidden photon dark matter
KW - resonant frequency tuning procedure
KW - shielding
KW - tunable superconducting lumped-element resonator
KW - Capacitors
KW - Detectors
KW - Niobium
KW - Photonics
KW - SQUIDs
KW - Tuning
KW - Hidden photon
KW - SQUID series array
KW - axion
DO - 10.1109/TASC.2016.2631425
JO - IEEE Transactions on Applied Superconductivity
IS - 4
SN - 1051-8223
VO - 27
VL - 27
JA - IEEE Transactions on Applied Superconductivity
Y1 - June 2017
ER -
TY - JOUR
TI - Improved polar and geosynchronous satellite data sets available in common data format at the coordinated data analysis web
T2 - Space Weather
SP - 254
EP - 256
AU - R. J. Redmon
AU - J. V. Rodriguez
AU - J. C. Green
AU - D. Ober
AU - G. Wilson
AU - D. Knipp
AU - L. Kilcommons
AU - R. McGuire
PY - 2015
DO - 10.1002/2015SW001176
JO - Space Weather
IS - 5
SN - 1542-7390
VO - 13
VL - 13
JA - Space Weather
Y1 - May 2015
ER -
TY - CONF
TI - Analytic outlier removal in line fitting
T2 - Proceedings of the 12th IAPR International Conference on Pattern Recognition, Vol. 3 - Conference C: Signal Processing (Cat. No.94CH3440-5)
SP - 406
EP - 408 vol.2
AU - N. S. Netanyahu
AU - I. Weiss
PY - 1994
KW - curve fitting
KW - analytic outlier removal
KW - data separation
KW - line fitting
KW - method of moments
KW - mixture models
KW - noise removal
KW - statistical distributions
KW - Automation
KW - Educational institutions
KW - Image processing
KW - Least squares methods
KW - Message-oriented middleware
KW - Moment methods
KW - NASA
KW - Noise generators
KW - Parameter estimation
KW - Pattern recognition
DO - 10.1109/ICPR.1994.576962
JO - Proceedings of the 12th IAPR International Conference on Pattern Recognition, Vol. 3 - Conference C: Signal Processing (Cat. No.94CH3440-5)
IS -
SN -
VO - 2
VL - 2
JA - Proceedings of the 12th IAPR International Conference on Pattern Recognition, Vol. 3 - Conference C: Signal Processing (Cat. No.94CH3440-5)
Y1 - 9-13 Oct 1994
ER -
TY - JOUR
TI - Computing second derivatives in feed-forward networks: a review
T2 - IEEE Transactions on Neural Networks
SP - 480
EP - 488
AU - W. L. Buntine
AU - A. S. Weigend
PY - 1994
KW - backpropagation
KW - differential equations
KW - feedforward neural nets
KW - function approximation
KW - approximations
KW - backwardpropagation
KW - confidence interval estimation
KW - connectionist networks
KW - error functions
KW - feedforward neural networks
KW - forwardpropagation
KW - full matrix
KW - radial basis units
KW - second derivatives
KW - sigmoid units
KW - Approximation algorithms
KW - Backpropagation algorithms
KW - Computer networks
KW - Cost function
KW - Feedforward systems
KW - Intelligent networks
KW - Iterative algorithms
KW - Least squares approximation
KW - Neural networks
KW - Writing
DO - 10.1109/72.286919
JO - IEEE Transactions on Neural Networks
IS - 3
SN - 1045-9227
VO - 5
VL - 5
JA - IEEE Transactions on Neural Networks
Y1 - May 1994
ER -
TY - JOUR
TI - NASCAP Modelling of Environmental-Charging-Induced Discharges in Satellites
T2 - IEEE Transactions on Nuclear Science
SP - 5112
EP - 5120
AU - N. J. Stevens
AU - J. C. Roche
PY - 1979
KW - Conducting materials
KW - Geomagnetism
KW - Insulation
KW - NASA
KW - Satellites
KW - Space charge
KW - Space technology
KW - Space vehicles
KW - Surface charging
KW - Surface discharges
DO - 10.1109/TNS.1979.4330282
JO - IEEE Transactions on Nuclear Science
IS - 6
SN - 0018-9499
VO - 26
VL - 26
JA - IEEE Transactions on Nuclear Science
Y1 - Dec. 1979
ER -
TY - CONF
TI - High-Contrast, Narrow-Field Imaging with a Multi-Aperture Telescope
T2 - 2007 IEEE Aerospace Conference
SP - 1
EP - 7
AU - G. Serabyn
PY - 2007
KW - astronomical techniques
KW - astronomical telescopes
KW - extrasolar planets
KW - optical images
KW - coronagraphic approaches
KW - dispersion correction
KW - extrasolar planets
KW - high-contrast narrow field imaging
KW - monolithic telescope assembly
KW - multiaperture telescope
KW - narrow-field detection techniques
KW - photonic fibers
KW - single-mode fiber array
KW - subaperture telescopes
KW - Apertures
KW - Assembly
KW - Biomedical optical imaging
KW - Costs
KW - Filling
KW - Laboratories
KW - Optical imaging
KW - Propulsion
KW - Space technology
KW - Telescopes
DO - 10.1109/AERO.2007.353079
JO - 2007 IEEE Aerospace Conference
IS -
SN - 1095-323X
VO -
VL -
JA - 2007 IEEE Aerospace Conference
Y1 - 3-10 March 2007
ER -
TY - CONF
TI - W-band microshield low-pass filters
T2 - 1994 IEEE MTT-S International Microwave Symposium Digest (Cat. No.94CH3389-4)
SP - 625
EP - 628 vol.2
AU - S. V. Robertson
AU - L. P. B. Katehi
AU - G. M. Rebeiz
PY - 1994
KW - MMIC
KW - finite difference time-domain analysis
KW - low-pass filters
KW - microwave filters
KW - 1 dB
KW - 90 GHz
KW - W-band
KW - coplanar waveguide
KW - cutoff frequency
KW - equal ripple Chebyshev filter
KW - filter performance
KW - finite-difference time-domain analysis
KW - insertion loss
KW - microshield line technology
KW - microshield low-pass filters
KW - planar transmission line
KW - quasi-static models
KW - stepped impedance implementation
KW - thin dielectric membrane
KW - Chebyshev approximation
KW - Coplanar waveguides
KW - Cutoff frequency
KW - Finite difference methods
KW - Impedance
KW - Insertion loss
KW - Low pass filters
KW - Passband
KW - Planar transmission lines
KW - Time domain analysis
DO - 10.1109/MWSYM.1994.335500
JO - 1994 IEEE MTT-S International Microwave Symposium Digest (Cat. No.94CH3389-4)
IS -
SN - 0149-645X
VO -
VL -
JA - 1994 IEEE MTT-S International Microwave Symposium Digest (Cat. No.94CH3389-4)
Y1 - 23-27 May 1994
ER -
TY - CONF
TI - Multiple network coded TCP sessions in disruptive wireless scenarios
T2 - 2011 - MILCOM 2011 Military Communications Conference
SP - 754
EP - 759
AU - C. C. Chen
AU - C. Chen
AU - J. S. Park
AU - S. Y. Oh
AU - M. Gerla
AU - M. Y. Sanadidi
PY - 2011
KW - interference suppression
KW - linear codes
KW - network coding
KW - radio networks
KW - random codes
KW - transport protocols
KW - ComboCoding
KW - DATA-ACK interference
KW - XOR coded packets
KW - bidirectional streams
KW - disruptive wireless scenarios
KW - interflow coding
KW - intraflow coding
KW - multiflow disruptive wireless networks
KW - multiple network coded TCP sessions
KW - pipelined random linear coding scheme
KW - random losses
KW - self-interference mitigation
KW - Ad hoc networks
KW - Encoding
KW - Pipelines
KW - Redundancy
KW - Throughput
KW - Topology
KW - Wireless communication
KW - Fairness
KW - Lossy Channels
KW - Network Coding
KW - Random Linear Coding
KW - TCP
KW - Wireless Multihop
KW - XOR Coding
DO - 10.1109/MILCOM.2011.6127767
JO - 2011 - MILCOM 2011 Military Communications Conference
IS -
SN - 2155-7578
VO -
VL -
JA - 2011 - MILCOM 2011 Military Communications Conference
Y1 - 7-10 Nov. 2011
ER -
TY - CONF
TI - THz solar observations on board of a trans-Antarctic stratospheric balloon flight
T2 - 2016 41st International Conference on Infrared, Millimeter, and Terahertz waves (IRMMW-THz)
SP - 1
EP - 2
AU - P. Kaufmann
AU - A. Abrantes
AU - E. C. Bortolucci
AU - A. Caspi
AU - L. O. T. Fernandes
AU - G. Kropotov
AU - A. S. Kudaka
AU - G. Laurent
AU - N. Machado
AU - R. Marcon
AU - A. Marun
AU - V. Nicolaev
AU - R. F. H. Ramirez
AU - J. P. Raulin
AU - P. Saint-Hilaire
AU - A. Shih
AU - C. M. Silva
AU - A. Timofeevsky
PY - 2016
KW - balloons
KW - photometers
KW - solar spectra
KW - NASA stratospheric balloon flight
KW - SOLAR-T
KW - THz impulsive burst detection
KW - THz solar observations
KW - U.C. Berkeley GRIPS experiment
KW - frequency 3 THz
KW - frequency 7 THz
KW - photometers
KW - solar brightness determination
KW - trans-Antarctic stratospheric balloon flight
KW - Solar flares
KW - THz measurements from space
KW - THz solar photometers
KW - solar brightness
DO - 10.1109/IRMMW-THz.2016.7758395
JO - 2016 41st International Conference on Infrared, Millimeter, and Terahertz waves (IRMMW-THz)
IS -
SN -
VO -
VL -
JA - 2016 41st International Conference on Infrared, Millimeter, and Terahertz waves (IRMMW-THz)
Y1 - 25-30 Sept. 2016
ER -
TY - JOUR
TI - YBCO X-band microstrip linear resonators on (1
T2 - IEEE Transactions on Applied Superconductivity
SP - 2559
EP - 2562
AU - C. H. Mueller
AU - F. A. Miranda
AU - S. S. Toncich
AU - K. B. Bhasin
PY - 1995
KW - Q-factor
KW - barium compounds
KW - high-temperature superconductors
KW - microstrip resonators
KW - microwave filters
KW - superconducting microwave devices
KW - superconducting resonators
KW - yttrium compounds
KW - 87 to 88 K
KW - 88 to 89 K
KW - Al/sub 2/O/sub 3/
KW - HTS resonators
KW - M-plane sapphire
KW - R-plane sapphire
KW - X-band
KW - X-ray FWHM values
KW - YBaCuO-Al/sub 2/O/sub 3/
KW - anisotropy
KW - buffer layers
KW - filters
KW - in-plane direction
KW - microstrip linear resonators
KW - planar microwave applications
KW - resonators
KW - sapphire substrates
KW - unloaded quality factors
KW - Anisotropic magnetoresistance
KW - Crystallography
KW - Dielectric losses
KW - Dielectric substrates
KW - Microstrip resonators
KW - Optical losses
KW - Optical resonators
KW - Superconducting films
KW - Superconducting microwave devices
KW - Yttrium barium copper oxide
DO - 10.1109/77.403112
JO - IEEE Transactions on Applied Superconductivity
IS - 2
SN - 1051-8223
VO - 5
VL - 5
JA - IEEE Transactions on Applied Superconductivity
Y1 - June 1995
ER -
TY - CONF
TI - Certification strategies using run-time safety assurance for part 23 autopilot systems
T2 - 2016 IEEE Aerospace Conference
SP - 1
EP - 10
AU - L. R. Hook
AU - M. Clark
AU - D. Sizoo
AU - M. A. Skoog
AU - J. Brady
PY - 2016
KW - aerospace safety
KW - aircraft control
KW - aviation autopilot systems
KW - certification strategies
KW - part 23 aircraft operation
KW - part 23 autopilot systems
KW - run-time safety assurance
KW - Accidents
KW - Airplanes
KW - Certification
KW - FAA
KW - Military aircraft
KW - Safety
DO - 10.1109/AERO.2016.7500817
JO - 2016 IEEE Aerospace Conference
IS -
SN -
VO -
VL -
JA - 2016 IEEE Aerospace Conference
Y1 - 5-12 March 2016
ER -
TY - JOUR
TI - Ensemble modeling of the 23 July 2012 coronal mass ejection
T2 - Space Weather
SP - 611
EP - 625
AU - M. D. Cash
AU - D. A. Biesecker
AU - V. Pizzo
AU - C. A. d. Koning
AU - G. Millward
AU - C. N. Arge
AU - C. J. Henney
AU - D. Odstrcil
PY - 2015
KW - Adaptation models
KW - Magnetic resonance imaging
KW - Predictive models
KW - Storms
KW - Weather forecasting
KW - Wind
DO - 10.1002/2015SW001232
JO - Space Weather
IS - 10
SN - 1542-7390
VO - 13
VL - 13
JA - Space Weather
Y1 - Oct. 2015
ER -
TY - CONF
TI - GIS and data interoperability at the NASA Goddard DAAC
T2 - IGARSS 2001. Scanning the Present and Resolving the Future. Proceedings. IEEE 2001 International Geoscience and Remote Sensing Symposium (Cat. No.01CH37217)
SP - 1953
EP - 1955 vol.4
AU - W. Teng
AU - N. Pollack
AU - G. Serafino
AU - Long Chiu
AU - P. Sweatrnan
PY - 2001
KW - Internet
KW - geographic information systems
KW - information resources
KW - open systems
KW - remote sensing
KW - GIS data analysis
KW - GIS data mapping
KW - GIS data searching
KW - GIS data visualization
KW - GIS formats
KW - GIS-compatible data distribution
KW - NASA Goddard Space Flight Center Earth Sciences Distributed Active Archive Center
KW - Open GIS Consortium compliant client
KW - WMT-DODS server
KW - Web Mapping Testbed Distributed Oceanographic Data System server
KW - Web capabilities
KW - WebGIS
KW - application-driven interoperable data access systems
KW - automated system
KW - data access
KW - data conversion
KW - data interoperability
KW - data retrieval
KW - online interactive capabilities
KW - remote sensing information partner network
KW - satellite remote sensing data
KW - Data analysis
KW - Data systems
KW - Data visualization
KW - Geographic Information Systems
KW - Geoscience
KW - Information retrieval
KW - NASA
KW - Remote sensing
KW - Satellites
KW - System testing
DO - 10.1109/IGARSS.2001.977127
JO - IGARSS 2001. Scanning the Present and Resolving the Future. Proceedings. IEEE 2001 International Geoscience and Remote Sensing Symposium (Cat. No.01CH37217)
IS -
SN -
VO - 4
VL - 4
JA - IGARSS 2001. Scanning the Present and Resolving the Future. Proceedings. IEEE 2001 International Geoscience and Remote Sensing Symposium (Cat. No.01CH37217)
Y1 - 2001
ER -
TY - CONF
TI - Mars surface tunnel element concept
T2 - 2016 IEEE Aerospace Conference
SP - 1
EP - 12
AU - M. A. Rucker
AU - S. Jefferies
AU - N. Mary
AU - A. S. Howe
AU - J. Watson
AU - R. Howard
AU - R. Lewis
PY - 2016
KW - Mars
KW - design engineering
KW - planetary rovers
KW - tunnels
KW - Apollo program
KW - EMC
KW - EVA ingress
KW - Evolvable Mars Campaign
KW - MAV access
KW - Mars ascent vehicle
KW - Mars surface tunnel element concept
KW - Martian contaminants
KW - NASA
KW - National Aeronautics and Space Administration
KW - ascent vehicle
KW - extravehicular activity ingress
KW - functional requirements
KW - mass growth allowance
KW - mass penalty
KW - minimum functional tunnel
KW - pressurized rover
KW - primary mission
KW - retractable tunnel
KW - reusable tunnel
KW - stowed volume
KW - surface applications
KW - surface element
KW - surface habitat
KW - surface tunnel functionality
KW - tunnel design concepts
KW - Earth
KW - Electromagnetic compatibility
KW - Mars
KW - NASA
KW - Propulsion
KW - Surface cleaning
KW - Vehicles
DO - 10.1109/AERO.2016.7500781
JO - 2016 IEEE Aerospace Conference
IS -
SN -
VO -
VL -
JA - 2016 IEEE Aerospace Conference
Y1 - 5-12 March 2016
ER -
TY - CONF
TI - Nonparametric, low bias, and low variance time-frequency analysis of myoelectric signals
T2 - Proceedings of 17th International Conference of the Engineering in Medicine and Biology Society
SP - 993
EP - 994 vol.2
AU - K. A. Farry
AU - R. G. Baraniuk
AU - I. D. Walker
PY - 1995
KW - Fourier transforms
KW - electromyography
KW - medical signal processing
KW - spectral analysis
KW - time-frequency analysis
KW - Thomson's multiple window method
KW - Thomson's spectral estimation methodology
KW - electrodiagnostics
KW - myoelectric signals analysis
KW - nonparametric low bias low variance time-frequency analysis
KW - short-time Fourier transform
KW - short-time Thomson transform
KW - stationary signals
KW - Analysis of variance
KW - Blood flow
KW - Fourier transforms
KW - Magnetic heads
KW - Muscles
KW - Production
KW - Recruitment
KW - Signal analysis
KW - Spectrogram
KW - Time frequency analysis
DO - 10.1109/IEMBS.1995.579397
JO - Proceedings of 17th International Conference of the Engineering in Medicine and Biology Society
IS -
SN -
VO - 2
VL - 2
JA - Proceedings of 17th International Conference of the Engineering in Medicine and Biology Society
Y1 - 20-23 Sep 1995
ER -
TY - JOUR
TI - An experimental evaluation of software redundancy as a strategy for improving reliability
T2 - IEEE Transactions on Software Engineering
SP - 692
EP - 702
AU - D. E. Eckhardt
AU - A. K. Caglayan
AU - J. C. Knight
AU - L. D. Lee
AU - D. F. McAllister
AU - M. A. Vouk
AU - J. P. J. Kelly
PY - 1991
KW - fault tolerant computing
KW - program testing
KW - redundancy
KW - software reliability
KW - aerospace application
KW - dependent failures
KW - development process
KW - experimental evaluation
KW - experimental results
KW - failure probabilities
KW - independently developed software
KW - multiple versions
KW - multiversion software
KW - programmers
KW - residual software design faults
KW - software redundancy
KW - Application software
KW - Design engineering
KW - Educational institutions
KW - Fault tolerance
KW - Hardware
KW - Redundancy
KW - Reliability engineering
KW - Software design
KW - Software measurement
KW - Software reliability
DO - 10.1109/32.83905
JO - IEEE Transactions on Software Engineering
IS - 7
SN - 0098-5589
VO - 17
VL - 17
JA - IEEE Transactions on Software Engineering
Y1 - Jul 1991
ER -
TY - CONF
TI - A testbed for implementing prognostic methodologies on cryogenic propellant loading systems
T2 - 2014 IEEE AUTOTEST
SP - 280
EP - 289
AU - C. S. Kulkarni
AU - G. Gorospe
AU - M. Daigle
AU - K. Goebel
PY - 2014
KW - condition monitoring
KW - cryogenics
KW - fault diagnosis
KW - maintenance engineering
KW - pneumatic control equipment
KW - propellants
KW - remaining life assessment
KW - valves
KW - battery degradation
KW - common valve fault emulation
KW - component level prognostic method
KW - critical systems
KW - cryogenic propellant loading system
KW - cryogenic refueling operations
KW - damage progression profile
KW - fault conditions
KW - health state determination
KW - maintenance decision making
KW - mission level activity
KW - pneumatic components
KW - pneumatic valve testbed
KW - remaining useful life prediction
KW - streamlining operational level activities
KW - time-varying leak
KW - Batteries
KW - Cryogenics
KW - Propulsion
KW - Sensors
KW - Solenoids
KW - Valves
KW - Vectors
DO - 10.1109/AUTEST.2014.6935157
JO - 2014 IEEE AUTOTEST
IS -
SN - 1088-7725
VO -
VL -
JA - 2014 IEEE AUTOTEST
Y1 - 15-18 Sept. 2014
ER -
TY - CONF
TI - Runway incursion prevention system simulation evaluation
T2 - Proceedings. The 21st Digital Avionics Systems Conference
SP - 11B4-1
EP - 11B4-12 vol.2
AU - D. R. Jones
PY - 2002
KW - aerospace simulation
KW - air traffic control
KW - aircraft communication
KW - aircraft displays
KW - airports
KW - avionics
KW - surveillance
KW - ATC
KW - RIPS
KW - air traffic control
KW - airport geographic databases
KW - airport surface display concepts
KW - airport surveillance systems
KW - blunders
KW - controller-pilot data link communications
KW - flight deck displays
KW - incursion detection algorithms
KW - onboard position determination systems
KW - operational capability
KW - runway conflict alerts
KW - runway incidents
KW - runway incursion prevention system simulation evaluation
KW - simulators
KW - surface situational awareness enhancement
KW - Airports
KW - Databases
KW - Detection algorithms
KW - Displays
KW - FAA
KW - NASA
KW - Safety
KW - Space technology
KW - Testing
KW - Transportation
DO - 10.1109/DASC.2002.1052974
JO - Proceedings. The 21st Digital Avionics Systems Conference
IS -
SN -
VO - 2
VL - 2
JA - Proceedings. The 21st Digital Avionics Systems Conference
Y1 - 2002
ER -
TY - JOUR
TI - Uniformity of Kilo-Pixel Arrays of Transition-Edge Sensors for X-ray Astronomy
T2 - IEEE Transactions on Applied Superconductivity
SP - 1
EP - 5
AU - S. J. Smith
AU - J. S. Adams
AU - S. R. Bandler
AU - G. Betancourt-Martinez
AU - J. A. Chervenak
AU - M. E. Eckart
AU - F. M. Finkbeiner
AU - R. L. Kelley
AU - C. A. Kilbourne
AU - S. J. Lee
AU - F. S. Porter
AU - J. E. Sadleir
AU - E. J. Wassell
PY - 2015
KW - X-ray astronomy
KW - astronomical instruments
KW - calorimeters
KW - particle calorimetry
KW - readout electronics
KW - time division multiplexing
KW - transition radiation detectors
KW - Bi/Au X-ray absorbers
KW - Mo/Au TES
KW - TC variation
KW - X-ray astronomy
KW - applied magnetic field
KW - bias point resistance
KW - electrically biased pixels
KW - energy resolution
KW - full-width-half-maximum
KW - future laboratory based X-ray astrophysics experiments
KW - future space based X-ray astrophysics experiments
KW - kilo-pixel arrays
KW - magnetic field uniformity
KW - photon energy
KW - soft X-ray energy range
KW - target energy resolution
KW - test arrays
KW - time division multiplexed readout
KW - transition properties
KW - transition-edge sensor microcalorimeters
KW - Detectors
KW - Electrical resistance measurement
KW - Magnetic field measurement
KW - Magnetic fields
KW - Noise
KW - Temperature measurement
KW - Imaging array
KW - Transition edge sensor
KW - X-ray spectroscopy
KW - imaging array
KW - transition edge sensor (TES)
KW - x-ray spectroscopy
DO - 10.1109/TASC.2014.2369352
JO - IEEE Transactions on Applied Superconductivity
IS - 3
SN - 1051-8223
VO - 25
VL - 25
JA - IEEE Transactions on Applied Superconductivity
Y1 - June 2015
ER -
TY - JOUR
TI - Radiometer design analysis based upon measurement uncertainty
T2 - Radio Science
SP - 1
EP - 22
AU - P. Racette
AU - R. H. Lang
PY - 2005
KW - Calibration
KW - Measurement uncertainty
KW - Microwave radiometry
KW - Receivers
KW - Temperature measurement
KW - Uncertainty
DO - 10.1029/2004RS003132
JO - Radio Science
IS - 05
SN - 1944-799X
VO - 40
VL - 40
JA - Radio Science
Y1 - Oct. 2005
ER -
TY - JOUR
TI - The development test flight of the flight telerobotic servicer: design description and lessons learned
T2 - IEEE Transactions on Robotics and Automation
SP - 664
EP - 674
AU - J. F. Andary
AU - P. D. Spidaliere
PY - 1993
KW - aerospace control
KW - robots
KW - safety
KW - telecontrol
KW - DTF-1 system
KW - Development Test Flight system
KW - flight telerobotic servicer
KW - operational considerations
KW - safety
KW - technical considerations
KW - Control systems
KW - Hardware
KW - Hazards
KW - Manipulators
KW - Orbital robotics
KW - Safety
KW - Space shuttles
KW - Space technology
KW - Telerobotics
KW - Testing
DO - 10.1109/70.258057
JO - IEEE Transactions on Robotics and Automation
IS - 5
SN - 1042-296X
VO - 9
VL - 9
JA - IEEE Transactions on Robotics and Automation
Y1 - Oct 1993
ER -
TY - JOUR
TI - Two-Phase Hydrogen Density Measurements by Neutron Attenuation
T2 - IEEE Transactions on Nuclear Science
SP - 112
EP - 116
AU - D. F. Shook
PY - 1965
KW - Atomic measurements
KW - Attenuation measurement
KW - Containers
KW - Density measurement
KW - Detectors
KW - Hydrogen
KW - Neutrons
KW - Polyethylene
KW - Thickness measurement
KW - Water heating
DO - 10.1109/TNS.1965.4323503
JO - IEEE Transactions on Nuclear Science
IS - 1
SN - 0018-9499
VO - 12
VL - 12
JA - IEEE Transactions on Nuclear Science
Y1 - Feb. 1965
ER -
TY - JOUR
TI - Identifying and managing risks for automatic test systems
T2 - IEEE Aerospace and Electronic Systems Magazine
SP - 9
EP - 19
AU - C. C. Calhoun
PY - 2000
KW - automatic test equipment
KW - automatic test software
KW - economics
KW - management
KW - product development
KW - software engineering
KW - automatic test system development
KW - costs
KW - delayed completion
KW - failure
KW - hardware
KW - life cycle
KW - losses
KW - quality
KW - risk management
KW - software
KW - Automatic testing
KW - Error correction
KW - Instruments
KW - NASA
KW - Personnel
KW - Project management
KW - Risk management
KW - Software testing
KW - System testing
KW - Uncertainty
DO - 10.1109/62.873469
JO - IEEE Aerospace and Electronic Systems Magazine
IS - 9
SN - 0885-8985
VO - 15
VL - 15
JA - IEEE Aerospace and Electronic Systems Magazine
Y1 - Sep 2000
ER -
TY - CONF
TI - Testing of large area drift chambers at the Saskatchewan Accelerator Laboratory for High Energy Astrophysics
T2 - 1995 IEEE Nuclear Science Symposium and Medical Imaging Conference Record
SP - 248
EP - 252 vol.1
AU - R. Cuddapah
AU - D. L. Bertsch
AU - J. R. Catelli
AU - B. L. Dingus
AU - J. A. Esposito
AU - C. E. Fichtel
AU - R. C. Hartman
AU - S. D. Hunter
AU - R. Mukherjee
AU - D. J. Thompson
AU - J. M. Vogt
PY - 1995
KW - astronomical instruments
KW - drift chambers
KW - gamma-ray astronomy
KW - gamma-ray detection
KW - testing
KW - 0.5 m
KW - 20 MeV to 100 GeV
KW - AGATE
KW - Advanced Gamma Ray Astronomy Telescope Experiment
KW - Ar-isobutane
KW - Saskatchewan Accelerator Laboratory
KW - imaging system
KW - instrument trigger
KW - large area drift chambers
KW - pair production material
KW - photon tagging energy ranges
KW - spatial resolution
KW - Astronomy
KW - Instruments
KW - Laboratories
KW - Life estimation
KW - Materials testing
KW - Optical imaging
KW - Performance evaluation
KW - Production materials
KW - System testing
KW - Telescopes
DO - 10.1109/NSSMIC.1995.504219
JO - 1995 IEEE Nuclear Science Symposium and Medical Imaging Conference Record
IS -
SN -
VO - 1
VL - 1
JA - 1995 IEEE Nuclear Science Symposium and Medical Imaging Conference Record
Y1 - 21-28 Oct 1995
ER -
TY - JOUR
TI - Remote Sensing Contributions to Prediction and Risk Assessment of Natural Disasters Caused by Large-Scale Rift Valley Fever Outbreaks
T2 - Proceedings of the IEEE
SP - 2824
EP - 2834
AU - A. Anyamba
AU - K. J. Linthicum
AU - J. Small
AU - S. C. Britch
AU - C. J. Tucker
PY - 2012
KW - El Nino Southern Oscillation
KW - climatology
KW - disasters
KW - diseases
KW - ecology
KW - epidemics
KW - ocean temperature
KW - rain
KW - remote sensing
KW - risk management
KW - vegetation
KW - ENSO
KW - El Niño/Southern Oscillation
KW - RVF outbreaks
KW - arthropod-borne diseases
KW - bioclimatic factors
KW - climate data sets
KW - climate-related disasters
KW - disease epidemics
KW - disease transmitting arthropod vectors
KW - early warning system
KW - ecology
KW - epizootics
KW - large-scale Rift Valley fever outbreaks
KW - large-scale flooding
KW - natural disaster prediction
KW - natural disaster risk assessment
KW - rainfall
KW - remote sensing contributions
KW - sea surface temperatures
KW - vegetation development
KW - vegetation measurements
KW - Disaster management
KW - Diseases
KW - Meteorology
KW - Predictive models
KW - Remote sensing
KW - Risk management
KW - Vegetation mapping
KW - Arthropod-borne virus
KW - El Niño/Southern Oscillation (ENSO)
KW - Rift Valley fever virus (RVFV)
KW - climate variability
KW - normalized difference vegetation index
KW - predictive model
KW - risk management and mitigation
DO - 10.1109/JPROC.2012.2194469
JO - Proceedings of the IEEE
IS - 10
SN - 0018-9219
VO - 100
VL - 100
JA - Proceedings of the IEEE
Y1 - Oct. 2012
ER -
TY - CONF
TI - Collision avoidance based on line-of-sight angle
T2 - 2015 54th IEEE Conference on Decision and Control (CDC)
SP - 6779
EP - 6784
AU - V. Cichella
AU - T. Marinho
AU - D. Stipanović
AU - N. Hovakimyan
AU - I. Kaminer
AU - A. Trujillo
PY - 2015
KW - Lyapunov methods
KW - aerospace components
KW - air safety
KW - aircraft control
KW - autonomous aerial vehicles
KW - collision avoidance
KW - Lyapunov based analysis
KW - aircraft angular velocity
KW - collision avoidance
KW - control law
KW - fixed-wing unmanned aerial vehicle
KW - gimbaled camera
KW - inertial measurement unit
KW - line-of-sight angle
KW - low-cost unmanned aerial platform
KW - safety guarantee
KW - uncooperative obstacle
KW - Cameras
KW - Collision avoidance
KW - Position measurement
KW - Robot sensing systems
KW - Safety
KW - Vehicles
DO - 10.1109/CDC.2015.7403287
JO - 2015 54th IEEE Conference on Decision and Control (CDC)
IS -
SN -
VO -
VL -
JA - 2015 54th IEEE Conference on Decision and Control (CDC)
Y1 - 15-18 Dec. 2015
ER -
TY - CONF
TI - A novel algorithm for mixed integer nonlinear optimization problems
T2 - Proceedings World Automation Congress, 2004.
SP - 543
EP - 548
AU - M. Hussain
AU - A. Ahmadzadeh
AU - B. Savyar-Roudsari
AU - R. Kimiaghalan
AU - A. Homaifar
AU - J. Walis
PY - 2004
KW - Automotive engineering
KW - Constraint optimization
KW - Control systems
KW - Explosions
KW - Functional programming
KW - Gradient methods
KW - Large Hadron Collider
KW - Optimization methods
KW - Path planning
KW - Unmanned aerial vehicles
KW - Mixed Integer Nonlinear Programming
KW - Penalty Function
KW - Projected Gradient Method
KW - Projected Variable Metric Methods
DO -
JO - Proceedings World Automation Congress, 2004.
IS -
SN -
VO - 17
VL - 17
JA - Proceedings World Automation Congress, 2004.
Y1 - June 28 2004-July 1 2004
ER -
TY - CONF
TI - The GSFC Communications, Standards, and Technology Laboratory (CSTL)
T2 - 2008 IEEE Aerospace Conference
SP - 1
EP - 7
AU - D. J. Israel
AU - J. K. Marquart
AU - W. L. Thompson
PY - 2008
KW - IP networks
KW - aerospace test facilities
KW - laboratories
KW - space communication links
KW - space research
KW - Communications, Standards, and Technology Lab
KW - Crew Exploration Vehicle
KW - Flight Software Branch
KW - Internet Protocol
KW - Lunar Surface Access Module
KW - Microwave & Communications Systems Branch lab
KW - NASA Goddard Space Flight Center
KW - communication technologies
KW - communications standards
KW - end-to-end communications scenario
KW - Communication standards
KW - Communication system software
KW - Communications technology
KW - Laboratories
KW - Microwave communication
KW - NASA
KW - Software testing
KW - Space technology
KW - Standards development
KW - System testing
DO - 10.1109/AERO.2008.4526339
JO - 2008 IEEE Aerospace Conference
IS -
SN - 1095-323X
VO -
VL -
JA - 2008 IEEE Aerospace Conference
Y1 - 1-8 March 2008
ER -
TY - CONF
TI - Isosurface extraction in time-varying fields using a temporal hierarchical index tree
T2 - Visualization '98. Proceedings
SP - 159
EP - 166
AU - H. W. Shen
PY - 1998
KW - computational fluid dynamics
KW - data visualisation
KW - feature extraction
KW - flow visualisation
KW - indexing
KW - time-varying systems
KW - tree data structures
KW - I/O requirements
KW - adaptive coalescence
KW - computational fluid dynamics simulations
KW - data structure
KW - disk-space savings
KW - extreme value coalescence
KW - isosurface cell location
KW - isosurface cell search index
KW - isosurface extraction
KW - marching cubes algorithm
KW - scalar field visualization
KW - search index
KW - span space
KW - storage overhead
KW - temporal coherence
KW - temporal hierarchical index tree
KW - time-varying fields
KW - time-varying scalar data set
KW - volume visualization
KW - Acceleration
KW - Computational fluid dynamics
KW - Data analysis
KW - Data mining
KW - Data visualization
KW - Isosurfaces
KW - Large-scale systems
KW - NASA
KW - Space technology
KW - Tree data structures
DO - 10.1109/VISUAL.1998.745298
JO - Visualization '98. Proceedings
IS -
SN - 1070-2385
VO -
VL -
JA - Visualization '98. Proceedings
Y1 - 24-24 Oct. 1998
ER -
TY - CONF
TI - A GSFC perspective on the execution of faster, better, cheaper
T2 - 1999 IEEE Aerospace Conference. Proceedings (Cat. No.99TH8403)
SP - 19
EP - 24 vol.2
AU - J. Watzin
PY - 1999
KW - space research
KW - space vehicles
KW - Explorer Technology Infusion
KW - FBC spacecraft bus
KW - GSFC
KW - NASA Goddard Space Flight Center
KW - SMEX
KW - Triana mission
KW - project management
KW - protoflight
KW - smart spacecraft
KW - systems engineering
KW - test programs
KW - Content management
KW - NASA
KW - Personnel
KW - Production
KW - Project management
KW - Qualifications
KW - Satellites
KW - Space missions
KW - Space technology
KW - Space vehicles
DO - 10.1109/AERO.1999.793138
JO - 1999 IEEE Aerospace Conference. Proceedings (Cat. No.99TH8403)
IS -
SN -
VO - 2
VL - 2
JA - 1999 IEEE Aerospace Conference. Proceedings (Cat. No.99TH8403)
Y1 - 1999
ER -
TY - CONF
TI - Windstar: a synthetic aperture microwave radiometer to measure winds over the ocean
T2 - OCEANS '95. MTS/IEEE. Challenges of Our Changing Global Environment. Conference Proceedings.
SP - 1270
EP - 1273 vol.2
AU - D. M. Le Vine
PY - 1995
KW - atmospheric measuring apparatus
KW - atmospheric techniques
KW - microwave measurement
KW - millimetre wave devices
KW - millimetre wave measurement
KW - radiometers
KW - radiometry
KW - remote sensing
KW - wind
KW - 18 to 37 GHz
KW - EHF
KW - SHF
KW - Windstar
KW - apparatus
KW - boundary layer
KW - conical scan
KW - equipment
KW - instrument
KW - marine atmosphere
KW - measurement technique
KW - microwave radiometry
KW - millimetric
KW - mm wave
KW - passive microwave sensor
KW - remote sensing
KW - spaceborne method
KW - synthetic aperture microwave radiometer
KW - wind direction
KW - wind speed
KW - Microwave measurements
KW - Microwave radiometry
KW - Microwave sensors
KW - Oceans
KW - Packaging
KW - Sea measurements
KW - Sensor systems
KW - Vehicles
KW - Velocity measurement
KW - Wind speed
DO - 10.1109/OCEANS.1995.528603
JO - OCEANS '95. MTS/IEEE. Challenges of Our Changing Global Environment. Conference Proceedings.
IS -
SN -
VO - 2
VL - 2
JA - OCEANS '95. MTS/IEEE. Challenges of Our Changing Global Environment. Conference Proceedings.
Y1 - 9-12 Oct 1995
ER -
TY - CONF
TI - Room temperature laser performance of Nd:Y/sub 2/O/sub 3/ at 914 nm
T2 - Lasers and Electro-Optics, 2003. CLEO '03. Conference on
SP - 3 pp.
EP -
AU - J. A. Williams-Byrd
AU - L. B. Petway
AU - W. C. Edwards
AU - M. C. Turner
PY - 2003
KW - neodymium
KW - solid lasers
KW - thermo-optical effects
KW - yttrium compounds
KW - 1073 nm
KW - 293 to 298 K
KW - 914 nm
KW - Nd:yttria laser
KW - Y/sub 2/O/sub 3/:Nd
KW - atmospherics science community
KW - room temperature laser performance
KW - Instruments
KW - Laser excitation
KW - Laser transitions
KW - Monitoring
KW - NASA
KW - Neodymium
KW - Optical materials
KW - Optical transmitters
KW - Pump lasers
KW - Temperature
DO -
JO - Lasers and Electro-Optics, 2003. CLEO '03. Conference on
IS -
SN -
VO -
VL -
JA - Lasers and Electro-Optics, 2003. CLEO '03. Conference on
Y1 - 6-6 June 2003
ER -
TY - CONF
TI - Efficient tracing for on-the-fly space-time displays in a debugger for message passing programs
T2 - Proceedings First IEEE/ACM International Symposium on Cluster Computing and the Grid
SP - 394
EP - 403
AU - R. Hood
AU - G. Matthews
PY - 2001
KW - message passing
KW - program debugging
KW - software libraries
KW - user interfaces
KW - MPI communication library
KW - communication errors
KW - consistent stoplines
KW - controlled replay
KW - message passing programs
KW - on-the-fly space-time displays
KW - program debugging
KW - rollback
KW - trace format
KW - trace information
KW - undo
KW - wrappers
KW - Communication system control
KW - Computer displays
KW - Contracts
KW - Data visualization
KW - History
KW - Libraries
KW - Message passing
KW - NASA
KW - Software debugging
KW - User interfaces
DO - 10.1109/CCGRID.2001.923219
JO - Proceedings First IEEE/ACM International Symposium on Cluster Computing and the Grid
IS -
SN -
VO -
VL -
JA - Proceedings First IEEE/ACM International Symposium on Cluster Computing and the Grid
Y1 - 2001
ER -
TY - CONF
TI - Aerospace applications of Weibull and Monte Carlo simulation with importance sampling
T2 - Annual Reliability and Maintainability Symposium
SP - 208
EP - 210
AU - S. J. Bavuso
PY - 1997
KW - Monte Carlo methods
KW - Weibull distribution
KW - aerospace computing
KW - aerospace simulation
KW - failure analysis
KW - fault tolerant computing
KW - reliability
KW - reliability theory
KW - special purpose computers
KW - Mars mission
KW - Monte Carlo simulation
KW - Weibull time-to-failure distribution
KW - aerospace applications
KW - complex fault-tolerant computer-based systems
KW - guidance/navigation/control system
KW - importance sampling
KW - manned spacecraft
KW - space system applications
KW - system reliability
KW - Application software
KW - Distributed computing
KW - Fault trees
KW - Mathematical model
KW - Monte Carlo methods
KW - Power system modeling
KW - Power system reliability
KW - Predictive models
KW - Space technology
KW - Sparse matrices
DO - 10.1109/RAMS.1997.571708
JO - Annual Reliability and Maintainability Symposium
IS -
SN - 0149-144X
VO -
VL -
JA - Annual Reliability and Maintainability Symposium
Y1 - 13-16 Jan 1997
ER -
TY - CONF
TI - Ways of achieving continuous service from computers
T2 - 1974 IEEE Conference on Decision and Control including the 13th Symposium on Adaptive Processes
SP - 389
EP - 392
AU - M. J. Quinn
PY - 1974
KW - Moon
KW - Telemetry
DO - 10.1109/CDC.1974.270467
JO - 1974 IEEE Conference on Decision and Control including the 13th Symposium on Adaptive Processes
IS -
SN -
VO -
VL -
JA - 1974 IEEE Conference on Decision and Control including the 13th Symposium on Adaptive Processes
Y1 - 20-22 Nov. 1974
ER -
TY - CONF
TI - Parallelized network simulators for message-passing parallel programs
T2 - Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, 1995. MASCOTS '95., Proceedings of the Third International Workshop on
SP - 72
EP - 76
AU - P. M. Dickens
AU - P. Heidelberger
AU - D. M. Nicol
PY - 1995
KW - message passing
KW - parallel programming
KW - software tools
KW - virtual machines
KW - Intel Paragon
KW - LAPSE
KW - Large Application Parallel Simulation Environment
KW - conservative synchronization algorithm
KW - indirect linear system solver
KW - large-scale programs
KW - message-passing parallel programs
KW - parallelized network simulators
KW - processor usage
KW - simulated network complexity
KW - software tool
KW - timing simulators
KW - Application software
KW - Communication networks
KW - Computational modeling
KW - Large-scale systems
KW - Operating systems
KW - Parallel processing
KW - Protocols
KW - Software tools
KW - Timing
KW - Virtual machining
DO - 10.1109/MASCOT.1995.378707
JO - Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, 1995. MASCOTS '95., Proceedings of the Third International Workshop on
IS -
SN -
VO -
VL -
JA - Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, 1995. MASCOTS '95., Proceedings of the Third International Workshop on
Y1 - 18-20 Jan 1995
ER -
TY - JOUR
TI - New opportunities for a historic spacecraft
T2 - Space Weather
SP - 1
EP - 2
AU - L. Garcia
AU - R. Farquhar
AU - T. Eastman
PY - 2012
KW - Aerospace electronics
KW - Earth
KW - Extraterrestrial measurements
KW - Ice
KW - Meteorology
KW - Orbits
KW - Space vehicles
DO - 10.1029/2012SW000832
JO - Space Weather
IS - 8
SN - 1542-7390
VO - 10
VL - 10
JA - Space Weather
Y1 - Aug. 2012
ER -
TY - CONF
TI - Carrier and Timing Synchronization of BPSK via LDPC Code Feedback
T2 - 2006 Fortieth Asilomar Conference on Signals, Systems and Computers
SP - 2177
EP - 2181
AU - E. L. Valles
AU - R. D. Wesel
AU - J. D. Villasenor
AU - C. R. Jones
PY - 2006
KW - parity check codes
KW - phase shift keying
KW - receivers
KW - synchronisation
KW - transmitters
KW - BPSK
KW - LDPC code feedback
KW - carrier phase
KW - carrier synchronization
KW - joint carrier-phase recovery
KW - symbol timing recovery
KW - timing synchronization
KW - Binary phase shift keying
KW - Circuits
KW - Feedback
KW - Frequency estimation
KW - Iterative algorithms
KW - Iterative decoding
KW - Parameter estimation
KW - Parity check codes
KW - Phase estimation
KW - Timing
DO - 10.1109/ACSSC.2006.355154
JO - 2006 Fortieth Asilomar Conference on Signals, Systems and Computers
IS -
SN - 1058-6393
VO -
VL -
JA - 2006 Fortieth Asilomar Conference on Signals, Systems and Computers
Y1 - Oct. 29 2006-Nov. 1 2006
ER -
TY - JOUR
TI - The Effects of Proton Irradiation on the Performance of High-Voltage n-MOSFETs Implemented in a Low-Voltage SiGe BiCMOS Platform
T2 - IEEE Transactions on Nuclear Science
SP - 3253
EP - 3258
AU - L. Najafizadeh
AU - T. Vo
AU - S. D. Phillips
AU - P. Cheng
AU - E. P. Wilcox
AU - J. D. Cressler
AU - M. Mojarradi
AU - P. W. Marshall
PY - 2008
KW - BiCMOS integrated circuits
KW - Ge-Si alloys
KW - MOSFET
KW - BiCMOS
KW - SiGe
KW - high-voltage nMOS transistors
KW - irradiation gate bias
KW - irradiation substrate bias
KW - n-MOSFET
KW - proton irradiation
KW - radiation-induced subthreshold leakage current
KW - BiCMOS integrated circuits
KW - CMOS technology
KW - Germanium silicon alloys
KW - Integrated circuit reliability
KW - Ionization
KW - MOSFET circuits
KW - Measurement
KW - Moon
KW - Protons
KW - Silicon germanium
KW - High-voltage CMOS transistors
KW - MOSFET
KW - SiGe
KW - ionization damage
KW - total dose radiation effects
DO - 10.1109/TNS.2008.2007120
JO - IEEE Transactions on Nuclear Science
IS - 6
SN - 0018-9499
VO - 55
VL - 55
JA - IEEE Transactions on Nuclear Science
Y1 - Dec. 2008
ER -
TY - CONF
TI - Some fundamental limits on SAW RFID tag information capacity and collision resolution
T2 - IEEE International Conference on Wireless for Space and Extreme Environments
SP - 1
EP - 7
AU - R. J. Barton
PY - 2013
KW - multiuser channels
KW - radiofrequency identification
KW - surface acoustic wave sensors
KW - SAW RFID tag information capacity
KW - collision resolution
KW - data rate per tag
KW - multiuser information theory
KW - tag interrogation efficiency
KW - tag signal-to-noise ratio
KW - tag time-bandwidth product
KW - tag waveform design
KW - Equations
KW - RFID tags
KW - Signal to noise ratio
KW - Surface acoustic waves
KW - Temperature distribution
KW - Temperature measurement
KW - Collision Resolution
KW - Information Capacity
KW - Passive Sensing
KW - RFID
KW - Remote Sensing
KW - SAW
DO - 10.1109/WiSEE.2013.6737552
JO - IEEE International Conference on Wireless for Space and Extreme Environments
IS -
SN -
VO -
VL -
JA - IEEE International Conference on Wireless for Space and Extreme Environments
Y1 - 7-9 Nov. 2013
ER -
TY - CONF
TI - Land data assimilation systems
T2 - IGARSS 2001. Scanning the Present and Resolving the Future. Proceedings. IEEE 2001 International Geoscience and Remote Sensing Symposium (Cat. No.01CH37217)
SP - 28
EP - 30 vol.1
AU - P. R. Houser
PY - 2001
KW - hydrological techniques
KW - moisture
KW - remote sensing
KW - snow
KW - soil
KW - atmospheric numerical weather prediction land surface forcing biases
KW - energy partitioning
KW - global scales
KW - high-resolution land surface observations
KW - land data assimilation systems
KW - land surface forcing
KW - land surface storages
KW - parameterization
KW - precipitation
KW - radiation
KW - regional scales
KW - snow
KW - soil moisture
KW - soil temperature
KW - surface water
KW - temperature
KW - uncoupled land surface models
KW - Atmospheric modeling
KW - Data assimilation
KW - Land surface
KW - Land surface temperature
KW - Linear discriminant analysis
KW - Moisture
KW - Snow
KW - Soil
KW - Water storage
KW - Weather forecasting
DO - 10.1109/IGARSS.2001.976047
JO - IGARSS 2001. Scanning the Present and Resolving the Future. Proceedings. IEEE 2001 International Geoscience and Remote Sensing Symposium (Cat. No.01CH37217)
IS -
SN -
VO - 1
VL - 1
JA - IGARSS 2001. Scanning the Present and Resolving the Future. Proceedings. IEEE 2001 International Geoscience and Remote Sensing Symposium (Cat. No.01CH37217)
Y1 - 2001
ER -
TY - CONF
TI - Planar dielectric resonator stabilized HEMT oscillator integrated with CPW/aperture coupled patch antenna
T2 - 1992 IEEE MTT-S Microwave Symposium Digest
SP - 433
EP - 436 vol.1
AU - R. N. Simons
AU - R. Q. Lee
PY - 1992
KW - active antennas
KW - antenna radiation patterns
KW - dielectric resonators
KW - high electron mobility transistors
KW - microstrip antennas
KW - microwave oscillators
KW - solid-state microwave circuits
KW - 7.6 GHz
KW - CPW/aperture coupled patch antenna
KW - DRO
KW - HEMT oscillator
KW - active antenna
KW - coplanar waveguide
KW - dielectric resonator stabilized
KW - oscillator characteristics
KW - radiation patterns
KW - Aperture antennas
KW - Circuits
KW - Coplanar waveguides
KW - Dielectric resonator antennas
KW - Dielectric substrates
KW - Frequency
KW - HEMTs
KW - MODFETs
KW - Oscillators
KW - Patch antennas
DO - 10.1109/MWSYM.1992.188005
JO - 1992 IEEE MTT-S Microwave Symposium Digest
IS -
SN - 0149-645X
VO -
VL -
JA - 1992 IEEE MTT-S Microwave Symposium Digest
Y1 - 1-5 June 1992
ER -
TY - CONF
TI - Image segmentation by iterative parallel region growing with applications to data compression and image analysis
T2 - Proceedings., 2nd Symposium on the Frontiers of Massively Parallel Computation
SP - 357
EP - 360
AU - J. C. Tilton
PY - 1988
KW - computerised picture processing
KW - data compression
KW - iterative methods
KW - parallel algorithms
KW - Landsat thematic mapper image
KW - data compression
KW - dependency
KW - globally best merges
KW - image analysis
KW - iterative parallel region growing
KW - iterative parallel segmentation algorithm
KW - massively parallel processor
KW - Clustering algorithms
KW - Convergence
KW - Data compression
KW - Data mining
KW - Government
KW - Image reconstruction
KW - Image segmentation
KW - Iterative methods
KW - Pixel
KW - Testing
DO - 10.1109/FMPC.1988.47452
JO - Proceedings., 2nd Symposium on the Frontiers of Massively Parallel Computation
IS -
SN -
VO -
VL -
JA - Proceedings., 2nd Symposium on the Frontiers of Massively Parallel Computation
Y1 - 10-12 Oct 1988
ER -
TY - CONF
TI - Dual-643 GHz and 874 GHz Airborne Radiometers for Ice Cloud Measurements
T2 - IGARSS 2008 - 2008 IEEE International Geoscience and Remote Sensing Symposium
SP - II-1172
EP - II-1175
AU - Z. Zhang
AU - B. Monosmith
PY - 2008
KW - airborne radar
KW - clouds
KW - ice
KW - radar polarimetry
KW - radiometers
KW - remote sensing by radar
KW - CoSSIR
KW - Compact Scanning Sub-millimeter wave Imaging Radiometer
KW - airborne radiometers
KW - brightness temperature map
KW - frequency 643 GHz
KW - frequency 874 GHz
KW - ice cloud measurements
KW - particle shape
KW - submillimeter wave radiometry
KW - Brightness temperature
KW - Clouds
KW - Ice
KW - Information retrieval
KW - Particle measurements
KW - Polarization
KW - Radiometers
KW - Radiometry
KW - Shape measurement
KW - Size measurement
DO - 10.1109/IGARSS.2008.4779209
JO - IGARSS 2008 - 2008 IEEE International Geoscience and Remote Sensing Symposium
IS -
SN - 2153-6996
VO - 2
VL - 2
JA - IGARSS 2008 - 2008 IEEE International Geoscience and Remote Sensing Symposium
Y1 - 7-11 July 2008
ER -
TY - CONF
TI - Stability analysis for a two-time-scale neural tracking controller
T2 - Proceedings of the 1991 IEEE International Symposium on Intelligent Control
SP - 164
EP - 169
AU - W. Cheng
AU - J. T. Wen
PY - 1991
KW - Lyapunov methods
KW - discrete time systems
KW - neural nets
KW - stability
KW - Lyapunov stability theory
KW - bounded error
KW - controller analysis
KW - error convergence
KW - fast learning rule
KW - slow learning rule
KW - switching leakage term
KW - tracking error
KW - two-time-scale neural tracking controller
KW - Control systems
KW - Intelligent robots
KW - Intelligent systems
KW - NASA
KW - Neural networks
KW - Nonlinear control systems
KW - Nonlinear systems
KW - Orbital robotics
KW - Space exploration
KW - Stability analysis
DO - 10.1109/ISIC.1991.187351
JO - Proceedings of the 1991 IEEE International Symposium on Intelligent Control
IS -
SN - 2158-9860
VO -
VL -
JA - Proceedings of the 1991 IEEE International Symposium on Intelligent Control
Y1 - 13-15 Aug 1991
ER -
TY - CONF
TI - Type of service wide area networking
T2 - Proceedings of the 1989 ACM/IEEE Conference on Supercomputing (Supercomputing '89)
SP - 732
EP - 736
AU - J. Lekashman
PY - 1989
KW - Bandwidth
KW - Circuit testing
KW - Costs
KW - Coupling circuits
KW - Data communication
KW - Economies of scale
KW - NASA
KW - Postal services
KW - Satellites
KW - Supercomputers
DO - 10.1145/76263.76346
JO - Proceedings of the 1989 ACM/IEEE Conference on Supercomputing (Supercomputing '89)
IS -
SN -
VO -
VL -
JA - Proceedings of the 1989 ACM/IEEE Conference on Supercomputing (Supercomputing '89)
Y1 - 12-17 Nov. 1989
ER -
TY - JOUR
TI - Introduction to the Issue on Fostering Applications of Earth Observations of the Atmosphere—Part II
T2 - IEEE Journal of Selected Topics in Applied Earth Observations and Remote Sensing
SP - 270
EP - 270
AU - D. G. Loyola R.
AU - E. Hilsenrath
AU - J. S. Reid
AU - G. Braathen
PY - 2009
DO - 10.1109/JSTARS.2009.2039911
JO - IEEE Journal of Selected Topics in Applied Earth Observations and Remote Sensing
IS - 4
SN - 1939-1404
VO - 2
VL - 2
JA - IEEE Journal of Selected Topics in Applied Earth Observations and Remote Sensing
Y1 - Dec. 2009
ER -
TY - JOUR
TI - The past as prologue: a look at historical flight qualifications for space nuclear systems
T2 - IEEE Aerospace and Electronic Systems Magazine
SP - 26
EP - 36
AU - G. L. Bennett
PY - 1992
KW - aerospace engines
KW - aerospace propulsion
KW - fission reactors
KW - rockets
KW - F-1 chemical engine
KW - Galilee
KW - Nuclear Engine
KW - Rocket Vehicle Applications
KW - SNAP-10A space reactor
KW - Saturn-V
KW - Space Shuttle Main Engines
KW - Ulysses missions
KW - aerospace engine
KW - aerospace propulsion
KW - flight qualifications
KW - heat source radioisotope thermoelectric generators
KW - space nuclear systems
KW - Heat engines
KW - Inductors
KW - Nuclear power generation
KW - Qualifications
KW - Radioactive materials
KW - Rockets
KW - Space heating
KW - Space missions
KW - Space shuttles
KW - Thermoelectricity
DO - 10.1109/62.166863
JO - IEEE Aerospace and Electronic Systems Magazine
IS - 11
SN - 0885-8985
VO - 7
VL - 7
JA - IEEE Aerospace and Electronic Systems Magazine
Y1 - Nov. 1992
ER -
TY - CONF
TI - Abstract Trends in Application of Advanced Composites to Commercial Aircraft
T2 - IEEE 1976 International Symposium on Electromagnetic Compatibility
SP - 1
EP - 1
AU - M. B. Dow
PY - 1976
KW - aerospace components
KW - composite materials
KW - helicopters
KW - military aircraft
KW - travel industry
KW - C-130 transport aircraft wing boxes
KW - CH-54B helicopter tail cone
KW - NASA flight service evaluation program
KW - advanced composite applications
KW - aircraft component
KW - airline fleet service
KW - commercial aircraft structure
KW - composite-reinforced metal structure
KW - future supersonic aircraft
KW - high-temperature composite technology
KW - metal component
KW - military aircraft
KW - small secondary structural component
KW - Aircraft
KW - Aircraft manufacture
KW - Manufacturing
KW - Market research
KW - Metals
KW - NASA
KW - Production
DO - 10.1109/ISEMC.1976.7568717
JO - IEEE 1976 International Symposium on Electromagnetic Compatibility
IS -
SN -
VO -
VL -
JA - IEEE 1976 International Symposium on Electromagnetic Compatibility
Y1 - 13-15 July 1976
ER -
TY - JOUR
TI - Multi-Frequency Synthetic Thinned Array Antenna for the Hurricane Imaging Radiometer
T2 - IEEE Transactions on Antennas and Propagation
SP - 2562
EP - 2570
AU - M. C. Bailey
AU - R. A. Amarin
AU - J. W. Johnson
AU - P. Nelson
AU - M. W. James
AU - D. E. Simmons
AU - C. S. Ruf
AU - W. L. Jones
AU - X. Gong
PY - 2010
KW - aircraft antennas
KW - aircraft instrumentation
KW - microstrip antenna arrays
KW - multifrequency antennas
KW - radiometers
KW - remote sensing
KW - storms
KW - velocity measurement
KW - C-band four-frequency resonant stacked-patch array antenna
KW - HIRAD instrument
KW - aircraft instrument
KW - antenna design
KW - hurricane force wind speeds
KW - hurricane imaging radiometer
KW - multifrequency synthetic thinned array antenna
KW - remote sensing
KW - synthetic thinned aperture radiometer measurements
KW - Antenna arrays
KW - Antenna measurements
KW - Aperture antennas
KW - Force measurement
KW - Hurricanes
KW - Instruments
KW - Radiometry
KW - Resonance
KW - Velocity measurement
KW - Wind speed
KW - Microstrip antennas
KW - multifrequency antennas
KW - remote sensing
KW - stacked microstrip antennas
KW - synthetic aperture imaging
DO - 10.1109/TAP.2010.2050453
JO - IEEE Transactions on Antennas and Propagation
IS - 8
SN - 0018-926X
VO - 58
VL - 58
JA - IEEE Transactions on Antennas and Propagation
Y1 - Aug. 2010
ER -
TY - JOUR
TI - Design and Characterization of a Room Temperature All-Solid-State Electronic Source Tunable From 2.48 to 2.75 THz
T2 - IEEE Transactions on Terahertz Science and Technology
SP - 177
EP - 185
AU - A. Maestrini
AU - I. Mehdi
AU - J. V. Siles
AU - J. S. Ward
AU - R. Lin
AU - B. Thomas
AU - C. Lee
AU - J. Gill
AU - G. Chattopadhyay
AU - E. Schlecht
AU - J. Pearson
AU - P. Siegel
PY - 2012
KW - Fourier transform spectra
KW - III-V semiconductors
KW - Schottky diodes
KW - frequency multipliers
KW - frequency synthesizers
KW - gallium arsenide
KW - power amplifiers
KW - submillimetre wave amplifiers
KW - submillimetre wave diodes
KW - Fourier transform spectrometer
KW - GaAs
KW - HD molecular line
KW - W-band synthesizer
KW - frequency 2.48 THz to 2.75 THz
KW - frequency-multiplied source
KW - heterodyne instruments
KW - hot-electron bolometer mixer
KW - local oscillator
KW - power 350 mW to 450 mW
KW - power amplifier
KW - room temperature all-solid-state electronic source
KW - single unbiased device
KW - six-anode GaAs Schottky diode devices
KW - temperature 293 K to 298 K
KW - three balanced frequency triplers
KW - Atmosphere
KW - Frequency measurement
KW - Harmonic analysis
KW - Mixers
KW - Power generation
KW - Power measurement
KW - Schottky diodes
KW - Broadband terahertz (THz) source
KW - Schottky diode
KW - THz
KW - frequency multiplier
KW - frequency tripler
KW - local oscillator
KW - planar diode
KW - power-combining
KW - varactor
DO - 10.1109/TTHZ.2012.2183740
JO - IEEE Transactions on Terahertz Science and Technology
IS - 2
SN - 2156-342X
VO - 2
VL - 2
JA - IEEE Transactions on Terahertz Science and Technology
Y1 - March 2012
ER -
TY - CONF
TI - ESTAR experience with RFI at L-band and implications for future passive microwave remote sensing from space
T2 - IEEE International Geoscience and Remote Sensing Symposium
SP - 847
EP - 849 vol.2
AU - D. M. Le Vine
PY - 2002
KW - geophysical techniques
KW - microwave measurement
KW - radiofrequency interference
KW - radiometry
KW - remote sensing
KW - 1.413 GHz
KW - ESTAR
KW - L-band
KW - RFI
KW - airports
KW - future passive microwave remote sensing
KW - radiometers
KW - synthetic aperture radiometer
KW - Aperture antennas
KW - L-band
KW - Passive microwave remote sensing
KW - Protection
KW - Radar tracking
KW - Radiofrequency interference
KW - Radiometers
KW - Remote monitoring
KW - Sea measurements
KW - Soil moisture
DO - 10.1109/IGARSS.2002.1025705
JO - IEEE International Geoscience and Remote Sensing Symposium
IS -
SN -
VO - 2
VL - 2
JA - IEEE International Geoscience and Remote Sensing Symposium
Y1 - 24-28 June 2002
ER -
TY - CONF
TI - Ares Launch Vehicles Lean Practices Case Study
T2 - 2008 IEEE Aerospace Conference
SP - 1
EP - 7
AU - R. Doreswamy
AU - T. A. Self
PY - 2008
KW - aerospace industry
KW - continuous improvement
KW - lean production
KW - rockets
KW - six sigma (quality)
KW - Ares I Crew launch vehicle system requirements review
KW - Ares V cargo launch vehicle
KW - Kaizen events
KW - lean manufacturing
KW - six sigma
KW - space transportation capability
KW - system definition review
KW - Continuous improvement
KW - Lean production
KW - NASA
KW - Project management
KW - Proposals
KW - Risk management
KW - Six sigma
KW - Space vehicles
KW - Testing
KW - Transportation
DO - 10.1109/AERO.2008.4526500
JO - 2008 IEEE Aerospace Conference
IS -
SN - 1095-323X
VO -
VL -
JA - 2008 IEEE Aerospace Conference
Y1 - 1-8 March 2008
ER -
TY - CONF
TI - Employing Fuzzy Logic for Navigation and Control in an Autonomous Mobile System
T2 - 1993 American Control Conference
SP - 1850
EP - 1854
AU - J. Yen
AU - N. Pfluger
AU - B. Lea
AU - M. Murphy
AU - Y. Jani
PY - 1993
KW - Control systems
KW - Delay
KW - Fuzzy logic
KW - Intelligent systems
KW - Mars
KW - Navigation
KW - Radio control
KW - Soil
KW - Space exploration
KW - Uncertainty
DO -
JO - 1993 American Control Conference
IS -
SN -
VO -
VL -
JA - 1993 American Control Conference
Y1 - 2-4 June 1993
ER -
TY - CONF
TI - Lithium Ion Batteries for Space Applications
T2 - 2007 IEEE Aerospace Conference
SP - 1
EP - 7
AU - R. Bugga
AU - M. Smart
AU - J. Whitacre
AU - W. West
PY - 2007
KW - lithium
KW - secondary cells
KW - space vehicle power plants
KW - space vehicles
KW - Li
KW - cathodes
KW - electrolytes
KW - lithium ion batteries
KW - rechargeable batteries
KW - space vehicle battreries
KW - Batteries
KW - Energy storage
KW - Lithium
KW - Mars
KW - Payloads
KW - Planets
KW - Space missions
KW - Space technology
KW - Space vehicles
KW - Temperature distribution
DO - 10.1109/AERO.2007.352728
JO - 2007 IEEE Aerospace Conference
IS -
SN - 1095-323X
VO -
VL -
JA - 2007 IEEE Aerospace Conference
Y1 - 3-10 March 2007
ER -
TY - JOUR
TI - Novel Carbon Dioxide Microsensor Based on Tin Oxide Nanomaterial Doped With Copper Oxide
T2 - IEEE Sensors Journal
SP - 235
EP - 236
AU - J. C. Xu
AU - G. W. Hunter
AU - D. Lukco
AU - C. C. Liu
AU - B. J. Ward
PY - 2009
KW - air pollution control
KW - chemical sensors
KW - microsensors
KW - nanosensors
KW - carbon dioxide microsensor
KW - copper oxide
KW - emissions monitoring
KW - gas oxidation
KW - low-false-alarm fire detection
KW - microelectromechanical systems technology
KW - nanocrystalline tin oxide
KW - sol-gel nanomaterial-synthesis processes
KW - tin oxide nanomaterial
KW - Carbon dioxide
KW - Chemicals
KW - Copper
KW - Fires
KW - Gas detectors
KW - Microelectromechanical systems
KW - Microsensors
KW - Monitoring
KW - Stability
KW - Tin
KW - Carbon dioxide $({rm CO}_{2})$
KW - copper oxide (CuO)
KW - microsensor
KW - nanomaterial
KW - tin oxide $({rm SnO}_{2})$
DO - 10.1109/JSEN.2008.2011953
JO - IEEE Sensors Journal
IS - 3
SN - 1530-437X
VO - 9
VL - 9
JA - IEEE Sensors Journal
Y1 - March 2009
ER -
TY - CONF
TI - Application of temperature sensitive paint for detection of boundary layer transition
T2 - Instrumentation in Aerospace Simulation Facilities, 1997. ICIASF '97 Record., International Congress on
SP - 77
EP - 83
AU - T. G. Popernack
AU - L. R. Owens
AU - M. P. Hamner
AU - M. J. Morris
PY - 1997
KW - aerodynamics
KW - boundary layers
KW - forced convection
KW - laminar flow
KW - laminar to turbulent transitions
KW - wind tunnels
KW - boundary layer state
KW - boundary layer transition
KW - convective heat transfer
KW - freestream temperature
KW - heat transfer simulations
KW - temperature sensitive paint
KW - test techniques
KW - thermal response
KW - wind tunnel models
KW - Acoustic signal detection
KW - Aerospace engineering
KW - Cryogenics
KW - Heat transfer
KW - NASA
KW - Numerical simulation
KW - Paints
KW - Temperature distribution
KW - Temperature sensors
KW - Testing
DO - 10.1109/ICIASF.1997.644666
JO - Instrumentation in Aerospace Simulation Facilities, 1997. ICIASF '97 Record., International Congress on
IS -
SN -
VO -
VL -
JA - Instrumentation in Aerospace Simulation Facilities, 1997. ICIASF '97 Record., International Congress on
Y1 - 29 Sep-2 Oct 1997
ER -
TY - JOUR
TI - Estimation of geomagnetically induced current levels from different input data
T2 - Space Weather
SP - 1
EP - 15
AU - A. Pulkkinen
AU - A. Viljanen
AU - R. Pirjola
PY - 2006
KW - Conductivity
KW - Electric fields
KW - Estimation
KW - Geologic measurements
KW - Grounding
KW - Magnetic fields
KW - Mathematical model
DO - 10.1029/2006SW000229
JO - Space Weather
IS - 8
SN - 1542-7390
VO - 4
VL - 4
JA - Space Weather
Y1 - Aug. 2006
ER -
TY - CONF
TI - Analysis of divergences from area navigation departure routes at DFW airport
T2 - 2009 IEEE/AIAA 28th Digital Avionics Systems Conference
SP - 3.A.1-1
EP - 3.A.1-16
AU - P. F. Borchers
AU - K. Day
PY - 2009
KW - aircraft navigation
KW - radar
KW - radionavigation
KW - NASA
KW - aircraft trajectory management
KW - area navigation departure route
KW - area navigation precision departure
KW - next generation air transportation system
KW - precision flight path
KW - super density operations research
KW - terminal radar approach control
KW - Aerospace control
KW - Air traffic control
KW - Air transportation
KW - Aircraft navigation
KW - Airports
KW - FAA
KW - NASA
KW - Operations research
KW - Radar tracking
KW - Routing
DO - 10.1109/DASC.2009.5347532
JO - 2009 IEEE/AIAA 28th Digital Avionics Systems Conference
IS -
SN - 2155-7195
VO -
VL -
JA - 2009 IEEE/AIAA 28th Digital Avionics Systems Conference
Y1 - 23-29 Oct. 2009
ER -
TY - CONF
TI - Pressure Sensitive Paint Measurements on a Space Shuttle Model with the Luminescence Lifetime Technique
T2 - ICIASF 2005 RecordInternational Congress onInstrumentation in AerospaceSimulation Facilities
SP - 202
EP - 213
AU - J. H. Bell
AU - M. E. Sellers
PY - 2005
KW - Computational fluid dynamics
KW - Extraterrestrial measurements
KW - Lifetime estimation
KW - Light emitting diodes
KW - Luminescence
KW - NASA
KW - Orbital calculations
KW - Paints
KW - Pressure measurement
KW - Space shuttles
DO - 10.1109/ICIASF.2005.1569924
JO - ICIASF 2005 RecordInternational Congress onInstrumentation in AerospaceSimulation Facilities
IS -
SN - 0730-2010
VO -
VL -
JA - ICIASF 2005 RecordInternational Congress onInstrumentation in AerospaceSimulation Facilities
Y1 - 2005
ER -
TY - CONF
TI - Future Communication Study Technology Investigations
T2 - 2007 Integrated Communications, Navigation and Surveillance Conference
SP - 1
EP - 11
AU - T. Gilbert
AU - G. Dyer
AU - J. Budinger
PY - 2007
KW - aircraft communication
KW - ground support systems
KW - EUROCONTROL
KW - Federal Aviation Administration
KW - aeronautical communications
KW - aeronautical mobile air-ground communication
KW - air/ground radio system
KW - airspace domains
KW - future communication study technology
KW - support development
KW - Communications technology
KW - FAA
KW - Ground support
KW - Mobile communication
KW - NASA
KW - Paper technology
KW - Performance evaluation
KW - Research and development
KW - Satellite broadcasting
KW - Space technology
DO - 10.1109/ICNSURV.2007.384146
JO - 2007 Integrated Communications, Navigation and Surveillance Conference
IS -
SN - 2155-4943
VO -
VL -
JA - 2007 Integrated Communications, Navigation and Surveillance Conference
Y1 - April 30 2007-May 3 2007
ER -
TY - CONF
TI - Procedures for off-nominal cases: Very closely spaced parallel runway operations
T2 - 2008 IEEE/AIAA 27th Digital Avionics Systems Conference
SP - 2.C.4-1
EP - 2.C.4-11
AU - S. Veram
AU - S. Lozito
AU - T. Kozon
AU - D. Ballinger
AU - H. Resnick
PY - 2008
KW - aerospace control
KW - aerospace simulation
KW - aerospace test facilities
KW - airports
KW - human factors
KW - breakout maneuvers
KW - distance 750 ft
KW - final approach
KW - high-fidelity flight deck simulator
KW - instrument meteorological conditions
KW - off-nominal case
KW - terminal area
KW - very closely spaced parallel runway operation
KW - visual meteorological condition
KW - wake intrusion
KW - Air traffic control
KW - Air transportation
KW - Aircraft navigation
KW - Airports
KW - Computer aided software engineering
KW - Instruments
KW - Meteorology
KW - Monitoring
KW - NASA
KW - Radar
DO - 10.1109/DASC.2008.4702783
JO - 2008 IEEE/AIAA 27th Digital Avionics Systems Conference
IS -
SN - 2155-7195
VO -
VL -
JA - 2008 IEEE/AIAA 27th Digital Avionics Systems Conference
Y1 - 26-30 Oct. 2008
ER -
TY - JOUR
TI - What went wrong X: Unlimbering Viking's scoop: There was no assurance on this first of its kind mission that nothing would go wrong. When it did, the experts were ready
T2 - IEEE Spectrum
SP - 92
EP - 94
AU - C. R. Spitzer
PY - 1976
KW - Books
KW - Engineering profession
KW - Industries
KW - Instruments
KW - Latches
KW - Mars
KW - Materials
DO - 10.1109/MSPEC.1976.6367555
JO - IEEE Spectrum
IS - 10
SN - 0018-9235
VO - 13
VL - 13
JA - IEEE Spectrum
Y1 - Oct. 1976
ER -
TY - CONF
TI - Low dose rate radiation testing of advanced CMOS technology (AC/ACT) series parts for space flight applications
T2 - Workshop Record 1992 IEEE Radiation Effects Data Workshop
SP - 53
EP - 57
AU - A. K. Sharma
AU - K. Sahu
PY - 1992
KW - CMOS integrated circuits
KW - aerospace instrumentation
KW - aerospace simulation
KW - gamma-ray effects
KW - integrated circuit testing
KW - logic arrays
KW - logic testing
KW - military equipment
KW - radiation hardening (electronics)
KW - space vehicles
KW - 100 C
KW - 25 C
KW - 5000 to 30000 rad
KW - AC tests
KW - AC/ACT series parts
KW - DC tests
KW - MIL-STD-883 specifications
KW - advanced CMOS technology
KW - annealing
KW - functional tests
KW - gamma-ray irradiation
KW - lot sample radiation testing
KW - low dose radiation test results
KW - quiescent current
KW - space flight applications
KW - Annealing
KW - CMOS technology
KW - Degradation
KW - Extraterrestrial measurements
KW - Manufacturing
KW - Military standards
KW - Performance evaluation
KW - Space technology
KW - System testing
KW - Temperature
DO - 10.1109/REDW.1992.247324
JO - Workshop Record 1992 IEEE Radiation Effects Data Workshop
IS -
SN -
VO -
VL -
JA - Workshop Record 1992 IEEE Radiation Effects Data Workshop
Y1 - 1992
ER -
TY - CONF
TI - Space-based laser altimetry for topographic tie-point production
T2 - Technical Digest. Summaries of Papers Presented at the Conference on Lasers and Electro-Optics. Conference Edition. 1998 Technical Digest Series, Vol.6 (IEEE Cat. No.98CH36178)
SP - 436
EP -
AU - J. Bufton
PY - 1998
KW - airborne radar
KW - echo
KW - optical radar
KW - radar altimetry
KW - radar cross-sections
KW - remote sensing by laser beam
KW - space vehicles
KW - digitized waveform
KW - laser altimetry
KW - laser range
KW - laser-pulse echo
KW - low Earth orbit
KW - nadir track
KW - shuttle laser altimeter
KW - space shuttle
KW - space-based laser altimetry
KW - spacecraft experiments
KW - surface lidar
KW - topographic tie-point production
KW - Antarctica
KW - Laser radar
KW - Optical design
KW - Optical surface waves
KW - Production
KW - Semiconductor lasers
KW - Space shuttles
KW - Surface emitting lasers
KW - Surface topography
KW - Telescopes
DO - 10.1109/CLEO.1998.676464
JO - Technical Digest. Summaries of Papers Presented at the Conference on Lasers and Electro-Optics. Conference Edition. 1998 Technical Digest Series, Vol.6 (IEEE Cat. No.98CH36178)
IS -
SN -
VO -
VL -
JA - Technical Digest. Summaries of Papers Presented at the Conference on Lasers and Electro-Optics. Conference Edition. 1998 Technical Digest Series, Vol.6 (IEEE Cat. No.98CH36178)
Y1 - 3-8 May 1998
ER -
TY - JOUR
TI - Developing Earth system science knowledge to manage Earth's natural resources
T2 - Computing in Science & Engineering
SP - 45
EP - 51
AU - R. L. King
AU - R. J. Birk
PY - 2004
KW - decision support systems
KW - environmental science computing
KW - geophysics computing
KW - natural resources
KW - Earth resources management infrastructure
KW - Earth system science knowledge
KW - NASA approach
KW - climate data records
KW - computational models
KW - computational science
KW - data sets
KW - decision support
KW - domain knowledge
KW - engineering communities
KW - model outputs
KW - natural resource management
KW - Distributed computing
KW - Energy management
KW - Engineering management
KW - Fossil fuels
KW - Geoscience
KW - Knowledge engineering
KW - Knowledge management
KW - Project management
KW - Resource management
KW - Water resources
DO - 10.1109/MCISE.2004.1255820
JO - Computing in Science & Engineering
IS - 1
SN - 1521-9615
VO - 6
VL - 6
JA - Computing in Science & Engineering
Y1 - Jan-Feb 2004
ER -
TY - CONF
TI - Raman/CHAMP Instrument for Lunar In-situ Resource Prospecting I - Imager Design
T2 - 2007 IEEE Aerospace Conference
SP - 1
EP - 8
AU - G. Mungas
AU - C. Sepulveda
AU - K. Johnson
AU - M. Pelletier
AU - C. La Baw
AU - J. Boynton
AU - M. Anderson
PY - 2007
KW - Raman spectroscopy
KW - astronomical image processing
KW - image sensors
KW - lunar surface
KW - microscopy
KW - space vehicles
KW - CHAMP instrument
KW - Mars Microbeam Raman Spectrometer
KW - Raman instrument
KW - Zemax optical modeling
KW - field microscopy image
KW - imager design
KW - lunar in-situ resource prospecting
KW - lunar regolith
KW - lunar surface environment
KW - mechanical property
KW - mineral content
KW - oxygen extraction
KW - precursor prospecting missions
KW - spectroscopic measurements
KW - thermal property
KW - volatile content
KW - Fluorescence
KW - Image resolution
KW - Instruments
KW - Mechanical factors
KW - Microscopy
KW - Minerals
KW - Moon
KW - Raman scattering
KW - Spectroscopy
KW - Testing
DO - 10.1109/AERO.2007.352775
JO - 2007 IEEE Aerospace Conference
IS -
SN - 1095-323X
VO -
VL -
JA - 2007 IEEE Aerospace Conference
Y1 - 3-10 March 2007
ER -
TY - JOUR
TI - Corrections to the Calibration of MODIS Aqua Ocean Color Bands Derived From SeaWiFS Data
T2 - IEEE Transactions on Geoscience and Remote Sensing
SP - 310
EP - 319
AU - G. Meister
AU - B. A. Franz
AU - E. J. Kwiatkowska
AU - C. R. McClain
PY - 2012
KW - calibration
KW - oceanographic equipment
KW - oceanographic techniques
KW - radiometry
KW - remote sensing
KW - seawater
KW - AD 2009
KW - MODIS Aqua bands
KW - MODIS Aqua water-leaving radiances
KW - MODIS aqua ocean color bands
KW - MODIS calibration
KW - National Aeronautics and Space Administration
KW - Sea-viewing Wide Field-of-view Sensor
KW - SeaWiFS water-leaving radiances
KW - moderate resolution imaging spectroradiometer
KW - ocean color products
KW - radiometric calibration
KW - sensor polarization sensitivity
KW - Calibration
KW - Extraterrestrial measurements
KW - Image color analysis
KW - MODIS
KW - Oceans
KW - Sea measurements
KW - Calibration
KW - image sensors
KW - remote sensing
DO - 10.1109/TGRS.2011.2160552
JO - IEEE Transactions on Geoscience and Remote Sensing
IS - 1
SN - 0196-2892
VO - 50
VL - 50
JA - IEEE Transactions on Geoscience and Remote Sensing
Y1 - Jan. 2012
ER -
TY - JOUR
TI - Detecting “dipole ring” separatrices with zebra palettes
T2 - IEEE Transactions on Geoscience and Remote Sensing
SP - 1306
EP - 1312
AU - S. B. Hooker
AU - J. W. Brown
AU - A. D. Kirwan
PY - 1995
KW - computer graphics
KW - data visualisation
KW - geophysical signal processing
KW - geophysics computing
KW - image representation
KW - infrared imaging
KW - oceanographic techniques
KW - remote sensing
KW - Gulf Stream ring
KW - IR radiometry
KW - North Atlantic
KW - SST
KW - algorithm
KW - analysis method
KW - circulation regime
KW - computer graphics
KW - data representation
KW - data retention
KW - dipole ring
KW - dividing line
KW - false-color palette
KW - measurement technique
KW - ocean front
KW - rapid gray-scale sinusoid
KW - remote sensing
KW - routine
KW - sea surface
KW - separatrices
KW - separatrix
KW - slowly varying rainbow
KW - thermal separatrix tracking
KW - thermal structure
KW - zebra palette
KW - Cyclones
KW - Gray-scale
KW - Marine technology
KW - Ocean temperature
KW - Radiometry
KW - Remote sensing
KW - Sea measurements
KW - Sea surface
KW - Spatial resolution
KW - Streaming media
DO - 10.1109/36.476345
JO - IEEE Transactions on Geoscience and Remote Sensing
IS - 6
SN - 0196-2892
VO - 33
VL - 33
JA - IEEE Transactions on Geoscience and Remote Sensing
Y1 - Nov 1995
ER -
TY - CONF
TI - The Importance of Hardware-In-The-Loop Testing to the Cassini Mission to Saturn
T2 - 2007 IEEE Aerospace Conference
SP - 1
EP - 9
AU - K. S. Badaruddin
AU - J. C. Hernandez
AU - J. M. Brown
PY - 2007
KW - Saturn
KW - aerospace simulation
KW - aerospace testing
KW - attitude control
KW - space vehicles
KW - Attitude and Articulation Control Subsystem
KW - Cassini Integrated Test Lab
KW - Cassini mission
KW - Cassini spacecraft
KW - Cassini-Huygens Program
KW - Command and Data Subsystem
KW - European Space Agency
KW - Huygens probe
KW - Jet Propulsion Laboratory
KW - National Aeronautics and Space Administration
KW - complex Saturnian system
KW - flight hardware
KW - hardware-in-the-loop testing
KW - software simulation testbeds
KW - Aerospace simulation
KW - Attitude control
KW - Hardware
KW - Laboratories
KW - NASA
KW - Probes
KW - Propulsion
KW - Saturn
KW - Software testing
KW - Space vehicles
DO - 10.1109/AERO.2007.352985
JO - 2007 IEEE Aerospace Conference
IS -
SN - 1095-323X
VO -
VL -
JA - 2007 IEEE Aerospace Conference
Y1 - 3-10 March 2007
ER -
TY - CONF
TI - A self-stabilizing hybrid fault-tolerant synchronization protocol
T2 - 2015 IEEE Aerospace Conference
SP - 1
EP - 11
AU - M. R. Malekpour
PY - 2015
KW - fault tolerance
KW - protocols
KW - synchronisation
KW - Byzantine fault
KW - Byzantine general problem
KW - SMV
KW - arbitrary faulty node
KW - linear convergence
KW - mechanical verification
KW - network element
KW - self-stabilization period
KW - self-stabilizing hybrid fault-tolerant synchronization protocol
KW - symbolic model verifier
KW - symmetric-fault tolerant algorithm
KW - Biographies
KW - NASA
KW - Protocols
KW - Synchronization
DO - 10.1109/AERO.2015.7119170
JO - 2015 IEEE Aerospace Conference
IS -
SN - 1095-323X
VO -
VL -
JA - 2015 IEEE Aerospace Conference
Y1 - 7-14 March 2015
ER -
TY - CONF
TI - Research of Geomagnetically Induced Currents (GIC) in Finland
T2 - 2007 7th International Symposium on Electromagnetic Compatibility and Electromagnetic Ecology
SP - 269
EP - 272
AU - R. J. Pirjola
AU - A. T. Viljanen
AU - A. A. Pulkkineni
PY - 2007
KW - electromagnetic induction
KW - geomagnetism
KW - natural gas technology
KW - pipelines
KW - power grids
KW - power system protection
KW - power system reliability
KW - Finland
KW - Finnish power grid
KW - electric power transmission grids
KW - gas pipelines
KW - geomagnetically induced currents
KW - ground-based technological systems
KW - high-voltage power grid
KW - oil pipelines
KW - power systems
KW - railway equipment
KW - space weather
KW - space-borne technological systems
KW - technological conductor networks
KW - telecommunication cables
KW - Cables
KW - Conductors
KW - Petroleum
KW - Pipelines
KW - Power grids
KW - Power system modeling
KW - Power systems
KW - Rail transportation
KW - Space technology
KW - Transformers
DO - 10.1109/EMCECO.2007.4371707
JO - 2007 7th International Symposium on Electromagnetic Compatibility and Electromagnetic Ecology
IS -
SN -
VO -
VL -
JA - 2007 7th International Symposium on Electromagnetic Compatibility and Electromagnetic Ecology
Y1 - 26-29 June 2007
ER -
TY - JOUR
TI - Dual-band microstrip antennas with monolithic reactive loading
T2 - Electronics Letters
SP - 936
EP - 937
AU - S. E. Davidson
AU - S. A. Long
AU - W. F. Richards
PY - 1985
KW - strip line components
KW - waveguide antennas
KW - dual-band
KW - low-profile characteristic
KW - microstrip antennas
KW - microstrip transmission line
KW - microwave antennas
KW - monolithic reactive loading
KW - short-circuited length
KW - waveguide antennas
DO - 10.1049/el:19850662
JO - Electronics Letters
IS - 20
SN - 0013-5194
VO - 21
VL - 21
JA - Electronics Letters
Y1 - September 26 1985
ER -
TY - JOUR
TI - Power-Conditioning Requirements for Ion Rockets
T2 - IEEE Transactions on Aerospace
SP - 496
EP - 504
AU - J. T. Kotnik
AU - B. L. Sater
PY - 1964
KW - Contacts
KW - Engines
KW - NASA
KW - Payloads
KW - Power conditioning
KW - Propulsion
KW - Rockets
KW - Space vehicles
KW - Testing
KW - Weapons
DO - 10.1109/TA.1964.4319630
JO - IEEE Transactions on Aerospace
IS - 2
SN - 0536-1516
VO - 2
VL - 2
JA - IEEE Transactions on Aerospace
Y1 - April 1964
ER -