Find Research Outputs

Search results

• 2013

  Velocity Mapping Toolbox (VMT): A processing and visualization suite for moving-vessel ADCP measurements

  Parsons, D. R., Jackson, P. R., Czuba, J. A., Engel, F. L., Rhoads, B. L., Oberg, K. A., Best, J. L., Mueller, D. S., Johnson, K. K. & Riley, J. D., Sep 15 2013, In: Earth Surface Processes and Landforms. 38, 11, p. 1244-1260 17 p.

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

  • Acoustic Doppler Current Profiler
  • acoustics
  • visualization
  • vessel
  • bodies of water

• Velocity saturation current-mode CMOS imaging sensor

  Njuguna, R. & Gruev, V., Sep 9 2013, 2013 IEEE International Symposium on Circuits and Systems, ISCAS 2013. p. 2630-2633 4 p. 6572418. (Proceedings - IEEE International Symposium on Circuits and Systems).

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

  • Imaging techniques
  • Sensors
  • Drain current
  • Conveyors
  • Image sensors

• Velocity statistics for interacting edge dislocations in one dimension from Dyson's Coulomb gas model

  Jafarpour, F., Angheluta, L. & Goldenfeld, N., Oct 14 2013, In: Physical Review E - Statistical, Nonlinear, and Soft Matter Physics. 88, 4, 042123.

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

  • Coulomb Gas
  • Dislocation
  • edge dislocations
  • Nearest Neighbor
  • One Dimension

• Vendors' incentives to invest in software quality in enterprise systems

  Cho, W., Subramanyam, R. & Xia, M., Dec 1 2013, In: Decision Support Systems. 56, 1, p. 27-36 10 p.

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

  • Vendors Incentives
  • Software Quality
  • Enterprise Systems
  • Software
  • Vendors

• Vendor Synergy: Efficient Water and Wastewater Treatment in Effingham, Illinois

  Marsch, D. & Springman, M., 2013, Champaign, IL: Illinois Sustainable Technology Center. (TN Series (Illinois Sustainable Technology Center); no. 13-100)

  Research output: Book/Report/Conference proceeding › Technical report

  • energy efficiency
  • water treatment
  • wastewater treatment
  • document
  • city

• Ventral striatum activation to prosocial rewards predicts longitudinal declines in adolescent risk taking

  Telzer, E. H., Fuligni, A. J., Lieberman, M. D. & Galván, A., Jan 2013, In: Developmental Cognitive Neuroscience. 3, 1, p. 45-52 8 p.

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

  • Ventral Striatum
  • Risk-Taking
  • Reward
  • Neurosciences
  • Emotions

• Verification as learning geometric concepts

  Sharma, R., Gupta, S., Hariharan, B., Aiken, A. & Nori, A. V., Sep 26 2013, Static Analysis - 20th International Symposium, SAS 2013, Proceedings. p. 388-411 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7935 LNCS).

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

  • Program Verification
  • Learning
  • Learning Algorithm
  • Machine Learning
  • Assertion

• Verification of annotated models from executions

  Duggirala, P. S., Mitra, S. & Viswanathan, M., 2013, 2013 Proceedings of the International Conference on Embedded Software, EMSOFT 2013. IEEE Computer Society, 6658604. (2013 Proceedings of the International Conference on Embedded Software, EMSOFT 2013).

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

  • Trajectories
  • Lyapunov functions
  • Embedded systems
  • Acoustic waves
  • Systems analysis

• Verification of snapback model by transient I-V measurement for circuit simulation of ESD response

  Meng, K. H. & Rosenbaum, E., Jul 1 2013, In: IEEE Transactions on Device and Materials Reliability. 13, 2, p. 371-378 8 p., 6504488.

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

  • Electrostatic discharge
  • Circuit simulation
  • Relaxation oscillators
  • Testing

• Verified integrity properties for safe approximate program transformations

  Carbin, M., Kim, D., Misailovic, S. & Rinard, M. C., Feb 12 2013, PEPM 2013 - Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2013. p. 63-66 4 p. (PEPM 2013 - Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2013).

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

  • Image processing
  • Machine learning
  • Semantics

• VeriFlow: Verifying network-wide invariants in real time

  Khurshid, A., Zou, X., Zhou, W., Caesar, M. & Brighten Godfrey, P., 2013, Proceedings of the 10th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2013. USENIX Association, p. 15-27 13 p. (Proceedings of the 10th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2013).

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

  • Software defined networking
  • Controllers
  • Complex networks
  • Network performance
  • Application programming interfaces (API)

• Verifying cyber-physical interactions in safety-critical systems

  Mitra, S., Wongpiromsarn, T. & Murray, R. M., Aug 20 2013, In: IEEE Security and Privacy. 11, 4, p. 28-37 10 p., 6531612.

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

  • Cyber Physical System
  • simulation
  • interaction
  • incident
  • software

