Find Research outputs

Search results

• Conference contribution

  Revisiting route caching: The world should be flat

  Kim, C., Caesar, M., Gerber, A. & Rexford, J., 2009, Passive and Active Network Measurement - 10th International Conference, PAM 2009, Proceedings. p. 3-12 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5448).

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

• Revisiting the divergence minimization feedback model

  Lv, Y. & Zhai, C. X., Nov 3 2014, CIKM 2014 - Proceedings of the 2014 ACM International Conference on Information and Knowledge Management. Association for Computing Machinery, p. 1863-1866 4 p. (CIKM 2014 - Proceedings of the 2014 ACM International Conference on Information and Knowledge Management).

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

• Revisiting the foundations of information discovery and access systems

  Buckland, M., Greenberg, J., La Barre, K. & Palmer, C., 2007, ASIST 2007 Proceedings of the 70th ASIS and T Annual Meeting - Joining Research and Practice: Social Computing and Information Science. Vol. 44.

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

• Revisiting the Jules Geosol and gastropod paleoecology in last glacial maximum loess, western Illinois

  Grimley, D. A., Nash, Jr., T. A., Conroy, J., Wang, H., Miao, X. & Curry, B., 2015, Abstracts with Programs - Geological Society of America. 7 ed. Vol. 47. p. 716

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

• Revitalizing Cahokia's Moorehead Phase: Change and Continuity at the Copper Site

  Baltus, M., 2013, MAC, Midwest Archaeological Conference.

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

• ReViveI/O: Efficient handling of I/O in highly-available rollback-recovery servers

  Nakano, J., Montesinos, P., Gharachorloo, K. & Torrellas, J., Sep 26 2006, Proceedings - Twelfth International Symposium on High-Performance Computer Architecture, 2006. p. 203-214 12 p. 1598129. (Proceedings - International Symposium on High-Performance Computer Architecture; vol. 2006).

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

• Revolutionizing our View of Protostellar Multiplicity and Disks: The VLA Nascent Disk and Multiplicity (VANDAM) Survey of the Perseus Molecular Cloud

  Tobin, J. J., Looney, L. W., Li, Z. Y., Chandler, C. J., Dunham, M. M., Segura-Cox, D., Cox, E. G., Harris, R. J., Melis, C., Sadavoy, S. I., Pérez, L. & Kratter, K., May 20 2016, Conditions and Impact of Star Formation 2015. Schaaf, R., Stutzki, J. & Simon, R. (eds.). EDP Sciences, p. 273-276 4 p. (EAS Publications Series; vol. 75-76).

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

• Rewriting as a unified model of concurrency

  Meseguer, J., 1990, CONCUR 1990 - Theories of Concurrency: Unification and Extension, Proceedings. Klop, J. W., Baeten, J. C. M., Klop, J. W. & Baeten, J. C. M. (eds.). Springer, p. 384-400 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 458 LNCS).

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

• Rewriting as a unified model of concurrency

  Meseguer, J., Apr 1 1991, Proceedings of the Workshop on Object-Based Concurrent Programming, OOPSLA/ECOOP 1990. Yonezawa, A., Hewitt, C., Agha, G. & Wegner, P. (eds.). Association for Computing Machinery, Inc, p. 86-88 3 p. (Proceedings of the Workshop on Object-Based Concurrent Programming, OOPSLA/ECOOP 1990).

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

• Rewriting logic and maude: A wide-spectrum semantic framework for object-based distributed systems

  Meseguer, J., 2000, Formal Methods for Open Object-Based Distributed Systems IV - TC6/WG6.1, Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2000Typo error: IFIP. Springer, p. 89-117 29 p. (IFIP Advances in Information and Communication Technology; vol. 49 AICT).

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

• Rewriting logic and maude: Concepts and applications

  Meseguer, J., 2000, Rewriting Techniques and Applications - 11th International Conference, RTA 2000, Proceedings. Bachmair, L. (ed.). Springer, p. 1-26 26 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1833).

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

• Rewriting logic as a metalogical framework

  Basin, D., Clavel, M. & Meseguer, J., 2000, FST TCS 2000: Foundations of Software Technology and Theoretical Computer Science - 20th Conference, Proceedings. Kapoor, S. & Prasad, S. (eds.). Springer, p. 55-80 26 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1974).

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

• Rewriting logic as a semantic framework for concurrency: A progress report

  Meseguer, J., Jan 1 1996, CONCUR 1996: Concurrency Theory - 7th International Conference, Proceedings. Montanari, U. & Sassone, V. (eds.). Springer, p. 331-372 42 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1119).

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

