Find Research Outputs

Search in all content

Filters for Research & Scholarship

Search concepts
Selected Filters
  • 147,500 - 147,550 out of 176,395 results
  • Export search results

Search results

  • Conference contribution

    Kinetic study of the devitrification of mold powder slags

    Maldonado, Y. G., Acosta, F. A., Castillejos, A. H. & Thomas, B. G., Sep 17 2012, AISTech 2012 - Proceedings of the Iron and Steel Technology Conference and Exposition. p. 1279-1289 11 p. (AISTech - Iron and Steel Technology Conference Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Kirk Bryan award; Fabrics and patterns of till deformation beneath glaciers

    Iverson, N. R., Hooyer, T. S., Thomason, J. F., Marciulionis, J. R., Ankerstjerne, S., Vreeland, N. P. & Graesch, M., 2012, Abstracts with Programs - Geological Society of America. Boulder, CO: Geological Society of America, Vol. 44. p. 462

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • K-Java: A complete semantics of Java

    Bogdənaş, D. & Rosu, G., Jan 14 2015, POPL 2015 - Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Association for Computing Machinery, p. 445-456 12 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages; vol. 2015-January).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • KJS: A complete formal semantics of JavaScript

    Park, D., Ştefənescu, A. & Roşu, G., Jun 3 2015, PLDI 2015 - Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation. Blackburn, S. & Grove, D. (eds.). Association for Computing Machinery, p. 346-356 11 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI); vol. 2015-June).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • KLA: A new algorithmic paradigm for parallel graph computations

    Harshvardhan, Fidel, A., Amato, N. M. & Rauchwerger, L., Jan 1 2014, PACT 2014 - Proceedings of the 23rd International Conference on Parallel Architectures and Compilation Techniques. Institute of Electrical and Electronics Engineers Inc., p. 27-38 12 p. (Parallel Architectures and Compilation Techniques - Conference Proceedings, PACT).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • KLAP: Kernel launch aggregation and promotion for optimizing dynamic parallelism

    Hajj, I. E., Gomez-Luna, J., Li, C., Chang, L. W., Milojicic, D. & Hwu, W. M., Dec 14 2016, MICRO 2016 - 49th Annual IEEE/ACM International Symposium on Microarchitecture. IEEE Computer Society, 7783716. (Proceedings of the Annual International Symposium on Microarchitecture, MICRO; vol. 2016-December).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Klee's measure problem made easy

    Chan, T. M., 2013, Proceedings - 2013 IEEE 54th Annual Symposium on Foundations of Computer Science, FOCS 2013. p. 410-419 10 p. 6686177. (Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • K-maude: A rewriting based tool for semantics of programming languages

    Serbanuta, T. F. & Roşu, G., Nov 22 2010, Rewriting Logic and Its Applications - 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Revised Selected Papers. p. 104-122 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6381 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 'Knee-deep in the data': Practical problems in applying the OAIS Reference Model to the preservation of computer games

    McDonough, J. P., Jan 1 2012, Proceedings of the 45th Annual Hawaii International Conference on System Sciences, HICSS-45. IEEE Computer Society, p. 1625-1634 10 p. 6149082. (Proceedings of the Annual Hawaii International Conference on System Sciences).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Knickpoint migration induced by landslide: Evidence from laboratory to field observations in Wabush Lake

    Turmel, D., Locat, J., Parker, G. & Konrad, J. M., 2016, Submarine Mass Movements and Their Consequences: 7th International Symposium. Pecher, I., Mueller, C., Hubble, T., Moscardelli, L., Lamarche, G., Bull, S., Lane, E., Micallef, A., Mountjoy, J., Krastel, S. & Woelz, S. (eds.). Springer Netherlands, p. 229-239 11 p. (Advances in Natural and Technological Hazards Research; vol. 41).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Knowing the unseen: Estimating vocabulary size over unseen samples

    Bhat, S. & Sproat, R., Dec 1 2009, ACL-IJCNLP 2009 - Joint Conf. of the 47th Annual Meeting of the Association for Computational Linguistics and 4th Int. Joint Conf. on Natural Language Processing of the AFNLP, Proceedings of the Conf.. p. 108-117 10 p. (ACL-IJCNLP 2009 - Joint Conf. of the 47th Annual Meeting of the Association for Computational Linguistics and 4th Int. Joint Conf. on Natural Language Processing of the AFNLP, Proceedings of the Conf.).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Knowing when to put your foot down

    Ikemoto, L., Arikan, O. & Forsyth, D. A., Sep 21 2006, Proceedings I3d 2006 - ACM SIGGRAPH Symposium on Interactive 3D Graphics and Games. p. 49-53 5 p. (Proceedings of the Symposium on Interactive 3D Graphics; vol. 2006).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Knowledge-based integration of neuroscience data sources

    Gupta, A., Ludaescher, B. & Martone, M. E., 2000, Proceedings of the International Conference on Scientific and Statistical Database Management, SSDBM. IEEE, p. 39-52 14 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • KNOWLEDGE-BASED SYNTHESIS OF CUSTOM VLSI PHYSICAL DESIGN TOOLS: FIRST STEPS.

    Setliff, D. E. & Rutenbar, R. A., Jan 1 1988, Unknown Host Publication Title. IEEE, p. 102-108 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Knowledge Base Population: Successful approaches and challenges

    Ji, H. & Grishman, R., Dec 1 2011, ACL-HLT 2011 - Proceedings of the 49th Annual Meeting of the Association for Computational Linguistics: Human Language Technologies. p. 1148-1158 11 p. (ACL-HLT 2011 - Proceedings of the 49th Annual Meeting of the Association for Computational Linguistics: Human Language Technologies; vol. 1).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • KNOWLEDGE DIRECTED RECURSIVE RULE COMPILATION IN EXPERT DATABASE SYSTEMS.

    Han, J. & Travis, L., Dec 1 1985, Unknown Host Publication Title. IEEE, p. 137-141 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Knowledge discovery and constraint-based processing in automated manufacturing

    Han, J. & Fu, Y., Dec 1 1993, Proceedings of the IEEE Conference on Control Applications. Publ by IEEE, p. 691-696 6 p. (Proceedings of the IEEE Conference on Control Applications; vol. 2).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Knowledge discovery from big data for intrusion detection using LDA

    Huang, J., Kalbarczyk, Z. T. & Nicol, D. M., Sep 22 2014, Proceedings - 2014 IEEE International Congress on Big Data, BigData Congress 2014. Chen, P., Chen, P. & Jain, H. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 760-761 2 p. 6906855. (Proceedings - 2014 IEEE International Congress on Big Data, BigData Congress 2014).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Knowledge discovery in databases: A rule-based attribute-oriented approach

    Cheung, D. W. L., Fu, A. W. C. & Han, J., Jan 1 1994, Methodologies for Intelligent Systems - 8th International Symposium, ISMIS 1994, Proceedings. Ras, Z. W. & Zemankova, M. (eds.). Springer-Verlag Berlin Heidelberg, p. 165-173 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 869 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Knowledge fragment enrichment using domain knowledge base

    Zhang, J., Zhuang, H., Song, Y., Han, J., Zhang, Y., Tang, J. & Li, J., 2016, Social Media Processing - 5th National Conference, SMP 2016, Proceedings. Lin, H., Li, Y., Xiang, G. & Wang, M. (eds.). Springer-Verlag Berlin Heidelberg, p. 274-286 13 p. (Communications in Computer and Information Science; vol. 669).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Knowledge-intensive conceptual retrieval and passage extraction of biomedical literature

    Zhou, W., Yu, C., Smalheiser, N., Torvik, V. & Hong, J., Nov 30 2007, Proceedings of the 30th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, SIGIR'07. p. 655-662 8 p. (Proceedings of the 30th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, SIGIR'07).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Knowledge spaces and scientific data

    Futrelle, J., Gaynor, J., Plutchak, J., Bajcsy, P., Kastner, J., Kotwani, K., Lee, J. S., Marini, L., Kooper, R., McGrath, R. E., McLaren, T., Liu, Y. & Myers, J. D., Dec 1 2008, Proceedings - 4th IEEE International Conference on eScience, eScience 2008. p. 448-449 2 p. 4736840. (Proceedings - 4th IEEE International Conference on eScience, eScience 2008).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Knowledge transfer from universities to regions as a network spreading process

    Melo, A., Beck, C. L., Pena, J. I. & Pare, P. E., Nov 26 2018, 4th IEEE International Symposium on Systems Engineering, ISSE 2018 - Proceedings. Institute of Electrical and Electronics Engineers Inc., 8544398. (4th IEEE International Symposium on Systems Engineering, ISSE 2018 - Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Knowledge transfer via multiple model local structure mapping

    Gao, J., Fan, W., Jiang, J. & Han, J., 2008, KDD 2008 - Proceedings of the 14th ACMKDD International Conference on Knowledge Discovery and Data Mining. p. 283-291 9 p. (Proceedings of the ACM SIGKDD International Conference on Knowledge Discovery and Data Mining).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • KnowSim: A document similarity measure on structured heterogeneous information networks

    Wang, C., Song, Y., Li, H., Zhang, M. & Han, J., Jan 5 2016, Proceedings - 15th IEEE International Conference on Data Mining, ICDM 2015. Aggarwal, C., Zhou, Z-H., Tuzhilin, A., Xiong, H. & Wu, X. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 1015-1020 6 p. 7373428. (Proceedings - IEEE International Conference on Data Mining, ICDM; vol. 2016-January).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Know your neighborhood: A strategy for energy-efficient communication

    Ashraf, F., Crepaldi, R. & Kravets, R. H., Dec 1 2010, 2010 IEEE 7th International Conference on Mobile Adhoc and Sensor Systems, MASS 2010. p. 392-401 10 p. 5663944. (2010 IEEE 7th International Conference on Mobile Adhoc and Sensor Systems, MASS 2010).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Kohonen's self-organizing maps: Exploring their computational capabilities

    Ritter, H. & Schulten, K., 1988, IEEE Int Conf on Neural Networks. Publ by IEEE, p. 109-116 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • KOOL: An application of rewriting logic to language prototyping and analysis

    Hills, M. & Rosu, G., 2007, Term Rewriting and Applications - 18th International Conference, RTA 2007, Proceedings. Vol. 4533 LNCS. p. 246-256 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4533 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Korat: A tool for generating structurally complex test inputs

    Milićević, A., Misailović, S., Marinov, D. & Khurshid, S., Sep 25 2007, Proceedings - 29th International Conference on Software Engineering, ICSE 2007. p. 771-774 4 p. 4222644. (Proceedings - International Conference on Software Engineering).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Korat: Automated testing based on Java predicates

    Boyapati, C., Khurshid, S. & Marinov, D., Dec 1 2002, Proceedings of the ACM SIGSOFT 2002 International Symposium on Software Testing and Analysis. Frankl, P. G. & Frankl, P. G. (eds.). p. 123-133 11 p. (Proceedings of the ACM SIGSOFT 2002 International Symposium on Software Testing and Analysis).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • K-pop genres: A cross-cultural exploration

    Lee, J. H., Choi, K., Hu, X. & Stephen Downie, J., Jan 1 2013, Proceedings of the 14th International Society for Music Information Retrieval Conference, ISMIR 2013. Britto, A. D. S., Gouyon, F. & Dixon, S. (eds.). International Society for Music Information Retrieval, p. 529-534 6 p. (Proceedings of the 14th International Society for Music Information Retrieval Conference, ISMIR 2013).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Krylov subspace-based model-order reduction techniques for circuit simulations

    Beyene, W. T. & Schutt-Aine, J. E., 1996, Midwest Symposium on Circuits and Systems. Cameron, G., Hassoun, M., Jerdee, A. & Melvin, C. (eds.). IEEE, Vol. 1. p. 331-334 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • K-space and image space combination for motion artifact correction in multicoil multishot diffusion weighted imaging

    Van Anh, T., Karampinos, D. C., Georgiadis, J. G. & Sutton, B. P., Dec 1 2008, Proceedings of the 30th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBS'08. p. 1675-1678 4 p. 4649497. (Proceedings of the 30th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBS'08 - "Personalized Healthcare through Technology").

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • KYP lemma for internally positive systems and a tractable class of distributed H-infinity control problems

    Tanaka, T. & Langbort, C., Jan 1 2010, Proceedings of the 2010 American Control Conference, ACC 2010. IEEE Computer Society, p. 6238-6243 6 p. 5531530. (Proceedings of the 2010 American Control Conference, ACC 2010).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • L1 adaptive augmentation of a helicopter baseline controller

    Bichlmeier, M., Holzapfel, F., Xargay, E. & Hovakimyan, N., Jan 1 2013, AIAA Guidance, Navigation, and Control (GNC) Conference. American Institute of Aeronautics and Astronautics Inc., (AIAA Guidance, Navigation, and Control (GNC) Conference).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • L1 adaptive augmentation of a missile autopilot

    Peter, F., Holzapfel, F., Xargay, E. & Hovakimyan, N., Dec 1 2012, AIAA Guidance, Navigation, and Control Conference 2012. (AIAA Guidance, Navigation, and Control Conference 2012).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • L1 adaptive augmented dynamic inversion controller for a high agility UAV

    Geiser, M., Xargay, E., Hovakimyan, N., Bierling, T. & Holzapfel, F., 2011, AIAA Guidance, Navigation, and Control Conference 2011.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • L1 adaptive control design for NASA AirSTAR flight test vehicle

    Gregory, I. M., Cao, C., Xargay, E., Hovakimyan, N. & Zou, X., Dec 1 2009, AIAA Guidance, Navigation, and Control Conference and Exhibit. 2009-5738. (AIAA Guidance, Navigation, and Control Conference and Exhibit).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • L1 adaptive control for a class of nonaffine-in-control nonlinear systems

    Choe, R., Xargay, E. & Hovakimyan, N., Oct 22 2013, 11th IFAC International Workshop on Adaptation and Learning in Control and Signal Processing, ALCOSP 2013 - Proceedings. PART ed. p. 477-482 6 p. (IFAC Proceedings Volumes (IFAC-PapersOnline); vol. 11, no. PART).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • L1 adaptive control for autonomous rotorcraft

    Guerreiro, B. J., Silvestre, C., Cunha, R., Cao, C. & Hovakimyan, N., Nov 23 2009, 2009 American Control Conference, ACC 2009. p. 3250-3255 6 p. 5159940. (Proceedings of the American Control Conference).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • L1 adaptive control for optical soliton propagation

    Xargay, E., Langbort, C. & Hovakimyan, N., 2011, Proceedings of the 2011 American Control Conference, ACC 2011. p. 7-12 6 p. 5991480. (Proceedings of the American Control Conference).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • L1 adaptive control for positive LTI systems

    Sun, H., Zhu, Q., Hovakimyan, N. & Basar, M. T., Sep 29 2011, Proceedings of the 2011 American Control Conference, ACC 2011. p. 13-18 6 p. 5991472. (Proceedings of the American Control Conference).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • L1 adaptive control integrated missile autopilot and guidance

    Erdos, D., Shima, T., Kharisov, E. & Hovakimyan, N., 2012, AIAA Guidance, Navigation, and Control Conference 2012.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • L1 adaptive control law for flexible space launch vehicle and proposed plan for flight test validation

    Kharisov, E., Gregory, I. M., Cao, C. & Hovakimyan, N., Dec 1 2008, AIAA Guidance, Navigation and Control Conference and Exhibit. 2008-7128. (AIAA Guidance, Navigation and Control Conference and Exhibit).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • L1 adaptive controller for a class of systems with unknown nonlinearities

    Luo, J., Cao, C. & Hovakimyan, N., Oct 15 2010, Proceedings of the 2010 American Control Conference, ACC 2010. p. 1659-1664 6 p. 5531528. (Proceedings of the 2010 American Control Conference, ACC 2010).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • L 1 adaptive controller for air-breathing hypersonic vehicle with flexible body dynamics

    Lei, Y., Cao, C., Cliff, E., Hovakimyan, N., Kurdila, A. & Wise, K., Nov 23 2009, 2009 American Control Conference, ACC 2009. p. 3166-3171 6 p. 5160745. (Proceedings of the American Control Conference).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • L1 adaptive controller for a missile longitudinal autopilot design

    Wang, J., Cao, C., Hovakimyan, N., Hindman, R. E. & Ridgely, D. B., Dec 1 2008, AIAA Guidance, Navigation and Control Conference and Exhibit. 2008-6282. (AIAA Guidance, Navigation and Control Conference and Exhibit).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • L1 Adaptive controller for attitude control of multirotors

    Mallikarjunan, S., Nesbitt, B., Kharisov, E., Xargay, E., Hovakimyan, N. & Cao, C., Dec 1 2012, AIAA Guidance, Navigation, and Control Conference 2012. (AIAA Guidance, Navigation, and Control Conference 2012).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • L1 adaptive controller for multi-input multi-output systems in the presence of nonlinear unmatched uncertainties

    Xargay, E., Hovakimyan, N. & Cao, C., Oct 15 2010, Proceedings of the 2010 American Control Conference, ACC 2010. p. 874-879 6 p. 5530686. (Proceedings of the 2010 American Control Conference, ACC 2010).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • L1 adaptive controller for nonlinear reference systems

    Wang, X. & Hovakimyan, N., Sep 29 2011, Proceedings of the 2011 American Control Conference, ACC 2011. p. 594-599 6 p. 5991264. (Proceedings of the American Control Conference).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution