Find Research outputs

Search results

• Conference contribution

  Formal methods applied to secure network engineering

  Chin, S. K., Faust, J. & Giordano, J., 1996, Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS. IEEE Computer Society, p. 344-351 8 p.

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

• Formal specification and verification of communication protocols using automated tools

  Barjaktarovic, M., Chin, S. K. & Jabbour, K., 1995, Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS. IEEE Computer Society, p. 246-253 8 p.

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

• Formal specification and verification of OSI session layer protocol using CCS

  Barjaktarovic, M., Chin, S. K. & Jabbour, K., Dec 1 1993, Midwest Symposium on Circuits and Systems. IEEE Computer Society, p. 1140-1143 4 p. (Midwest Symposium on Circuits and Systems; vol. 2).

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

• Formal specification and verification of the kernel functional unit of the OSI session layer protocol and service using CCS

  Barjaktarović, M., Chin, S. K. & Jabbour, K., May 1 1996, Proceedings of the 1996 ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 1996. Tracz, W. & Zeil, S. J. (eds.). Association for Computing Machinery, Inc, p. 270-279 10 p. (Proceedings of the 1996 ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 1996).

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

• Formal verification of serial pipeline multipliers

  Kim, J. D. & Chin, S. K., 1995, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, Vol. 971. p. 229-244 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 971).

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

• Formal verification of tree-structured carry-lookahead adders

  Kim, S. H. & Chin, S. K., Dec 1 1999, Proceedings of the IEEE Great Lakes Symposium on VLSI. IEEE Computer Society, p. 232-233 2 p. (Proceedings of the IEEE Great Lakes Symposium on VLSI).

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

• Formation and cytotoxicity of carbonato carboplatin

  Di Pasqua, A. J., Goodisman, J., Kerwood, D. J., Toms, B. B., Dubowy, R. L. & Dabrowiak, J. C., Dec 1 2007, 31st Annual Conference of the International Precious Metals Institute 2007 and Petroleum Refining Seminar 2006. p. 272-275 4 p. (31st Annual Conference of the International Precious Metals Institute 2007 and Petroleum Refining Seminar 2006; vol. 1).

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

• Formation of geometric tolerance zones for polyhedral objects

  Roy, U. & Li, B., 1997, 23rd Design Automation Conference. American Society of Mechanical Engineers (ASME), V002T29A080. (Proceedings of the ASME Design Engineering Technical Conference; vol. 2).

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

• Forming and norming social media adoption in the corporate sector

  Mergel, I., Mugar, G. & Jarrahi, M. H., 2012, Proceedings of the 2012 iConference: Culture, Design, Society, iConference 2012. p. 152-159 8 p. (ACM International Conference Proceeding Series).

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

• Fostering undergraduate research through mobile development course in Puis

  Rahman, F., Sep 14 2018, SIGITE 2018 - Proceedings of the 19th Annual SIG Conference on Information Technology Education. Association for Computing Machinery, Inc, p. 56-57 2 p. (SIGITE 2018 - Proceedings of the 19th Annual SIG Conference on Information Technology Education).

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

• FPGA acceleration of recurrent neural network based language model

  Li, S., Wu, C., Li, H., Li, B., Wang, Y. & Qiu, Q., Jul 15 2015, Proceedings - 2015 IEEE 23rd Annual International Symposium on Field-Programmable Custom Computing Machines, FCCM 2015. Institute of Electrical and Electronics Engineers Inc., p. 111-118 8 p. 7160054. (Proceedings - 2015 IEEE 23rd Annual International Symposium on Field-Programmable Custom Computing Machines, FCCM 2015).

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

• Fractional control of rigid body attitude dynamics using exponential coordinates

  Nazari, M., Butcher, E. A. & Sanyal, A. K., Jan 1 2018, AIAA Guidance, Navigation, and Control. American Institute of Aeronautics and Astronautics Inc, AIAA, (AIAA Guidance, Navigation, and Control Conference, 2018).

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

• Frame-level temporal calibration of unsynchronized cameras by using longest consecutive common subsequence

  Wang, Y. & Velipasalar, S., 2009, 2009 IEEE International Conference on Acoustics, Speech, and Signal Processing - Proceedings, ICASSP 2009. p. 813-816 4 p. 4959708. (ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings).

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

