Find Scholarly Works

Search results

• Venus: A Thick Basal Magma Ocean May Exist Today

  O'Rourke, J. G., Feb 28 2020, In: Geophysical Research Letters. 47, 4, e2019GL086126.

  Research output: Contribution to journal › Article › peer-review
  6 Scopus citations

• Verbal and visual instruction in motor skill acquisition for persons with and without down syndrome

  Maraj, B. K. V., Li, L., Hillman, R., Jeansonne, J. J. & Ringenbach, S. D., Jan 2003, In: Adapted Physical Activity Quarterly. 20, 1, p. 57-69 13 p.

  Research output: Contribution to journal › Article › peer-review
  11 Scopus citations

• Verbal conditioning: Transfer of training in a therapy-like situation

  Lanyon, R. I., Feb 1 1967, In: Journal of Abnormal Psychology. 72, 1, p. 30-34 5 p.

  Research output: Contribution to journal › Article › peer-review
  1 Scopus citations

• Verbal conditioning: Awareness and subject set

  Lanyon, R. I., 1967, In: Psychonomic Science. 9, 8, p. 457-458 2 p.

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

• VERBAL CONDITIONING AND AWARENESS IN A SENTENCE-CONSTRUCTION TASK.

  LANYON, R. I., Sep 1964, In: The American journal of psychology. 77, p. 472-475 4 p.

  Research output: Contribution to journal › Article › peer-review
  2 Scopus citations

• 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
  1 Scopus citations

• Verbal Learning and Memory: Does the Modal Model Still Work?

  Healy, A. F. & McNamara, D. S., 1996, In: Annual Review of Psychology. 47, p. 143-172 30 p.

  Research output: Contribution to journal › Article › peer-review
  60 Scopus citations

• Verbal learning meets psycholinguistics: Modality effects in the comprehension of anaphora

  Jakimik, J. & Glenberg, A., Oct 1990, In: Journal of Memory and Language. 29, 5, p. 582-590 9 p.

  Research output: Contribution to journal › Article › peer-review
  13 Scopus citations

• Verbal Memory Interference in Attention-Deficit Hyperactivity Disorder: A Meta-Analytic Review

  Orban, S. A., Festini, S. B., Yuen, E. K. & Friedman, L. M., 2022, (Accepted/In press) In: Journal of Attention Disorders.

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

• Verbal-Motor Behaviour in Persons with Down Syndrome

  Maraj, B. K. V., Ringenbach, S., Welsh, T. N., Weeks, D. J., Chua, R., Heath, M., Roy, E. A., Simon, D. A., Weinberg, H. & Elliott, D., Feb 25 2008, Down Syndrome Across the Life Span. Wiley-Blackwell, p. 175-193 19 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter
  2 Scopus citations

• Verifiable fine-grained top-k queries in tiered sensor networks

  Zhang, R., Shi, J., Liu, Y. & Zhang, Y., Jun 15 2010, 2010 Proceedings IEEE INFOCOM. 5461927. (Proceedings - IEEE INFOCOM).

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

• Verifiable privacy-preserving aggregation in people-centric urban sensing systems

  Zhang, R., Shi, J., Zhang, Y. & Zhang, C., 2013, In: IEEE Journal on Selected Areas in Communications. 31, 9, p. 268-278 11 p., 6559974.

  Research output: Contribution to journal › Article › peer-review
  41 Scopus citations

• Verifiable Query Processing over Outsourced Social Graph

  Yao, X., Zhang, R., Huang, D. & Zhang, Y., Oct 1 2021, In: IEEE/ACM Transactions on Networking. 29, 5, p. 2313-2326 14 p.

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

• Verifiable social data outsourcing

  Yao, X., Zhang, R., Zhang, Y. & Lin, Y., Oct 2 2017, INFOCOM 2017 - IEEE Conference on Computer Communications. Institute of Electrical and Electronics Engineers Inc., 8057005. (Proceedings - IEEE INFOCOM).

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

• Verification and convergence study of a spectral-element numerical methodology for fluid-structure interaction

  Xu, Y. Q. & Peet, Y. T., Mar 2021, In: Journal of Computational Physics: X. 10, 100084.

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

  Open Access
  1 Scopus citations

