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 -