• Frame-level temporal calibration of video sequences from unsynchronized cameras by using projective invariants

  Velipasalar, S. & Wolf, W., Dec 1 2005, IEEE Conference on Advanced Video and Signal Based Based Surveillance - Proceedings of AVSS 2005. p. 462-467 6 p. 1577313. (IEEE International Conference on Advanced Video and Signal Based Surveillance - Proceedings of AVSS 2005; vol. 2005).

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

• Framework for efficient and flexible scheduling of flash memory operations

  Kim, B. S., Lee, Y. & Min, S. L., Oct 10 2017, NVMSA 2017 - 6th IEEE Non-Volatile Memory Systems and Applications Symposium. Institute of Electrical and Electronics Engineers Inc., 8064480. (NVMSA 2017 - 6th IEEE Non-Volatile Memory Systems and Applications Symposium).

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

• Framework for end-to-end proactive network management

  Hariri, S., Kim, Y., Varshney, P. K., Kaminski, R., Hague, D. & Maciag, C., 1998, IEEE Symposium Record on Network Operations and Management Symposium. Anon (ed.). IEEE Computer Society, Vol. 1. p. 280-286 7 p.

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

• Framework for Enhancing the Operational Resilience of Cyber-Manufacturing Systems against Cyber-Attacks

  Espinoza-Zelaya, C. & Moon, Y. B., Jun 2023, North American Manufacturing Research Conference 51.

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

• Free space radiation pattern reconstruction using non-anechoic data

  Sarkar, T. K. & Salazar, M., Jan 6 2014, 2014 IEEE Conference on Antenna Measurements and Applications, CAMA 2014. Institute of Electrical and Electronics Engineers Inc., 7003372

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

• Free to fly in public spaces: Drone controllers' privacy perceptions and practices

  Yao, Y., Xia, H., Huang, Y. & Wang, Y., May 2 2017, CHI 2017 - Proceedings of the 2017 ACM SIGCHI Conference on Human Factors in Computing Systems: Explore, Innovate, Inspire. Association for Computing Machinery, Vol. 2017-May. p. 6789-6793 5 p.

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

• Frequency control of isolated micro-grid using a droop control approach

  Kafle, L., Zhen, N., Tonkoski, R. & Qiquan, Q., Aug 5 2016, 2016 IEEE International Conference on Electro Information Technology, EIT 2016. IEEE Computer Society, p. 771-775 5 p. 7535337. (IEEE International Conference on Electro Information Technology; vol. 2016-August).

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

• Frequency dependent characterization of a microstrip line over a perforated ground plane

  Kahrizi, M., Sarkar, T. K. & Maricevic, Z. A., Jan 1 1992, Electrical Performance of Electronic Packaging, EPEP 1992. Institute of Electrical and Electronics Engineers Inc., p. 87-89 3 p. 572273. (Electrical Performance of Electronic Packaging, EPEP 1992).

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

• Frequency measurement for QCM applications

  Schlereth, F. H., Mahabalagiri, A. K., Khadeer, A., McLoed, T., Spencer, J. T. & Sweder, K. S., Jul 6 2015, 2015 International Conference on Industrial Instrumentation and Control, ICIC 2015. Institute of Electrical and Electronics Engineers Inc., p. 1140-1143 4 p. 7150919. (2015 International Conference on Industrial Instrumentation and Control, ICIC 2015).

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

• Frequency response of longitudinal vibration using distributed-lumped modelling technique

  Farshidianfar, A., Dalir, H., Farshidianfar, A. & Farshidianfar, K., 2005, 12th International Congress on Sound and Vibration 2005, ICSV 2005. p. 3967-3974 8 p. (12th International Congress on Sound and Vibration 2005, ICSV 2005; vol. 5).

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

• From assessment to intervention: Conceptual understanding of rate and accumulation processes

  Flynn, C. D., Davidson, C. I. & Dotger, S., Jun 26 2016, 2016 ASEE Annual Conference and Exposition. American Society for Engineering Education, Vol. 2016-June.

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

• From Causal Models to Sound Heuristic Inference

  Morais, A. S., Schooler, L. J., Olsson, H. & Meder, B., 2014, Proceedings of the 36th Annual Meeting of the Cognitive Science Society, CogSci 2014. The Cognitive Science Society, p. 1036-1041 6 p. (Proceedings of the 36th Annual Meeting of the Cognitive Science Society, CogSci 2014).

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