• Rewriting logic semantics and verification of model transformations

  Boronat, A., Heckel, R. & Meseguer, J., 2009, Fundamental Approaches to Software Engineering - 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, Proceedings.. p. 18-33 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5503).

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

• Rewriting queries using views with access patterns under integrity constraints

  Deutsch, A., Ludäscher, B. & Nash, A., 2005, Database Theory - ICDT 2005 - 10th International Conference, Proceedings. p. 352-367 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3363 LNCS).

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

• Reynolds number effects on the performance of small-scale propellers

  Deters, R. W., Ananda, G. K. & Selig, M. S., Jan 1 2014, 32nd AIAA Applied Aerodynamics Conference. American Institute of Aeronautics and Astronautics Inc., (32nd AIAA Applied Aerodynamics Conference).

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

• RFIC transformer with 12x size reduction and 15x performance enhancement by self-rolled-up membrane nanotechnology

  Huang, W., Li, M., Gong, S. & Li, X., Jan 1 2015, Advanced Fabrication and Manufacturing; Emerging Technology Frontiers; Energy, Health and Water- Applications of Nano-, Micro- and Mini-Scale Devices; MEMS and NEMS; Technology Update Talks; Thermal Management Using Micro Channels, Jets, Sprays. American Society of Mechanical Engineers, (ASME 2015 International Technical Conference and Exhibition on Packaging and Integration of Electronic and Photonic Microsystems, InterPACK 2015, collocated with the ASME 2015 13th International Conference on Nanochannels, Microchannels, and Minichannels; vol. 3).

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

• RF-IDraw: Virtual touch screen in the air using RF signals

  Vasisht, D., Wang, J. & Katabi, D., 2014, S3 2014 - Proceedings of the 6th ACM MobiCom Workshop on Wireless of the Students, by the Students, for the Students. Association for Computing Machinery, Inc, p. 1-3 3 p. (S3 2014 - Proceedings of the 6th ACM MobiCom Workshop on Wireless of the Students, by the Students, for the Students).

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

• RF-IDraw: Virtual touch screen in the air using RF signals

  Wang, J., Vasisht, D. & Katabi, D., 2014, SIGCOMM 2014 - Proceedings of the 2014 ACM Conference on Special Interest Group on Data Communication. Association for Computing Machinery, p. 235-246 12 p. (SIGCOMM 2014 - Proceedings of the 2014 ACM Conference on Special Interest Group on Data Communication).

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

• RFID trees: A distributed RFID tag storage infrastructure for forest search and rescue

  Wu, V. K. Y. & Vaidya, N. H., Aug 5 2010, SECON 2010 - 2010 7th Annual IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks. 5508249. (SECON 2010 - 2010 7th Annual IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks).

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

• RF MEMS switch model for reconfigurable antenna design

  Daly, M. P. & Bernhard, J. T., Nov 13 2008, 2008 IEEE International Symposium on Antennas and Propagation and USNC/URSI National Radio Science Meeting, APSURSI. 4619623. (2008 IEEE International Symposium on Antennas and Propagation and USNC/URSI National Radio Science Meeting, APSURSI).

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

• RF-MEMS varactor with minimal contact

  Shen, Q., Chasiotis, I. & Barker, N. S., 2004, Proceedings of the ASME/STLE International Joint Tribology Conference, IJTC 2004. PART A ed. American Society of Mechanical Engineers, p. 41-45 5 p. TRIB2004-64340. (Proceedings of the ASME/STLE International Joint Tribology Conference, IJTC 2004; no. PART A).

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

• RF Microcoils patterned using microlithographic techniques for use as microsensors in NMR

  Peck, T. L., La Valle, L., Magin, R. L., Adesida, I., Wheeler, B. C. & Lauterbur, P. C., Dec 1 1993, Proceedings of the Annual Conference on Engineering in Medicine and Biology. pt 1 ed. Publ by IEEE, p. 174-175 2 p. (Proceedings of the Annual Conference on Engineering in Medicine and Biology; vol. 15, no. pt 1).

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

• RF performance of 3D III-V nanowire T-Gate HEMTs grown by VLS method

  Chabak, K. D., Miao, X., Zhang, C., Walker, D. E. & Li, X., Jan 1 2014, 72nd Device Research Conference, DRC 2014 - Conference Digest. Institute of Electrical and Electronics Engineers Inc., p. 211-212 2 p. 6872372. (Device Research Conference - Conference Digest, DRC).

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

• RGBD-camera based get-up event detection for hospital fall prevention

  Ni, B., Nguyen, C. D. & Moulin, P., Oct 23 2012, 2012 IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2012 - Proceedings. p. 1405-1408 4 p. 6287947. (ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings).

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

