Find Research outputs

Search results

• 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

• Venous Thromboprophylaxis in Spine Surgery

  Alvarado, A. M., Porto, G. B. F., Wessell, J., Buchholz, A. L. & Arnold, P. M., Jan 1 2020, In: Global Spine Journal. 10, 1_suppl, p. 65S-70S

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

  Open Access

• Ven te chow: Hydrologist, educator, and rainmaker

  Garcia, M. H., Jan 1 2017, The University of Illinois: Engine of Innovation. University of Illinois Press, p. 31-39 9 p.

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

• Ventilation, indoor air quality, and health in homes undergoing weatherization

  Francisco, P. W., Jacobs, D. E., Targos, L., Dixon, S. L., Breysse, J., Rose, W. & Cali, S., Mar 1 2017, In: Indoor Air. 27, 2, p. 463-477 15 p.

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

  Open Access

• Ventilation and environmental quality in laboratory animal facilities

  Maghirang, R. G., Christianson, L. L. & Riskowski, G. L., 1996, In: ASHRAE Transactions. 102, 2, p. 186-194 9 p.

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

• Ventilation effectiveness criteria and measurement methods applicable to animal buildings - A review

  Wang, X., Jerez, S. B. & Zhang, Y., Aug 23 2007, In: ASHRAE Transactions. 113 PART 1, p. 366-379 14 p.

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

• Venting of attics & cathedral ceilings

  Rose, W. B. & TenWolde, A., Oct 2002, In: ASHRAE Journal. 44, 10, p. 26-33 8 p.

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

• 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

• Ventricular phytobezoar impaction in three micronesian kingfishers (Halcyon cinnamomina cinnamomina)

  Kinsel, M. J., Briggs, M. B., Crang, R. F. E. & Murnane, R. D., Dec 2004, In: Journal of Zoo and Wildlife Medicine. 35, 4, p. 525-529 5 p.

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

• Venture Ed: Recycling Hype, Fixing Futures, and the Temporal Order of Edtech

  Chan, A. S., May 2019, digitalSTS: A Field Guide for Science & Technology Studies. Vertesi, J. & Ribes, D. (eds.). Princeton University Press, p. 161-177 17 p.

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

• Venus's Milk and the Temptations of Allegory in Otto Van Veen's Allegory of Temptation

  Rosenthal, L., 2007, Early Modern Visual Allegory: Embodying Meaning. Baskins, C. & Rosenthal, L. (eds.). Ashgate

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

• 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

• Vera C. Rubin Observatory auxiliary telescope commissioning as a control system pathfinder

  Ingraham, P., Clements, A. W., Ribeiro, T., Reuter, M. A., Fisher-Levine, M., Hoblitt, J., Lupton, R. H., Thomas, S., Stubbs, C. W., Arndt, K. T., Callahan, N., Claver, C. F., Colleoni, F., Corral, L., Doherty, P., Economou, F., Fausti Neto, A., Jeness, T., Khine, H., Krughoff, K. S., & 13 othersMondrik, N., Menanteau, F., Mills, D. J., O'Mullane, W., Reil, K. A., Rivera, M., Stalder, B., Sebag, J., Shipsey, I., Tighe, R., Thornton, A. J., Villalobos, A. & Wiecha, O., 2020, Software and Cyberinfrastructure for Astronomy VI. Guzman, J. C. & Ibsen, J. (eds.). SPIE, 114520U. (Proceedings of SPIE - The International Society for Optical Engineering; vol. 11452).

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

• Veracity analysis and object distinction

  Yin, X., Han, J. & Allen, G. D., 2010, Link Mining: Models, Algorithms, and Applications. Springer, Vol. 9781441965158. p. 283-304 22 p.

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

• Verbal and nominal plurals and the syntaxmorphology interface

  Benmamoun, E., Jul 11 2016, Perspectives on Arabic Linguistics XXVII: Papers from the Annual Symposium on Arabic Linguistics, Bloomington, Indiana, 2013. Davis, S. & Soltan, U. (eds.). John Benjamins Publishing Company, p. 59-74 (Studies in Arabic Linguistics; vol. 3).

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