• From conservation to crowdsourcing: A typology of citizen science

  Wiggins, A. & Crowston, K., 2011, Proceedings of the 44th Annual Hawaii International Conference on System Sciences, HICSS-44 2010. 5718708. (Proceedings of the Annual Hawaii International Conference on System Sciences).

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

• From “Library Science” to “Library Design”: Recasting the Narrative of Academic Librarianship

  Clarke, R., 2019, Proceedings of the Association for College and Research Libraries.

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

• Front end electronics and readout system for a gas radiator ring imaging cherenkov detector using multi-anode photomultiplier tubes

  Menaa, N., Sia, R., Artuso, M., Boulahouache, C., Blusk, S., Butt, J., Dorjkhaidav, O., Mountain, R., Muramatsu, H., Nandakumar, R., Randriannarivony, K., Skwarnicki, T., Stone, S., Wang, J. C. & Zhang, K., 2005, 2005 IEEE Nuclear Science Symposium Conference Record -Nuclear Science Symposium and Medical Imaging Conference. Institute of Electrical and Electronics Engineers Inc., p. 791-795 5 p. 1596374. (IEEE Nuclear Science Symposium Conference Record; vol. 2).

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

• Full-chip leakage current estimation based on statistical sampling techniques

  Liu, S., Qiu, Q. & Wu, Q., Dec 2 2008, GLSVLSI 2008: Proceedings of the 2008 ACM Great Lakes Symposium on VLSI. p. 391-394 4 p. (Proceedings of the ACM Great Lakes Symposium on VLSI, GLSVLSI).

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

• Fully three-dimensional viscous semi-inverse method for subsonic mixed-flow and radial impeller design

  Ji, M., Dang, T. Q. & Cave, M. J., 2009, Proceedings of the ASME Turbo Expo 2009: Power for Land, Sea and Air. PART A ed. p. 467-476 10 p. (Proceedings of the ASME Turbo Expo; vol. 7, no. PART A).

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

• Functional and behavioral representation of product information for collaboration in product lifecycle

  Baysal, M. M., Sarigecili, M. I. & Roy, U., 2007, Design and Manufacturing. American Society of Mechanical Engineers (ASME), p. 133-141 9 p. (ASME International Mechanical Engineering Congress and Exposition, Proceedings (IMECE); vol. 3).

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

• Functional and behavioral representation of product information for collaboration in product lifecycle

  Baysal, M. M., Sarigecili, M. I. & Roy, U., 2008, Proceedings of the ASME International Mechanical Engineering Congress and Exposition, IMECE 2007. p. 133-141 9 p. (ASME International Mechanical Engineering Congress and Exposition, Proceedings; vol. 3).

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

• Functional electrical stimulation induced cycling using repetitive learning control

  Duenas, V. H., Cousin, C. A., Parikh, A. & Dixon, W. E., Dec 27 2016, 2016 IEEE 55th Conference on Decision and Control, CDC 2016. Institute of Electrical and Electronics Engineers Inc., p. 2190-2195 6 p. 7798588. (2016 IEEE 55th Conference on Decision and Control, CDC 2016).

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

• Functionally graded shape memory polymer

  Lee, K. M. & Mather, P. T., Sep 28 2007, Society of Plastics Engineers Annual Technical Conference: Plastics Encounter at ANTEC 2007, Conference Proceedings. p. 826-829 4 p. (Annual Technical Conference - ANTEC, Conference Proceedings; vol. 2).

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

• Functional requirements for integrated Infrastructure Management Systems

  Salem, O. M., Dec 1 2007, Advanced Characterisation of Pavement and Soil Engineering Materials - Proceedings of the International Conference on Advanced Characterisation of Pavement and Soil Engineering Materials. p. 1125-1132 8 p. (Advanced Characterisation of Pavement and Soil Engineering Materials - Proceedings of the International Conference on Advanced Characterisation of Pavement and Soil Engineering Materials; vol. 2).

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

• Functional tolerancing of a gearbox

  Wang, H., Roy, U., Sudarsan, R., Sriram, R. D. & Lyons, K. W., 2003, 31st North American Manufacturing Research Conference 2003 - Transactions of the North American Manufacturing Research Institution of SME. p. 523-530 8 p. (Transactions of the North American Manufacturing Research Institution of SME; vol. 31).

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

• Function-to-form mapping in design synthesis taking sustainable manufacturing issues into consideration

  Li, Y. & Roy, U., Jan 1 2013, 33rd Computers and Information in Engineering Conference. American Society of Mechanical Engineers, V02AT02A052. (Proceedings of the ASME Design Engineering Technical Conference; vol. 2 A).

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