• Verification and improvement of the rate of asphalt aging simulated by AASHTO PP1-98 protocol

  Raghavendra, S., Zapata, C., Mirza, M. W., Houston, W. N. & Witczak, M. W., Jan 1 2005, In: Transportation Research Record. 1901, p. 24-32 9 p.

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

• Verification and Validation of a Generalized Orthotropic Material Model MAT213 Implemented in LS-DYNA

  Shyamsunder, L., Khaled, B., Holt, N., Hoffarth, C., Rajan, S., Goldberg, R., Carney, K. S., Dubois, P. & Blankenhorn, G., 2018, 33rd Technical Conference of the American Society for Composites 2018. DEStech Publications Inc., p. 279-290 12 p. (33rd Technical Conference of the American Society for Composites 2018; vol. 1).

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

• Verification and validation of a three-dimensional composite impact model with tabulated input

  Goldberg, R. K., Ricks, T. M., Carney, K. S., Dubois, P., Khaled, B., Shyamsunder, L., Rajan, S. & Blankenhorn, G., Jan 1 2019, AIAA Scitech 2019 Forum. American Institute of Aeronautics and Astronautics Inc, AIAA, (AIAA Scitech 2019 Forum).

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

• Verification and validation of a three-dimensional Orthotropic Plasticity constitutive model using a unidirectional composite

  Hoffarth, C., Khaled, B., Shyamsunder, L., Rajan, S., Goldberg, R., Carney, K. S., DuBois, P. & Blankenhorn, G., Mar 1 2017, In: Fibers. 5, 1, 12.

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

  Open Access
  12 Scopus citations

• Verification and validation of knowledge-based systems

  Tsai, W. T., Vishnuvajjala, R. & Zhang, D., Jan 1999, In: IEEE Transactions on Knowledge and Data Engineering. 11, 1, p. 202-212 11 p.

  Research output: Contribution to journal › Article › peer-review
  40 Scopus citations

• Verification and validation of the flag hydrocode for impact cratering simulations

  Caldwell, W. K., Hunter, A., Plesko, C. S. & Wirkus, S., Sep 2018, In: Journal of Verification, Validation and Uncertainty Quantification. 3, 3, 031004.

  Research output: Contribution to journal › Article › peer-review
  6 Scopus citations

• Verification framework for dynamic collaborative services in service-oriented architecture

  Tsai, W. T., Huang, Q., Xiao, B. & Chen, Y., 2006, Proceedings - Sixth International Conference on Quality Software, QSIC 2006. p. 313-320 8 p. 4032300. (Proceedings - International Conference on Quality Software).

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

• Verification of a source-oriented externally mixed air quality model during a severe photochemical smog episode

  Ying, Q., Fraser, M. P., Griffin, R. J., Chen, J. & Kleeman, M. J., Mar 2007, In: Atmospheric Environment. 41, 7, p. 1521-1538 18 p.

  Research output: Contribution to journal › Article › peer-review
  36 Scopus citations

• Verification of automotive control applications using S-TaLiRo

  Fainekos, G., Sankaranarayanan, S., Ueda, K. & Yazarel, H., 2012, 2012 American Control Conference, ACC 2012. Institute of Electrical and Electronics Engineers Inc., p. 3567-3572 6 p. 6315384. (Proceedings of the American Control Conference).

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

• VERIFICATION OF COMMUNICATION IN DISTRIBUTED SYSTEM SOFTWARE.

  Yau, S. S. & Wang, R. S., Dec 1 1986, Unknown Host Publication Title. Kim, K. H., Chon, K. & Ramamoorthy, C. V. (eds.). North-Holland, p. 489-503 15 p.

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

• Verification of Concurrent Control Flow in Distributed Computer Systems

  Yau, S. S. & Hong, W., Apr 1988, In: IEEE Transactions on Software Engineering. 14, 4, p. 405-417 13 p.

  Research output: Contribution to journal › Article › peer-review
  1 Scopus citations

• Verification of effectiveness of chip seal as a pavement preventive maintenance treatment using LTPP data

  Mamlouk, M. & Dosa, M., Dec 2014, In: International Journal of Pavement Engineering. 15, 10, p. 879-888 10 p.

  Research output: Contribution to journal › Article › peer-review
  27 Scopus citations