• Verifying quantitative reliability for programs that execute on unreliable hardware

  Carbin, M., Misailovic, S. & Rinard, M. C., Oct 2013, In: ACM SIGPLAN Notices. 48, 10, p. 33-52 20 p.

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

  Open Access

  • Computer hardware
  • Reliability analysis
  • Specifications
  • Data Analytics
  • Big data

• Verifying quantitative reliability for programs that execute on unreliable hardware

  Carbin, M., Misailovic, S. & Rinard, M. C., 2013, SPLASH Indianapolis 2013: OOPSLA 2013 - Proceedings of the 2013 International Conference on Object Oriented Programming Systems Languages and Applications. p. 33-52 20 p. (Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA).

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

  • Computer hardware
  • Reliability analysis
  • Specifications
  • Data Analytics
  • Big data

• Verifying security invariants in expressoS

  Mai, H., Pek, E., Xue, H., King, S. T. & Madhusudan, P., Apr 1 2013, In: ACM SIGPLAN Notices. 48, 4, p. 293-303 11 p.

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

  • Formal methods
  • Mobile computing
  • Web browsers
  • Websites

• Verifying security invariants in expressOS

  Edgar, H. M., Xue, P. H., King, S. T. & Madhusudan, P., Apr 5 2013, ASPLOS 2013 - 18th International Conference on Architectural Support for Programming Languages and Operating Systems. p. 293-303 11 p. (International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS).

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

  • Formal methods
  • Mobile computing
  • Web browsers
  • Websites
  • Software engineering

• Vertebrate immune system evolution and comparative primate immunity

  Brinkworth, J. F. & Thorn, M., Jan 1 2013, Primates, Pathogens, and Evolution. Brinkworth, J. F. & Pechenkina, K. (eds.). Springer New York, p. 17-64 48 p.

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

• Vertical cavity surface emitting lasers (VCSELs)

  Choquette, K. D., Apr 2013, Semiconductor Lasers: Fundamentals and Applications. Elsevier Ltd, p. 316-340 25 p.

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

  • Surface emitting lasers
  • Semiconductor lasers
  • Distributed Bragg reflectors
  • Wavelength
  • Lasers

• Vertical light-emitting diode fabrication by controlled spalling

  Bedell, S. W., Bayram, C., Fogel, K., Lauro, P., Kiser, J., Ott, J., Zhu, Y. & Sadana, D., Nov 1 2013, In: Applied Physics Express. 6, 11, 112301.

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

  • spalling
  • Spalling
  • Light emitting diodes
  • light emitting diodes
  • Fabrication

• Vertically Integrated Double-layer on-chip crystalline silicon nanomembranes based on adhesive bonding

  Zhang, Y., Kwong, D., Xu, X., Hosseini, A., Yang, S. Y., Rogers, J. A. & Chen, R. T., Jun 24 2013, Optoelectronic Interconnects XIII. 863019. (Proceedings of SPIE - The International Society for Optical Engineering; vol. 8630).

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

  • adhesive bonding
  • Silicon
  • Adhesives
  • Chip
  • Photonics

• Veterinary aspects of training dressage horses

  Van Erck-Westergren, E. & Foreman, J. H., Dec 2013, Equine Sports Medicine and Surgery: Second Edition. Elsevier Ltd, p. 1071-1081 11 p.

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

• Veterinary aspects of training event horses

  Foreman, J. H., Dec 1 2013, Equine Sports Medicine and Surgery: Second Edition. Elsevier Ltd, p. 1057-1070 14 p.

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

• Vibrational energy and molecular thermometers in liquids ultrafast IR-raman spectroscopy

  Pein, B. C. & Dlott, D. D., Jan 1 2013, Ultrafast Infrared Vibrational Spectroscopy. Fayer, M. D. (ed.). CRC Press, p. 269-304 36 p.

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

  • Infrared spectroscopy
  • Raman spectroscopy
  • Thermometers
  • Benzene
  • Liquids

• Vibrational Sum Frequency Generation Spectroscopy of Interfacial Dynamics

  Berg, C. M. & Dlott, D. D., Jul 29 2013, Vibrational Spectroscopy at Electrified Interfaces. Wiley, p. 85-119 35 p.

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

  • Vibrational spectra
  • Spectroscopy
  • Molecules
  • Spectrographs
  • Adsorbates

• Video-based highway asset recognition and 3D localization

  Balali, V., Golparvar-Fard, M. & De La Garza, J. M., Jan 1 2013, Computing in Civil Engineering - Proceedings of the 2013 ASCE International Workshop on Computing in Civil Engineering. American Society of Civil Engineers, p. 379-386 8 p. (Computing in Civil Engineering - Proceedings of the 2013 ASCE International Workshop on Computing in Civil Engineering).

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

  • Asset management
  • Support vector machines
  • Textures
  • Pixels
  • Classifiers

