Find Research outputs

Search results

• Article

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

• 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

• 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

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

• Verifying average dwell time of hybrid systems

  Mitra, S., Liberzon, D. & Lynch, N., Dec 1 2008, In: Transactions on Embedded Computing Systems. 8, 1, 3.

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

• Verifying Controllers With Vision-Based Perception Using Safe Approximate Abstractions

  Hsieh, C., Li, Y., Sun, D., Joshi, K., Misailovic, S. & Mitra, S., Nov 1 2022, In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 41, 11, p. 4205-4216 12 p.

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

  Open Access

• Verifying cyber-physical interactions in safety-critical systems

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

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

• 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: 6th IFAC Conference on Analysis and Design of Hybrid Systems ADHS 2018: Oxford, United Kingdom, 11—13 July 2018. 51, 16, p. 241-246 6 p.

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

• 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

• 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

  Open Access

• Verifying safety and accuracy of approximate parallel programs via canonical sequentialization

  Fernando, V., Joshi, K. & Misailovic, S., Oct 2019, In: Proceedings of the ACM on Programming Languages. 3, OOPSLA, A119.

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

  Open Access

• Verifying security invariants in expressoS

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

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

• Verifying the evolution of probability distributions governed by a DTMC

  Kwon, Y. & Agha, G., 2011, In: IEEE Transactions on Software Engineering. 37, 1, p. 126-141 16 p., 5557891.

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

• Verisim: Formal analysis of network simulations

  Bhargavan, K., Gunter, C. A., Kim, M., Lee, I., Obradovic, D., Sokolsky, O. & Viswanathan, M., Feb 2002, In: IEEE Transactions on Software Engineering. 28, 2, p. 129-145 17 p.

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

• Vernier and grating acuity in adult hooded rats: The influence of sex

  Seymoure, P. & Juraska, J. M., Aug 21 1997, In: Behavioral Neuroscience. 111, 4, p. 792-800 9 p.

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

• 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

  Open Access

• 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

• 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

• Versatile Target-Guided Screen for Discovering Bidirectional Transcription Inhibitors of a Trinucleotide Repeat Disease

  Hagler, L. D., Krueger, S. B., Luu, L. M., Lanzendorf, A. N., Mitchell, N. L., Vergara, J. I., Curet, L. D. & Zimmerman, S. C., Jun 10 2021, In: ACS Medicinal Chemistry Letters. 12, 6, p. 935-940 6 p.

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

• Versatile technique for assessing thickness of 2D layered materials by XPS

  Zemlyanov, D. Y., Jespersen, M., Zakharov, D. N., Hu, J., Paul, R., Kumar, A., Pacley, S., Glavin, N., Saenz, D., Smith, K. C., Fisher, T. S. & Voevodin, A. A., Feb 7 2018, In: Nanotechnology. 29, 11, 115705.

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

• Versatile transporter apparatus for experiments with optically trapped Bose-Einstein condensates

  Pertot, D., Greif, D., Albert, S., Gadway, B. & Schneble, D., 2009, In: Journal of Physics B: Atomic, Molecular and Optical Physics. 42, 21, 215305.

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

• Versatility in corrinoid salvaging and remodeling pathways supports corrinoid-dependent metabolism in Dehalococcoides mccartyi

  Yi, S., Seth, E. C., Men, Y. J., Stabler, S. P., Allen, R. H., Alvarez-Cohen, L. & Taga, M. E., Nov 2012, In: Applied and environmental microbiology. 78, 21, p. 7745-7752 8 p.

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

• Versican secreted by the ovary links ovulation and migration in fallopian tube derived serous cancer

  Russo, A., Zizhao, Y., Heyrman, G. M., Cain, B. P., Lopez Carrero, A., Isenberg, B. C., Dean, M. J., Coppeta, J. & Burdette, J. E., Sep 1 2022, In: Cancer Letters. 543, 215779.

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

  Open Access

• Version-Aware rating prediction for mobile app recommendation

  Yao, Y., Zhao, W. X., Wang, Y., Tong, H., Xu, F. & Lu, J., Jun 2017, In: ACM Transactions on Information Systems. 35, 4, 3015458.

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

• VERSIONS FRANÇAISES DE L'AMÉRIQUE: SARTRE ET LE MODELE TOCQUEVILLE

  Mathy, J-P., Oct 1 1988, In: Contemporary French Civilization . 12, 2, p. 207-225

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

• Version spaces and the consistency problem

  Hirsh, H., Mishra, N. & Pitt, L., Jul 2004, In: Artificial Intelligence. 156, 2, p. 115-138 24 p.

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

• Vertebrate conserved non coding DNA regions have a high persistence length and a short persistence time

  Retelska, D., Beaudoing, E., Notredame, C., Jongeneel, C. V. & Bucher, P., Oct 31 2007, In: BMC genomics. 8, 398.

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