Find Research Outputs

Search results

• 2012

  Model checking LTLR formulas under localized fairness

  Bae, K. & Meseguer, J., Nov 8 2012, Rewriting Logic and Its Applications - 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Revised Selected Papers. p. 99-117 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7571 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Fairness
  • Temporal logic
  • Model Checking
  • Model checking
  • Temporal Logic

• Capturing patron selections from an engineering library public terminal menu: An analysis of results

  Mischo, W. H. & Schlembach, M. C., Jan 1 2012, Information Practice in Science and Technology: Evolving Challenges and New Directions. Taylor and Francis, p. 127-138 12 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Public Libraries
  • Abstracting and Indexing
  • Patron
  • Libraries
  • Catalogs

• Microscopic SPECT imaging with micro-ring apertures and high resolution semiconductor detectors

  Lai, X. C., Cai, L. & Meng, L. J., Dec 1 2012, 2012 IEEE Nuclear Science Symposium and Medical Imaging Conference Record, NSS/MIC 2012. p. 3153-3156 4 p. 6551719. (IEEE Nuclear Science Symposium Conference Record).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Semiconductors
  • Single-Photon Emission-Computed Tomography
  • apertures
  • rings
  • high resolution
• 2014

  Preferred nest site characteristics reduce predator-specific predation risk in a canopy-nesting raptor

  Chiavacci, S. J., Bader, T. J. & Bednarz, J. C., 2014, In: Journal of Wildlife Management. 78, 6, p. 1022--1032

  Research output: Contribution to journal › Article › peer-review

  • nest site
  • raptor
  • predation risk
  • birds of prey
  • nest
• 2017

  A Hybrid Bento-Style Federated Search System

  Liu, W., Mischo, W. H. & Schlembach, M. C., 2017, In: Library and Information Science. 61, 19, p. 113-121

  Research output: Contribution to journal › Article › peer-review

• 2016

  Predicting novel interactions between plants and herbivorous insects

  Pearse, I. S. & Altermat, F., 2016.

  Research output: Contribution to conference › Other › peer-review

  • phytophagous insects
  • herbivores
  • introduced plants
  • prediction
  • geography

• Resilience analysis for complex supply chain systems using Bayesian betworks

  Yodo, N. & Wang, P., Jan 1 2016, 54th AIAA Aerospace Sciences Meeting. American Institute of Aeronautics and Astronautics Inc, AIAA, (54th AIAA Aerospace Sciences Meeting).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Supply chains
  • Bayesian networks
  • Large scale systems
  • Industrial applications
  • Industry

• Narrowing the Gap: Preference and Awareness of Florida Strawberries

  Ruth, T. K., 2016, In: Journal of Food Distribution Research. 49, 2, p. 109-126 18 p.

  Research output: Contribution to journal › Article › peer-review

  • strawberries
  • focus groups
  • research methods
  • consumer preferences
  • small fruits
• 2012

  Linear programming based routing design for a positive compartmental system with nonlinear flow rates and piecewise constant capacity constraints

  Dousse, N., Arneson, H. & Langbort, C., 2012, 2012 American Control Conference, ACC 2012. Institute of Electrical and Electronics Engineers Inc., p. 4004-4009 6 p. 6315610. (Proceedings of the American Control Conference).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Linear programming
  • Nonlinear systems
  • Flow rate
  • Air
  • Dynamic models

• Perfluorocarbon nanoparticles: A theranostic platform technology

  Lanza, G. M., Winter, P. M., Caruthers, S. D., Hughes, M. S., Hu, G., Pan, D., Schmieder, A. H., Pham, C. & Wickline, S. A., Jan 1 2012, Nanopharmaceutics: The Potential Application of Nanomaterials. World Scientific Publishing Co., p. 293-346 54 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Fluorocarbons
  • Theranostic Nanomedicine
  • Single Photon Emission Computed Tomography Computed Tomography
  • Nanoparticles
  • Molecular imaging