• Video otoscopia como técnica diagnóstica para otoacaríase canina

  Souza, C. P. D., Verocai, G. G., Balbi, M. & Scott, F. B., Jul 1 2013, In: Revista Brasileira de Parasitologia Veterinaria. 22, 3, p. 440-442 3 p.

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

  • Otoscopy
  • ears
  • Canidae
  • Mites
  • Ear Canal

• Video preservation and digital reformatting: Pain and possibility

  McDonough, J. & Jimenez, M., Dec 1 2013, Archives and the Digital Library. Taylor and Francis, p. 167-192 26 p.

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

  • Digital libraries
  • Metadata

• Video-rate stereo matching using Markov random field TRW-S inference on a hybrid CPU+FPGA computing platform

  Choi, J. & Rutenbar, R. A., Mar 7 2013, FPGA 2013 - Proceedings of the 2013 ACM/SIGDA International Symposium on Field Programmable Gate Arrays. p. 63-71 9 p. (ACM/SIGDA International Symposium on Field Programmable Gate Arrays - FPGA).

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

  • Program processors
  • Field programmable gate arrays (FPGA)
  • Gesture recognition
  • Stereo vision
  • Message passing

• Views and Experiences of Suicidal Ideation During Pregnancy and the Postpartum: Findings from Interviews with Maternal Care Clinic Patients

  Tabb, K. M., Gavin, A. R., Guo, Y., Huang, H., Debiec, K. & Katon, W., Jul 2013, In: Women and Health. 53, 5, p. 519-535 17 p.

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

  • Suicidal Ideation
  • Postpartum Period
  • Patient Care
  • Interviews
  • Mothers

• Viral transduction of male germline stem cells results in transgene transmission after germ cell transplantation in pigs

  Zeng, W., Tang, L., Bondareva, A., Honaramooz, A., Tanco, V., Dores, C., Megee, S., Modelski, M., Rodriguez-Sosa, J. R., Paczkowski, M., Silva, E., Wheeler, M., Krisher, R. L. & Dobrinski, I., Jan 2013, In: Biology of reproduction. 88, 1, 27.

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

  • Cell Transplantation
  • Transgenes
  • Germ Cells
  • Swine
  • Stem Cells

• Virginia Middle School Band Assessment: Adjudicator

  Peterson, E. B., Mar 2013

  Research output: Non-textual form › Performance

• Virtual humans for learning

  Swartout, W., Artstein, R., Forbell, E., Foutz, S., Lane, H. C., Lange, B., Morie, J., Noren, D., Rizzo, S. & Traum, D., 2013, In: AI Magazine. 34, 4, p. 13-30 18 p.

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

  • Economic and social effects
  • Museums

• Virtual instrument for experimental studies in biological systems

  Fernandes, L. O., Coiado, O. C., Bassani, R. A., Costa, E. T. & Mühlen, S. S., 2013, World Congress on Medical Physics and Biomedical Engineering. p. 1412-1415 4 p. (IFMBE Proceedings; vol. 39 IFMBE).

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

  • Biological systems
  • Tissue
  • Ultrasonics
  • Statistical methods
  • Data acquisition

• Virtual water trade and development in Africa

  Konar, M. & Caylor, K. K., 2013, In: Hydrology and Earth System Sciences. 17, 10, p. 3969-3982 14 p.

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

  • Africa
  • trade openness
  • water
  • storage dam
  • water footprint

• Virtual water trade flows and savings under climate change

  Konar, M., Hussein, Z., Hanasaki, N., Mauzerall, D. L. & Rodriguez-Iturbe, I., 2013, In: Hydrology and Earth System Sciences. 17, 8, p. 3219-3234 16 p.

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

  • trade flow
  • savings
  • climate change
  • crop
  • wheat

• Viscoelastic properties of rodent mammary tumors using ultrasonic shear-wave imaging

  Wang, Y. & Insana, M. F., Apr 2013, In: Ultrasonic Imaging. 35, 2, p. 126-145 20 p.

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

  • Ultrasonic Waves
  • Rodentia
  • Breast Neoplasms
  • Neoplasms
  • Hydroxyproline

• Viscosity of ring polymer melts

  Pasquino, R., Vasilakopoulos, T. C., Jeong, Y. C., Lee, H., Rogers, S., Sakellariou, G., Allgaier, J., Takano, A., Brás, A. R., Chang, T., Gooßen, S., Pyckhout-Hintzen, W., Wischnewski, A., Hadjichristidis, N., Richter, D., Rubinstein, M. & Vlassopoulos, D., 2013, In: ACS Macro Letters. 2, 10, p. 874-878 5 p.

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

  • Polymer melts
  • Polyisoprenes
  • Molar mass
  • Viscosity
  • Shear viscosity

