Find Research outputs

Search results

• Conference contribution

  Using higher order logic and functional languages to synthesize correct hardware

  Chin, S. K., Stabler, E. P. & Greene, K. J., Dec 1 1988, Int Conf on Comput Lang 1988 Proc. IEEE Computer Society, p. 396-403 8 p. (Int Conf on Comput Lang 1988 Proc).

  Research output: Chapter in Book/Entry/Poem › Conference contribution

• Using information about the resilience of many systems to inform the regulation of complex, unpredictable human systems

  Longstaff, P. H., Dec 1 2007, WMSCI 2007 - The 11th World Multi-Conference on Systemics, Cybernetics and Informatics, Jointly with the 13th International Conference on Information Systems Analysis and Synthesis, ISAS 2007 - Proc.. p. 84-89 6 p. (WMSCI 2007 - The 11th World Multi-Conference on Systemics, Cybernetics and Informatics, Jointly with the 13th International Conference on Information Systems Analysis and Synthesis, ISAS 2007 - Proc.; vol. 3).

  Research output: Chapter in Book/Entry/Poem › Conference contribution

• Using internship experience to evaluate a new program in eScience librarianship

  D'Ignazio, J., Qin, J. & Kitlas, J., 2012, Proceedings of the 2012 iConference: Culture, Design, Society, iConference 2012. p. 601-602 2 p. (ACM International Conference Proceeding Series).

  Research output: Chapter in Book/Entry/Poem › Conference contribution
  1 Scopus citations

• Using ML as a command language

  Chapin, S. J. & Stansifer, R., 1991, Computing in the 1990's - 1st Great Lakes Computer Science Conference, Proceedings. Sherwani, N. A., de Doncker, E. & Kapenga, J. A. (eds.). Springer Verlag, p. 371-377 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 507 LNCS).

  Research output: Chapter in Book/Entry/Poem › Conference contribution

• Using multiple methods in studying information systems: Some experiences

  Sawyer, S. B., Cooprider, J., Galliers, R., Gallivan, M. & Kaplan, B., Dec 15 1997, Proceedings of the 18th International Conference on Information Systems, ICIS 1997. Association for Computing Machinery, Inc, p. 518-519 2 p.

  Research output: Chapter in Book/Entry/Poem › Conference contribution

• Using online competitor's inventory information for pricing

  Dewan, R., Freimer, M. & Jiang, Y., 2007, Proceedings of the 40th Annual Hawaii International Conference on System Sciences 2007, HICSS'07. 4076803. (Proceedings of the Annual Hawaii International Conference on System Sciences).

  Research output: Chapter in Book/Entry/Poem › Conference contribution
  2 Scopus citations

• Using Planar Probe Array Near Field Measurement to Obtain Accurate Far Field Antenna Pattern Efficiently

  Chen, H. & Sarkar, T. K., Mar 2019, 2019 IEEE International Conference on Computational Electromagnetics, ICCEM 2019 - Proceedings. Institute of Electrical and Electronics Engineers Inc., 8779025. (2019 IEEE International Conference on Computational Electromagnetics, ICCEM 2019 - Proceedings).

  Research output: Chapter in Book/Entry/Poem › Conference contribution
  1 Scopus citations

• Using problems to learn service-oriented computing

  Purao, S., Vaishnavi, V., Bagby, J., Borthick, F., Cameron, B., Lenze, L., Sawyer, S., Suen, H. & Welke, R., 2008, Proceedings - 2008 IEEE Congress on Services, SERVICES 2008. p. 33-36 4 p. 4578289. (Proceedings - 2008 IEEE Congress on Services, SERVICES 2008; vol. PART 1).

  Research output: Chapter in Book/Entry/Poem › Conference contribution
  1 Scopus citations

• USING SIMULATION AND EXPERIMENT TO DEVELOP A DESIGN METHODOLOGY FOR SELF-SHAPING SOLID OXIDE FUEL CELL MULTILAYER CERAMIC COMPOSITES

  Hartwell, A. R., Elsayed, S. K., Qin, Z. & Ahn, J., 2023, Proceedings of ASME Power Applied R and D 2023, POWER 2023. American Society of Mechanical Engineers (ASME), v001t01a006. (American Society of Mechanical Engineers, Power Division (Publication) POWER; vol. 2023-August).

  Research output: Chapter in Book/Entry/Poem › Conference contribution

