TY - JOUR TI - Transverse electrodeless RF discharge excitation of high-pressure laser gas mixtures T2 - IEEE Journal of Quantum Electronics SP - 949 EP - 954 AU - C. Christensen AU - F. Powell AU - N. Djeu PY - 1980 KW - Carbon dioxide lasers KW - Gas lasers KW - Hydrogen halide lasers KW - Noble-gas lasers KW - Electron beams KW - Fluid flow KW - Gas lasers KW - Hafnium KW - Laser excitation KW - Laser stability KW - Laser theory KW - Laser transitions KW - Radio frequency KW - Space vector pulse width modulation DO - 10.1109/JQE.1980.1070601 JO - IEEE Journal of Quantum Electronics IS - 9 SN - 0018-9197 VO - 16 VL - 16 JA - IEEE Journal of Quantum Electronics Y1 - Sep 1980 ER - TY - JOUR TI - Lessons Learned: Building the Caernarvon High-Assurance Operating System T2 - IEEE Security & Privacy SP - 22 EP - 30 AU - P. Karger AU - S. McIntosh AU - E. Palmer AU - D. Toll AU - S. Weber PY - 2011 KW - operating systems (computers) KW - program testing KW - security of data KW - smart cards KW - software engineering KW - high assurance smart card operating system KW - software design KW - software development KW - software testing KW - organizational management and coordination KW - privacy KW - security kernels KW - specification KW - test design KW - tools DO - 10.1109/MSP.2010.169 JO - IEEE Security & Privacy IS - 1 SN - 1540-7993 VO - 9 VL - 9 JA - IEEE Security & Privacy Y1 - Jan.-Feb. 2011 ER - TY - JOUR TI - Expert Systems in the SDI Environment T2 - Computer SP - 115 EP - 122 AU - Yi-Tzuu Chien AU - J. Liebowitz PY - 1986 KW - Artificial intelligence KW - Computer networks KW - Counting circuits KW - Diagnostic expert systems KW - Expert systems KW - Humans KW - Information analysis KW - Military computing KW - Moon KW - Nuclear weapons DO - 10.1109/MC.1986.1663285 JO - Computer IS - 7 SN - 0018-9162 VO - 19 VL - 19 JA - Computer Y1 - July 1986 ER - TY - CONF TI - Teleprocessing in Scientific Information Exchange: The NSF Role in Innovative Research T2 - OCEANS '76 SP - 99 EP - 99 AU - L. Burchinol PY - 1976 KW - Application software KW - Audio recording KW - Oceans KW - Research and development KW - Technology transfer KW - Telecommunication computing KW - Video recording DO - 10.1109/OCEANS.1976.1154183 JO - OCEANS '76 IS - SN - VO - VL - JA - OCEANS '76 Y1 - 13-15 Sept. 1976 ER - TY - CONF TI - Dealing with NSF's Intellectual Merit and Broader Impacts Criteria T2 - Proceedings. Frontiers in Education. 36th Annual Conference SP - 21 EP - 22 AU - R. Pimmel AU - S. Adams AU - B. Anderegg AU - S. Burkett AU - G. Gabriele AU - S. Kemnitzer AU - B. Watford PY - 2006 KW - Collaborative work KW - Conferences KW - Discrete event simulation KW - Education KW - Educational programs KW - Internet KW - Learning systems KW - Physics KW - Programming KW - Proposals DO - 10.1109/FIE.2006.322687 JO - Proceedings. Frontiers in Education. 36th Annual Conference IS - SN - 0190-5848 VO - VL - JA - Proceedings. Frontiers in Education. 36th Annual Conference Y1 - Oct. 2006 ER - TY - CONF TI - Composable Algorithms for Interdependent Cyber Physical Systems T2 - 2015 Resilience Week (RWS) SP - 1 EP - 6 AU - S. Gujrati AU - H. Zhu AU - G. Singh PY - 2015 KW - formal specification KW - human computer interaction KW - middleware KW - object-oriented programming KW - open systems KW - software fault tolerance KW - user centred design KW - CPS applications KW - CPS interdependent behavior KW - component algorithm KW - composable algorithms KW - composable systems KW - cyber algorithm KW - energy domain KW - fault-tolerance KW - functional properties KW - health-care domain KW - high-level API KW - interdependent cyber-physical systems KW - middleware algorithm design KW - middleware design KW - open systems KW - physical system interaction KW - specification composition KW - transportation domain KW - user action KW - user behavior KW - user interaction KW - Algorithm design and analysis KW - Computational modeling KW - Middleware KW - Prediction algorithms KW - Sensors KW - Vehicles DO - 10.1109/RWEEK.2015.7287431 JO - 2015 Resilience Week (RWS) IS - SN - VO - VL - JA - 2015 Resilience Week (RWS) Y1 - 18-20 Aug. 2015 ER - TY - CONF TI - Custom networks, new protocols: Basis for a new cloud? T2 - 2012 IEEE Technology Time Machine Symposium (TTM) SP - 1 EP - 1 AU - J. B. Lyles PY - 2012 DO - 10.1109/TTM.2012.6509043 JO - 2012 IEEE Technology Time Machine Symposium (TTM) IS - SN - VO - VL - JA - 2012 IEEE Technology Time Machine Symposium (TTM) Y1 - 23-25 May 2012 ER - TY - CONF TI - Development of a pneumatic robot for MRI-guided transperineal prostate biopsy and brachytherapy: New approaches T2 - 2010 IEEE International Conference on Robotics and Automation SP - 2580 EP - 2585 AU - S. E. Song AU - N. B. Cho AU - G. Fischer AU - N. Hata AU - C. Tempany AU - G. Fichtinger AU - I. Iordachita PY - 2010 KW - biomedical MRI KW - control system synthesis KW - controllability KW - damping KW - medical robotics KW - optimal control KW - patient treatment KW - pneumatic actuators KW - position control KW - robot vision KW - MRI-guided transperineal prostate biopsy KW - MRI-guided transperineal prostate brachytherapy KW - cancer detection KW - cancer treatment KW - controllability KW - external damping mechanism KW - magnetic resonance imaging KW - optimal robot design KW - pneumatically actuated robots KW - positioning accuracy KW - timing belts KW - workspace-optimized 4-DOF parallel robot KW - Biopsy KW - Brachytherapy KW - Cancer detection KW - Controllability KW - Damping KW - Magnetic confinement KW - Magnetic fields KW - Magnetic resonance imaging KW - Needles KW - Robots DO - 10.1109/ROBOT.2010.5509710 JO - 2010 IEEE International Conference on Robotics and Automation IS - SN - 1050-4729 VO - VL - JA - 2010 IEEE International Conference on Robotics and Automation Y1 - 3-7 May 2010 ER - TY - CONF TI - Presentation measurement sciences & imaging T2 - 2009 First Annual ORNL Biomedical Science & Engineering Conference SP - 1 EP - 1 AU - S. Demir PY - 2009 KW - biographies KW - biomedical engineering KW - Semahat Demir KW - Bioinformatics KW - Biological system modeling KW - Biomedical engineering KW - Biomedical imaging KW - Biomedical measurements KW - Collaboration KW - Computational modeling KW - Councils KW - Research and development management KW - X-ray lasers DO - 10.1109/BSEC.2009.5090473 JO - 2009 First Annual ORNL Biomedical Science & Engineering Conference IS - SN - VO - VL - JA - 2009 First Annual ORNL Biomedical Science & Engineering Conference Y1 - 18-19 March 2009 ER - TY - CONF TI - “Neurotech at the interface: Connecting the engineering and physical sciences with life sciences” T2 - 2008 30th Annual International Conference of the IEEE Engineering in Medicine and Biology Society SP - clvi EP - clvi AU - K. Olsen PY - 2008 KW - Biology KW - Biomedical engineering KW - Computer science education KW - Joining processes KW - Knowledge engineering KW - Mathematics KW - Medical services KW - Solids KW - Technological innovation KW - Testing DO - 10.1109/IEMBS.2008.4649063 JO - 2008 30th Annual International Conference of the IEEE Engineering in Medicine and Biology Society IS - SN - 1094-687X VO - VL - JA - 2008 30th Annual International Conference of the IEEE Engineering in Medicine and Biology Society Y1 - 20-25 Aug. 2008 ER - TY - CONF TI - New forms of reinforcement learning: applications and brain-like capabilities T2 - Proceedings of the 15th Annual International Conference of the IEEE Engineering in Medicine and Biology Societ SP - 283 EP - 284 AU - P. J. Werbos PY - 1993 KW - Animals KW - Artificial neural networks KW - Backpropagation KW - Cloning KW - Costs KW - Design optimization KW - Humans KW - Learning systems KW - Optimization methods KW - Tracking DO - 10.1109/IEMBS.1993.978544 JO - Proceedings of the 15th Annual International Conference of the IEEE Engineering in Medicine and Biology Societ IS - SN - VO - VL - JA - Proceedings of the 15th Annual International Conference of the IEEE Engineering in Medicine and Biology Societ Y1 - 1993 ER - TY - JOUR TI - III. `Hellman's scheme breaks DES in its basic form' T2 - IEEE Spectrum SP - 39 EP - 39 AU - G. I. Davida PY - 1979 KW - Educational institutions KW - Electrical engineering KW - Encryption KW - National security KW - Public key DO - 10.1109/MSPEC.1979.6368159 JO - IEEE Spectrum IS - 7 SN - 0018-9235 VO - 16 VL - 16 JA - IEEE Spectrum Y1 - July 1979 ER - TY - JOUR TI - Workshop on small satellite missions for space weather research T2 - Space Weather SP - 1 EP - 1 AU - T. Moretto PY - 2007 DO - 10.1029/2007SW000324 JO - Space Weather IS - 3 SN - 1542-7390 VO - 5 VL - 5 JA - Space Weather Y1 - March 2007 ER - TY - CONF TI - Development of High-Resolution Acoustic Camera based Real-Time Object Recognition System by using Autonomous Underwater Vehicles. T2 - OCEANS 2006 SP - 1 EP - 6 AU - S. c. Yu AU - T. w. Kim AU - A. Asada AU - S. Weatherwax AU - B. Collins AU - J. Yuh PY - 2006 KW - acoustic devices KW - image recognition KW - image sensors KW - object recognition KW - oceanographic techniques KW - remotely operated vehicles KW - underwater sound KW - underwater vehicles KW - AUV KW - Autonomous Underwater Vehicles KW - DIDSON KW - cubic objects KW - cylindrical objects KW - high-resolution acoustic camera KW - image recognition method KW - object recognition system KW - Acoustic reflection KW - Cameras KW - Displays KW - Image recognition KW - Object recognition KW - Optical reflection KW - Real time systems KW - Sonar KW - Underwater acoustics KW - Underwater vehicles DO - 10.1109/OCEANS.2006.307011 JO - OCEANS 2006 IS - SN - 0197-7385 VO - VL - JA - OCEANS 2006 Y1 - 18-21 Sept. 2006 ER - TY - CONF TI - Practical operation range improvement of Voltage-Sourced Converter based STATCOM T2 - 2012 Twenty-Seventh Annual IEEE Applied Power Electronics Conference and Exposition (APEC) SP - 211 EP - 217 AU - Z. Xi AU - B. Parkhideh AU - S. Bhattacharya PY - 2012 KW - electric current control KW - invertors KW - phase locked loops KW - power distribution control KW - power distribution faults KW - power transmission control KW - power transmission faults KW - static VAr compensators KW - voltage control KW - IPLL KW - angle controlled STATCOM KW - bus voltage distortions KW - current control scheme KW - distribution systems KW - frequency 50 Hz KW - frequency 60 Hz KW - instantaneous phase-locked loop KW - negative sequence voltage KW - overcurrent prevention KW - power electronic point KW - practical operation range improvement KW - real time digital simulator KW - regular transformers KW - switching devices KW - synchronous static compensator KW - system disturbances KW - system faults KW - transmission systems KW - voltage regulation KW - voltage waveform quality KW - voltage-sourced converter KW - Automatic voltage control KW - Phase locked loops KW - Power conversion KW - Pulse width modulation KW - Reactive power DO - 10.1109/APEC.2012.6165822 JO - 2012 Twenty-Seventh Annual IEEE Applied Power Electronics Conference and Exposition (APEC) IS - SN - 1048-2334 VO - VL - JA - 2012 Twenty-Seventh Annual IEEE Applied Power Electronics Conference and Exposition (APEC) Y1 - 5-9 Feb. 2012 ER - TY - CONF TI - An Update on the Gigabit Network Testbeds T2 - The 8th IEEE Workshop on Computer Communications SP - 0_136 EP - 0_142 AU - D. Fisher PY - 1993 KW - Collaboration KW - Educational institutions KW - Laboratories KW - Supercomputers KW - Testing DO - 10.1109/CMPCMM.1993.659090 JO - The 8th IEEE Workshop on Computer Communications IS - SN - VO - VL - JA - The 8th IEEE Workshop on Computer Communications Y1 - 17-20 Oct 1993 ER - TY - JOUR TI - Multiscale modeling of biomedical, biological, and behavioral systems (Part 1) [Introduction to the special issue] T2 - IEEE Engineering in Medicine and Biology Magazine SP - 12 EP - 13 AU - R. J. White AU - G. C. Y. Peng AU - S. S. Demir PY - 2009 KW - behavioral systems KW - biological systems KW - biomedical systems KW - computational modeling KW - diseases KW - infrastructure KW - multiscale modeling KW - pathophysiology KW - Biological system modeling KW - Biomedical measurements KW - Computational biology KW - Computational modeling KW - Diseases KW - Particle measurements KW - Physiology KW - Power system modeling KW - Predictive models KW - Special issues and sections KW - Biomedical Engineering KW - Computational Biology KW - Humans KW - Models, Biological DO - 10.1109/MEMB.2009.932388 JO - IEEE Engineering in Medicine and Biology Magazine IS - 2 SN - 0739-5175 VO - 28 VL - 28 JA - IEEE Engineering in Medicine and Biology Magazine Y1 - March-April 2009 ER - TY - JOUR TI - Surface Loading Sensitivity Characterization of a Resonant Planar Optical Waveguide Stack T2 - IEEE Photonics Technology Letters SP - 778 EP - 780 AU - R. Goswami AU - J. R. Nightingale AU - J. A. Duperre AU - M. S. Lim AU - J. M. Dawson AU - A. Timperman AU - D. Korakakis AU - L. A. Hornak PY - 2012 KW - electron beam deposition KW - fibre optic sensors KW - ion beam assisted deposition KW - microfluidics KW - optical planar waveguides KW - optical tuning KW - refractive index KW - SPARROW sensor KW - SPARROW transducer KW - coupled waveguide pair KW - evanescent field penetration depth volume KW - evanescent wave sensors KW - ion beam assisted e-beam deposition KW - microfluidic channel KW - refractive index units KW - resonant planar optical waveguide stack KW - stack configuration KW - stacked planar affinity-regulated resonant optical waveguide KW - sucrose analyte solution KW - surface loading sensitivity KW - Optical films KW - Optical sensors KW - Optical surface waves KW - Optical waveguides KW - Sensitivity KW - Sugar KW - Surface waves KW - Evanescent wave sensors KW - optical sensitivity analysis KW - planar waveguide KW - thin film devices DO - 10.1109/LPT.2012.2188384 JO - IEEE Photonics Technology Letters IS - 9 SN - 1041-1135 VO - 24 VL - 24 JA - IEEE Photonics Technology Letters Y1 - May1, 2012 ER - TY - CONF TI - High energy 13.9 nm table-top soft X-ray laser operating at 2.5 Hz repetition rate T2 - CLEO/QELS: 2010 Laser Science to Photonic Applications SP - 1 EP - 2 AU - D. Alessi AU - D. Martz AU - B. Luther AU - Y. Wang AU - M. Berrill AU - D. Kemp AU - D. Patel AU - C. S. Menoni AU - J. J. Rocca PY - 2010 KW - X-ray lasers KW - plasma X-ray sources KW - plasma production by laser KW - coherent soft X-ray light KW - energy 7 muJ KW - laser created plasma KW - nickel like ions KW - table top soft X-ray laser KW - wavelength 13.9 nm KW - Laser excitation KW - Laser mode locking KW - Optical pulse generation KW - Optical pulses KW - Plasma density KW - Power lasers KW - Pulse amplifiers KW - Pump lasers KW - Ultraviolet sources KW - X-ray lasers DO - 10.1364/CLEO.2010.JThD1 JO - CLEO/QELS: 2010 Laser Science to Photonic Applications IS - SN - VO - VL - JA - CLEO/QELS: 2010 Laser Science to Photonic Applications Y1 - 16-21 May 2010 ER - TY - CONF TI - Table-top soft X-ray laser operating at 13.9 nm with increased average power T2 - 2010 23rd Annual Meeting of the IEEE Photonics Society SP - 339 EP - 340 AU - D. H. Martz AU - D. Alessi AU - B. Luther AU - Y. Wang AU - M. Berrill AU - D. Kemp AU - D. Patel AU - C. S. Menoni AU - J. J. Rocca PY - 2010 KW - X-ray lasers KW - optical pulse generation KW - plasma X-ray sources KW - silver KW - Ag KW - frequency 2.5 Hz KW - laser created plasma KW - pulse energy KW - table-top soft X-ray laser KW - wavelength 13.9 nm KW - Laser excitation KW - Laser mode locking KW - Laser theory KW - Plasmas KW - Power lasers KW - Pump lasers KW - X-ray lasers DO - 10.1109/PHOTONICS.2010.5698898 JO - 2010 23rd Annual Meeting of the IEEE Photonics Society IS - SN - 1092-8081 VO - VL - JA - 2010 23rd Annual Meeting of the IEEE Photonics Society Y1 - 7-11 Nov. 2010 ER - TY - JOUR TI - Small satellites for space weather research T2 - Space Weather SP - 1 EP - 5 AU - T. Moretto AU - R. M. Robinson PY - 2008 KW - Extraterrestrial measurements KW - Meteorology KW - Payloads KW - Satellites KW - Space missions KW - Space vehicles DO - 10.1029/2008SW000392 JO - Space Weather IS - 5 SN - 1542-7390 VO - 6 VL - 6 JA - Space Weather Y1 - May 2008 ER - TY - JOUR TI - Engineering research centers: goals and results [Scanning the Issue] T2 - Proceedings of the IEEE SP - 3 EP - 9 AU - R. B. Fair AU - L. Preston PY - 1993 KW - Design engineering KW - Educational programs KW - Educational technology KW - Knowledge engineering KW - Laboratories KW - Manufacturing industries KW - Manufacturing processes KW - Modems KW - Systems engineering and theory KW - Tiles DO - 10.1109/JPROC.1993.752022 JO - Proceedings of the IEEE IS - 1 SN - 0018-9219 VO - 81 VL - 81 JA - Proceedings of the IEEE Y1 - January 1993 ER - TY - CONF TI - Enabling Public Security and Forensics: NSF Programs and Initiatives T2 - 2007 IEEE Workshop on Signal Processing Applications for Public Security and Forensics SP - 1 EP - 1 AU - S. Tekinay PY - 2007 DO - JO - 2007 IEEE Workshop on Signal Processing Applications for Public Security and Forensics IS - SN - VO - VL - JA - 2007 IEEE Workshop on Signal Processing Applications for Public Security and Forensics Y1 - 11-13 April 2007 ER - TY - CONF TI - Workshop Dealing with NSF's Intellectual Merit and Broader Impacts Criteria T2 - Proceedings. Frontiers in Education. 36th Annual Conference SP - 1 EP - 1 AU - R. Pimmel AU - S. Adams AU - B. Anderegg AU - S. Burkett AU - G. Gabriele AU - S. Kemnitzer AU - B. Watford PY - 2006 KW - computer aided instruction KW - impacts criteria KW - intellectual merit KW - interactive learning KW - interactive workshop KW - project design KW - proposal review criteria KW - writing proposal KW - NSF grants KW - Proposal review criteria KW - interactive learning KW - writing proposals DO - 10.1109/FIE.2006.322389 JO - Proceedings. Frontiers in Education. 36th Annual Conference IS - SN - 0190-5848 VO - VL - JA - Proceedings. Frontiers in Education. 36th Annual Conference Y1 - 27-31 Oct. 2006 ER - TY - CONF TI - Future digital libraries: Research and responsibilities T2 - 2016 IEEE/ACM Joint Conference on Digital Libraries (JCDL) SP - 1 EP - 1 AU - M. Zemankova PY - 2016 KW - digital libraries KW - information retrieval KW - DARPA KW - Defense Advanced Research Projects Agency KW - Internet KW - NASA KW - NSF KW - National Aeronautics and Space Administration KW - National Science Foundation KW - digital libraries KW - high performance text processing capabilities KW - information retrieval research community KW - Conferences KW - Information retrieval KW - Information systems KW - Knowledge discovery KW - Libraries KW - US Government KW - Visual databases KW - Digital library KW - digitized documents KW - knowledge discovery KW - preservation DO - JO - 2016 IEEE/ACM Joint Conference on Digital Libraries (JCDL) IS - SN - VO - VL - JA - 2016 IEEE/ACM Joint Conference on Digital Libraries (JCDL) Y1 - 19-23 June 2016 ER - TY - CONF TI - Demonstration of an 8.85 nm gain-saturated table-top soft x-ray laser and lasing down to 7.4 nm T2 - 2012 Conference on Lasers and Electro-Optics (CLEO) SP - 1 EP - 2 AU - Y. Wang AU - D. Alessi AU - B. M. Luther AU - L. Yin AU - D. H. Martz AU - M. Berrill AU - J. J. Rocca PY - 2012 KW - X-ray lasers KW - ion lasers KW - lanthanum KW - optical pulse generation KW - optical saturation KW - La KW - frequency 1 Hz KW - gain-saturated table-top soft X-ray laser KW - lanthanide ions KW - lasing wavelengths KW - repetition rate KW - wavelength 7.36 nm KW - wavelength 8.85 nm KW - Free electron lasers KW - Laser excitation KW - Laser transitions KW - Plasmas KW - Pump lasers KW - X-ray lasers DO - 10.1364/QELS.2012.QTu3H.6 JO - 2012 Conference on Lasers and Electro-Optics (CLEO) IS - SN - 2160-8989 VO - VL - JA - 2012 Conference on Lasers and Electro-Optics (CLEO) Y1 - 6-11 May 2012 ER - TY - CONF TI - Shipboard technician program of the National Science Foundation T2 - OCEANS '88. A Partnership of Marine Interests. Proceedings SP - 1644 EP - 1644 AU - H. L. Clark PY - 1988 KW - Calibration KW - Instruments KW - Logistics KW - Marine vehicles KW - Oceans KW - Personnel DO - 10.1109/OCEANS.1988.795032 JO - OCEANS '88. A Partnership of Marine Interests. Proceedings IS - SN - VO - VL - JA - OCEANS '88. A Partnership of Marine Interests. Proceedings Y1 - 31 Oct-2 Nov 1988 ER - TY - JOUR TI - Preflight Radiometric Calibration of the Orbiting Carbon Observatory T2 - IEEE Transactions on Geoscience and Remote Sensing SP - 2438 EP - 2447 AU - C. W. O'Dell AU - J. O. Day AU - R. Pollock AU - C. J. Bruegge AU - D. M. O'Brien AU - R. Castano AU - I. Tkatcheva AU - C. E. Miller AU - D. Crisp PY - 2011 KW - atmospheric composition KW - atmospheric spectra KW - calibration KW - carbon compounds KW - dark conductivity KW - geophysical equipment KW - photodiodes KW - radiometry KW - spectrometers KW - CO2 KW - Orbiting Carbon Observatory KW - dark current level KW - dark response KW - gain coefficients KW - instrumental channel KW - laboratory calibrated integrating sphere source KW - photodiode KW - preflight radiometric calibration KW - signal to-noise performance KW - simple noise model KW - solar spectrum KW - spectrometer output KW - surface pressure KW - transmission filter KW - Calibration KW - Detectors KW - Extraterrestrial measurements KW - Instruments KW - Photodiodes KW - Radiometry KW - Temperature measurement KW - IEEEtran KW - LaTeX KW - journal DO - 10.1109/TGRS.2010.2090887 JO - IEEE Transactions on Geoscience and Remote Sensing IS - 6 SN - 0196-2892 VO - 49 VL - 49 JA - IEEE Transactions on Geoscience and Remote Sensing Y1 - June 2011 ER - TY - CONF TI - Systems research for socio-technical problems T2 - 1977 IEEE Conference on Decision and Control including the 16th Symposium on Adaptive Processes and A Special Symposium on Fuzzy Set Theory and Applications SP - 462 EP - 462 AU - M. J. Wozny PY - 1977 KW - Control systems KW - Energy resolution KW - Environmental economics KW - Large-scale systems KW - Natural languages KW - Power generation economics KW - Sociotechnical systems KW - Uncertainty DO - 10.1109/CDC.1977.271616 JO - 1977 IEEE Conference on Decision and Control including the 16th Symposium on Adaptive Processes and A Special Symposium on Fuzzy Set Theory and Applications IS - SN - VO - VL - JA - 1977 IEEE Conference on Decision and Control including the 16th Symposium on Adaptive Processes and A Special Symposium on Fuzzy Set Theory and Applications Y1 - 7-9 Dec. 1977 ER - TY - CONF TI - Speeding through the "Valley of Death": More rapid and efficient transition of instruments and platforms from research to operations T2 - OCEANS 2006 SP - 1 EP - 5 AU - A. R. Isern AU - A. M. Clark PY - 2006 KW - oceanographic equipment KW - oceanographic techniques KW - oceanography KW - industrial community KW - oceanographic tools KW - operational community KW - platforms KW - research community KW - sensors KW - visionary pipeline KW - Instruments KW - Marine technology KW - Oceans KW - Research and development KW - Sea measurements KW - Sensor arrays KW - Sensor systems KW - Technological innovation KW - Testing KW - Time measurement DO - 10.1109/OCEANS.2006.307102 JO - OCEANS 2006 IS - SN - 0197-7385 VO - VL - JA - OCEANS 2006 Y1 - 18-21 Sept. 2006 ER - TY - CONF TI - A novel delta check method for detecting laboratory errors T2 - 2015 IEEE 25th International Workshop on Machine Learning for Signal Processing (MLSP) SP - 1 EP - 6 AU - J. Sourati AU - D. Erdogmus AU - M. Akcakaya AU - S. C. Kazmierczak AU - T. K. Leen PY - 2015 KW - biomedical measurement KW - statistical analysis KW - clinical measurement KW - delta check method KW - discriminant function KW - laboratory error KW - learning analysis tool KW - machine imprecision KW - statistical analysis tool KW - Calcium KW - Current measurement KW - Kernel KW - Measurement uncertainty KW - Potassium KW - Signal processing algorithms KW - Standards KW - Delta check KW - lab error detection KW - sufficient statistics DO - 10.1109/MLSP.2015.7324343 JO - 2015 IEEE 25th International Workshop on Machine Learning for Signal Processing (MLSP) IS - SN - 1551-2541 VO - VL - JA - 2015 IEEE 25th International Workshop on Machine Learning for Signal Processing (MLSP) Y1 - 17-20 Sept. 2015 ER - TY - JOUR TI - Technology in Science Education: The Next 10 Years T2 - Computer SP - 23 EP - 28 AU - J. I. Lipson PY - 1980 KW - Computer science education KW - Educational institutions KW - Educational technology KW - Engineering education KW - Information technology DO - 10.1109/MC.1980.1653703 JO - Computer IS - 7 SN - 0018-9162 VO - 13 VL - 13 JA - Computer Y1 - July 1980 ER - TY - JOUR TI - Superconducting materials: Ten years do make a difference T2 - IEEE Transactions on Magnetics SP - 607 EP - 617 AU - R. Hein PY - 1981 KW - Bibliographies KW - Superconducting materials KW - Amorphous magnetic materials KW - Amorphous materials KW - Conducting materials KW - Current measurement KW - History KW - Magnetic field measurement KW - Magnetic materials KW - Superconducting magnets KW - Superconducting materials KW - Superconductivity DO - 10.1109/TMAG.1981.1061158 JO - IEEE Transactions on Magnetics IS - 1 SN - 0018-9464 VO - 17 VL - 17 JA - IEEE Transactions on Magnetics Y1 - January 1981 ER - TY - JOUR TI - Transforming Computer Science Education in High Schools T2 - Computer SP - 107 EP - 109 AU - J. Cuny PY - 2011 KW - computer science education KW - educational institutions KW - CS 10K project KW - computer science education KW - computing education KW - high school level KW - Computer science education KW - Education courses KW - Programming KW - CS 10K Project KW - Education DO - 10.1109/MC.2011.191 JO - Computer IS - 6 SN - 0018-9162 VO - 44 VL - 44 JA - Computer Y1 - June 2011 ER - TY - CONF TI - Spectral linewidth measurement of an injection-seeded transient 18.9 nm soft X-ray laser T2 - CLEO: 2011 - Laser Science to Photonic Applications SP - 1 EP - 2 AU - D. Alessi AU - L. M. Meng AU - Y. Wang AU - O. Guilbaud AU - M. Berrill AU - S. R. Domingue AU - D. H. Martz AU - B. M. Luther AU - D. Joyeux AU - S. De Rossi AU - A. Klisnick AU - J. J. Rocca PY - 2011 KW - X-ray lasers KW - molybdenum KW - optical variables measurement KW - solid lasers KW - spectral line breadth KW - Mo KW - gaseous targets KW - injection-seeded molybdenum soft X-ray laser KW - injection-seeded transient laser KW - spectral linewidth measurement KW - wavelength 18.9 nm KW - Coherence KW - Laser beams KW - Measurement by laser beam KW - Plasma measurements KW - Plasmas KW - Semiconductor lasers KW - X-ray lasers DO - 10.1364/QELS.2011.QTuC6 JO - CLEO: 2011 - Laser Science to Photonic Applications IS - SN - 2160-8989 VO - VL - JA - CLEO: 2011 - Laser Science to Photonic Applications Y1 - 1-6 May 2011 ER - TY - CONF TI - The Ocean Observatories Initiative: Wiring the Ocean for Interactive Scientific Discovery T2 - OCEANS 2006 SP - 1 EP - 7 AU - A. R. Isern PY - 2006 KW - oceanographic equipment KW - seafloor phenomena KW - NSF KW - National Science Foundation KW - OOI KW - ORION Program KW - Ocean Observatories Initiative KW - Ocean Research Interactive Observatory Networks KW - Ocean Science Division KW - Southern Ocean KW - coastal observatory KW - deep-sea buoys KW - forward-looking cyberinfrastructure KW - geological feature KW - harsh environments KW - integrated observatory system KW - interactive scientific discovery KW - observing sites KW - ocean observatories initiative KW - oceanographic feature KW - regional electro-optical cabled network KW - seafloor spanning KW - Communication cables KW - Geology KW - Instruments KW - Marine technology KW - Observatories KW - Oceans KW - Optical fiber cables KW - Sea floor KW - Sea measurements KW - Wiring DO - 10.1109/OCEANS.2006.307078 JO - OCEANS 2006 IS - SN - 0197-7385 VO - VL - JA - OCEANS 2006 Y1 - 18-21 Sept. 2006 ER - TY - CONF TI - Assessing the quality of web-enabled laboratories in undergraduate education T2 - 32nd Annual Frontiers in Education SP - F3E-12 EP - F3E-16 vol.2 AU - Y. Amigud AU - G. Archer AU - J. Smith AU - M. Szymanski AU - B. Servatius PY - 2002 KW - computer aided instruction KW - distance learning KW - education KW - information resources KW - laboratories KW - student experiments KW - assessment criteria KW - remote access KW - state of the art equipment KW - teaching tool KW - undergraduate education KW - web-enabled laboratories quality assessment KW - Biological materials KW - Biomedical materials KW - Distance learning KW - Education KW - Educational technology KW - Information resources KW - Laboratories KW - Search engines KW - Web and internet services KW - Web sites DO - 10.1109/FIE.2002.1158196 JO - 32nd Annual Frontiers in Education IS - SN - 0190-5848 VO - 2 VL - 2 JA - 32nd Annual Frontiers in Education Y1 - 2002 ER - TY - CONF TI - Network survivability oriented Markov games (NSOMG) in wideband satellite communications T2 - 2014 IEEE/AIAA 33rd Digital Avionics Systems Conference (DASC) SP - 6C2-1 EP - 6C2-9 AU - D. Shen AU - G. Chen AU - G. Wang AU - K. Pham AU - E. Blasch AU - Z. Tian PY - 2014 KW - Markov processes KW - game theory KW - quality of service KW - radio spectrum management KW - radiofrequency interference KW - satellite communication KW - space communication links KW - NSOMG KW - QoS KW - SATCOM KW - adaptive radio frequency interferences KW - anti-interference strategy KW - cognitive spectrum management KW - game theory KW - network survivability oriented Markov games KW - quality of services KW - space communication KW - subscriber distributions KW - waveform adaptation KW - wideband satellite communications KW - Game theory KW - Games KW - Interference KW - Markov processes KW - Satellites KW - Spread spectrum communication KW - Wideband DO - 10.1109/DASC.2014.6979500 JO - 2014 IEEE/AIAA 33rd Digital Avionics Systems Conference (DASC) IS - SN - 2155-7195 VO - VL - JA - 2014 IEEE/AIAA 33rd Digital Avionics Systems Conference (DASC) Y1 - 5-9 Oct. 2014 ER - TY - CONF TI - NSF Sponsored Innovation in Engineering and Computer Science T2 - Proceedings. Twenty-Second Annual conference Frontiers in Education SP - 553 EP - 556 AU - J. Abel AU - P. Daniels AU - J. Harris AU - H. Hedges PY - 1992 KW - Computer science KW - Technological innovation DO - 10.1109/FIE.1992.683460 JO - Proceedings. Twenty-Second Annual conference Frontiers in Education IS - SN - VO - VL - JA - Proceedings. Twenty-Second Annual conference Frontiers in Education Y1 - 11-14 Nov 1992 ER - TY - JOUR TI - Scientific Foundations: A Case for Technology- Mediated Social- Participation Theory T2 - Computer SP - 22 EP - 28 AU - R. Kraut AU - M. L. Maher AU - J. Olson AU - T. W. Malone AU - P. Pirolli AU - J. C. Thomas PY - 2010 KW - social aspects of automation KW - TopCoder KW - Wikipedia KW - social design KW - social issues KW - technology-mediated social-participation theory KW - Biological system modeling KW - Communities KW - Computational modeling KW - Economics KW - Humans KW - Organizations KW - Psychology KW - collaboratory KW - social media KW - social networks KW - technology-mediated social participation DO - 10.1109/MC.2010.324 JO - Computer IS - 11 SN - 0018-9162 VO - 43 VL - 43 JA - Computer Y1 - Nov. 2010 ER - TY - JOUR TI - Education: `Edutainment' : How to laugh and learn: A grass-roots movement that started in the home is putting school systems under pressure to move computers into the classroom T2 - IEEE Spectrum SP - 114 EP - 118 AU - A. R. Molnar AU - D. K. Deringer PY - 1984 KW - Educational institutions KW - Graphics KW - Mathematics KW - Microcomputers KW - Training DO - 10.1109/MSPEC.1984.6370105 JO - IEEE Spectrum IS - 6 SN - 0018-9235 VO - 21 VL - 21 JA - IEEE Spectrum Y1 - June 1984 ER - TY - CONF TI - Comments, conclusions, recommendations T2 - Proceedings of the 1987 5th International Symposium on Unmanned Untethered Submersible Technology SP - 618 EP - 625 AU - R. Corell PY - 1987 KW - Auditory system KW - Business KW - Government KW - Hardware KW - Laboratories KW - Monitoring KW - National security KW - Remotely operated vehicles KW - Research and development KW - Underwater vehicles DO - 10.1109/UUST.1987.1158584 JO - Proceedings of the 1987 5th International Symposium on Unmanned Untethered Submersible Technology IS - SN - VO - 5 VL - 5 JA - Proceedings of the 1987 5th International Symposium on Unmanned Untethered Submersible Technology Y1 - 0-0 June 1987 ER - TY - CONF TI - Group on earth observations community of practice for ocean observations (OO CoP) T2 - 2011 GEOSS Workshop XLII - Oceans SP - 1 EP - 19 AU - B. Houtman PY - 2011 KW - geophysics KW - oceanography KW - GEO OO CoP KW - Group on Earth Observations Community of Practice for Ocean Observations KW - Communities KW - Conferences KW - Global Earth Observation System of Systems KW - Lead KW - Monitoring KW - Object recognition KW - Oceans DO - 10.1109/GEOSS-XLII.2011.6105427 JO - 2011 GEOSS Workshop XLII - Oceans IS - SN - VO - VL - JA - 2011 GEOSS Workshop XLII - Oceans Y1 - 18-18 Sept. 2011 ER - TY - CONF TI - “Need to Know” in engineering programs; STEMing the uncertainty around graduate education T2 - 2012 Frontiers in Education Conference Proceedings SP - 1 EP - 6 AU - K. Gibbs AU - E. Crede AU - M. Borrego PY - 2012 KW - engineering education KW - decision-making processes KW - engineering doctoral program KW - engineering faculty KW - engineering graduate education KW - engineering master program KW - engineering program KW - graduate student recruitment KW - research preparation KW - theoretical preparation KW - training experience KW - Aerospace engineering KW - Chemicals KW - Educational institutions KW - Engineering profession KW - Engineering students KW - Navigation KW - graduate KW - qualitative KW - undergraduate DO - 10.1109/FIE.2012.6462334 JO - 2012 Frontiers in Education Conference Proceedings IS - SN - 0190-5848 VO - VL - JA - 2012 Frontiers in Education Conference Proceedings Y1 - 3-6 Oct. 2012 ER - TY - JOUR TI - Theory in the Computer Science and Engineering Curriculum: Why, What, When, and Where T2 - Computer SP - 106 EP - 108 AU - B. H. Barnes AU - G. I. Davida AU - R. A. DeMillo AU - L. Landweber AU - H. Stone PY - 1977 KW - Algorithm design and analysis KW - Application software KW - Computational complexity KW - Computer Society KW - Computer science KW - Computer science education KW - Educational institutions KW - Engineering education KW - Logic KW - Program processors DO - 10.1109/C-M.1977.217609 JO - Computer IS - 12 SN - 0018-9162 VO - 10 VL - 10 JA - Computer Y1 - Dec. 1977 ER - TY - JOUR TI - News from the National Science Foundation T2 - IEEE Communications Surveys & Tutorials SP - 3 EP - 4 AU - S. Tekinay PY - 2008 DO - 10.1109/SURV.2008.080402 JO - IEEE Communications Surveys & Tutorials IS - 4 SN - 1553-877X VO - 10 VL - 10 JA - IEEE Communications Surveys & Tutorials Y1 - Fourth Quarter 2008 ER - TY - CONF TI - 1 Hz operation of a gain-saturated 10.9 nm table-top laser T2 - CLEO/QELS: 2010 Laser Science to Photonic Applications SP - 1 EP - 2 AU - Y. Wang AU - D. Alessi AU - D. H. Martz AU - M. Berrill AU - B. M. Luther AU - J. J. Rocca PY - 2010 KW - X-ray lasers KW - frequency 1 Hz KW - gain-saturated table-top laser KW - power 1 muW KW - size 10.9 nm KW - soft X-ray laser KW - Laser excitation KW - Laser theory KW - Laser transitions KW - Optical pulses KW - Plasma applications KW - Plasma measurements KW - Power lasers KW - Pump lasers KW - Tellurium KW - X-ray lasers DO - 10.1364/CLEO.2010.JFA6 JO - CLEO/QELS: 2010 Laser Science to Photonic Applications IS - SN - VO - VL - JA - CLEO/QELS: 2010 Laser Science to Photonic Applications Y1 - 16-21 May 2010 ER - TY - JOUR TI - Fostering Gender Diversity in Computing T2 - Computer SP - 22 EP - 23 AU - J. C. Prey AU - A. C. Weaver PY - 2013 KW - Career development KW - Computer science education KW - Equal opportunities KW - Gender issues KW - Professional aspects KW - Special issues and sections KW - computing education KW - gender diversity in computing DO - 10.1109/MC.2013.97 JO - Computer IS - 3 SN - 0018-9162 VO - 46 VL - 46 JA - Computer Y1 - March 2013 ER - TY - JOUR TI - Practical Approximation of Single-Qubit Unitaries by Single-Qubit Quantum Clifford and T Circuits T2 - IEEE Transactions on Computers SP - 161 EP - 172 AU - V. Kliuchnikov AU - D. Maslov AU - M. Mosca PY - 2016 KW - approximation theory KW - network synthesis KW - quantum gates KW - T circuits KW - T gates KW - T-optimal approximations KW - optimal single-qubit circuit designs KW - quantum circuits KW - scalable quantum algorithms KW - single-qubit Z-rotations KW - single-qubit quantum Clifford KW - single-qubit unitaries KW - Approximation algorithms KW - Approximation methods KW - Fault tolerance KW - Fault tolerant systems KW - Logic gates KW - Quantum computing KW - Vectors DO - 10.1109/TC.2015.2409842 JO - IEEE Transactions on Computers IS - 1 SN - 0018-9340 VO - 65 VL - 65 JA - IEEE Transactions on Computers Y1 - Jan. 1 2016 ER - TY - CONF TI - Special Session - Evaluation of Educational Development Projects T2 - Proceedings. Frontiers in Education. 36th Annual Conference SP - 1 EP - 8 AU - R. Pimmel AU - B. Anderegg AU - S. Burkett AU - B. Watford AU - C. Della-Piana PY - 2006 KW - educational technology KW - educational development project KW - evaluating outcomes KW - evaluation plan KW - evaluation tool KW - Condition monitoring KW - Data engineering KW - Educational programs KW - Engineering education KW - Proposals KW - Writing KW - assessment KW - evaluating outcomes KW - evaluation plans KW - evaluation tools KW - goals and outcomes KW - interpreting evaluation data DO - 10.1109/FIE.2006.322388 JO - Proceedings. Frontiers in Education. 36th Annual Conference IS - SN - 0190-5848 VO - VL - JA - Proceedings. Frontiers in Education. 36th Annual Conference Y1 - 27-31 Oct. 2006 ER - TY - CONF TI - Past, present, and future of data management systems research T2 - Seventh IEEE International Symposium on Multimedia (ISM'05) SP - 384 EP - 384 AU - L. Gruenwald PY - 2005 KW - Data processing DO - 10.1109/ISM.2005.88 JO - Seventh IEEE International Symposium on Multimedia (ISM'05) IS - SN - VO - VL - JA - Seventh IEEE International Symposium on Multimedia (ISM'05) Y1 - 14-14 Dec. 2005 ER - TY - JOUR TI - Digital signal processing at the National Science Foundation T2 - IEEE Acoustics, Speech, and Signal Processing Newsletter SP - 29 EP - 31 PY - 1982 KW - Application software KW - Biomedical optical imaging KW - Digital filters KW - Digital signal processing KW - Optical fiber communication KW - Optical signal processing KW - Quantization KW - Signal processing KW - Signal processing algorithms KW - Speech processing DO - JO - IEEE Acoustics, Speech, and Signal Processing Newsletter IS - 1 SN - 2168-3093 VO - 57 VL - 57 JA - IEEE Acoustics, Speech, and Signal Processing Newsletter Y1 - Mar 1982 ER - TY - CONF TI - A new life-style for marine science: The international decade of ocean exploration T2 - IEEE 1971 Conference on Engineering in the Ocean Environment SP - 1 EP - 5 AU - T. Owen PY - 1971 KW - Environmental management KW - Geoscience KW - Knowledge management KW - Manganese KW - Marine vehicles KW - Oceans KW - Productivity KW - Resource management KW - Sea measurements KW - Shipbuilding industry DO - 10.1109/OCEANS.1971.1161000 JO - IEEE 1971 Conference on Engineering in the Ocean Environment IS - SN - VO - VL - JA - IEEE 1971 Conference on Engineering in the Ocean Environment Y1 - 21-24 Sept. 1971 ER - TY - CONF TI - Hybrid front end converters for large multi-motor applications integrated with energy storage T2 - 2012 Twenty-Seventh Annual IEEE Applied Power Electronics Conference and Exposition (APEC) SP - 607 EP - 614 AU - B. Parkhideh AU - H. Mirzaee AU - S. Bhattacharya PY - 2012 KW - AC motor drives KW - energy storage KW - mining equipment KW - power convertors KW - power grids KW - AC drive systems KW - AFE KW - DC choppers KW - active front ends KW - energy storage system integration KW - grid KW - harmonic current spectrum operation KW - hybrid front end converters KW - large multimotor applications KW - mine operator KW - multimotor mobile mining equipment KW - peak load shaving KW - power 24 MW KW - power conversion KW - smarter energy management KW - Lead KW - Lead compounds KW - Mining equipment KW - Mobile communication KW - Supercapacitors KW - Voltage control DO - 10.1109/APEC.2012.6165881 JO - 2012 Twenty-Seventh Annual IEEE Applied Power Electronics Conference and Exposition (APEC) IS - SN - 1048-2334 VO - VL - JA - 2012 Twenty-Seventh Annual IEEE Applied Power Electronics Conference and Exposition (APEC) Y1 - 5-9 Feb. 2012 ER - TY - CONF TI - Fault Detection In Intelligent Material T2 - Proceedings of the Third International Conference on Computer Integrated Manufacturing, SP - 298 EP - 307 AU - J. Lee PY - 1992 KW - Computer aided manufacturing KW - Computer integrated manufacturing KW - Costs KW - Fault detection KW - Intelligent sensors KW - Manufacturing automation KW - Manufacturing processes KW - Materials handling KW - Production facilities KW - Real time systems DO - 10.1109/CIM.1992.639116 JO - Proceedings of the Third International Conference on Computer Integrated Manufacturing, IS - SN - VO - VL - JA - Proceedings of the Third International Conference on Computer Integrated Manufacturing, Y1 - 20-22 May 1992 ER - TY - CONF TI - Biologically motivated computational models T2 - Proceedings of the International Joint Conference on Neural Networks, 2003. SP - 1623 EP - 1623 AU - M. Basu AU - J. Timmis AU - D. Dasgupta AU - D. D. Lee AU - G. R. Gao AU - K. A. Boahen PY - 2003 KW - Biological processes KW - Biological system modeling KW - Biological systems KW - Biology computing KW - Computational modeling KW - Computer architecture KW - Computer science KW - Current supplies KW - Information processing KW - Mathematics DO - 10.1109/IJCNN.2003.1223942 JO - Proceedings of the International Joint Conference on Neural Networks, 2003. IS - SN - 1098-7576 VO - 2 VL - 2 JA - Proceedings of the International Joint Conference on Neural Networks, 2003. Y1 - 20-24 July 2003 ER - TY - CONF TI - Outlook for Visual Analytics Research Funding T2 - 2007 IEEE Symposium on Visual Analytics Science and Technology SP - 227 EP - 227 AU - J. Thomas AU - D. Keim AU - J. Kielman AU - L. Rosenblum PY - 2007 KW - Australia KW - Bioinformatics KW - Disaster management KW - Europe KW - Genetics KW - Laboratories KW - Terrorism KW - Visual analytics DO - 10.1109/VAST.2007.4389030 JO - 2007 IEEE Symposium on Visual Analytics Science and Technology IS - SN - VO - VL - JA - 2007 IEEE Symposium on Visual Analytics Science and Technology Y1 - Oct. 30 2007-Nov. 1 2007 ER - TY - CONF TI - Demonstration of 10.9 nm table-top soft x-ray laser at 1 Hz repetition rate T2 - 2010 23rd Annual Meeting of the IEEE Photonics Society SP - 272 EP - 273 AU - Y. Wang AU - D. Alessi AU - D. H. Martz AU - M. Berrill AU - B. M. Luther AU - J. J. Rocca PY - 2010 KW - X-ray lasers KW - X-ray optics KW - optical pulse generation KW - optical saturation KW - frequency 1 Hz KW - gain saturation KW - repetition rate KW - soft X-ray laser KW - table-top laser experiments KW - wavelength 10.9 nm KW - Laser excitation KW - Laser theory KW - Measurement by laser beam KW - Plasmas KW - Power lasers KW - Pump lasers KW - X-ray lasers DO - 10.1109/PHOTONICS.2010.5698864 JO - 2010 23rd Annual Meeting of the IEEE Photonics Society IS - SN - 1092-8081 VO - VL - JA - 2010 23rd Annual Meeting of the IEEE Photonics Society Y1 - 7-11 Nov. 2010 ER - TY - CONF TI - Beam characteristics of an injection-seeded solid-target plasma soft x-ray laser T2 - 2010 23rd Annual Meeting of the IEEE Photonics Society SP - 341 EP - 342 AU - D. Alessi AU - M. Berrill AU - Y. Wang AU - S. R. Domingue AU - D. Martz AU - B. M. Luther AU - L. Meng AU - O. Guilbaud AU - A. Klisnick AU - J. J. Rocca PY - 2010 KW - X-ray lasers KW - light coherence KW - semiconductor lasers KW - beam characteristics KW - injection-seeded solid-target plasma soft X-ray laser KW - self-seeded solid target amplifiers KW - temporal coherence KW - Harmonic analysis KW - Laser beams KW - Measurement by laser beam KW - Particle beams KW - Semiconductor lasers KW - X-ray lasers DO - 10.1109/PHOTONICS.2010.5698899 JO - 2010 23rd Annual Meeting of the IEEE Photonics Society IS - SN - 1092-8081 VO - VL - JA - 2010 23rd Annual Meeting of the IEEE Photonics Society Y1 - 7-11 Nov. 2010 ER - TY - JOUR TI - Polynomial-Time T-Depth Optimization of Clifford+T Circuits Via Matroid Partitioning T2 - IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems SP - 1476 EP - 1489 AU - M. Amy AU - D. Maslov AU - M. Mosca PY - 2014 KW - circuit complexity KW - circuit optimisation KW - fault tolerance KW - logic circuits KW - logic design KW - quantum gates KW - Clifford group KW - Clifford+T circuits KW - Steane codes KW - T gates KW - T-count minimization KW - fault-tolerant logical gates KW - matroid partitioning KW - polynomial-time algorithm KW - polynomial-time t-depth optimization KW - quantum circuit optimization KW - quantum circuit resynthesis KW - quantum fault-tolerance model KW - space-time trade-offs KW - surface codes KW - Boolean functions KW - Fault tolerance KW - Fault tolerant systems KW - Integrated circuit modeling KW - Logic gates KW - Quantum computing KW - Vectors KW - Circuit optimization KW - Clifford+T KW - circuit synthesis KW - matroid partitioning KW - quantum circuits KW - sum over paths DO - 10.1109/TCAD.2014.2341953 JO - IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems IS - 10 SN - 0278-0070 VO - 33 VL - 33 JA - IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems Y1 - Oct. 2014 ER - TY - CONF TI - Preliminary evaluation of a MRI-compatible modular robotic system for MRI-guided prostate interventions T2 - 2010 3rd IEEE RAS & EMBS International Conference on Biomedical Robotics and Biomechatronics SP - 796 EP - 801 AU - S. E. Song AU - N. Cho AU - J. Tokuda AU - N. Hata AU - C. Tempany AU - G. Fichtinger AU - I. Iordachita PY - 2010 KW - biomedical MRI KW - cancer KW - medical robotics KW - patient treatment KW - phantoms KW - surgery KW - MRI-compatible modular robotic system KW - MRI-guided prostate interventions KW - MRI-guided transperineal prostate intervention KW - clinical environment KW - magnetic resonance imaging KW - needle insertion KW - patient mockup trials KW - pneumatically actuated MRI-compatible modular robotic system KW - prostate cancer detection KW - prostate cancer treatment KW - prostate phantom KW - robotic interventions KW - Magnetic resonance imaging KW - Manipulators KW - Needles KW - Planning KW - Robot kinematics KW - Software DO - 10.1109/BIOROB.2010.5626987 JO - 2010 3rd IEEE RAS & EMBS International Conference on Biomedical Robotics and Biomechatronics IS - SN - 2155-1774 VO - VL - JA - 2010 3rd IEEE RAS & EMBS International Conference on Biomedical Robotics and Biomechatronics Y1 - 26-29 Sept. 2010 ER - TY - JOUR TI - A national survey of scientific research and development T2 - Electrical Engineering SP - 654 EP - 659 AU - A. T. Waterman PY - 1955 KW - Companies KW - Educational institutions KW - Government KW - Industries KW - Personnel KW - Research and development DO - 10.1109/EE.1955.6439501 JO - Electrical Engineering IS - 8 SN - 0095-9197 VO - 74 VL - 74 JA - Electrical Engineering Y1 - Aug. 1955 ER - TY - CONF TI - The Role Of Technology In The Cost Of Health Care: A New Parameter In Research And Clinical Applications T2 - Health Care Technology Policy I: The Role of Technology in the Cost of Health Care SP - 158 EP - 165 AU - G. B. Devey PY - 1994 KW - Biomedical engineering KW - Biomedical measurements KW - Cost benefit analysis KW - Ethics KW - Knowledge engineering KW - Medical services KW - Product development KW - Proposals KW - Robustness KW - Technology planning DO - 10.1109/HCTP.1994.721290 JO - Health Care Technology Policy I: The Role of Technology in the Cost of Health Care IS - SN - VO - VL - JA - Health Care Technology Policy I: The Role of Technology in the Cost of Health Care Y1 - 27-29 Apr 1994 ER - TY - JOUR TI - What Got Done in One Year at NSF's Stampede Supercomputer T2 - Computing in Science & Engineering SP - 83 EP - 88 AU - A. Dubrow PY - 2015 KW - parallel machines KW - research and development KW - NSF Stampede supercomputer KW - national science foundation KW - research topics KW - Computational modeling KW - National Science Foundatio KW - Research and development KW - Scienfitic computing KW - Supercomputers KW - US Government KW - HPC KW - Scientific computing KW - Stampede KW - education KW - high-performance computing KW - news KW - supercomputer DO - 10.1109/MCSE.2015.40 JO - Computing in Science & Engineering IS - 2 SN - 1521-9615 VO - 17 VL - 17 JA - Computing in Science & Engineering Y1 - Mar.-Apr. 2015 ER - TY - JOUR TI - Education: A crisis in electrical engineering manpower: A review of the problems facing U.S. industry as a result, and a strategy for corrective action T2 - IEEE Spectrum SP - 50 EP - 52 AU - S. Kahne PY - 1981 KW - Companies KW - Educational institutions KW - Electrical engineering KW - Government KW - Industries KW - Laboratories DO - 10.1109/MSPEC.1981.6369732 JO - IEEE Spectrum IS - 6 SN - 0018-9235 VO - 18 VL - 18 JA - IEEE Spectrum Y1 - June 1981 ER - TY - JOUR TI - The engineer at large T2 - IEEE Spectrum SP - 18 EP - 19 AU - J. A. Adam AU - A. H. Flax AU - M. Golladay PY - 1987 DO - 10.1109/MSPEC.1987.6448218 JO - IEEE Spectrum IS - 8 SN - 0018-9235 VO - 24 VL - 24 JA - IEEE Spectrum Y1 - Aug. 1987 ER - TY - JOUR TI - Future radio spectrum access [Scanning the Issue] T2 - Proceedings of the IEEE SP - 239 EP - 241 AU - A. Clegg AU - A. Weisshaar PY - 2014 KW - Cognitive radio KW - Market research KW - Radio spectrum management KW - Special issues and sections KW - Supply and demand KW - Telecommunication services KW - Wireless communication DO - 10.1109/JPROC.2014.2304651 JO - Proceedings of the IEEE IS - 3 SN - 0018-9219 VO - 102 VL - 102 JA - Proceedings of the IEEE Y1 - March 2014 ER - TY - CONF TI - The national science foundation: Transforming life at disciplinary boundaries T2 - 2008 33rd International Conference on Infrared, Millimeter and Terahertz Waves SP - 1 EP - 1 AU - K. Olsen PY - 2008 DO - 10.1109/ICIMW.2008.4665648 JO - 2008 33rd International Conference on Infrared, Millimeter and Terahertz Waves IS - SN - 2162-2027 VO - VL - JA - 2008 33rd International Conference on Infrared, Millimeter and Terahertz Waves Y1 - 15-19 Sept. 2008 ER - TY - CONF TI - Network survivability oriented Markov games (NSOMG) in wideband satellite communications T2 - 2014 IEEE/AIAA 33rd Digital Avionics Systems Conference (DASC) SP - 1 EP - 23 AU - D. Shen AU - G. Wang AU - G. Chen AU - K. Pham AU - E. Blasch AU - Z. G. Tian PY - 2014 DO - 10.1109/DASC.2014.6979641 JO - 2014 IEEE/AIAA 33rd Digital Avionics Systems Conference (DASC) IS - SN - 2155-7195 VO - VL - JA - 2014 IEEE/AIAA 33rd Digital Avionics Systems Conference (DASC) Y1 - 5-9 Oct. 2014 ER - TY - CONF TI - Cyber-physical systems and pervasive computing: Overlap or divergent? (PerCom Panel) T2 - 2015 IEEE International Conference on Pervasive Computing and Communications (PerCom) SP - 187 EP - 188 AU - C. Lu AU - J. Cao AU - D. Corman AU - C. Julien AU - L. Sha AU - F. Zambonelli PY - 2015 KW - ubiquitous computing KW - cyber-physical system KW - networked embedded system KW - pervasive computing DO - 10.1109/PERCOM.2015.7146527 JO - 2015 IEEE International Conference on Pervasive Computing and Communications (PerCom) IS - SN - VO - VL - JA - 2015 IEEE International Conference on Pervasive Computing and Communications (PerCom) Y1 - 23-27 March 2015 ER - TY - CONF TI - Stability and control aspects of a performance adaptive self-organizing control algorithm T2 - 1973 IEEE Conference on Decision and Control including the 12th Symposium on Adaptive Processes SP - 344 EP - 348 AU - G. N. Saridis AU - P. A. Fensel PY - 1973 KW - Adaptive control KW - Algorithm design and analysis KW - Convergence KW - Feedback control KW - Programmable control KW - Stability DO - 10.1109/CDC.1973.269188 JO - 1973 IEEE Conference on Decision and Control including the 12th Symposium on Adaptive Processes IS - SN - VO - VL - JA - 1973 IEEE Conference on Decision and Control including the 12th Symposium on Adaptive Processes Y1 - 5-7 Dec. 1973 ER - TY - JOUR TI - NSF's three-phase program helps the small-business innovator bootstrap an idea to commercial success T2 - IEEE Spectrum SP - 86 EP - 86 AU - R. T. Tibbetts PY - 1978 KW - Awards activities KW - Production KW - Proposals KW - Science - general KW - Technological innovation KW - US Government DO - 10.1109/MSPEC.1978.6367918 JO - IEEE Spectrum IS - 10 SN - 0018-9235 VO - 15 VL - 15 JA - IEEE Spectrum Y1 - Oct. 1978 ER - TY - JOUR TI - News from the National Science Foundation T2 - IEEE Communications Surveys & Tutorials SP - 4 EP - 5 AU - S. Tekinay PY - 2008 DO - 10.1109/COMST.2008.4625801 JO - IEEE Communications Surveys & Tutorials IS - 3 SN - 1553-877X VO - 10 VL - 10 JA - IEEE Communications Surveys & Tutorials Y1 - Third Quarter 2008 ER - TY - JOUR TI - An Introduction To "America's Energy Supply" by C.P. Steinmetz T2 - Proceedings of the IEEE SP - 721 EP - 722 AU - S. Rahman PY - 1998 KW - Cogeneration KW - Fuel economy KW - Hydroelectric power generation KW - Induction generators KW - Power generation KW - Power generation economics KW - Production KW - Resistance heating KW - Solar energy KW - Turbines DO - 10.1109/JPROC.1998.663547 JO - Proceedings of the IEEE IS - 4 SN - 0018-9219 VO - 86 VL - 86 JA - Proceedings of the IEEE Y1 - April 1998 ER - TY - CONF TI - Using Multiple Viewpoints to Improve Retrieval Effectiveness in Content-Based Image Retrieval T2 - IEEE Sixth International Symposium on Multimedia Software Engineering SP - xv EP - xv AU - J. C. French PY - 2004 KW - Biographies KW - Computer industry KW - Computer science KW - Concurrent computing KW - Content based retrieval KW - Image representation KW - Image retrieval KW - Information retrieval KW - Mathematics KW - Streaming media DO - 10.1109/MMSE.2004.86 JO - IEEE Sixth International Symposium on Multimedia Software Engineering IS - SN - VO - VL - JA - IEEE Sixth International Symposium on Multimedia Software Engineering Y1 - 13-15 Dec. 2004 ER - TY - CONF TI - The Ocean Drilling Program: A Case Study in International Science T2 - OCEANS '87 SP - 705 EP - 710 AU - A. Sutherland AU - S. Toye PY - 1987 KW - Continents KW - Costs KW - Drilling KW - Earth KW - Economic forecasting KW - Environmental economics KW - Fuel economy KW - Geology KW - Oceans KW - Remote sensing DO - 10.1109/OCEANS.1987.1160778 JO - OCEANS '87 IS - SN - VO - VL - JA - OCEANS '87 Y1 - Sept. 28 1987-Oct. 1 1987 ER - TY - CONF TI - The R/V Polar Duke - A new vessel for Antarctic research support T2 - OCEANS '85 - Ocean Engineering and the Environment SP - 437 EP - 440 AU - A. Inderbitzen AU - A. Betzel AU - M. Eichenberger AU - J. Leiby PY - 1985 KW - Antarctica KW - Control systems KW - Cranes KW - Diesel engines KW - Fuels KW - Ice KW - Propellers KW - Satellite navigation systems KW - Shafts KW - Water storage DO - 10.1109/OCEANS.1985.1160258 JO - OCEANS '85 - Ocean Engineering and the Environment IS - SN - VO - VL - JA - OCEANS '85 - Ocean Engineering and the Environment Y1 - 12-14 Nov. 1985 ER - TY - CONF TI - Disturbances in coral reefs: lessons from DIADEMA mass mortality and coral bleaching T2 - OCEANS '88. A Partnership of Marine Interests. Proceedings SP - 803 EP - 807 AU - C. F. D'Elia AU - P. R. Taylor PY - 1988 KW - Biology KW - Bleaching KW - Diseases KW - Ecosystems KW - Fluctuations KW - Horses KW - Oceans KW - Organisms KW - Robustness KW - Storms DO - 10.1109/OCEANS.1988.794900 JO - OCEANS '88. A Partnership of Marine Interests. Proceedings IS - SN - VO - VL - JA - OCEANS '88. A Partnership of Marine Interests. Proceedings Y1 - Oct. 31 1988-Nov. 2 1988 ER - TY - JOUR TI - Results from the 2012 World Radiocommunication Conference [Spectrum Policy and Regulatory Issues] T2 - IEEE Wireless Communications SP - 6 EP - 7 AU - A. W. Clegg PY - 2012 DO - 10.1109/MWC.2012.6231151 JO - IEEE Wireless Communications IS - 3 SN - 1536-1284 VO - 19 VL - 19 JA - IEEE Wireless Communications Y1 - June 2012 ER - TY - JOUR TI - NSF Support of Basic Research in Computer Science T2 - Computer SP - 10 EP - 13 AU - J. R. Lehmann PY - 1978 KW - Computer architecture KW - Computer science KW - Concurrent computing KW - History KW - Large scale integration KW - Multiprocessing systems KW - Paper technology KW - Very large scale integration DO - 10.1109/C-M.1978.218260 JO - Computer IS - 7 SN - 0018-9162 VO - 11 VL - 11 JA - Computer Y1 - July 1978 ER - TY - CONF TI - The Integrated Enterprise: Enterprise Architecture, Investment Process and System Development T2 - System Sciences, 2007. HICSS 2007. 40th Annual Hawaii International Conference on SP - 218c EP - 218c AU - C. Emery AU - S. M. Faison AU - J. Houk AU - J. S. "stan" Kirk PY - 2007 KW - business data processing KW - investment KW - enterprise architecture KW - integrated enterprise life cycle process flow KW - investment management KW - system development process KW - Conference management KW - Costs KW - Fluid dynamics KW - Guidelines KW - Investments KW - Kirk field collapse effect KW - Project management KW - Risk analysis KW - Societies KW - Technology management DO - 10.1109/HICSS.2007.545 JO - System Sciences, 2007. HICSS 2007. 40th Annual Hawaii International Conference on IS - SN - 1530-1605 VO - VL - JA - System Sciences, 2007. HICSS 2007. 40th Annual Hawaii International Conference on Y1 - Jan. 2007 ER - TY - JOUR TI - Light-Weight Feedback Mechanism for WiFi Multicast to Very Large Groups—Experimental Evaluation T2 - IEEE/ACM Transactions on Networking SP - 3826 EP - 3840 AU - V. Gupta AU - Y. Bejerano AU - C. Gutterman AU - J. Ferragut AU - K. Guo AU - T. Nandagopal AU - G. Zussman PY - 2016 KW - multicast communication KW - radio receivers KW - radiofrequency interference KW - telecommunication services KW - wireless LAN KW - AMuSe system KW - ORBIT testbed KW - WiFi networks KW - accurate receiver feedback KW - adaptive WiFi multicast services KW - channel quality KW - dense multicast environment KW - dynamically adjusting transmission bitrate KW - external interference KW - feedback information KW - feedback nodes KW - light-weight feedback mechanism KW - mobile devices KW - multicast receivers KW - multicast sender KW - multicast service quality KW - multimedia content distribution KW - scalable WiFi multicast services KW - small control overhead KW - Bit rate KW - IEEE 802.11 Standard KW - Interference KW - Multimedia communication KW - Receivers KW - Streaming media KW - 802.11 KW - WiFi KW - feedback mechanism KW - multicast DO - 10.1109/TNET.2016.2560806 JO - IEEE/ACM Transactions on Networking IS - 6 SN - 1063-6692 VO - 24 VL - 24 JA - IEEE/ACM Transactions on Networking Y1 - December 2016 ER - TY - CONF TI - Neural Networks For Control: An Overview T2 - [1990] Proceedings of the Twelfth Annual International Conference of the IEEE Engineering in Medicine and Biology Society SP - 1796 EP - 1797 AU - P. J. Werbos PY - 1990 KW - Biological neural networks KW - Communication system control KW - Control systems KW - Control theory KW - Neural networks KW - Pattern recognition KW - Statistics KW - System identification KW - Vehicle dynamics KW - Vehicles DO - 10.1109/IEMBS.1990.692023 JO - [1990] Proceedings of the Twelfth Annual International Conference of the IEEE Engineering in Medicine and Biology Society IS - SN - VO - VL - JA - [1990] Proceedings of the Twelfth Annual International Conference of the IEEE Engineering in Medicine and Biology Society Y1 - 1-4 Nov. 1990 ER - TY - CONF TI - NSF Grant Opportunities for Industry-University Collaborations T2 - 2008 IEEE International Symposium on Intelligent Control SP - 25 EP - 25 AU - K. Baheti PY - 2008 KW - educational institutions KW - National Science Foundation KW - academic liaison KW - grant opportunities KW - industry-university collaborations KW - Collaboration KW - Control systems KW - Embedded software KW - Fault detection KW - Government KW - Memory KW - Monitoring KW - Probes KW - Software safety KW - Technological innovation DO - 10.1109/ISIC.2008.4635926 JO - 2008 IEEE International Symposium on Intelligent Control IS - SN - 2158-9860 VO - VL - JA - 2008 IEEE International Symposium on Intelligent Control Y1 - 3-5 Sept. 2008 ER - TY - JOUR TI - The social costs of producing electric power from coal: A first-order calculation T2 - Proceedings of the IEEE SP - 1431 EP - 1442 AU - M. G. Morgan AU - B. R. Barkovich AU - A. K. Meier PY - 1973 KW - Cost function KW - Electrons KW - Gas lasers KW - Laser modes KW - Milling machines KW - Optical resonators KW - Optical variables control KW - Production KW - Pulse amplifiers KW - Ring lasers DO - 10.1109/PROC.1973.9295 JO - Proceedings of the IEEE IS - 10 SN - 0018-9219 VO - 61 VL - 61 JA - Proceedings of the IEEE Y1 - Oct. 1973 ER - TY - JOUR TI - Prolog to the Section on Radio Spectrum Access T2 - Proceedings of the IEEE SP - 1674 EP - 1675 AU - A. Weisshaar AU - A. Clegg PY - 2012 KW - Radio spectrum management KW - Special issues and sections KW - Spread spectrum communication KW - Telecommunication services DO - 10.1109/JPROC.2012.2187139 JO - Proceedings of the IEEE IS - Special Centennial Issue SN - 0018-9219 VO - 100 VL - 100 JA - Proceedings of the IEEE Y1 - May 13 2012 ER - TY - JOUR TI - Federal Funding of Physics ... Prospects and Policy T2 - IEEE Transactions on Nuclear Science SP - 46 EP - 54 AU - P. F. Donovan PY - 1971 KW - Educational institutions KW - Government KW - History KW - Insulation KW - Linear particle accelerator KW - Muscles KW - Nuclear physics KW - Research and development KW - Satellites KW - Statistics DO - 10.1109/TNS.1971.4325958 JO - IEEE Transactions on Nuclear Science IS - 3 SN - 0018-9499 VO - 18 VL - 18 JA - IEEE Transactions on Nuclear Science Y1 - June 1971 ER - TY - CONF TI - Research opportunities focused on electric power systems T2 - 26th IEEE Conference on Decision and Control SP - 391 EP - 392 AU - R. J. Thomas PY - 1987 KW - Computer applications KW - Computer security KW - Large-scale systems KW - Power industry KW - Power system modeling KW - Power system planning KW - Power system protection KW - Power system reliability KW - Power system security KW - Uncertainty DO - 10.1109/CDC.1987.272827 JO - 26th IEEE Conference on Decision and Control IS - SN - VO - 26 VL - 26 JA - 26th IEEE Conference on Decision and Control Y1 - 9-11 Dec. 1987 ER - TY - CONF TI - Firewall modules and modular firewalls T2 - The 18th IEEE International Conference on Network Protocols SP - 174 EP - 182 AU - H. B. Acharya AU - A. Joshi AU - M. G. Gouda PY - 2010 KW - Internet KW - authorisation KW - computer networks KW - Internet KW - dependency metric KW - firewall complexity KW - firewall module KW - modular firewall KW - rule dependency KW - small inversion metrics KW - Algorithm design and analysis KW - Approximation methods KW - Complexity theory KW - Fires KW - IP networks KW - Measurement KW - Multicore processing DO - 10.1109/ICNP.2010.5762766 JO - The 18th IEEE International Conference on Network Protocols IS - SN - 1092-1648 VO - VL - JA - The 18th IEEE International Conference on Network Protocols Y1 - 5-8 Oct. 2010 ER - TY - JOUR TI - A Meet-in-the-Middle Algorithm for Fast Synthesis of Depth-Optimal Quantum Circuits T2 - IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems SP - 818 EP - 830 AU - M. Amy AU - D. Maslov AU - M. Mosca AU - M. Roetteler PY - 2013 KW - logic circuits KW - logic design KW - quantum gates KW - Clifford gates KW - Clifford+T set KW - T gates KW - Toffoli gate KW - brute force algorithms KW - depth-optimal decompositions KW - depth-optimal quantum circuit fast synthesis KW - elementary gates KW - meet-in-the-middle algorithm KW - quantum logical operations KW - Approximation algorithms KW - Fault tolerance KW - Fault tolerant systems KW - Force KW - Logic gates KW - Quantum computing KW - Silicon KW - Brute force search KW - meet-in-the-middle KW - quantum circuit optimization KW - quantum circuit synthesis DO - 10.1109/TCAD.2013.2244643 JO - IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems IS - 6 SN - 0278-0070 VO - 32 VL - 32 JA - IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems Y1 - June 2013 ER - TY - JOUR TI - The 21st Century Engineer T2 - IEEE Spectrum SP - 17 EP - 19 AU - J. Bordogna PY - 2001 KW - Chaos KW - Cognition KW - Computational biology KW - Computer architecture KW - Dictionaries KW - Internet KW - Joining processes KW - Nanobioscience KW - Proteins KW - Supercomputers DO - 10.1109/MSPEC.2001.893323 JO - IEEE Spectrum IS - 1 SN - 0018-9235 VO - 38 VL - 38 JA - IEEE Spectrum Y1 - Jan. 2001 ER - TY - CONF TI - Microprocessors And Data Encryption T2 - Compcon Fall 79. Proceedings SP - 154 EP - 159 AU - G. I. Davida AU - D. L. Wells PY - 1979 KW - Data security KW - Databases KW - Electronic mail KW - Microprocessors KW - Postal services KW - Presses KW - Protection KW - Public key KW - Public key cryptography KW - Throughput DO - 10.1109/CMPCON.1979.729100 JO - Compcon Fall 79. Proceedings IS - SN - VO - VL - JA - Compcon Fall 79. Proceedings Y1 - 4-7 Sep 1979 ER - TY - JOUR TI - Special Issue: Non-Reciprocal Optical Phenomena and Photonics DevicesOne-Way Photonics T2 - IEEE Photonics Journal SP - 1 EP - 1 AU - M. Li AU - D. Dagenais PY - 2014 KW - Photonics KW - Special issues and sections DO - 10.1109/JPHOT.2013.2296420 JO - IEEE Photonics Journal IS - 1 SN - 1943-0655 VO - 6 VL - 6 JA - IEEE Photonics Journal Y1 - Feb. 2014 ER -