• Viscous Rayleigh-Taylor instability in aqueous foams

  Stewart, P. S., Davis, S. H. & Hilgenfeldt, S., Sep 5 2013, In: Colloids and Surfaces A: Physicochemical and Engineering Aspects. 436, p. 898-905 8 p.

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

  • Taylor instability
  • foams
  • Foams
  • Soaps (detergents)
  • soaps

• Visible Separatists: Lesbian Activism in Toulouse

  Chaplin, T. E., 2013.

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

• Vision-based action recognition of earthmoving equipment using spatio-temporal features and support vector machine classifiers

  Golparvar-Fard, M., Heydarian, A. & Niebles, J. C., Oct 2013, In: Advanced Engineering Informatics. 27, 4, p. 652-663 12 p.

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

  • Support vector machines
  • Classifiers
  • Excavators
  • Trucks
  • Stop watches

• Vision-based cyclic pursuit for cooperative target tracking

  Ma, L. & Hovakimyan, N., Mar 2013, In: Journal of Guidance, Control, and Dynamics. 36, 2, p. 617-622 6 p.

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

  • Target Tracking
  • Pursuit
  • robots
  • Vision
  • Target tracking

• Vision-based localization and mapping for an autonomous mower

  Yang, J., Chung, S-J., Hutchinson, S. A., Johnson, D. & Kise, M., Dec 1 2013, IROS 2013: New Horizon, Conference Digest - 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems. p. 3655-3662 8 p. 6696878. (IEEE International Conference on Intelligent Robots and Systems).

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

  • Lawn mowers
  • Teaching
  • Robotics
  • Cameras
  • Trajectories

• Visitor composition and event-related spending

  Taks, M., Green, B. C., Chalip, L., Kesenne, S. & Martyn, S., May 2013, In: International Journal of Culture, Tourism, and Hospitality Research. 7, 2, p. 132-147 16 p.

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

  • festival
  • economic sector
  • sport
  • spectator
  • Spectator

• Visual, Phonological and Orthographic Strategies in Learning to Read Chinese

  Chen, X., Anderson, R. C., Li, H. & Shu, H., Sep 28 2013, Reading Development and Difficulties in Monolingual and Bilingual Chinese Children. Chen, X., Wang, Q. & Luo, Y. C. (eds.). Springer, Dordrecht, p. 23-47 (Literacy Studies; vol. 8).

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

  • learning to read
  • phonetics
  • experiment
  • school grade

• Visual identification and quantification of Milankovitch climate cycles in outcrop: An example from the Upper Ordovician Kope Formation, Northern Kentucky

  Ellwood, B. B., Brett, C. E., Tomkin, J. H. & Macdonald, W. D., Sep 5 2013, In: Geological Society Special Publication. 373, 1, p. 341-353 13 p.

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

  • climate cycle
  • Ordovician
  • Time series
  • outcrop
  • time series

• Visualising Theatre Historiography: Judith Thompson's White Biting Dog (1984 and 2011) in the Simulated Environment for Theatre (SET)

  Roberts-Smith, J., Dobson, T., Gabriele, S., Rodriguez-Arenas, O., Ruecker, S., Sinclair, S., DeSouza-Coelho, S., Kovacs, A. & So, D., 2013, In: Digital Studies/Le champ numérique. 3, 2

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

  • Theatre Historiography
  • Dog
  • Theatrical Text
  • Affordances
  • Historical Methodology

• Visualizing building performance in the design of the envelope

  Brakke, A. P. & Velasco, R., 2013, Envisioning Arhcitecture: design, Evaluation, and Communication. Rome: Edizioni Nuova Cultura, p. 109-116 8 p.

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

• Visualizing functional motions of membrane transporters with molecular dynamics simulations

  Shaikh, S. A., Li, J., Enkavi, G., Wen, P. C., Huang, Z. & Tajkhorshid, E., Jan 29 2013, In: Biochemistry. 52, 4, p. 569-587 19 p.

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

  • Membrane Transport Proteins
  • Molecular Dynamics Simulation
  • Molecular dynamics
  • Computer simulation
  • Physicochemical properties

• Visualizing the Expressive Use of Technology in the Design of Parametrically Generated Eco-envelopes

  Velasco, R. & Brakke, A. P., 2013, The Visibility of Research: Proceedings of the 2013 Architectural Research Centers Consortium Conference. Charlotte: University of North Carolina Press, p. 424-432 9 p.

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

• Visualizing the proteome: Mapping protein changes in disease states with mass spectrometry imaging

  Lanni, E. J., Rubakhin, S. & Sweedler, J. V., Mar 2013, In: Journal of Neurochemistry. 124, 5, p. 581-583 3 p.

  Research output: Contribution to journal › Review article › peer-review