• Using simulation as an experiential learning tool for enhancing students learning in environmental engineering

  Todorova, S., Apr 2019, Proceedings of 2019 IEEE Global Engineering Education Conference, EDUCON 2019. Ashmawy, A. K. & Schreiter, S. (eds.). IEEE Computer Society, p. 1384-1385 2 p. 8725128. (IEEE Global Engineering Education Conference, EDUCON; vol. April-2019).

  Research output: Chapter in Book/Entry/Poem › Conference contribution
  1 Scopus citations

• Using structural representations of anomalous states of knowledge for choosing document retrieval strategies

  Belkin, N. J. & Kwasnik, B. H., Sep 1 1986, Proceedings of the 9th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, SIGIR 1986. Rabitti, F. (ed.). Association for Computing Machinery, Inc, p. 11-22 12 p. 253175. (Proceedings of the 9th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, SIGIR 1986).

  Research output: Chapter in Book/Entry/Poem › Conference contribution
  23 Scopus citations

• Using the EEG error potential to identify interface design flaws

  Escalante, J., Butcher, S., Costa, M. R. & Hirshfield, L. M., Oct 7 2013, Foundations of Augmented Cognition - 7th International Conference, AC 2013, Held as Part of HCI International 2013, Proceedings. p. 289-298 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8027 LNAI).

  Research output: Chapter in Book/Entry/Poem › Conference contribution
  1 Scopus citations

• Using the half Fourier transform for SEM analysis of both early and late time responses in the presence of noise

  Sarkar, T. K. & Palma, M. S., Nov 21 2011, 2011 30th URSI General Assembly and Scientific Symposium, URSIGASS 2011. 6050716. (2011 30th URSI General Assembly and Scientific Symposium, URSIGASS 2011).

  Research output: Chapter in Book/Entry/Poem › Conference contribution
  1 Scopus citations

• Using the Laguerre polynomials to get a stable solution of TD-EFIE for thin-wire antennas

  Ji, Z., Sarkar, T. K., Jung, B. H., Salazar-Palma, M. & Yuan, M., Feb 21 2017, Antem/URSI 2004 - 10th International Symposium on Antenna Technology and Applied Electromagnetics and URSI Conference, Proceedings. Institute of Electrical and Electronics Engineers Inc., 7860682

  Research output: Chapter in Book/Entry/Poem › Conference contribution

• Utility-based adaptive resource allocation in hybrid wireless networks

  Curescu, C., Nadjm-Tehrani, S., Bing, C. & Dahlberg, T. A., 2005, Second International Conference on Quality of Service in Heterogeneous Wired/Wireless Networks, Qshine 2005. 1551104. (Second International Conference on Quality of Service in Heterogeneous Wired/Wireless Networks, Qshine 2005; vol. 2005).

  Research output: Chapter in Book/Entry/Poem › Conference contribution
  1 Scopus citations

• Utilization of the matrix pencil technique for determining modal propagation characteristics of printed circuits

  Sarkar, T. K., Adve, R. S., Maricevic, Z. A. & Palma, M. S., 1996, IEEE MTT-S International Microwave Symposium Digest. IEEE Computer Society, Vol. 1. p. 167-170 4 p.

  Research output: Chapter in Book/Entry/Poem › Conference contribution
  3 Scopus citations

• Utilizing a Tunable Non-Foster Circuit for Wideband Matching of a Resistively Loaded Dipole Antenna

  Salama, D., Lee, J. K. & Schuman, H. K., 2021, 2021 IEEE International Symposium on Antennas and Propagation and North American Radio Science Meeting, APS/URSI 2021 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 527-528 2 p. (2021 IEEE International Symposium on Antennas and Propagation and North American Radio Science Meeting, APS/URSI 2021 - Proceedings).

  Research output: Chapter in Book/Entry/Poem › Conference contribution
  1 Scopus citations