• Verbal imprecision as an index of knowledge in transition.

  Perry, M. & Lewis, J. L., May 1999, In: Developmental psychology. 35, 3, p. 749-759 11 p.

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

• 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

• Verbal protest recognition in children with autism

  Casebeer, J., Sarker, H., Dhuliawala, M., Fay, N., Pietrowicz, M. & Das, A., Sep 10 2018, 2018 IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2018 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 301-305 5 p. 8462514. (ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings; vol. 2018-April).

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

• Verbal Reports in Instructed SLA Research: Opportunities, Challenges, and Limitations

  Bowles, M. A., 2019, The Routledge Handbook of Second Language Research in Classroom Learning. Leow, R. P. (ed.). New York: Routledge, p. 31-43 13 p. (Routledge Handbooks in Applied Linguistics).

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

• Verbal working memory predicts co-speech gesture: Evidence from individual differences

  Gillespie, M., James, A. N., Federmeier, K. D. & Watson, D. G., Aug 2014, In: Cognition. 132, 2, p. 174-180 7 p.

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

• Verb class distinctions and AAC language-encoding limitations

  Sutton, A. E. & Gallagher, T. M., 1993, In: Journal of Speech and Hearing Research. 36, 6, p. 1216-1226 11 p.

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

• Verb Movement and the Syntax of Kashmiri

  Bhatt, R. M., 1999, Boston: Springer. 294 p. (Studies in Natural Language and Linguistic Theory; vol. 46)

  Research output: Book/Report/Conference proceeding › Book

• 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

• 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

• VERB™ - A social marketing campaign to increase physical activity among youth

  Wong, F., Huhman, M., Heitzler, C., Asbury, L., Bretthauer-Mueller, R., McCarthy, S. & Londe, P., 2004, In: Preventing Chronic Disease. 1, 3

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

• Vercelli Homily XV and The Apocalypse of Thomas

  Wright, C. D., 2009, New Readings in the Vercelli Book. Toronto: University of Toronto press, p. 150-184 35 p.

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

• 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

• Vergil, aeneid 5.458–60

  Jacobson, H., May 1999, In: The Classical Quarterly. 49, 1, p. 329-330 2 p.

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

• VerHealth: Vetting Medical Voice Applications through Policy Enforcement

  Shezan, F. H., Hu, H., Wang, G. & Tian, Y., Dec 17 2020, In: Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies. 4, 4, 3432233.

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

• Verifed Programs Can Party: Optimizing Kernel Extensions via Post-Verifcation Merging

  Kuo, H. C., Chen, K. H., Lu, Y., Williams, D., Mohan, S. & Xu, T., Mar 28 2022, EuroSys 2022 - Proceedings of the 17th European Conference on Computer Systems. Association for Computing Machinery, Inc, p. 283-299 17 p. (EuroSys 2022 - Proceedings of the 17th European Conference on Computer Systems).

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

• Verifiable adaptive flight control: UCAV and aerial refueling

  Wise, K. A., Lavretsky, E., Hovakimyan, N., Cao, C. & Wang, J., 2008, AIAA Guidance, Navigation and Control Conference and Exhibit. 2008-6658. (AIAA Guidance, Navigation and Control Conference and Exhibit).

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

• 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

• Verifiable L₁ adaptive controller for aerial refueling

  Wang, J., Patel, V. V., Cao, C., Hovakimyan, N. & Lavretsky, E., 2007, Collection of Technical Papers - AIAA Guidance, Navigation, and Control Conference 2007. American Institute of Aeronautics and Astronautics Inc., p. 1-23 23 p. (Collection of Technical Papers - AIAA Guidance, Navigation, and Control Conference 2007; vol. 1).

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

