Find Research outputs

Search results

• Conference contribution

  The Koobface botnet and the rise of social malware?

  Thomas, K. & Nicol, D. M., 2010, Proceedings of the 5th IEEE International Conference on Malicious and Unwanted Software, Malware 2010. p. 63-70 8 p. 5665793. (Proceedings of the 5th IEEE International Conference on Malicious and Unwanted Software, Malware 2010).

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

• The kullback-leibler rate metric for comparing dynamical systems

  Yu, S. & Mehta, P. G., 2009, Proceedings of the 48th IEEE Conference on Decision and Control held jointly with 2009 28th Chinese Control Conference, CDC/CCC 2009. Institute of Electrical and Electronics Engineers Inc., p. 8363-8368 6 p. 5399552. (Proceedings of the IEEE Conference on Decision and Control).

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

• The L2 acquisitio of German V2 and the status of verb raising to COMP

  Tanner, D. S., 2006, Proceedings of the 21st Northwest Linguistics Conference. Vancouver: UBC Occasional Papers in Linguistics, Vol. 1. p. 99-112 14 p.

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

• The Lack of Spanish non-argumental clitic doubling

  Huidobro, S. & MacDonald, J. E., 2010, Selected Proceedings of the 12th Hispanic Linguistics Symposium. Somerville: Cascadilla Proceedings Project, p. 50-62 13 p.

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

• The lamellar blade assemblage from the buried gardens of Kampsville, a Havana Hopewell Village in the Lower Illinois River Valley [presentation]

  Geraci, P. J., 2011, 57th Annual Midwest Archaeological Conference; 13-15 October 2011; LaCrosse, Wisconsin.

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

• The language theory of bounded context-switching

  La Torre, S., Madhusudan, P. & Parlato, G., 2010, LATIN 2010: Theoretical Informatics - 9th Latin American Symposium, Proceedings. p. 96-107 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6034 LNCS).

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

• The least spanning area of a knot and the optimal bounding chain problem

  Dunfield, N. M. & Hirani, A. N., 2011, Proceedings of the 27th Annual Symposium on Computational Geometry, SCG'11. p. 135-144 10 p. (Proceedings of the Annual Symposium on Computational Geometry).

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

• The lemon and lemonade of UAV navigation: Challenges and opportunities

  Gao, G. X., 2015, 28th International Technical Meeting of the Satellite Division of the Institute of Navigation, ION GNSS 2015. Institute of Navigation, p. 987-999 13 p. (28th International Technical Meeting of the Satellite Division of the Institute of Navigation, ION GNSS 2015; vol. 2).

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

• The Life On Birds: Evolution of Feather Lice on Songbirds

  Bush, S., Gustafson, D. & Johnson, K., 2016, 6th North American Ornithological Conference, 16-21 August, 2016, Washington, D.C.. p. 63

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

• The limits of common coins: Further results

  Maji, H. K. & Prabhakaran, M., Dec 23 2011, Progress in Cryptology, INDOCRYPT 2011 - 12th International Conference on Cryptology in India, Proceedings. p. 344-358 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7107 LNCS).

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

• The Limits of Learning and Planning: Minimal Sufficient Information Transition Systems

  Sakcak, B., Weinstein, V. & LaValle, S. M., 2023, Algorithmic Foundations of Robotics XV - Proceedings of the Fifteenth Workshop on the Algorithmic Foundations of Robotics. LaValle, S. M., O’Kane, J. M., Otte, M., Sadigh, D. & Tokekar, P. (eds.). Springer, p. 256-272 17 p. (Springer Proceedings in Advanced Robotics; vol. 25 SPAR).

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

• The linear temporal logic of rewriting maude model checker

  Bae, K. & Meseguer, J., 2010, Rewriting Logic and Its Applications - 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Revised Selected Papers. p. 208-225 18 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 proceeding › Conference contribution

• The LiteOS operating system: Towards Unix-like abstractions for wireless sensor networks

  Cao, Q., Abdelzaher, T., Stankovic, J. & He, T., 2008, Proceedings - 2008 International Conference on Information Processing in Sensor Networks, IPSN 2008. p. 233-244 12 p. 4505477. (Proceedings - 2008 International Conference on Information Processing in Sensor Networks, IPSN 2008).

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

• The Lithic Landscape: Using GIS to Model Chert Bearing Outcrop Potential in Illinois

  Loebel, T. J. & Geraci, P. J., 2015, 59th Annual Midwest Archaeological Conference - November 5-7, 2015 | Midwest Archaeological Conference, November 5-7, Milwaukee, WI. p. 63

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