• UTILIZING BILAYER SHRINKAGE TO ASSEMBLE COMPLEX CERAMIC SHAPES

  Hartwell, A. R., Slabaugh, N. & Ahn, J., 2022, Mechanics of Solids, Structures, and Fluids; Micro- and Nano-Systems Engineering and Packaging; Safety Engineering, Risk, and Reliability Analysis; Research Posters. American Society of Mechanical Engineers (ASME), v009t12a017. (ASME International Mechanical Engineering Congress and Exposition, Proceedings (IMECE); vol. 9).

  Research output: Chapter in Book/Entry/Poem › Conference contribution
  1 Scopus citations

• Utilizing cis-elements to refine gene regulatory networks

  Xiao, Y., Mehrotra, K. G., Mohan, C. & Raina, R., Dec 1 2013, Proceedings - 2013 IEEE International Conference on Bioinformatics and Biomedicine, IEEE BIBM 2013. p. 65-71 7 p. 6732737. (Proceedings - 2013 IEEE International Conference on Bioinformatics and Biomedicine, IEEE BIBM 2013).

  Research output: Chapter in Book/Entry/Poem › Conference contribution

• Utilizing Graphite Powder to Improve Concrete Conductivity, Compressive Strength, and Workability

  Al-Bayati, A. J., Butrouna, K. H., Steffen, R. E., Salman, B. & Al-Qaralleh, M., 2020, Construction Research Congress 2020: Project Management and Controls, Materials, and Contracts - Selected Papers from the Construction Research Congress 2020. Grau, D., Tang, P. & El Asmar, M. (eds.). American Society of Civil Engineers (ASCE), p. 881-888 8 p. (Construction Research Congress 2020: Project Management and Controls, Materials, and Contracts - Selected Papers from the Construction Research Congress 2020).

  Research output: Chapter in Book/Entry/Poem › Conference contribution
  4 Scopus citations

• Utilizing model checking for automated optimization information discovery in InDiGO

  Kolesnikov, V. & Singh, G., Dec 1 2009, 8th International Symposium on Parallel and Distributed Computing, ISPDC 2009. p. 91-98 8 p. 5284366. (8th International Symposium on Parallel and Distributed Computing, ISPDC 2009).

  Research output: Chapter in Book/Entry/Poem › Conference contribution
  3 Scopus citations

• UV-Assisted direct-write assembly of scaffold-templated nanoclay composites via biotin-streptavidin interactions

  Dalir, H., Farahani, R. D., Lévesque, M. & Therriault, D., 2010, ASME 2010 International Mechanical Engineering Congress and Exposition, IMECE 2010. p. 899-904 6 p. (ASME International Mechanical Engineering Congress and Exposition, Proceedings (IMECE); vol. 10).

  Research output: Chapter in Book/Entry/Poem › Conference contribution
  4 Scopus citations

• V2E: Combining hardware virtualization and software emulation for transparent and extensible malware analysis

  Yan, L. K., Jayachandra, M., Zhang, M. & Yin, H., 2012, VEE'12 - Proceedings of the ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments. p. 227-237 11 p. (VEE'12 - Proceedings of the ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments).

  Research output: Chapter in Book/Entry/Poem › Conference contribution
  37 Scopus citations

• Validating Discharge and Ground Electrode Effect on the Lightning Strike Damage of Materials and its Implication to Composite Structures by Modeling Lightning Discharge

  Yousefpour, K., Aider, Y., Wang, Y., Rostaghi-Chalaki, M. & Park, C., 2021, 2021 Electrical Insulation Conference, EIC 2021. Institute of Electrical and Electronics Engineers Inc., p. 226-229 4 p. (2021 Electrical Insulation Conference, EIC 2021).

  Research output: Chapter in Book/Entry/Poem › Conference contribution

• Variability-aware design of energy-delay optimal linear pipelines operating in the near-threshold regime and above

  Xie, Q., Wang, Y. & Pedram, M., 2013, GLSVLSI 2013 - Proceedings of the ACM International Conference of the Great Lakes Symposium on VLSI. p. 61-66 6 p. (Proceedings of the ACM Great Lakes Symposium on VLSI, GLSVLSI).

  Research output: Chapter in Book/Entry/Poem › Conference contribution
  2 Scopus citations