• 2011

  Misalignment characteristic analysis based on Kernel principal component analysis

  Li, H., Ma, X., Wang, Y. & Bergman, L., Aug 29 2011, Proceedings - 4th International Joint Conference on Computational Sciences and Optimization, CSO 2011. p. 293-296 4 p. 5957664. (Proceedings - 4th International Joint Conference on Computational Sciences and Optimization, CSO 2011).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Misalignment
  • Kernel Principal Component Analysis
  • Magnetic bearings
  • Principal component analysis
  • Dynamical systems
• 2014

  Distributed electrode Mach-Zehnder modulator with double-pass phase shifters and integrated inductors

  Gill, D. M., Green, W. M. J., Xiong, C., Proesel, J., Rylyakov, A., Schow, C., Rosenberg, J. C., Barwicz, T., Khater, M., Assefa, S., Shank, S. M., Reinholm, C., Kiewra, E., Kamlapurkar, S. & Vlasov, Y. A., Jan 1 2014.

  Research output: Contribution to conference › Paper › peer-review

  • Phase shifters
  • inductors
  • Modulators
  • Mach number
  • modulators
• 2016

  Displaying Death and Animating Life: Human-Animal Relations in Art, Science, and Everyday Life

  Desmond, J. C., Aug 2016, University of Chicago Press. 312 p.

  Research output: Book/Report/Conference proceeding › Book

  • everyday life
  • animal
  • art
  • death
  • marketing
• 2014

  Clusred: Clustering and network reduction based probabilistic optimal power flow analysis for large-scale smart grids

  Liang, Y. & Chen, D., Jan 1 2014, DAC 2014 - 51st Design Automation Conference, Conference Proceedings. Institute of Electrical and Electronics Engineers Inc., 2593106. (Proceedings - Design Automation Conference).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Smart Grid
  • Optimal Power Flow
  • Clustering
  • Cumulants
  • Cyber Physical System
• 2016

  Low temperature plasma for tunable resonant attenuation

  Semnani, A., Yang, H. J., Sinanis, M., Park, S. J., Eden, J. G., Macheret, S. O. & Peroulis, D., Aug 9 2016, 2016 IEEE MTT-S International Microwave Symposium, IMS 2016. Institute of Electrical and Electronics Engineers Inc., 7540426. (IEEE MTT-S International Microwave Symposium Digest; vol. 2016-August).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • cold plasmas
  • Plasmas
  • attenuation
  • tuning
  • resonators
• 2014

  Terminology management

  Warburton, K. C., Nov 3 2014, The Routledge Encyclopedia of Translation Technology. Chan, S-W. (ed.). Routledge

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Terminology
  • Industry
  • Costs
• 2011

  Head-on collisions of unequal mass black holes in D=5 dimensions

  Witek, H., Cardoso, V., Gualtieri, L., Herdeiro, C., Sperhake, U. & Zilhão, M., Feb 8 2011, In: Physical Review D - Particles, Fields, Gravitation and Cosmology. 83, 4, 044017.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  • collisions
  • horizon
  • gravitational waves
  • waveforms
  • theorems
• 2018

  Transformed Spiked Covariance Completion for Time Series Estimation

  Eng, B., Zhao, Z., Kamalabadi, F. & Waldrop, L., Sep 10 2018, 2018 IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2018 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 4484-4488 5 p. 8461555. (ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings; vol. 2018-April).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Time series
  • Dynamical systems
• 2011

  Validation of Robotic Surgery Simulator (RoSS)

  Kesavadas, T., Stegemann, A., Sathyaseelan, G., Chowriappa, A., Srimathveeravalli, G., Seixas-Mikelus, S., Chandrasekhar, R., Wilding, G. & Guru, K., Jan 1 2011, Medicine Meets Virtual Reality 18: NextMed, MMVR18. IOS Press, p. 274-276 3 p. (Studies in Health Technology and Informatics; vol. 163).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Robotic surgery
  • Robotics
  • Simulators
  • Surgeons
  • Virtual Reality
• 2014

  Temperature in a fuel rod with a coated clad and temperature dependent thermal conductivity

  Kao, M. T. & Uddin, R., Jan 1 2014, In: Transactions of the American Nuclear Society. 110, p. 712-715 4 p.

  Research output: Contribution to journal › Conference article › peer-review