• The lithospheric signature of the Reelfoot Rift as revealed in the shear velocity structure beneath the central United States

  Chen, C., Gilbert, H., Pavlis, G. L., Hamburger, M. W., Marshak, S., Larson, T. & Yang, X., 2015, Abstracts with Programs - Geological Society of America. Boulder, CO: Geological Society of America, Vol. 47. p. 465

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

• The live usability lab: Open access archives and digital repositories

  Coleman, A., Marty, P., Twidale, M., Donohue, T. & Salo, D., 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

• The load as an energy asset in a distributed architecture

  Balog, R. S., Weaver, W. W. & Krein, P. T., 2005, 2005 IEEE Electric Ship Technologies Symposium. p. 261-267 7 p. 1524686. (2005 IEEE Electric Ship Technologies Symposium; vol. 2005).

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

• The logical form of the proposition expressed by a metadata record

  Wickett, K. M. & Renear, A. H., 2012, JCDL '12 - Proceedings of the 12th ACM/IEEE-CS Joint Conference on Digital Libraries. p. 413-414 2 p. (Proceedings of the ACM/IEEE Joint Conference on Digital Libraries).

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

• The log-volume of optimal constant-composition codes for memoryless channels, within O(1) bits

  Moulin, P., Oct 22 2012, 2012 IEEE International Symposium on Information Theory Proceedings, ISIT 2012. p. 826-830 5 p. 6284676. (IEEE International Symposium on Information Theory - Proceedings).

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

• The long path from MEMS resonators to timing products

  Ng, E., Yang, Y., Hong, V. A., Ahn, C. H., Heinz, D. B., Flader, I., Chen, Y., Everhart, C. L. M., Kim, B., Melamud, R., Candler, R. N., Hopcroft, M. A., Salvia, J. C., Yoneoka, S., Graham, A. B., Agarwal, M., Messana, M. W., Chen, K. L., Lee, H. K., Wang, S., & 8 othersBahl, G., Qu, V., Chiang, C. F., Kenny, T. W., Partridge, A., Lutz, M., Yama, G. & O'Brien, G. J., Feb 26 2015, 2015 28th IEEE International Conference on Micro Electro Mechanical Systems, MEMS 2015. February ed. Institute of Electrical and Electronics Engineers Inc., p. 1-2 2 p. 7050869. (Proceedings of the IEEE International Conference on Micro Electro Mechanical Systems (MEMS); vol. 2015-February, no. February).

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

• The Long-Term Illinois River Fish Population Monitoring Program, 1957-2010 [presentation]

  McClelland, M. A., Sass, G. G., Cook, T. R., Michaels, N., Irons, K. S. & O'Hara, T. M., 2011, 2011 Annual Meeting of the American Fisheries Society (AFS 2011); 4-8 Sep 2011 Seattle, Washington.

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

• The Long Term Resource Monitoring Program: insights into the Asian carp invasion of the Illinois River, Illinois, USA

  Irons, K. S., Sass, G. G., McClelland, M. A. & O'Hara, T. M., 2011, American Fisheries Society Special Publication.

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

• The lrpd test: Speculative run-time parallelization of loops with privatization and reduction Parallelization

  Rauchwerger, L. & Padua, D., Jun 18 1995, Proceedings of the ACM SIGPLAN 1995 Conference on Programming language Design and Implementation, PLDI 1995. Association for Computing Machinery, p. 218-232 15 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI); vol. Part F129371).

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

• The many faces of mentoring in an MMORPG

  Ahmad, M. A., Huffaker, D., Wang, J., Treem, J., Kumar, D., Poole, M. S. & Srivastava, J., 2010, Proceedings - SocialCom 2010: 2nd IEEE International Conference on Social Computing, PASSAT 2010: 2nd IEEE International Conference on Privacy, Security, Risk and Trust. p. 270-275 6 p. 5591216. (Proceedings - SocialCom 2010: 2nd IEEE International Conference on Social Computing, PASSAT 2010: 2nd IEEE International Conference on Privacy, Security, Risk and Trust).

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

• The Markov selection model for concurrent speech recognition

  Smaragdis, P. & Raj, B., 2010, Proceedings of the 2010 IEEE International Workshop on Machine Learning for Signal Processing, MLSP 2010. p. 214-219 6 p. 5588124. (Proceedings of the 2010 IEEE International Workshop on Machine Learning for Signal Processing, MLSP 2010).

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

• The materials analysis patticle probe (MAPP) diagnostic system in NSTX

  Heim, B., Gonderman, S., Taylor, C. N., Allain, J. P., Yang, Z. C., Gonzalez, M., Collins, E., Skinner, C. H., Ellis, B., Blanchard, W., Roquemore, L., Kugel, H. W. & Martin, R., 2011, 2011 IEEE/NPSS 24th Symposium on Fusion Engineering, SOFE 2011. 6052303. (Proceedings - Symposium on Fusion Engineering).

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

• The materials science and engineering of optical nonlinearities and their mitigation in high power lasers

  Ballato, J., Hawkins, T. W., Cavillon, M. & Dragic, P. D., 2019, High Power Lasers: Technology and Systems, Platforms, Effects III. Ackermann, H., Bohn, W. L. & Titterton, D. H. (eds.). SPIE, 111620G. (Proceedings of SPIE - The International Society for Optical Engineering; vol. 11162).

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

• The mathematical model and control of human-machine perceptual feedback system

  Yoon, H. U. & Hutchinson, S. A., Dec 29 2011, IROS'11 - 2011 IEEE/RSJ International Conference on Intelligent Robots and Systems: Celebrating 50 Years of Robotics. p. 2070-2075 6 p. 6048127. (IEEE International Conference on Intelligent Robots and Systems).

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

• The matrix generalized inverse Gaussian distribution: Properties and applications

  Fazayeli, F. & Banerjee, A., 2016, Machine Learning and Knowledge Discovery in Databases - European Conference, ECML PKDD 2016, Proceedings. Giuseppe, J., Landwehr, N., Manco, G. & Frasconi, P. (eds.). Springer, p. 648-664 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9851 LNAI).

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

• The matter of heartbleed

  Durumeric, Z., Kasten, J., Adrian, D., Halderman, J. A., Bailey, M., Li, F., Weaver, N., Amann, J., Beekman, J., Payer, M. & Paxson, V., Nov 5 2014, IMC 2014 - Proceedings of the 2014 ACM. Association for Computing Machinery, p. 475-488 14 p. (Proceedings of the ACM SIGCOMM Internet Measurement Conference, IMC).

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

• The Matter with the Penultimate: Prosodic Change in the Vernacular of Lower-Class Immigrant Youth in Paris

  Fagyal, Z., 2003, Proceedings of the 15th international congress of phonetic sciences. Barcelona, Vol. 1. p. 671-674 4 p.

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

• The Maude 2.0 system

  Clavel, M., Duràn, F., Eker, S., Lincoln, P., Martì-Oliet, N., Meseguer, J. & Talcott, C., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Nieuwenhuis, R. (ed.). Springer, p. 76-87 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2706).

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

• The maude formal tool environment

  Clavel, M., Durán, F., Hendrix, J., Lucas, S., Meseguer, J. & Ölveczky, P., 2007, Algebra and Coalgebra in Computer Science - Second International Conference, CALCO 2007, Proceedings. Springer, p. 173-178 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4624 LNCS).

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

• The maude system

  Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J. & Quesada, J. F., 1999, Rewriting Techniques and Applications - 10th International Conference, RTA 1999, Proceedings. Narendran, P. & Rusinowitch, M. (eds.). Springer, p. 240-243 4 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1631).

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

• The MAX facility for CFD code validation

  Lomperski, S., Merzari, E., Obabko, A., Pointer, W. D. & Fischer, P., 2012, International Congress on Advances in Nuclear Power Plants 2012, ICAPP 2012. Vol. 3. p. 1873-1879 7 p.

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

• The maximum binary tree problem

  Chandrasekaran, K., Grigorescu, E., Istrate, G., Kulkarni, S., Lin, Y. S. & Zhu, M., Aug 1 2020, 28th Annual European Symposium on Algorithms, ESA 2020. Grandoni, F., Herman, G. & Sanders, P. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 30. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 173).

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

• The Maximum Weight Trace Alignment Merging Problem

  Zaharias, P., Smirnov, V. & Warnow, T., 2021, Algorithms for Computational Biology - 8th International Conference, AlCoB 2021, Proceedings. Martín-Vide, C., Vega-Rodríguez, M. A. & Wheeler, T. (eds.). Springer, p. 159-171 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12715 LNBI).

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

• The measurement of a nonlinear resonant decay using continuous-scan laser doppler vibrometry

  Ehrhardt, D. A., Allen, M. S. & Beberniss, T. J., 2017, Rotating Machinery, Hybrid Test Methods, Vibro-Acoustics and Laser Vibrometry - Proceedings of the 35th IMAC, A Conference and Exposition on Structural Dynamics. Di Maio, D. & Castellini, P. (eds.). Springer, p. 97-104 8 p. (Conference Proceedings of the Society for Experimental Mechanics Series; vol. 8B).

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

• The mechanical sensitivity of vesicle dynamics in in vivo and in vitro neurons

  Ahmed, W. W., Li, T. C., Rubakhin, S., Chiba, A., Sweedler, J. V. & Saif, M. T. A., Nov 23 2011, Technical Proceedings of the 2011 NSTI Nanotechnology Conference and Expo, NSTI-Nanotech 2011. p. 436-439 4 p. (Technical Proceedings of the 2011 NSTI Nanotechnology Conference and Expo, NSTI-Nanotech 2011; vol. 3).

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

• THE MECHANICS OF HYDRIDE FORMATION AND EMBRITTLEMENT

  Lufrano, J., Sofronis, P. & Birnbaum, H. K., 1997, Recent Advances in Solids/Structures and Application of Metallic Materials. American Society of Mechanical Engineers (ASME), p. 261-271 11 p. (ASME International Mechanical Engineering Congress and Exposition, Proceedings (IMECE); vol. 1997-AC).

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

• Theme-relevant Truth Discovery on Twitter: An Estimation Theoretic Approach

  Wang, D., Marshall, J. & Huang, C., 2016, Proceedings of the 10th International Conference on Web and Social Media, ICWSM 2016. American Association for Artificial Intelligence (AAAI) Press, p. 408-416 9 p. (Proceedings of the 10th International Conference on Web and Social Media, ICWSM 2016).

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

• The Metagenomic Binning Problem: Clustering Markov Sequences

  Greenberg, G. & Shomorony, I., Aug 2019, 2019 IEEE Information Theory Workshop, ITW 2019. Institute of Electrical and Electronics Engineers Inc., 8988939. (2019 IEEE Information Theory Workshop, ITW 2019).

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

• The method of hypergraph containers

  Balogh, J., Morris, R. & Samotij, W., 2018, Invited Lectures. Sirakov, B., de Souza, P. N. & Viana, M. (eds.). World Scientific Publishing Co. Pte Ltd, p. 3077-3110 34 p. (Proceedings of the International Congress of Mathematicians, ICM 2018; vol. 4).

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

• The Methodological Pitfall of Dataset-Driven Research on Deep Learning: An IoT Example

  Wang, T., Kara, D., Li, J., Liu, S., Abdelzaher, T. & Jalaian, B., 2022, MILCOM 2022 - 2022 IEEE Military Communications Conference. Institute of Electrical and Electronics Engineers Inc., p. 1082-1087 6 p. (Proceedings - IEEE Military Communications Conference MILCOM; vol. 2022-November).

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

• The michelson interferometer for global high-resolution thermospheric imaging (MIGHTI): Wind and temperature observations from the ionospheric connection explorer (ICON)

  Englert, C. R., Harlander, J. M., Brown, C. M., Stephan, A. W., Makela, J. J., Marr, K. D. & Immel, T. J., 2013, Fourier Transform Spectroscopy, FTS 2013. Optical Society of America (OSA), (Optics InfoBase Conference Papers).

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

• The Microsporidia, ubiquitous... and enigmatic

  Solter, L. F., 2012, 60th Annual Meeting of the Entomological Society of America (ESA 2012).

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

• The microstructures of social tagging: A rational model

  Fu, W. T., 2008, CSCW 08 - Conference Proceedings, 2008 ACM Conference on Computer Supported Cooperative Work. p. 229-238 10 p. (Proceedings of the ACM Conference on Computer Supported Cooperative Work, CSCW).

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

• The Midcontinent exposed; GIS maps depicting cratonic fault-and-fold zones, and structure contours on the basement-cover unconformity, in the North American continental interior, as a context for interpreting EarthScope seismic studies

  Domrois, S., Marshak, S., Abert, C. C., Larson, T. H., Pavlis, G. L., Hamburger, M. W. & Gilbert, H., 2012, Abstracts with Programs - Geological Society of America. Boulder, CO: Geological Society of America, Vol. 44. p. 427

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

• The middle child problem: Revisiting parametric min-cut and seeds for object proposals

  Humayun, A., Li, F. & Rehg, J. M., Feb 17 2015, 2015 International Conference on Computer Vision, ICCV 2015. Institute of Electrical and Electronics Engineers Inc., p. 1600-1608 9 p. 7410544. (Proceedings of the IEEE International Conference on Computer Vision; vol. 2015 International Conference on Computer Vision, ICCV 2015).

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

• The mid-Holocene to present large-scale morphodynamic and coupled fluvial-tidal sedimentologic evolution of the Lower Columbia River, WA/OR, USA

  Prokocki, E., Best, J., Ashworth, P. J., Parsons, D. R., Sambrook Smith, G., Nicholas, A. P., Simpson, C., Wang, H., Sandbach, S. & Keevil, C., 2015, American Geophysical Union Fall Meeting. Vol. 2015.

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