• Verification of flight software with karnough map-based checking

  Jaw, L., Tsai, W. T., Homan, D. & Keller, K., 2007, 2007 IEEE Aerospace Conference Digest. 4161595. (IEEE Aerospace Conference Proceedings).

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

• Verification of phylogenetic predictions in vivo and the importance of the tetraloop motif in a catalytic RNA

  Pomeranz Krummel, D. A. & Altman, S., Sep 28 1999, In: Proceedings of the National Academy of Sciences of the United States of America. 96, 20, p. 11200-11205 6 p.

  Research output: Contribution to journal › Article › peer-review
  23 Scopus citations

• Verification of protective device coordination in distribution systems with photovoltaic generation

  Tang, Y. & Ayyanar, R., Oct 15 2014, 2014 IEEE 40th Photovoltaic Specialist Conference, PVSC 2014. Institute of Electrical and Electronics Engineers Inc., p. 2100-2105 6 p. 6925339. (2014 IEEE 40th Photovoltaic Specialist Conference, PVSC 2014).

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

• Verification of second-order sufficient optimality conditions for semilinear elliptic and parabolic control problems

  Mittelmann, H., Oct 1 2001, In: Computational Optimization and Applications. 20, 1, p. 93-110 18 p.

  Research output: Contribution to journal › Article › peer-review
  6 Scopus citations

• Verification of the Model of Biofilm on Activated Carbon

  Chang, H. T. & Rittmann, B. E., Feb 1 1987, In: Environmental Science and Technology. 21, 3, p. 280-288 9 p.

  Research output: Contribution to journal › Article › peer-review
  40 Scopus citations

• Verification of Web services using an enhanced UDDI server

  Tsai, W. T., Paul, R., Cao, Z., Yu, L. & Saimi, A., 2003, Proceedings - 8th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS 2003. p. 131-138 8 p. 1218075. (Proceedings - International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS).

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

• Verification Patterns for Rapid Embedded System Verification

  Tsai, W. T., Zhu, F., Yu, L., Paul, R. & Fan, C., 2003, Proceedings of the International Conference on Embedded Systems and Applications, ESA 03. Arabnia, H. R., Yang, L. T., Arabnia, H. R. & Yang, L. T. (eds.). p. 310-316 7 p. (Proceedings of the International Conference on Embedded Systems and Applications).

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

• Verifying access control properties with design by contract: Framework and lessons learned

  Rubio-Medrano, C. E., Ahn, G-J. & Sohr, K., 2013, Proceedings - 2013 IEEE 37th Annual Computer Software and Applications Conference, COMPSAC 2013. IEEE Computer Society, p. 21-26 6 p. 6649794. (Proceedings - International Computer Software and Applications Conference).

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

• Verifying Nursing Home Care Quality Using Minimum Data Set Quality Indicators and Other Quality Measures

  Rantz, M. J., Popejoy, L., Mehr, D. R., Zwygart-Stauffacher, M., Hicks, L. L., Grando, V., Conn, V. S., Porter, R., Scott, J. & Maas, M., Dec 1997, In: Journal of Nursing Care Quality. 12, 2, p. 54-62 9 p.

  Research output: Contribution to journal › Article › peer-review
  36 Scopus citations

• Verifying timing constraints in real-time systems

  Bai, X., Wang, M., Lu, H. & Tsai, W. T., Sep 1 2012, In: Qinghua Daxue Xuebao/Journal of Tsinghua University. 52, 9, p. 1286-1292 7 p.

  Research output: Contribution to journal › Article › peer-review
  2 Scopus citations

• Verilog-A compact model for oxide-based resistive random access memory (RRAM)

  Jiang, Z., Yu, S., Wu, Y., Engel, J. H., Guan, X. & Wong, H. S. P., Oct 20 2014, International Conference on Simulation of Semiconductor Processes and Devices, SISPAD. Institute of Electrical and Electronics Engineers Inc., p. 41-44 4 p. 6931558. (International Conference on Simulation of Semiconductor Processes and Devices, SISPAD).

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