• 2016

  No body? Radical gender in Memoirs of a Man's Maiden Years (1907)

  Hilger, S. M., Jan 18 2016, The Early History of Embodied Cognition 1740-1920: The Lebenskraft-Debate and Radical Reality in German Science, Music, and Literature. McCarthy, J. A., Hilger, S. M., Sullivan, H. I. & Saul, N. (eds.). Brill, p. 225-247 23 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Memoir
  • Puberty
  • Magnus Hirschfeld
  • Imperial Germany
  • Curiosity
• 2017

  Comparison of characteristics of flow around a sphere with trip wire using different turbulence modeling approaches

  Koric, S., Vellakal, M., Taha, A. & Torlak, M., Jan 1 2017, Advances in Aerospace Technology. American Society of Mechanical Engineers (ASME), (ASME International Mechanical Engineering Congress and Exposition, Proceedings (IMECE); vol. 1).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Turbulent flow
  • Turbulence
  • Wire
  • Mesh generation
  • Flow separation
• 2012

  A stepwise solvent-promoted S _Ni reaction of α-d- glucopyranosyl fluoride: Mechanistic implications for retaining glycosyltransferases

  Chan, J., Tang, A. & Bennet, A. J., Jan 18 2012, In: Journal of the American Chemical Society. 134, 2, p. 1212-1220 9 p.

  Research output: Contribution to journal › Article › peer-review

  • Deuterium
  • hexafluoroisopropanol
  • Glycosyltransferases
  • deuterium
  • Propanol
• 2011

  Experiments

  Druckman, J. N., Green, D. P., Kuklinski, J. H. & Lupia, A., 2011, Cambridge Handbook of Experimental Political Science. Druckman, J. N., Green, D. P., Kuklinski, J. H. & Lupia, A. (eds.). Cambridge University Press, p. 15-26 2

  Research output: Chapter in Book/Report/Conference proceeding › Chapter
• 2012

  Last Works

  Mendelssohn, M. & Rosenstock, B. (Translator), Jun 2012, Urbana: University of Illinois Press. 264 p.

  Research output: Book/Report/Conference proceeding › Book

  • Friendship
  • Real Enemy
  • Philosophical Commentary
  • Moral Power
  • Moses Mendelssohn
• 2011

  Implementation of engineering mini-lectures in DREAM: Rigor in an informal, design based high school mentoring project

  Kong, Z. C., Bautista-Chavez, A. M., Goza, A. J., Kienast, K., Oke, S., Castilleja, J. A., Houchens, B. C. & Jackson, R., Jan 1 2011, In: ASEE Annual Conference and Exposition, Conference Proceedings.

  Research output: Contribution to journal › Article › peer-review

  • Mentoring
  • Students
• 2018

  Some Local Stability Properties of an Autonomous Long Short-Term Memory Neural Network Model

  Stipanović, D. M., Murmann, B., Causo, M., Lekić, A., Royo, V. R., Tomlin, C. J., Beigne, E., Thuries, S., Zarudniev, M. & Lesecq, S., Apr 26 2018, 2018 IEEE International Symposium on Circuits and Systems, ISCAS 2018 - Proceedings. Institute of Electrical and Electronics Engineers Inc., 8350958. (Proceedings - IEEE International Symposium on Circuits and Systems; vol. 2018-May).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Long short-term memory
  • Neural networks
  • Asymptotic stability
  • Linearization
  • Linear matrix inequalities
• 2016

  Teacher socialization in physical education: New perspectives

  Richards, K. A. R. & Gaudreault, K. L., Jan 1 2016, Taylor and Francis. 286 p.

  Research output: Book/Report/Conference proceeding › Book

  • physical education
  • socialization
  • teacher
  • occupational socialization
  • socialization theory