• RGBD-HuDaAct: A color-depth video database for human daily activity recognition

  Ni, B., Wang, G. & Moulin, P., Dec 1 2011, 2011 IEEE International Conference on Computer Vision Workshops, ICCV Workshops 2011. p. 1147-1153 7 p. 6130379. (Proceedings of the IEEE International Conference on Computer Vision).

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

• RGB-D video content identification

  Yu, H., Moulin, P. & Roy, S., Oct 18 2013, 2013 IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2013 - Proceedings. p. 3776-3780 5 p. 6638364. (ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings).

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

• Rhyacophila dandaganu, a new caddisfly from the southern Cumberland Plateau (USA) (Trichoptera: Rhyacophilidae)

  Robinson, J. L. & Parker, C. R., 2019, Zoosymposia. 1 ed. Magnolia Press, Vol. 14. p. 261-272 (Zoosymposia).

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

• Rhythm measures with language-independent segmentation

  Loukina, A., Kochanski, G., Shih, C., Keane, E. & Watson, I., 2009, Proceedings of interspeech 2009: Speech and Intelligence. p. 1531-1534 4 p.

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

• Ribbons: Enabling the Effective Use of HPC Utilization Data for System Support Staff

  Sisneros, R., Fullop, J., Semeraro, B. D. & Bauer, G. H., 2014, 5th International EuroVis Workshop on Visual Analytics, EuroVA 2014 at EuroVis 2014. Eurographics Association, p. 13-17 5 p. (International Workshop on Visual Analytics).

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

• Rice husk ash as a silica source in a geopolymer formulation

  Heo, U. H., Sankar, K., Kriven, W. M. & Musil, S. S., Jan 1 2014, Developments in Strategic Materials and Computational Design V: Ceramic Engineering and Science Proceedings. Lewinsohn, C., Zhou, Y., Wang, J., Kriven, W. M., Moon, K. I., Hwang, T. & Zhu, D. (eds.). 8 ed. American Ceramic Society, p. 87-101 15 p. (Ceramic Engineering and Science Proceedings; vol. 35, no. 8).

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

• Rich Syntactic and Semantic Information Helps Unsupervised Text Style Transfer

  Gong, H., Song, L. & Bhat, S., 2020, INLG 2020 - 13th International Conference on Natural Language Generation, Proceedings. Davis, B., Graham, Y., Kelleher, J. & Sripada, Y. (eds.). Association for Computational Linguistics (ACL), p. 113-119 7 p. (INLG 2020 - 13th International Conference on Natural Language Generation, Proceedings).

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

• Rico: A mobile app dataset for building data-driven design applications

  Deka, B., Huang, Z., Franzen, C., Hibschman, J., Afergan, D., Li, Y., Nichols, J. & Kumar, R., Oct 20 2017, UIST 2017 - Proceedings of the 30th Annual ACM Symposium on User Interface Software and Technology. Association for Computing Machinery, Inc, p. 845-854 10 p. (UIST 2017 - Proceedings of the 30th Annual ACM Symposium on User Interface Software and Technology).

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

• RideSense: Towards ticketless transportation

  Meng, R., Grömling, D. W., Choudhury, R. R. & Nelakuditi, S., Jul 2 2016, 2016 IEEE Vehicular Networking Conference, VNC 2016. Altintas, O., Ekici, E., Tsai, M., Sepulcre, M., Bloessl, B. & Wei, Y-L. (eds.). IEEE Computer Society, 7835965. (IEEE Vehicular Networking Conference, VNC; vol. 0).

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

• Ridesharing systems with electric vehicles

  Mamalis, T., Bose, S. & Varshney, L. R., Jul 2019, 2019 American Control Conference, ACC 2019. Institute of Electrical and Electronics Engineers Inc., p. 3329-3334 6 p. 8815109. (Proceedings of the American Control Conference; vol. 2019-July).

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

• Ridge migration modeling with human activities

  Yan, Q., Kwang, J., Kumar, P., Anders, A., Rhoads, B. L., Stumpf, A. J. & Keefer, L., 2015, Abstracts with Programs - Geological Society of America. Boulder, CO: Geological Society of America, Vol. 47. p. 91

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

• Ridge-Top Mounds and the East St. Louis Mound Complex

  Brennan, T. K. & Baires, S. E., 2014, MAC 2014 Abstracts. p. 47

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

• Rigel: An architecture and scalable programming interface for a 1000-core accelerator

  Kelm, J. H., Johnson, D. R., Johnson, M. R., Crago, N. C., Tuohy, W., Mahesri, A., Lumetta, S. S., Frank, M. I. & Patel, S. J., Nov 30 2009, ISCA 2009 - 36th Annual International Symposium on Computer Architecture, Conference Proceedings. p. 140-151 12 p. (Proceedings - International Symposium on Computer Architecture).

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

