Find Research outputs

Search results

• Conference contribution

  Reverse if-conversion

  Warter, N. J., Mahlke, S. A., Hwu, W. M. W. & Rau, B. R., Dec 1 1993, Proc ACM SIGPLAN 93 Conf Program Lang Des Implementation. Anon (ed.). Publ by ACM, p. 290-299 10 p. (Proc ACM SIGPLAN 93 Conf Program Lang Des Implementation).

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

• Reverse link analysis of cellular packet data networks with multiple receive antennas

  Prakash, R. & Veeravalli, V. V., 2002, Proceedings of 2002 IEEE Workshop on Multimedia Signal Processing, MMSP 2002. Institute of Electrical and Electronics Engineers Inc., p. 400-403 4 p. 1203330. (Proceedings of 2002 IEEE Workshop on Multimedia Signal Processing, MMSP 2002).

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

• Reverse osmosis technology for wastewater reuse

  Marinas, B. J., Oct 9 1991, Water Science and Technology. 9 ed. Vol. 24. p. 215-227 13 p.

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

• Reversible optogenetic control of growth factor signaling during cell differentiation and vertebrate embryonic development

  Krishnamurthy, V., Khamo, J., Mondal, P., Sharum, S., Yang, J. & Zhang, K., Apr 8 2019, Optical Manipulation and Its Applications - Proceedings Biophotonics Congress: Optics in the Life Sciences Congress 2019 (BODA, BRAIN, NTM, OMA, OMP). Optical Society of America (OSA), (Optical Manipulation and Its Applications - Proceedings Biophotonics Congress: Optics in the Life Sciences Congress 2019 (BODA, BRAIN, NTM, OMA, OMP)).

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

• Reversing coagulopathy and internal hemorrhage with functionalized nanoparticles

  Kudela, D., May-Masnou, A., Smith, S. A., Braun, G., Pallaoro, A., Chuong, T., Morrissey, J. H. & Stucky, G. D., Aug 9 2013, Technical Proceedings of the 2013 NSTI Nanotechnology Conference and Expo, NSTI-Nanotech 2013. p. 361-364 4 p. (Technical Proceedings of the 2013 NSTI Nanotechnology Conference and Expo, NSTI-Nanotech 2013; vol. 3).

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

• Review and analysis of the effect of ejector geometry on the performance of two-phase CO₂ ejectors

  Lawrence, N. & Elbel, S., Jan 1 2014, 11th IIR Gustav Lorentzen Conference on Natural Refrigerants: Natural Refrigerants and Environmental Protection, GL 2014. Hu, W. & Zhao, G. (eds.). International Institute of Refrigeration, p. 775-782 8 p. (11th IIR Gustav Lorentzen Conference on Natural Refrigerants: Natural Refrigerants and Environmental Protection, GL 2014).

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

• Review and assessment of the steep lifting entry closed-form trajectory solution

  Putnam, Z. R. & Braun, R. D., 2016, AIAA Atmospheric Flight Mechanics Conference. American Institute of Aeronautics and Astronautics Inc, AIAA, (AIAA Atmospheric Flight Mechanics Conference).

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

• Review explorer: An innovative interface for displaying and collecting categorized review information

  Huang, S. W., Tu, P. F., Amanzadeh, M. & Fu, W-T., Nov 19 2012, Adjunct Proceedings of the 25th Annual ACM Symposium on User Interface Software and Technology, UIST'12. p. 83-84 2 p. (Adjunct Proceedings of the 25th Annual ACM Symposium on User Interface Software and Technology, UIST'12).

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

• Review mining for music digital libraries: Phase II

  Downie, J. S. & Hu, X., Dec 1 2006, 6th ACM/IEEE-CS Joint Conference on Digital Libraries 2006: Opening Information Horizons, JCDL '06. p. 196-197 2 p. (Proceedings of the ACM/IEEE Joint Conference on Digital Libraries; vol. 2006).

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

• Review of benefits and challenges of vehicle-to-grid technology

  Yilmaz, M. & Krein, P. T., Dec 17 2012, 2012 IEEE Energy Conversion Congress and Exposition, ECCE 2012. p. 3082-3089 8 p. 6342356. (2012 IEEE Energy Conversion Congress and Exposition, ECCE 2012).

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

• Review of charging power levels and infrastructure for plug-in electric and hybrid vehicles

  Yilmaz, M. & Krein, P. T., 2012, 2012 IEEE International Electric Vehicle Conference, IEVC 2012. 6183208. (2012 IEEE International Electric Vehicle Conference, IEVC 2012).

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