• 2011

  20Gbps receiver based on germanium photodetector hybrid-integrated with 90nm CMOS amplifier

  Assefa, S., Lee, B. G., Schow, C. L., Green, W. M. J., Rylyakov, A. V., John, R. A. & Vlasov, Y. A., Sep 1 2011, 2011 Conference on Lasers and Electro-Optics: Laser Science to Photonic Applications, CLEO 2011. 5951251. (2011 Conference on Lasers and Electro-Optics: Laser Science to Photonic Applications, CLEO 2011).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Germanium
  • Photodetectors
  • power efficiency
  • Waveguides
  • avalanches

• Toronto International Music Festival: Adjudicator

  Peterson, E. B., May 2011

  Research output: Non-textual form › Performance

• 2016

  Teaching with primary sources

  Prom, C. J. (ed.) & Hinchliffe, L. J. (ed.), 2016, Society of American Archivists. 216 p. (Trends in Archives Practice)

  Research output: Book/Report/Conference proceeding › Book

  • Primary Source
  • Module
  • Teaching
  • Literacy
  • Archivists
• 2012

  Microsporidian entomomopathogens

  Solter, L. F., Becnel, J. J. & Oi, D. H., 2012, Insect Pathology. Vega, F. E. & Kaya, H. K. (eds.). San Diego, CA: Elsevier, Vol. 2nd. p. 221--264

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

• 2014

  Engineering for problems of excess

  Varshney, L. R., Jan 1 2014, 2014 IEEE International Symposium on Ethics in Science, Technology and Engineering, ETHICS 2014. Institute of Electrical and Electronics Engineers Inc., 6893447. (2014 IEEE International Symposium on Ethics in Science, Technology and Engineering, ETHICS 2014).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Excess
  • Scarcity
  • Improving Lives
  • Socio-technical Systems
  • Engineering Design
• 2016

  Study of Sn removal processes for in-situ collector cleaning

  Elg, D. T., Panici, G. A., Srivastava, S. N. & Ruzic, D. N., Jan 1 2016, Extreme Ultraviolet (EUV) Lithography VII. Panning, E. M. & Goldberg, K. A. (eds.). SPIE, 97760M. (Proceedings of SPIE - The International Society for Optical Engineering; vol. 9776).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Cleaning
  • Hydrogen
  • cleaning
  • accumulators
  • Etching
• 2018

  The Audience Is Still Present: Invocations of El-Hajj Malik El-Shabazz by Muslims in the United States

  Kashani, M., May 2018, With Stones in Our Hands: Writings on Muslims, Racism, and Empire. Daulatzai, S. & Rana, J. (eds.). University of Minnesota Press, (Muslim International; vol. 2).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

• 2016

  Structural laminated bamboo passive house

  Taylor, M., Jan 1 2016, Structures and Architecture - Proceedings of the 3rd International Conference on Structures and Architecture, ICSA 2016. Cruz, P. J. S. (ed.). CRC Press/Balkema, p. 607-614 8 p. (Structures and Architecture - Proceedings of the 3rd International Conference on Structures and Architecture, ICSA 2016).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Bamboo
  • Thermal comfort
  • Cooling systems
  • Roofs
  • Heating
• 2012

  What do you think? A case study of benefit, expectation, and interaction in a large online critique community

  Xu, A. & Bailey, B. P., Mar 19 2012, CSCW'12 - Proceedings of the ACM 2012 Conference on Computer Supported Cooperative Work. p. 295-304 10 p. (Proceedings of the ACM Conference on Computer Supported Cooperative Work, CSCW).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Photography
  • Dynamic response
• 2011

  Cross-cultural Investigations of Heritage through Service-Learning: Translating an Action-research Approach to an International Context

  Dearborn, L. M. & Lawson, L., 2011, Proceedings of the 2nd Erasing Boundaries Symposium.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Back-analysis of preexisting landslides

  Hussain, M. & Stark, T. D., 2011, Geo-Frontiers 2011: Advances in Geotechnical Engineering - Proceedings of the Geo-Frontiers 2011 Conference. 211 GSP ed. p. 3659-3668 10 p. (Geotechnical Special Publication; no. 211 GSP).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Landslides
  • back analysis
  • landslide
  • Shear strength
  • residual strength