• Variability in mixed-mode delamination toughness with implications for research and practical applications

  Teller, S. S. & Davidson, B. D., 2007, Collection of Technical Papers - 45th AIAA Aerospace Sciences Meeting. American Institute of Aeronautics and Astronautics Inc., p. 1940-1950 11 p. (Collection of Technical Papers - 45th AIAA Aerospace Sciences Meeting; vol. 3).

  Research output: Chapter in Book/Entry/Poem › Conference contribution
  2 Scopus citations

• Variability in mixed-mode delamination toughness with implications for research and practical applications

  Teller, S. S. & Davidson, B. D., 2006, Collection of Technical Papers - 47th AIAA/ASME/ASCE/AHS/ASC Structures, Structural Dynamics and Materials Conference: 14th AIAA/ASME/AHS Adaptive Structures Conference, 8th AIAA Non-deterministic App. p. 898-911 14 p. (Collection of Technical Papers - AIAA/ASME/ASCE/AHS/ASC Structures, Structural Dynamics and Materials Conference; vol. 2).

  Research output: Chapter in Book/Entry/Poem › Conference contribution
  1 Scopus citations

• Variable rate MIMO communication with airborne platforms: An experimental study

  Liu, Y., Borle, K. M., Mroczek, J. J., Chen, B., Gans, M. J., Oleski, P. J. & Michalak, R. J., Dec 22 2016, MILCOM 2016 - 2016 IEEE Military Communications Conference. Institute of Electrical and Electronics Engineers Inc., p. 1167-1172 6 p. 7795488. (Proceedings - IEEE Military Communications Conference MILCOM).

  Research output: Chapter in Book/Entry/Poem › Conference contribution
  1 Scopus citations

• Variable Window and Deadline-Aware Sensor Attack Detector for Automotive CPS

  Akowuah, F., Fletcher, K. & Kong, F., 2023, Proceedings - 2023 IEEE 26th International Symposium on Real-Time Distributed Computing, ISORC 2023. Institute of Electrical and Electronics Engineers Inc., p. 54-63 10 p. (Proceedings - 2023 IEEE 26th International Symposium on Real-Time Distributed Computing, ISORC 2023).

  Research output: Chapter in Book/Entry/Poem › Conference contribution

• Variational Attitude and Pose Estimation Using the Lagrange-d' Alembert Principle

  Izadi, M., Sanyal, A. K. & Warier, R. R., Jul 2 2018, 2018 IEEE Conference on Decision and Control, CDC 2018. Institute of Electrical and Electronics Engineers Inc., p. 1270-1275 6 p. 8619341. (Proceedings of the IEEE Conference on Decision and Control; vol. 2018-December).

  Research output: Chapter in Book/Entry/Poem › Conference contribution
  4 Scopus citations

• Variation-aware joint optimization of the supply voltage and sleep transistor size for the 7nm FinFET technology

  Xie, Q., Wang, Y., Chen, S. & Pedram, M., Dec 3 2014, 2014 32nd IEEE International Conference on Computer Design, ICCD 2014. Institute of Electrical and Electronics Engineers Inc., p. 380-385 6 p. 6974709. (2014 32nd IEEE International Conference on Computer Design, ICCD 2014).

  Research output: Chapter in Book/Entry/Poem › Conference contribution
  2 Scopus citations

• Variations in arsenic concentrations within a groundwater distribution system

  Steinberg, L. J. & Hering, J., Dec 1 2004, Bridging the Gap: Meeting the World's Water and Environmental Resources Challenges - Proceedings of the World Water and Environmental Resources Congress 2001. (Bridging the Gap: Meeting the World's Water and Environmental Resources Challenges - Proceedings of the World Water and Environmental Resources Congress 2001; vol. 111).

  Research output: Chapter in Book/Entry/Poem › Conference contribution

