Find Research outputs

Search results

• Vehicle Routing Problem with Time Windows: A Deterministic Annealing approach

  Baranwal, M., Parekh, P. M., Marla, L., Salapaka, S. M. & Beck, C. L., Jul 28 2016, 2016 American Control Conference, ACC 2016. Institute of Electrical and Electronics Engineers Inc., p. 790-795 6 p. 7525010. (Proceedings of the American Control Conference; vol. 2016-July).

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

  • Vehicle routing
  • Annealing
  • Scheduling

• 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-selective electromagnetically-induced-transparency measurements of potassium Rydberg states

  Xu, W. & Demarco, B., Jan 4 2016, In: Physical Review A. 93, 1, 011801.

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

  • potassium
  • probes
  • optical pumping
  • atoms
  • wavelengths

• 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

• Velvet Rope Racism, Racial Paranoia, and Cultural Scripts: Alleged Dress Code Discrimination in Urban Nightlife, 2000–2014

  May, R. A. B., Mar 2018, In: City and Community. 17, 1, p. 44-64 21 p.

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

  • racism
  • code
  • discrimination
  • incident
  • business concern

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

  Cho, W., Subramanyam, R. & Xia, M., Dec 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

• Venous blood gas in free-living eastern box turtles (Terrapene carolina carolina) and effects of physiologic, demographic and environmental factors

  Adamovicz, L., Leister, K., Byrd, J., Phillips, C. A. & Allender, M. C., Jan 1 2018, In: Conservation Physiology. 6, 1, coy041.

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

  • Turtles
  • turtle
  • Gases
  • environmental factor
  • blood

• Venous thromboembolism following vigorous deep tissue massage

  Crump, C. & Paluska, S. A., Dec 2010, In: Physician and Sportsmedicine. 38, 4, p. 136-139 4 p.

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

  • Massage
  • Venous Thromboembolism
  • Leg
  • Wounds and Injuries
  • Public Health

• 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

• VE-PTP stabilizes VE-cadherin junctions and the endothelial barrier via a phosphatase-independent mechanism

  Juettner, V. V., Kruse, K., Dan, A., Vu, V. H., Khan, Y., Le, J., Leckband, D., Komarova, Y. & Malik, A. B., May 1 2019, In: Journal of Cell Biology. 218, 5, p. 1725-1742 18 p.

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

  Open Access

  • Class 3 Receptor-Like Protein Tyrosine Phosphatases
  • cadherin 5
  • Phosphoric Monoester Hydrolases
  • Adherens Junctions
  • Rho Guanine Nucleotide Exchange Factors

• Veracity analysis and object distinction

  Yin, X., Han, J. & Yu, P. S., 2010, Link Mining: Models, Algorithms, and Applications. Springer New York, Vol. 9781441965158. p. 283-304 22 p.

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

  • Internet
  • Names
  • Databases

• Verbalizing phylogenomic conflict: Representation of node congruence across competing reconstructions of the neoavian explosion

  Franz, N. M., Musher, L. J., Brown, J. W., Yu, S. & Ludäscher, B., Feb 2019, In: PLoS computational biology. 15, 2, e1006493.

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

  Open Access

  • Explosions
  • Phylogeny
  • Explosion
  • explosions
  • Conflict

• Verb production by individuals with Down syndrome during narration

  Loveall, S. J., Channell, M. M., Abbeduto, L. & Conners, F. A., Feb 2019, In: Research in Developmental Disabilities. 85, p. 82-91 10 p.

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

  • Narration
  • Down Syndrome
  • Intellectual Disability
  • Aptitude

• Verb variability and morphosyntactic priming with typically developing 2-and 3-year-olds

  Krok, W. C. & Leonard, L. B., Dec 2018, In: Journal of Speech, Language, and Hearing Research. 61, 12, p. 2996-3009 14 p.

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

  • Priming
  • Verbs
  • Generalization (Psychology)
  • Child
  • Posttests

• VerdictDB: Universalizing approximate query processing

  Park, Y., Mozafari, B., Sorenson, J. & Wang, J., May 27 2018, SIGMOD 2018 - Proceedings of the 2018 International Conference on Management of Data. Das, G., Jermaine, C., Eldawy, A. & Bernstein, P. (eds.). Association for Computing Machinery, p. 1461-1476 16 p. (Proceedings of the ACM SIGMOD International Conference on Management of Data).

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

  • Query processing
  • Engines
  • Red Shift
  • Electric sparks
  • Middleware