• 2012

  Peer-to-peer streaming over dynamic random Hamilton cycles

  Kim, J. & Srikant, R., May 7 2012, 2012 Information Theory and Applications Workshop, ITA 2012 - Conference Proceedings. p. 415-419 5 p. 6181767. (2012 Information Theory and Applications Workshop, ITA 2012 - Conference Proceedings).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Parallel algorithms
  • Throughput
  • Topology

• Wish to Live: The Hip-hop Feminism Pedagogy Reader

  Brown, R. N. (ed.) & Kwakye, C. J. (ed.), Sep 12 2012, New York: Peter Lang. 271 p. (Educational Psychology: Critical Pedagogical Perspectives; vol. 3)

  Research output: Book/Report/Conference proceeding › Book

  • hip hop
  • feminism
  • graffiti
  • poetry
  • document analysis
• 2016

  Introduction

  Harrington, D. W., McLafferty, S. & Elliott, S. J., Jan 1 2016, Population Health Intervention Research: Geographical Perspectives. Taylor and Francis, p. 1-9 9 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter
• 2014

  Oxygen atom density and thermal energy control in an electric-oxygen iodine laser

  Benavides, G. F., Palla, A. D., Zimmerman, J. W., Woodard, B. S., Carroll, D. L. & Solomon, W. C., Jan 1 2014, High Energy/Average Power Lasers and Intense Beam Applications VII. SPIE, 89620G. (Proceedings of SPIE - The International Society for Optical Engineering; vol. 8962).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • iodine lasers
  • Iodine
  • Oxygen
  • Laser
  • Atoms
• 2012

  L₁ adaptive control integrated missile autopilot and guidance

  Erdos, D., Shima, T., Kharisov, E. & Hovakimyan, N., 2012, AIAA Guidance, Navigation, and Control Conference 2012.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Integrated control
  • Electronic guidance systems
  • Missiles
  • Feedback
  • Robustness (control systems)
• 2011

  Can larval rearing temperature alter the outcome of intraspecific competition in mosquitoes?

  Ricci, J. & Muturi, E. J., 2011.

  Research output: Contribution to conference › Other › peer-review

• Alternative Investment Market Fundamentals

  Labuszewski, J. W., Peterson, P. E. & Piszczor, C., Nov 29 2011, The CME Group Risk Management Handbook: Products and Applications. John Wiley and Sons, p. 368-400 33 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter
• 2017

  One-shot multivariate covering lemmas via weighted sum and concentration inequalities

  Yassaee, M. H., Liu, J. & Verdu, S., Aug 9 2017, 2017 IEEE International Symposium on Information Theory, ISIT 2017. Institute of Electrical and Electronics Engineers Inc., p. 669-673 5 p. 8006612. (IEEE International Symposium on Information Theory - Proceedings).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Concentration Inequalities
  • Weighted Sums
  • Covering
  • Lemma
  • Broadcast Channel
• 2014

  Process research screen capture

  Mroz, A. P., Dec 3 2014, The Encyclopedia of Applied Linguistics. Chapelle, C. A. (ed.). Wiley

  Research output: Chapter in Book/Report/Conference proceeding › Entry for encyclopedia/dictionary

  • research process
  • linguistics
  • video recording
  • communication
  • learning

• The Personal and the Philosophical

  Burbules, N. C., Jan 1 2014, Leaders in Philosophy of Education: Intellectual Self-Portraits (Second Series). Waks, L. J. (ed.). Sense Publishers, p. 49-57 9 p. (Leaders in Educational Studies).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter
• 2018

  Optimal nonlinear feedback with feedforward control of high speed aerospace vehicles using a spatial statistical approach

  Chilan, C. M., Conway, B. A., Bialy, B. J. & Stockbridge, S., Jan 1 2018, AAS/AIAA Astrodynamics Specialist Conference, 2018. Singla, P., Weisman, R. M., Marchand, B. G. & Jones, B. A. (eds.). Univelt Inc., p. 997-1016 20 p. (Advances in the Astronautical Sciences; vol. 167).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • aerospace vehicles
  • feedforward control
  • nonlinear feedback
  • Aerospace vehicles
  • Nonlinear feedback