• Vernalophrys algivore gen. nov., sp. nov. (Rhizaria: Cercozoa: Vampyrellida), a new algal predator isolated from outdoor mass culture of Scenedesmus dimorphus

  Gong, Y., Patterson, D. J., Li, Y., Hu, Z., Sommerfeld, M., Chen, Y. & Hu, Q., 2015, In: Applied and environmental microbiology. 81, 12, p. 3900-3913 14 p.

  Research output: Contribution to journal › Article › peer-review
  29 Scopus citations

• Vernier step acuity and bisection acuity for texture-defined form

  Gray, R. & Regan, D., Jul 1997, In: Vision Research. 37, 13, p. 1713-1723 11 p.

  Research output: Contribution to journal › Article › peer-review
  15 Scopus citations

• Vernier step acuity and bisection acuity for texture-defined form

  Gray, R. & Regan, D., Dec 1 1997, In: Investigative Ophthalmology and Visual Science. 38, 4, p. S635

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

• Versa: A 36-Core Systolic Multiprocessor with Dynamically Reconfigurable Interconnect and Memory

  Kim, S., Fayazi, M., Daftardar, A., Chen, K. Y., Tan, J., Pal, S., Ajayi, T., Xiong, Y., Mudge, T., Chakrabarti, C., Blaauw, D., Dreslinski, R. & Kim, H. S., Apr 1 2022, In: IEEE Journal of Solid-State Circuits. 57, 4, p. 986-998 13 p.

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

• Versa: A Dataflow-Centric Multiprocessor with 36 Systolic ARM Cortex-M4F Cores and a Reconfigurable Crossbar-Memory Hierarchy in 28nm

  Kim, S., Fayazi, M., Daftardar, A., Chen, K. Y., Tan, J., Pal, S., Ajayi, T., Xiong, Y., Mudge, T., Chakrabarti, C., Blaauw, D., Dreslinski, R. & Kim, H. S., Jun 13 2021, 2021 Symposium on VLSI Circuits, VLSI Circuits 2021. Institute of Electrical and Electronics Engineers Inc., 9492391. (IEEE Symposium on VLSI Circuits, Digest of Technical Papers; vol. 2021-June).

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

• Versatile buffer layer architectures based on Ge ₁- _x Sn _x alloys

  Roucka, R., Tolle, J., Cook, C., Chizmeshya, A., Kouvetakis, J., D'Costa, V., Menendez, J., Chen, Z. D. & Zollner, S., May 9 2005, In: Applied Physics Letters. 86, 19, p. 1-3 3 p., 191912.

  Research output: Contribution to journal › Article › peer-review
  58 Scopus citations

• Versatile Detection and Monitoring of Ionizing Radiation Treatment Using Radiation-Responsive Gel Nanosensors

  Pushpavanam, K., Dutta, S., Inamdar, S., Bista, T., Sokolowski, T., Rapchak, A., Sadeghi, A., Sapareto, S. & Rege, K., Apr 6 2022, In: ACS Applied Materials and Interfaces. 14, 13, p. 14997-15007 11 p.

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

• Versatile organic iodide melts and glasses with high mole fractions of LiI: Glass transition temperatures and electrical conductivities

  Cooper, E. I. & Angell, C. A., Dec 1983, In: Solid State Ionics. 9-10, PART 1, p. 617-622 6 p.

  Research output: Contribution to journal › Article › peer-review
  65 Scopus citations

• Versatile platforms for wide area synchronous measurements in power distribution systems

  Albu, M., Heydt, G. T. & Cosmescu, S. C., Dec 17 2010, North American Power Symposium 2010, NAPS 2010. 5619971. (North American Power Symposium 2010, NAPS 2010).

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

• 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
  15 Scopus citations

• Versioning and piracy control for digital information goods

  Wu, S. Y. & Chen, P. Y., Jan 1 2008, In: Operations Research. 56, 1, p. 157-172 16 p.

  Research output: Contribution to journal › Article › peer-review
  58 Scopus citations

• Vertebral pathology in the Afar australopithecines

  Cook, D. C., Buikstra, J., DeRousseau, C. J. & Johanson, D., Jan 1983, In: American journal of physical anthropology. 60, 1, p. 83-101 19 p.

  Research output: Contribution to journal › Article › peer-review
  57 Scopus citations