Find Research outputs

Search results

• 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: 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 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 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

• 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

• Verification of Image Processing Based Visibility Models

  Larson, S. M., Cass, G. R., Hussey, K. J. & Luce, F., 1988, In: Environmental Science and Technology. 22, 6, p. 629-637 9 p.

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

• 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

• Verification of microarchitectural refinements in rule-based systems

  Dave, N., Katelman, M., King, M., Arvind & Meseguer, J., 2011, 9th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2011. p. 61-71 11 p. 5970511. (9th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2011).

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

• Verification of moltres for multiphysics simulations of fast-spectrum molten salt reactors

  Park, S. M. & Munk, M., Aug 2022, In: Annals of Nuclear Energy. 173, 109111.

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

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

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

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

• Verification of Radiative Transfer Schemes for the EHT

  Eatough, R., Gold, R., Broderick, A. E., Younsi, Z., Fromm, C. M., Gammie, C. F., Mościbrodzka, M., Pu, H. Y., Bronzwaer, T., Davelaar, J., Dexter, J., Ball, D., Chan, C. K., Kawashima, T., Mizuno, Y., Ripperda, B., Akiyama, K., Alberdi, A., Alef, W., Asada, K., & 188 othersAzulay, R., Baczko, A. K., Baloković, M., Barrett, J., Bintley, D., Blackburn, L., Boland, W., Bouman, K. L., Bower, G. C., Bremer, M., Brinkerink, C. D., Brissenden, R., Britzen, S., Broguiere, D., Byun, D. Y., Carlstrom, J. E., Chael, A., Chatterjee, K., Chatterjee, S., Chen, M. T., Chen, Y., Cho, I., Christian, P., Conway, J. E., Cordes, J. M., Crew, G. B., Cui, Y., Laurentis, M. D., Deane, R., Dempsey, J., Desvignes, G., Doeleman, S. S., Eatough, R., Falcke, H., Fish, V. L., Fomalont, E., Fraga-Encinas, R., Freeman, B., Friberg, P., Gómez, J. L., Galison, P., García, R., Gentaz, O., Georgiev, B., Goddi, C., Gu, M., Gurwell, M., Hada, K., Hecht, M. H., Hesper, R., Ho, L. C., Ho, P., Honma, M., Huang, C. W. L., Huang, L., Hughes, D. H., Inoue, M., Issaoun, S., James, D. J., Jannuzi, B. T., Janssen, M., Jeter, B., Jiang, W., Jimenez-Rosales, A., Johnson, M. D., Jorstad, S., Jung, T., Karami, M., Karuppusamy, R., Keating, G. K., Kettenis, M., Kim, J. Y., Kim, J., Kim, J., Kino, M., Koay, J. Y., Koch, P. M., Koyama, S., Kramer, M., Kramer, C., Krichbaum, T. P., Kuo, C. Y., Lauer, T. R., Lee, S. S., Li, Y. R., Li, Z., Lico, R., Lindqvist, M., Liu, K., Liuzzo, E., Lo, W. P., Lobanov, A. P., Loinard, L., Lonsdale, C., Lu, R. S., Macdonald, N. R., Markoff, S., Mao, J., Marrone, D. P., Marscher, A. P., Martí-Vidal, I., Matsushita, S., Matthews, L. D., Medeiros, L., Menten, K. M., Mizuno, I., Moran, J. M., Moriyama, K., Müller, C., Nagai, H., Nakamura, M., Nagar, N. M., Narayan, R., Narayanan, G., Natarajan, I., Neri, R., Ni, C., Noutsos, A., Okino, H., Ortiz-León, G. N., Oyama, T., zel, F., Palumbo, D. C. M., Park, J., Patel, N., Pen, U. L., Pesce, D. W., Plambeck, R., Piétu, V., Popstefanija, A., Porth, O., Preciado-López, J. A., Psaltis, D., Ramakrishnan, V., Rao, R., Rawlings, M. G., Raymond, A. W., Rezzolla, L., Roelofs, F., Rogers, A., Ros, E., Rose, M., Roshanineshat, A., Rottmann, H., Roy, A. L., Ruszczyk, C., Rygl, K. L. J., Sánchez, S., Sánchez-Arguelles, D., Sasada, M., Savolainen, T., Schuster, K. F., Schloerb, F. P., Shao, L., Shen, Z., Small, D., Sohn, B. W., Soohoo, J., Tiede, P., Tazaki, F., Tilanus, R. P. J., Titus, M., Toma, K., Torne, P., Trent, T., Traianou, T., Trippe, S., Tsuda, S., Van Langevelde, H. J., Bemmel, I. V., Van Rossum, D. R., Wagner, J., Wardle, J., Wex, N., Weintroub, J., Wharton, R., Wielgus, M., Wong, G. N., Wu, Q., Yoon, D., Young, K., Young, A., Yuan, F., Yuan, Y. F., Zensus, J. A., Zhao, G., Zhao, S. S. & Zhu, Z., Jul 10 2020, In: Astrophysical Journal. 897, 2, 148.

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

  Open Access

• Verification of randomized security protocols

  Chadha, R., Sistla, A. P. & Viswanathan, M., Aug 8 2017, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017. Institute of Electrical and Electronics Engineers Inc., 8005126. (Proceedings - Symposium on Logic in Computer Science).

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

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

  Meng, K. H. & Rosenbaum, E., 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

• Verification of the IBOS Browser Security Properties in Reachability Logic

  Skeirik, S., Meseguer, J. & Rocha, C., 2020, Rewriting Logic and Its Applications - 13th International Workshop, WRLA 2020, Revised Selected Papers. Escobar, S. & Martí-Oliet, N. (eds.). Springer, p. 176-196 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12328 LNCS).

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

• Verification of the optical system performance of FIFI-LS: The field-imaging far-infrared line spectrometer for SOFIA

  Schweitzer, M., Poglitsch, A., Raab, W., Klein, R., Hönle, R., Geis, N., Genzel, R., Looney, L. W., Hamidouche, M. & Henning, T. K., 2008, Ground-based and Airborne Instrumentation for Astronomy II. 70140Z. (Proceedings of SPIE - The International Society for Optical Engineering; vol. 7014).

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

• 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

  Open Access

• Verification system for probabilistic hydrograph forecasts

  Welles, E. & Markus, M., 1996. 1 p.

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

• 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

• 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

• 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

• Verified integrity properties for safe approximate program transformations

  Carbin, M., Kim, D., Misailovic, S. & Rinard, M. C., 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

• Verified planar formation control algorithms by composition of primitives

  Bobadilla, L., Johnson, T. T., LaViers, A. & Huzaifa, U., 2015, AIAA Guidance, Navigation, and Control Conference 2015, MGNC 2015 - Held at the AIAA SciTech Forum 2015. American Institute of Aeronautics and Astronautics Inc., (AIAA Guidance, Navigation, and Control Conference 2015, MGNC 2015 - Held at the AIAA SciTech Forum 2015).

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