• Review of chemical-electric multimode space propulsion

  Rovey, J. L., Lyne, C. T., Mundahl, A. J., Rasmont, N., Glascock, M. S., Wainwright, M. J. & Berg, S. P., 2019, AIAA Propulsion and Energy Forum and Exposition, 2019. American Institute of Aeronautics and Astronautics Inc, AIAA, (AIAA Propulsion and Energy Forum and Exposition, 2019).

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

• Review of Illinois and Indiana seismicity

  Bauer, R., 2013, Midwest carbon sequestration science conference.

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

• Review of integrated charging methods for plug-in electric and hybrid vehicles

  Yilmaz, M. & Krein, P. T., Oct 12 2012, 2012 IEEE International Conference on Vehicular Electronics and Safety, ICVES 2012. p. 346-351 6 p. 6294276. (2012 IEEE International Conference on Vehicular Electronics and Safety, ICVES 2012).

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

• Review of intermodal train loading metrics for North American railroads

  Rickett, T. G., Edwards, J. R. & Barkan, C. P. L., 2011, 2011 Joint Rail Conference, JRC 2011. p. 405-414 10 p. (2011 Joint Rail Conference, JRC 2011).

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

• Review of multi-layer graphene nanoribbons for on-chip interconnect applications

  Kumar, V., Rakheja, S. & Naeemi, A., Dec 1 2013, Proceedings - 2013 IEEE International Symposium on Electromagnetic Compatibility, EMC 2013. p. 528-533 6 p. 6670470. (IEEE International Symposium on Electromagnetic Compatibility).

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

• Review of multi-scale electromagnetic modeling

  Chew, W. C., Jiang, L. J., Chao, H. Y., Hesford, A. J., Li, M. K., Qian, Z. G., Liu, Y. G., Chen, Y. P., Ma, Z. H., Sun, L. E., Tong, M. S., Davis, C. & Sha, W. E. I., 2010, Proceedings - 2010 12th International Conference on Electromagnetics in Advanced Applications, ICEAA'10. p. 641-644 4 p. 5651282. (Proceedings - 2010 12th International Conference on Electromagnetics in Advanced Applications, ICEAA'10).

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

• REVIEW OF RECENT EXPERIMENTAL RESULTS FROM THE STANFORD 3 mu m FREE ELECTRON LASER.

  Benson, S., Deacon, D. A. G., Eckstein, J. N., Madey, J. M. J., Robinson, K., Smith, T. I. & Taber, R., Feb 1 1983, Journal de Physique (Paris), Colloque. 2 ed. p. 353-362 10 p. (Journal de Physique (Paris), Colloque; vol. 44, no. 2).

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

• Review of sewer surcharging phenomena and models

  Schmidt, A. R., Ghidaoui, M. S., Leon, A. S. & Garcia, M. H., 2005, 31st IAHR Congress 2005: Water Engineering for the Future, Choices and Challenges. Byong-Ho, J., Sang, I. L., Won, S. I. & Gye-Woon, C. (eds.). Korea Water Resources Association, p. 1094-1105 12 p. (31st IAHR Congress 2005: Water Engineering for the Future, Choices and Challenges).

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

• Review of size and loading conditions for large-scale triaxial testing

  Stark, T. D., Wilk, S. T. & Swan, R. H., 2018, Railroad Ballast Testing and Properties. Szecsy, R., Stark, T. D. & Swan, R. H. (eds.). ASTM International, p. 162-172 11 p. (ASTM Special Technical Publication; vol. STP 1605).

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

• Review of split and unsplit geometric advection algorithms

  Bnà, S., Cervone, A., Le Chenadec, V., Manservisi, S. & Scardovelli, R., Nov 19 2013, 11th International Conference of Numerical Analysis and Applied Mathematics 2013, ICNAAM 2013. p. 875-878 4 p. (AIP Conference Proceedings; vol. 1558).

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

• Review of the current status of jet noise predictions using large-eddy simulation (invited)

  Bodony, D. J. & Lele, S. K., 2006, Collection of Technical Papers - 44th AIAA Aerospace Sciences Meeting. p. 5810-5845 36 p. (Collection of Technical Papers - 44th AIAA Aerospace Sciences Meeting; vol. 8).

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

• Review of wind energy conversion systems

  Raczkowski, B. C. & Sauer, P. W., 2006, Electrical Manufacturing and Coil Winding Association - Electrical Manufacturing Technical Conference 2006. p. 92-99 8 p.

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