• Right-hand side effect on the convergence of integral equation based systems

  Liu, Q. S., Sun, S., Chew, W. C., Dai, Q. I. & Jiang, L. J., Nov 2 2016, Proceedings of the 2016 18th International Conference on Electromagnetics in Advanced Applications, ICEAA 2016. Institute of Electrical and Electronics Engineers Inc., p. 612-615 4 p. 7731469. (Proceedings of the 2016 18th International Conference on Electromagnetics in Advanced Applications, ICEAA 2016).

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

• Rigidity analysis for protein motion and folding core identification

  Thomas, S., Tapia, L., Ekenna, C., Yeh, H. Y. & Amato, N. M., 2013, Artificial Intelligence and Robotics Methods in Computational Biology - Papers from the 2013 AAAI Workshop, Technical Report. AI Access Foundation, p. 38-43 6 p. (AAAI Workshop - Technical Report; vol. WS-13-06).

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

• Rigorous conductor modeling of signal integrity in integrated circuits

  Shao, Y., Peng, Z., Wei, J. & Lee, J. F., Dec 1 2013, 2013 USNC-URSI Radio Science Meeting (Joint with AP-S Symposium), USNC-URSI 2013 - Proceedings. 1 p. 6715498. (2013 USNC-URSI Radio Science Meeting (Joint with AP-S Symposium), USNC-URSI 2013 - Proceedings).

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

• Rigorous conductor modeling of signal integrity in integrated circuits

  Shao, Y., Peng, Z. & Lee, J. F., Dec 2 2013, Proceedings of the 2013 International Conference on Electromagnetics in Advanced Applications, ICEAA 2013. p. 761-764 4 p. 6632346. (Proceedings of the 2013 International Conference on Electromagnetics in Advanced Applications, ICEAA 2013).

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

• Rigorous electromagnetic modeling of chip-to-package (first-level) interconnections

  Tsuei, Y. S., Cangellaris, A. C. & Prince, J. L., 1993, Proceedings - Electronic Components and Technology Conference. Publ by IEEE, p. 623-629 7 p.

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

• Rigorous quantification of polarized fiber continuum generation for broadband coherent optical sources

  Tu, H., Liu, Y., Sharma, U. & Boppart, S. A., Sep 1 2011, 2011 Conference on Lasers and Electro-Optics: Laser Science to Photonic Applications, CLEO 2011. 5950956. (2011 Conference on Lasers and Electro-Optics: Laser Science to Photonic Applications, CLEO 2011).

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

• Rigorous quantification of polarized fiber continuum generation for broadband coherent optical sources

  Tu, H., Liu, Y., Sharma, U. & Boppart, S. A., Dec 1 2011, CLEO: Science and Innovations, CLEO_SI 2011. (Optics InfoBase Conference Papers).

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

• Rigorous quantification of polarized fiber continuum generation for broadband coherent optical sources

  Tu, H., Liu, Y., Sharma, U. & Boppart, S. A., Dec 1 2011, Quantum Electronics and Laser Science Conference, QELS 2011. (Optics InfoBase Conference Papers).

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

• Rigorous quantification of polarized fiber continuum generation for broadband coherent optical sources

  Tu, H., Liu, Y., Sharma, U. & Boppart, S. A., Jan 1 2011, CLEO: Applications and Technology, CLEO_AT 2011. Optical Society of America (OSA), (Optics InfoBase Conference Papers).

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

• Rigorous quantification of polarized fiber continuum generation for broadband coherent optical sources

  Tu, H., Liu, Y., Sharma, U. & Boppart, S. A., Dec 1 2011, CLEO: Applications and Technology, CLEO_AT 2011. (Optics InfoBase Conference Papers).

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

• Ring Motor Front Wheel for Electric Motorcycle

  Cheng, L., Yi, X., Min, B. H. & Haran, K., Apr 24 2019, 2019 IEEE Power and Energy Conference at Illinois, PECI 2019. Institute of Electrical and Electronics Engineers Inc., 8698911. (2019 IEEE Power and Energy Conference at Illinois, PECI 2019).

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

• Ring-shaped confocal photoacoustic computed tomography for small-animal whole-body imaging

  Xia, J., Chatni, M., Maslov, K., Guo, Z., Anastasio, M. & Wang, L. V., Apr 9 2012, Photons Plus Ultrasound: Imaging and Sensing 2012. 82230G. (Progress in Biomedical Optics and Imaging - Proceedings of SPIE; vol. 8223).

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