Search concepts
|
Selected Filters
|
- 34,050 - 34,100 out of 40,591 results
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., 7003372Research 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 SocietyResearch 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