• Verifiable Obstacle Detection

  Bansal, A., Kim, H., Yu, S., Li, B., Hovakimyan, N., Caccamo, M. & Sha, L., 2022, Proceedings - 2022 IEEE 33rd International Symposium on Software Reliability Engineering, ISSRE 2022. IEEE Computer Society, p. 61-72 12 p. (Proceedings - International Symposium on Software Reliability Engineering, ISSRE; vol. 2022-October).

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

• Verification and characterization of a mathematical model of particle size distribution

  Chen, Y., Zhang, Y., Barber, E. M. & Bundy, D. S., 1998, In: ASHRAE Transactions. 104, 2, p. 332-338 7 p.

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

• Verification and trust: Background investigations preceding faculty appointment

  Finkin, M. W., Post, R. C. & Thomson, J. J., Mar 2004, In: Academe. 90, 2, p. 113-115 3 p.

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

• Verification and trust: Background investigations preceding faculty appointment

  Finkin, M. W., Post, R. C. & Thomson, J. J., Nov 2004, In: Academe. 90, 6, p. 79-81 3 p.

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

• Verification and validation of a project collaboration tool

  East, E. W., Kirby, J. G. & Liu, L. Y., Jan 2008, In: Automation in Construction. 17, 2, p. 201-214 14 p.

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

• Verification and validation of large eddy simulation with Nek5000 for cold leg mixing benchmark

  Lai, J. K., Merzari, E., Hassan, Y. A., Fischer, P. & Marin, O., Mar 2020, In: Nuclear Engineering and Design. 358, 110427.

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

• Verification and validation of nek 5000 for T-junction, matis, SIBERIA, and max experiments

  Obabko, A., Fischer, P., Marin, O., Merzari, E. & Pointer, D., 2015, International Topical Meeting on Nuclear Reactor Thermal Hydraulics 2015, NURETH 2015. American Nuclear Society, p. 1462-1473 12 p. (International Topical Meeting on Nuclear Reactor Thermal Hydraulics 2015, NURETH 2015; vol. 2).

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

• Verification as learning geometric concepts

  Sharma, R., Gupta, S., Hariharan, B., Aiken, A. & Nori, A. V., 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

• Verification by polymerase chain reaction of vertical transmission of Theileria sergenti in cows

  Baek, B. K., Soo, K. B., Kim, J. H., Hur, J., Lee, B. O., Jung, J. M., Onuma, M., Oluoch, A. O., Kim, C. H. & Kakoma, I., Oct 2003, In: Canadian Journal of Veterinary Research. 67, 4, p. 278-282 5 p.

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

• Verification of a fluid-dynamics solver using correlations with linear stability results

  Matheou, G., Pantano, C. & Dimotakis, P. E., May 10 2008, In: Journal of Computational Physics. 227, 11, p. 5385-5396 12 p.

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

• 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

• 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

• Verification of distributed systems with local-global predicates

  Chandy, K. M., Go, B., Mitra, S., Pilotto, C. & White, J., Sep 2011, In: Formal Aspects of Computing. 23, 5, p. 649-679 31 p.

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

• Verification of Error Models Through Low-level Simulation

  Tsai, T. K., Choi, G. S. & Iyer, R. K., 1994, p. 15-16. 2 p.

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

• Verification of Eventual Consensus in Synod Using a Failure-Aware Actor Model

  Paul, S., Agha, G. A., Patterson, S. & Varela, C. A., 2021, NASA Formal Methods - 13th International Symposium, NFM 2021, Proceedings. Dutle, A., Muñoz, C. A., Moscato, M. M., Titolo, L. & Perez, I. (eds.). Springer, p. 249-267 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12673 LNCS).

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

• Verification of form tolerances part I: Basic issues, flatness, and straightness

  Carr, K. & Ferreira, P., Apr 1995, In: Precision Engineering. 17, 2, p. 131-143 13 p.

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

• Verification of form tolerances part II: Cylindricity and straightness of a median line

  Carr, K. & Ferreira, P., Apr 1995, In: Precision Engineering. 17, 2, p. 144-156 13 p.

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