• Varying motor assistance during biceps curls induced via functional electrical stimulation

  Rouse, C. A., Cousin, C. A., Duenas, V. H. & Dixon, W. E., 2018, Advances in Control Design Methods; Advances in Nonlinear Control; Advances in Robotics; Assistive and Rehabilitation Robotics; Automotive Dynamics and Emerging Powertrain Technologies; Automotive Systems; Bio Engineering Applications; Bio-Mechatronics and Physical Human Robot Interaction; Biomedical and Neural Systems; Biomedical and Neural Systems Modeling, Diagnostics, and Healthcare. American Society of Mechanical Engineers (ASME), (ASME 2018 Dynamic Systems and Control Conference, DSCC 2018; vol. 1).

  Research output: Chapter in Book/Entry/Poem › Conference contribution
  3 Scopus citations

• Vegetation extraction from LiDAR raw points using surface flatness

  Belkhouche, M. Y., Buckles, B. P. & Steinberg, L. J., 2009, Proceedings of the IASTED International Conference on Signal and Image Processing, SIP 2009. p. 204-208 5 p. (Proceedings of the IASTED International Conference on Signal and Image Processing, SIP 2009).

  Research output: Chapter in Book/Entry/Poem › Conference contribution
  1 Scopus citations

• Verifiable and executable theories of design for synthesizing correct hardware

  Chin, S. K. & Greene, K. J., Dec 1 1988, 1988 IEEE Int Conf Comput Des VLSI Comput Process ICCD 88 Proc. IEEE Computer Society, p. 604-610 7 p. (1988 IEEE Int Conf Comput Des VLSI Comput Process ICCD 88 Proc).

  Research output: Chapter in Book/Entry/Poem › Conference contribution

• Verification of a manual mesh moving finite element analysis procedure for modeling ablation in laminated composite materials

  Wang, Y., Zhupanska, O. I. & Pasiliao, C. L., 2017, Advances in Aerospace Technology. American Society of Mechanical Engineers (ASME), (ASME International Mechanical Engineering Congress and Exposition, Proceedings (IMECE); vol. 1).

  Research output: Chapter in Book/Entry/Poem › Conference contribution
  1 Scopus citations

• VERIFICATION OF NON-LINEAR EFFECTIVE STRESS MODEL IN SIMPLE SHEAR.

  Finn, W. D. L. & Bhatia, S. K., Jan 1 1982, Unknown Host Publication Title. American Society of Civil Engineers (ASCE), p. 240-252 13 p.

  Research output: Chapter in Book/Entry/Poem › Conference contribution
  6 Scopus citations

• Verifying arithmetic hardware in higher-order logic

  Chin, S. K., Jan 1 1991, Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and Its Applications. Archer, M., Joyce, J. J., Levitt, K. N. & Windley, P. J. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 22-31 10 p. 596268. (Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and Its Applications).

  Research output: Chapter in Book/Entry/Poem › Conference contribution
  1 Scopus citations

• Versatile high-fidelity photovoltaic module emulation system

  Lee, W., Kim, Y., Wang, Y., Chang, N., Pedram, M. & Han, S., 2011, IEEE/ACM International Symposium on Low Power Electronics and Design, ISLPED 2011. p. 91-96 6 p. 5993613. (Proceedings of the International Symposium on Low Power Electronics and Design).

  Research output: Chapter in Book/Entry/Poem › Conference contribution
  33 Scopus citations

• Vialess composite right/left-handed stripline and its applications for broadband 3-dB and tunable couplers

  Choi, J. H., Wu, C. T. M., Lee, H. & Itoh, T., Dec 15 2014, European Microwave Week 2014: Connecting the Future, EuMW 2014 - Conference Proceedings; EuMC 2014: 44th European Microwave Conference. Institute of Electrical and Electronics Engineers Inc., p. 315-318 4 p. 6986433. (European Microwave Week 2014: Connecting the Future, EuMW 2014 - Conference Proceedings; EuMC 2014: 44th European Microwave Conference).

  Research output: Chapter in Book/Entry/Poem › Conference contribution
  1 Scopus citations

• VIBNN: Hardware acceleration of Bayesian neural networks

  Cai, R., Ren, A., Liu, N., Ding, C., Wang, L., Qian, X., Pedram, M. & Wang, Y., Mar 19 2018, Proceedings of the 23rd International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2018. 2 ed. Association for Computing Machinery, Vol. 53. p. 476-488 13 p.

  Research output: Chapter in Book/Entry/Poem › Conference contribution
  51 Scopus citations