• ReviewRobot: Explainable Paper Review Generation based on Knowledge Synthesis

  Wang, Q., Zeng, Q., Huang, L., Knight, K., Ji, H. & Rajani, N. F., 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. 384-397 14 p. (INLG 2020 - 13th International Conference on Natural Language Generation, Proceedings).

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

• Revised Upper Pennsylvanian stratigraphy of Illinois Basin with regional correlations

  Nelson, W. J., Elrick, S. D. & Askari-Khorasgani, Z., 2011, Abstracts with Programs - Geological Society of America. Boulder, CO: Geological Society of America, Vol. 43. p. 603

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

• Revisiting boundary scattering in thermal transport at the nanometer scale

  Sinha, S., Jan 1 2010, Proceedings of the ASME International Mechanical Engineering Congress and Exposition 2009, IMECE 2009. American Society of Mechanical Engineers (ASME), p. 135-140 6 p. (ASME International Mechanical Engineering Congress and Exposition, Proceedings; vol. 13).

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

• Revisiting Client Puzzles for State Exhaustion Attacks Resilience

  Noureddine, M. A., Fawaz, A. M., Hsu, A., Guldner, C., Vijay, S., Basar, T. & Sanders, W. H., Jun 2019, Proceedings - 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2019. Institute of Electrical and Electronics Engineers Inc., p. 617-629 13 p. 8809536. (Proceedings - 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2019).

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

• Revisiting Dilated Convolution: A Simple Approach for Weakly- and Semi-Supervised Semantic Segmentation

  Wei, Y., Xiao, H., Shi, H., Jie, Z., Feng, J. & Huang, T. S., Dec 14 2018, Proceedings - 2018 IEEE/CVF Conference on Computer Vision and Pattern Recognition, CVPR 2018. IEEE Computer Society, p. 7268-7277 10 p. 8578857. (Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition).

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

• Revisiting Email Forwarding Security under the Authenticated Received Chain Protocol

  Wang, C. & Wang, G., Apr 25 2022, WWW 2022 - Proceedings of the ACM Web Conference 2022. Association for Computing Machinery, Inc, p. 681-689 9 p. (WWW 2022 - Proceedings of the ACM Web Conference 2022).

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

  Open Access

• Revisiting huffman coding: Toward extreme performance on modern GPU architectures

  Tian, J., Rivera, C., Di, S., Chen, J., Liang, X., Tao, D. & Cappello, F., May 2021, Proceedings - 2021 IEEE 35th International Parallel and Distributed Processing Symposium, IPDPS 2021. Institute of Electrical and Electronics Engineers Inc., p. 881-891 11 p. 9460511. (Proceedings - 2021 IEEE 35th International Parallel and Distributed Processing Symposium, IPDPS 2021).

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

• Revisiting log-linear learning: Asynchrony, completeness and payoff-based implementation

  Marden, J. R. & Shamma, J. S., 2010, 2010 48th Annual Allerton Conference on Communication, Control, and Computing, Allerton 2010. p. 1171-1172 2 p. 5707044. (2010 48th Annual Allerton Conference on Communication, Control, and Computing, Allerton 2010).

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

• Revisiting MITL to fix decision procedures

  Roohi, N. & Viswanathan, M., 2018, Verification, Model Checking, and Abstract Interpretation - 19th International Conference, VMCAI 2018, Proceedings. Dillig, I. & Palsberg, J. (eds.). Springer, p. 474-494 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10747 LNCS).

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

• Revisiting network support for RDMA

  Mittal, R., Shpiner, A., Panda, A., Zahavi, E., Krishnamurthy, A., Ratnasamy, S. & Shenker, S., Aug 7 2018, SIGCOMM 2018 - Proceedings of the 2018 Conference of the ACM Special Interest Group on Data Communication. Association for Computing Machinery, Inc, p. 313-326 14 p. (SIGCOMM 2018 - Proceedings of the 2018 Conference of the ACM Special Interest Group on Data Communication).

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

• Revisiting priority k-center: Fairness and outliers

  Bajpai, T., Chakrabarty, D., Chekuri, C. & Negahbani, M., Jul 1 2021, 48th International Colloquium on Automata, Languages, and Programming, ICALP 2021. Bansal, N., Merelli, E. & Worrell, J. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 21. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 198).

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

• Revisiting RCNN: On awakening the classification power of faster RCNN

  Cheng, B., Wei, Y., Shi, H., Feris, R., Xiong, J. & Huang, T., 2018, Computer Vision – ECCV 2018 - 15th European Conference, 2018, Proceedings. Weiss, Y., Ferrari, V., Sminchisescu, C. & Hebert, M. (eds.). Springer, p. 473-490 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11219 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › 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: 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 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 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