• Verifiable adaptive flight control: Unmanned combat aerial vehicle and aerial refueling

  Wang, J., Hovakimyan, N. & Cao, C., 2010, In: Journal of Guidance, Control, and Dynamics. 33, 1, p. 75-87 13 p.

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

  • Flight Control
  • flight control
  • combat
  • refueling
  • Adaptive Control

• 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 bounded discrete horizon hybrid automata

  Vladimerou, V., Prabhakar, P., Viswanathan, M. & Dullerud, G., 2012, In: IEEE Transactions on Automatic Control. 57, 6, p. 1445-1455 11 p., 6096371.

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

  • Computability and decidability
  • Specifications
  • Real time systems
  • Hybrid systems
  • Embedded systems

• Verification of hybrid mixture theory based two-scale unsaturated transport processes using controlled frying experiments

  Sandhu, J. S. & Takhar, P. S., Jul 2018, In: Food and Bioproducts Processing. 110, p. 26-39 14 p.

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

  • frying
  • Oils
  • Solanum tuberosum
  • Moisture
  • evaporation rate

• Verification of land-atmosphere coupling in forecast models, reanalyses, and land surface models using flux site observations

  Dirmeyer, P. A., Chen, L., Wu, J., Shin, C. S., Huang, B., Cash, B. A., Bosilovich, M. G., Mahanama, S., Koster, R. D., Santanello, J. A., Ek, M. B., Balsamo, G., Dutra, E. & Lawrence, D. M., Feb 1 2018, In: Journal of Hydrometeorology. 19, 2, p. 375-392 18 p.

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

  • land surface
  • forecast
  • surface flux
  • land
  • surface energy

• Verification of periodically controlled hybrid systems: Application to an autonomous vehicle

  Wongpiromsarn, T., Mitra, S., Lamperski, A. & Murray, R. M., Aug 1 2012, In: Transactions on Embedded Computing Systems. 11, SUPPL. 2, 53.

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

  • Autonomous vehicles
  • Hybrid systems
  • Controllers
  • Ground vehicles
  • Polynomials

• 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

• Verification of the quantum nonequilibrium work relation in the presence of decoherence

  Smith, A., Lu, Y., An, S., Zhang, X., Zhang, J. N., Gong, Z., Quan, H. T., Jarzynski, C. & Kim, K., Jan 2018, In: New Journal of Physics. 20, 1, 013008.

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

  • dissipation
  • physics
  • ions
  • temperature

• Verification Well #1: How a Deep Monitoring Well Was Used and Adapted to Meet the Evolving Monitoring Needs and Challenges at the Illinois Basin – Decatur Project

  Locke, R., Iranmanesh, A., Wimmer, B., Kirksey, J., Malkewicz, N. & Greenberg, S., 2018, 14th Greenhouse Gas Control Technologies Conference Melbourne 21-26 October 2018 (GHGT-14). Rochester, NY: Social Science Research Network

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

  • well
  • monitoring
  • project
  • basin
  • need

• Verification Well how a deep monitoring well was used and adapted to meet the evolving monitoring needs and challenges at the Illinois Basin- Decatur Project

  Locke, II, R., Iranmanesh, A., Wimmer, B., Kirksey, J., Malkewicz, N. & Greenberg, S., 2018, GHGT-14, Greenhouse gas control technologies conference 14. Vol. 14. p. 12

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

  • well
  • monitoring
  • project
  • basin
  • need

• Verified hybrid LQ control for autonomous spacecraft rendezvous

  Chan, N. & Mitra, S., Jan 18 2018, 2017 IEEE 56th Annual Conference on Decision and Control, CDC 2017. Institute of Electrical and Electronics Engineers Inc., p. 1427-1432 6 p. (2017 IEEE 56th Annual Conference on Decision and Control, CDC 2017; vol. 2018-January).

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

  • Space rendezvous
  • Rendezvous
  • Spacecraft
  • Safety
  • Data-driven

• 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., Zhou, W., Caesar, M. & Godfrey, P. B., 2012, Proceedings of the ACM SIGCOMM 2012 and Best Papers of the Co-located Workshops. 4 ed. p. 467-472 6 p. (Computer Communication Review; vol. 42, no. 4).

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

  • Software defined networking
  • Complex networks
  • Network performance
  • Controllers

• VeriFlow: Verifying network-wide invariants in real time

  Khurshid, A., Zhou, W., Caesar, M. & Godfrey, P. B., 2012, HotSDN'12 - Proceedings of the 1st ACM International Workshop on Hot Topics in Software Defined Networks. p. 49-54 6 p. (HotSDN'12 - Proceedings of the 1st ACM International Workshop on Hot Topics in Software Defined Networks).

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

  • Software defined networking
  • Complex networks
  • Network performance
  • Controllers