• Function words for Chinese authorship attribution

  Yu, B., 2012, Workshop on Computational Linguistics for Literature, CLfL 2012 - Co-located with the 2012 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, NAACL-HLT 2012 - Proceedings. Elson, D. K., Kazantseva, A., Mihalcea, R. & Szpakowicz, S. (eds.). Association for Computational Linguistics (ACL), p. 45-53 9 p. (Workshop on Computational Linguistics for Literature, CLfL 2012 - Co-located with the 2012 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, NAACL-HLT 2012 - Proceedings).

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

• Fun versus productivity and intentions to use ICT's in Bolivia

  Guzman, I. R. & Kaarst-Brown, M. L., 2012, SIGMIS-CPR'12 - Proceedings of the 2012 Computers and People Research Conference. p. 137-141 5 p. (SIGMIS-CPR'12 - Proceedings of the 2012 Computers and People Research Conference).

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

• Further characterization of a wideband dual polarized microstrip flared slot antenna

  Povinelli, M., 1988, IEEE Antennas and Propagation Society, AP-S International Symposium (Digest). IEEE Computer Society, Vol. 2. p. 712-715 4 p.

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

• Further results of ΣΔ-STAP approach to airborne surveillance radars

  Zhang, Y. & Wang, H., 1997, IEEE National Radar Conference - Proceedings. Anon (ed.). IEEE Computer Society, p. 337-342 6 p.

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

• Further results on decoding linear block codes using a generalized dijkstra's algorithm

  Han, Y. S., Hartmann, C. R. P. & Mehrotra, K. G., 1994, IEEE International Symposium on Information Theory - Proceedings. IEEE Computer Society

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

• Further results on decoding linear block codes using a generalized Dijkstra's algorithm

  Han, Y. S., Hartmanq, C. R. P. & Mehrotra, K. G., Dec 1 1994, Proceedings - 1994 IEEE International Symposium on Information Theory, ISIT 1994. 1 p. 394676. (IEEE International Symposium on Information Theory - Proceedings).

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

• Further results on robust CFAR processing in conjunction with adaptive clutter/jamming suppression

  Wang, H. & Cai, L., Dec 1 1992, IEE Conference Publication. 365 ed. Publ by IEE, p. 192-195 4 p. (IEE Conference Publication; no. 365).

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

• Further results on the design of decentralized Bayesian detection systems

  Hashlamoun, W. A. & Varshney, P. K., 1990, Proc 90 Int Conf Syst Eng. IEEE Computer Society, p. 186-189 4 p.

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

• Further study on space-time adaptive processing with sum and difference beams

  Zhang, Y. & Wang, H., 1997, IEEE Antennas and Propagation Society, AP-S International Symposium (Digest). Anon (ed.). IEEE Computer Society, Vol. 4. p. 2422-2425 4 p.

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

• Fusing heterogeneous data for detection under non-stationary dependence

  He, H., Subramanian, A., Varshney, P. K. & Damarla, T., Oct 24 2012, 15th International Conference on Information Fusion, FUSION 2012. p. 1792-1799 8 p. 6290520. (15th International Conference on Information Fusion, FUSION 2012).

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

• Fusion for the detection of dependent signals using multivariate copulas

  Subramanian, A., Sundaresan, A. & Varshney, P. K., Sep 13 2011, Fusion 2011 - 14th International Conference on Information Fusion. 5977720. (Fusion 2011 - 14th International Conference on Information Fusion).

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

• Fusion of Deep Neural Networks for Activity Recognition: A Regular Vine Copula Based Approach

  Zhang, S., Geng, B., Varshney, P. K. & Rangaswamy, M., Jul 2019, FUSION 2019 - 22nd International Conference on Information Fusion. Institute of Electrical and Electronics Engineers Inc., 9011282. (FUSION 2019 - 22nd International Conference on Information Fusion).

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

• Fusion of multiple microphone arrays for blind source separation and localization

  Wu, T., Sun, L., Cheng, Q. & Varshney, P. K., Oct 12 2012, 2012 IEEE 7th Sensor Array and Multichannel Signal Processing Workshop, SAM 2012. p. 173-176 4 p. 6250458. (Proceedings of the IEEE Sensor Array and Multichannel Signal Processing Workshop).

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