• Vibrational and energetic analysis of sorbitol crystal forms

  Dierks, T. M. & Korter, T. M., Oct 12 2017, 2017 42nd International Conference on Infrared, Millimeter, and Terahertz Waves, IRMMW-THz 2017. IEEE Computer Society, 8067032. (International Conference on Infrared, Millimeter, and Terahertz Waves, IRMMW-THz).

  Research output: Chapter in Book/Entry/Poem › Conference contribution
  1 Scopus citations

• VI-CFAR: a novel CFAR algorithm based on data variability

  Smith, M. E. & Varshney, P. K., 1997, IEEE National Radar Conference - Proceedings. Anon (ed.). IEEE Computer Society, p. 263-268 6 p.

  Research output: Chapter in Book/Entry/Poem › Conference contribution
  40 Scopus citations

• ViewNet: A Novel Projection-Based Backbone with View Pooling for Few-shot Point Cloud Classification

  Chen, J., Yang, M. & Velipasalar, S., 2023, Proceedings - 2023 IEEE/CVF Conference on Computer Vision and Pattern Recognition, CVPR 2023. IEEE Computer Society, p. 17652-17660 9 p. (Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition; vol. 2023-June).

  Research output: Chapter in Book/Entry/Poem › Conference contribution

• View of current status of space-time processing algorithms research

  Wang, H., Zhang, Y. & Zhang, Q., 1995, IEEE National Radar Conference - Proceedings. IEEE Computer Society, p. 635-640 6 p.

  Research output: Chapter in Book/Entry/Poem › Conference contribution
  7 Scopus citations

• V-INCA Designing a smart geometric configuration for dry masonry wall

  Yenice, Y. & Park, D., 2019, Architecture in the Age of the 4th Industrial Revolutio. Sousa, J. P., Henriques, G. C. & Xavier, J. P. (eds.). Education and research in Computer Aided Architectural Design in Europe, p. 515-520 6 p. (Proceedings of the International Conference on Education and Research in Computer Aided Architectural Design in Europe; vol. 2).

  Research output: Chapter in Book/Entry/Poem › Conference contribution

  Open Access

• Viral design: User concepts of virality on the niche social media site, dribbble

  Hemsley, J. & Tanupabrungsun, S., Jul 18 2018, Proceedings of the 9th International Conference on Social Media and Society, SMSociety 2018. Association for Computing Machinery, p. 91-101 11 p. (ACM International Conference Proceeding Series).

  Research output: Chapter in Book/Entry/Poem › Conference contribution
  2 Scopus citations

• Virtuality and virtualization

  Crowston, K. & Sieber, S., Jan 1 2007, Virtuality and Visualization - Proceedings of the International Federation of Information Processing Working Groups 8.2 on Information Systems and Organizations and 9.5 on Virtuality and Society. Springer New York LLC, p. 1-7 7 p. (IFIP Advances in Information and Communication Technology; vol. 236).

  Research output: Chapter in Book/Entry/Poem › Conference contribution
  3 Scopus citations

• VIRTUALITY AND VISUALIZATION: Proceedings of the International Federation of Information Processing Working Groups 8.2 on Information Systems and Organizations and 9.5 on Virtuality and Society, July 29-31, 2007, Portland, Oregon, USA

  Crowston, K., Sieber, S. & Wynn, E., 2007, Virtuality and Visualization - Proceedings of the International Federation of Information Processing Working Groups 8.2 on Information Systems and Organizations and 9.5 on Virtuality and Society. Springer New York LLC, (IFIP Advances in Information and Communication Technology; vol. 236).

  Research output: Chapter in Book/Entry/Poem › Conference contribution
  1 Scopus citations

• Virtual Reality at Nuthatch Hollow- An Emerging Tool for Sustainable Design in High Performance Buildings

  Bartosh, A. & ABmann, C., 2018, 13th Annual North American Passive House Conference Proceedings.

  Research output: Chapter in Book/Entry/Poem › Conference contribution