• 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 Continuous-time Stochastic Hybrid Systems via Mori-Zwanzig model reduction

  Wang, Y., Roohi, N., West, M., Viswanathan, M. & Dullerud, G. E., Dec 27 2016, 2016 IEEE 55th Conference on Decision and Control, CDC 2016. Institute of Electrical and Electronics Engineers Inc., p. 3012-3017 6 p. 7798719. (2016 IEEE 55th Conference on Decision and Control, CDC 2016).

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

  • Hybrid Systems
  • Model Reduction
  • Temporal Logic
  • Temporal logic
  • Continuous Time

• 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 dynamic power management schemes using statistical model checking

  Kumar, J. A. & Vasudevan, S., Apr 26 2012, ASP-DAC 2012 - 17th Asia and South Pacific Design Automation Conference. p. 579-584 6 p. 6165023. (Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC).

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

  • Power management
  • Model checking
  • Statistical Models
  • Industry

• Verifying nonlinear analog and mixed-signal circuits with inputs

  Fan, C., Meng, Y., Maier, J., Bartocci, E., Mitra, S. & Schmid, U., Jan 1 2018, In: IFAC-PapersOnLine. 51, 16, p. 241-246 6 p.

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

  • Networks (circuits)
  • Digital circuits
  • Sensitivity analysis
  • Recovery
  • Experiments

• 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 quantitative reliability for programs that execute on unreliable hardware

  Carbin, M., Misailovic, S. & Rinard, M. C., Aug 2016, In: Communications of the ACM. 59, 8, p. 83-91 9 p.

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

  • 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

• Verilog-A compatible recurrent neural network model for transient circuit simulation

  Chen, Z., Raginsky, M. & Rosenbaum, E., Apr 2 2018, 2017 IEEE 26th Conference on Electrical Performance of Electronic Packaging and Systems, EPEPS 2017. Institute of Electrical and Electronics Engineers Inc., p. 1-3 3 p. (2017 IEEE 26th Conference on Electrical Performance of Electronic Packaging and Systems, EPEPS 2017; vol. 2018-January).

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

  • Circuit simulation
  • Recurrent neural networks
  • Computer hardware description languages
  • Networks (circuits)
  • Simulators

• Vermilion River Mussel Projects – from Reintroductions to Dam Removal

  Tiemann, J., 2016, Illinois Lakes Management Association Annual Conference.

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

• VERMILION RIVER MUSSEL PROJECTS – FROM REINTRODUCTIONS TO DAM REMOVAL

  Tiemann, J., Stodola, A., Douglass, S. & Cummings, K. S., 2016, Society for Freshwater Science 2016 Annual Meeting, Sacramento, California.

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

  • dam removal
  • reintroduction
  • sand and gravel
  • project
  • basin

• Vermin

  Cole, L., Dec 16 2016, Early Modern Emotions: An Introduction. Broomhall, S. (ed.). New York: Routledge, p. 344-347 (Early Modern Themes).

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

• Vermin, the proximate and often unpleasant stranger

  Mayo, C., Jan 1 2016, The Educational Significance of Human and Non-Human Animal Interactions: Blurring the Species Line. Palgrave Macmillan, p. 191-202 12 p.

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

• Versatile and on-demand biologics co-production in yeast

  Cao, J., Perez-Pinera, P., Lowenhaupt, K., Wu, M. R., Purcell, O., De La Fuente-Nunez, C. & Lu, T. K., Dec 1 2018, In: Nature communications. 9, 1, 77.

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

  • yeast
  • Yeast
  • drugs
  • Biological Products
  • Yeasts

• Versatile Core–Sheath Yarn for Sustainable Biomechanical Energy Harvesting and Real‐Time Human‐Interactive Sensing.

  Dong, K., Deng, J., Ding, W., Wang, A. C., Wang, P., Cheng, C., Jin, L., Gu, B., Sun, B., Wang, Z. L. & Wang, Y-C., Aug 16 2018, In: Advanced Energy Materials. 8, 23, p. 1-12 12 p., 1801114.

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

  • Nanogenerators
  • Energy harvesting
  • Yarn
  • Harvesters
  • Textiles

• Versatile generation of optical vector fields and vector beams using a non-interferometric approach

  Tripathi, S. & Toussaint, K. C., May 7 2012, In: Optics Express. 20, 10, p. 10788-10795 8 p.

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

  • propagation
  • versatility
  • polarization
  • formalism