Find Research Outputs

Search in all content

Filters for Research & Scholarship

Search concepts
Selected Filters
Conference contribution

MATRI: A multi-aspect and transitive trust inference model

Yao, Y., Tong, H., Yan, X., Xu, F. & Lu, J., Dec 1 2013, WWW 2013 - Proceedings of the 22nd International Conference on World Wide Web. p. 1467-1476 10 p. (WWW 2013 - Proceedings of the 22nd International Conference on World Wide Web).

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

Matrix-based system reliability method and applications to bridge networks

Kang, W. H., Song, J. & Gardoni, P., Dec 1 2007, 10th International Conference on Applications of Statistics and Probability, ICASP10. p. 47-48 2 p. (Applications of Statistics and Probability in Civil Engineering - Proceedings of the 10th International Conference on Applications of Statistics and Probability, ICASP10).

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

Matrix completion from a few entries

Keshavan, R. H., Oh, S. & Montanari, A., Nov 19 2009, 2009 IEEE International Symposium on Information Theory, ISIT 2009. p. 324-328 5 p. 5205567. (IEEE International Symposium on Information Theory - Proceedings).

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

Matrix completion from noisy entries

Keshavan, R. H., Montanari, A. & Oh, S., Dec 1 2009, Advances in Neural Information Processing Systems 22 - Proceedings of the 2009 Conference. p. 952-960 9 p. (Advances in Neural Information Processing Systems 22 - Proceedings of the 2009 Conference).

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

Matrix multiplication on multidimensional torus networks

Solomonik, E. & Demmel, J., 2013, High Performance Computing for Computational Science, VECPAR 2012 - 10th International Conference, Revised Selected Papers. p. 201-215 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7851 LNCS).

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

Maude action tool: Using reflection to map action semantics to rewriting logic

Braga, C. D. O., Haeusler, E. H., Meseguer, J. & Mosses, P. D., Jan 1 2000, Algebraic Methodology and Software Technology - 8th International Conference, AMAST 2000, Proceedings. Rus, T. (ed.). Springer-Verlag Berlin Heidelberg, p. 407-421 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1816).

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

Maude as a formal meta-tool

Clavel, M., Durán, F., Eker, S., Meseguer, J. & Stehr, M. O., Jan 1 1999, FM 1999 - Formal Methods - World Congress on Formal Methods in the Development of Computing Systems, Proceedings. Wing, J. M., Woodcock, J. & Davies, J. (eds.). Springer-Verlag Berlin Heidelberg, p. 1684-1703 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1709).

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

Open Access

Maude as a wide-spectrum framework for formal modeling and analysis of active networks

Meseguer, J., Olveczky, P. C., Stehr, M. O. & Talcott, C., Jan 1 2002, Proceedings - DARPA Active Networks Conference and Exposition, DANCE 2002. Institute of Electrical and Electronics Engineers Inc., p. 494-510 17 p. 1003516. (Proceedings - DARPA Active Networks Conference and Exposition, DANCE 2002).

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

Maude-NPA: Cryptographic protocol analysis modulo equational properties

Escobar, S., Meadows, C. & Meseguer, J., Sep 28 2009, Foundations of Security Analysis and Design V - FOSAD 2007/2008/2009 Tutorial Lectures. Aldini, A., Barthe, G. & Gorrieri, R. (eds.). p. 1-50 50 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5705 LNCS).

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

MAuditor: Mobile auditing framework for mhealth applications

Ting-Yu, W., Jin, H. & Nahrstedt, K., Jun 22 2015, MobileHealth 2015 - Proceedings of the 2015 Workshop on Pervasive Wireless Healthcare, co-located with MobiHoc 2015. Association for Computing Machinery, Inc, p. 7-12 6 p. (MobileHealth 2015 - Proceedings of the 2015 Workshop on Pervasive Wireless Healthcare, co-located with MobiHoc 2015).

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

Maximal causal models for sequentially consistent systems

Serbanuta, T. F., Chen, F. & Rosu, G., Jan 30 2013, Runtime Verification - Third International Conference, RV 2012, Revised Selected Papers. Vol. 7687 LNCS. p. 136-150 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7687 LNCS).

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

Maximal clique based distributed coalition formation for task allocation in large-scale multi-agent systems

Tošić, P. T. & Agha, G. A., Jan 1 2005, Massively Multi-Agent Systems I - First International Workshop, MMAS 2004, Revised Selected and Invited Papers. Springer-Verlag Berlin Heidelberg, p. 104-120 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3446 LNAI).

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

Maximal conditional efficiency successive interference cancellation

Gupta, A. S. & Singer, A. C., Dec 1 2006, 2006 IEEE International Conference on Acoustics, Speech, and Signal Processing - Proceedings. p. IV785-IV788 1661086. (ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings; vol. 4).

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

MAXIMAL MATCHING OF TWO THREE-DIMENSIONAL POINT SETS.

Chen, H. H. & Huang, T. S., Dec 1 1986, Proceedings - International Conference on Pattern Recognition. IEEE, p. 1048-1050 3 p. (Proceedings - International Conference on Pattern Recognition).

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

Maximal sound predictive race detection with control flow abstraction

Huang, J., Meredith, P. O. N. & Rosu, G., Jan 1 2014, PLDI 2014 - Proceedings of the 2014 ACM SIGPLAN Conference on Programming Language Design and Implementation. Association for Computing Machinery, p. 337-348 12 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

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

Maximin optimality of the arcsine fingerprinting distribution and the interleaving attack for large coalitions

Huang, Y. W. & Moulin, P., Dec 1 2010, 2010 IEEE International Workshop on Information Forensics and Security, WIFS 2010. 5711451. (2010 IEEE International Workshop on Information Forensics and Security, WIFS 2010).

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

Maximizing a submodular set function subject to a matroid constraint

Calinescu, G., Chekuri, C., Pál, M. & Vondrák, J., 2007, Integer Programming and Combinatorial Optimization - 12th International IPCO Conference, Proceedings. p. 182-196 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4513 LNCS).

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

Maximizing channel utilization for underwater acoustic links

Harris, A. F., Meneghetti, D. G. B. & Zorzi, M., Jan 1 2007, OCEANS 2007 - Europe. IEEE Computer Society, 4302466. (OCEANS 2007 - Europe).

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

Maximizing occupants' comfort in affordable housing units

Karatas, A. & El-Rayes, K. A., Jan 1 2014, Computing in Civil and Building Engineering - Proceedings of the 2014 International Conference on Computing in Civil and Building Engineering. Issa, R. R. & Flood, I. (eds.). American Society of Civil Engineers (ASCE), p. 2040-2046 7 p. (Computing in Civil and Building Engineering - Proceedings of the 2014 International Conference on Computing in Civil and Building Engineering).

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

Maximizing Power in Wind Turbine Arrays with Variable Wind Dynamics

Buccafusca, L. & Beck, C. L., Jan 18 2019, 2018 IEEE Conference on Decision and Control, CDC 2018. Institute of Electrical and Electronics Engineers Inc., p. 2667-2672 6 p. 8619789. (Proceedings of the IEEE Conference on Decision and Control; vol. 2018-December).

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

Maximizing profit with convex costs in the random-order model

Gupta, A., Mehta, R. & Molinaro, M., Jul 1 2018, 45th International Colloquium on Automata, Languages, and Programming, ICALP 2018. Kaklamanis, C., Marx, D., Chatzigiannakis, I. & Sannella, D. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 71. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 107).

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

Maximizing rehabilitation benefits of aging transportation networks

Orabi, W. & El-Rayes, K., Dec 1 2011, Annual Conference of the Canadian Society for Civil Engineering 2011, CSCE 2011. p. 2419-2426 8 p. (Proceedings, Annual Conference - Canadian Society for Civil Engineering; vol. 3).

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

Maximizing throughput of power/thermal-constrained processors by balancing power consumption of cores

Sinkar, A. A., Wang, H. & Kim, N. S., Jan 1 2014, Proceedings of the 15th International Symposium on Quality Electronic Design, ISQED 2014. IEEE Computer Society, p. 633-638 6 p. 6783386. (Proceedings - International Symposium on Quality Electronic Design, ISQED).

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

Maximizing transport in open loop for flashing ratchets

Rowchowdhury, S., Salapaka, S. & Salapaka, M., Nov 26 2012, 2012 American Control Conference, ACC 2012. p. 3210-3215 6 p. 6315543. (Proceedings of the American Control Conference).

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

Maximum a posteriori estimation of energetics in silicon self-diffusion

Kwok, C. T., Dev, K., Seebauer, E. G. & Braatz, R. D., Dec 1 2005, Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference, CDC-ECC '05. p. 2058-2063 6 p. 1582464. (Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference, CDC-ECC '05; vol. 2005).

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

Maximum cross-entropy generalized series reconstruction

Hess, C. P., Liang, Z. P. & Lauterbur, P. C., 2002, Biomedical Imaging V - Proceedings of the 5th IEEE EMBS International Summer School on Biomedical Imaging, SSBI 2002. Coatrieux, J-L. & Roux, C. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 258-265 8 p. 1233979. (Biomedical Imaging V - Proceedings of the 5th IEEE EMBS International Summer School on Biomedical Imaging, SSBI 2002).

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

Maximum cross-entropy generalized series reconstruction

Hess, C. P., Liang, Z-P., Webb, A. G. & Lauterbur, P. C., 1998, IEEE International Conference on Image Processing. IEEE Comp Soc, Vol. 1. p. 19-23 5 p.

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

Maximum edge-disjoint paths in k-sums of graphs

Chekuri, C., Naves, G. & Shepherd, F. B., Jul 23 2013, Automata, Languages, and Programming - 40th International Colloquium, ICALP 2013, Proceedings. PART 1 ed. p. 328-339 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7965 LNCS, no. PART 1).

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

Maximum entropy inverse reinforcement learning in continuous state spaces with path integrals

Aghasadeghi, N. & Bretl, T. W., Dec 29 2011, IROS'11 - 2011 IEEE/RSJ International Conference on Intelligent Robots and Systems: Celebrating 50 Years of Robotics. p. 1561-1566 6 p. 6048804. (IEEE International Conference on Intelligent Robots and Systems).

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

Maximum flows and parametric shortest paths in planar graphs

Erickson, J., Jan 1 2010, Proceedings of the 21st Annual ACM-SIAM Symposium on Discrete Algorithms. Association for Computing Machinery (ACM), p. 794-804 11 p. (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms).

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

Maximum gaps in path coverage

Shamoun, S., Abdelzaher, T. & Bar-Noy, A., Nov 25 2019, MSWiM 2019 - Proceedings of the 22nd International ACM Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems. Association for Computing Machinery, Inc, p. 109-112 4 p. (MSWiM 2019 - Proceedings of the 22nd International ACM Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems).

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

Maximum likelihood estimation of a linearly structured covariance with application to antenna array processing

Bresler, Y., 1988, Fourth Annu ASSP Workshop Spectrum Estim Model. Publ by IEEE, p. 172-175 4 p.

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

Maximum likelihood method for energy balance error correction in heat exchanger data

Park, Y. G., Liu, L. & Jacobi, A. M., Jan 1 2017, Heat Transfer Equipment; Heat Transfer in Multiphase Systems; Heat Transfer Under Extreme Conditions; Nanoscale Transport Phenomena; Theory and Fundamental Research in Heat Transfer; Thermophysical Properties; Transport Phenomena in Materials Processing and Manufacturing. American Society of Mechanical Engineers, HT2017-4972. (ASME 2017 Heat Transfer Summer Conference, HT 2017; vol. 2).

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

Maximum likelihood reconstruction for magnetic resonance fingerprinting

Zhao, B., Lam, F., Bilgic, B., Ye, H. & Setsompop, K., Jul 21 2015, 2015 IEEE 12th International Symposium on Biomedical Imaging, ISBI 2015. IEEE Computer Society, p. 905-909 5 p. 7164017. (Proceedings - International Symposium on Biomedical Imaging; vol. 2015-July).

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

Maximum likelihood rumor source detection in a star network

Spencer, S. & Srikant, R., May 18 2016, 2016 IEEE International Conference on Acoustics, Speech and Signal Processing, ICASSP 2016 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 2199-2203 5 p. 7472067. (ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings; vol. 2016-May).

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

Maximum margin distance learning for dynamic texture recognition

Ghanem, B. & Ahuja, N., Jan 1 2010, Computer Vision, ECCV 2010 - 11th European Conference on Computer Vision, Proceedings. PART 2 ed. Springer-Verlag, p. 223-236 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6312 LNCS, no. PART 2).

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

Maximum margin GMM learning for facial expression recognition

Tariq, U., Yang, J. & Huang, T. S., 2013, 2013 10th IEEE International Conference and Workshops on Automatic Face and Gesture Recognition, FG 2013. 6553794. (2013 10th IEEE International Conference and Workshops on Automatic Face and Gesture Recognition, FG 2013).

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

Maximum power point tracking for wind turbine using integrated generator-rectifier systems

Huynh, P., Tungare, S. & Banerjee, A., Sep 2019, 2019 IEEE Energy Conversion Congress and Exposition, ECCE 2019. Institute of Electrical and Electronics Engineers Inc., p. 13-20 8 p. 8912871. (2019 IEEE Energy Conversion Congress and Exposition, ECCE 2019).

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

Maximum unfolded embedding: Formulation, solution, and application for image clustering

Wang, H., Yan, S., Huang, T. S. & Tang, X., Dec 1 2006, Proceedings of the 14th Annual ACM International Conference on Multimedia, MM 2006. p. 45-48 4 p. (Proceedings of the 14th Annual ACM International Conference on Multimedia, MM 2006).

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

Max-min overlay multicast: Allocation and tree construction

Cui, Y., Xue, Y. & Nahrstedt, K., Sep 29 2004, 2004 Twelfth IEEE International Workshop on Quality of Service, IWQoS 2004. p. 221-231 11 p. (2004 Twelfth IEEE International Workshop on Quality of Service, IWQoS 2004).

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

Max-sliced wasserstein distance and its use for gans

Deshpande, I., Hu, Y. T., Sun, R., Pyrros, A., Siddiqui, N., Koyejo, S., Zhao, Z., Forsyth, D. & Schwing, A. G., Jun 2019, Proceedings - 2019 IEEE/CVF Conference on Computer Vision and Pattern Recognition, CVPR 2019. IEEE Computer Society, p. 10640-10648 9 p. 8953668. (Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition; vol. 2019-June).

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

MaxWeight scheduling: Smoothness of the service process

Singh, R. & Stolyar, A., Jul 27 2016, IEEE INFOCOM 2016 - 35th Annual IEEE International Conference on Computer Communications. Institute of Electrical and Electronics Engineers Inc., 7524518. (Proceedings - IEEE INFOCOM; vol. 2016-July).

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

Maybe we should enable more uncertain mobile app programming

Challen, G., Ajay, J. A., DiRienzo, N., Kennedy, O., Maiti, A., Nandugudi, A., Shantharam, S., Shi, J., Srinivasa, G. P. & Ziarek, L., Feb 12 2015, HotMobile 2015 - 16th International Workshop on Mobile Computing Systems and Applications. Association for Computing Machinery, Inc, p. 105-110 6 p. (HotMobile 2015 - 16th International Workshop on Mobile Computing Systems and Applications).

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

May I borrow your logic?

Cerioli, M. & Meseguer, J., Jan 1 1993, Mathematical Foundations of Computer Science 1993 - 18th International Symposium, MFCS 1993, Proceedings. Borzyszkowski, A. M. & Sokolowski, S. (eds.). Springer-Verlag Berlin Heidelberg, p. 342-351 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 711 LNCS).

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

Mbps experimental acoustic through-tissue communications: MEAT-COMMS

Singer, A., Oelze, M. & Podkowa, A., Aug 9 2016, SPAWC 2016 - 17th IEEE International Workshop on Signal Processing Advances in Wireless Communications. Institute of Electrical and Electronics Engineers Inc., 7536815. (IEEE Workshop on Signal Processing Advances in Wireless Communications, SPAWC; vol. 2016-August).

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

MC-Explorer: Analyzing and visualizing motif-cliques on large networks

Li, B., Cheng, R., Hu, J., Fang, Y., Ou, M., Luo, R., Chang, K. C. C. & Lin, X., Apr 2020, Proceedings - 2020 IEEE 36th International Conference on Data Engineering, ICDE 2020. IEEE Computer Society, p. 1722-1725 4 p. 9101676. (Proceedings - International Conference on Data Engineering; vol. 2020-April).

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

Mc-SPF: An application-level multicast service path finding protocol for multimedia applications

Jin, J. & Nahrstedt, K., Jan 1 2002, Proceedings - 2002 IEEE International Conference on Multimedia and Expo, ICME 2002. Institute of Electrical and Electronics Engineers Inc., p. 765-768 4 p. 1035894. (Proceedings - 2002 IEEE International Conference on Multimedia and Expo, ICME 2002; vol. 1).

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

MCUDA: An efficient implementation of CUDA kernels for multi-core CPUs

Stratton, J. A., Stone, S. S. & Hwu, W-M. W., Dec 1 2008, Languages and Compilers for Parallel Computing - 21st International Workshop, LCPC 2008, Revised Selected Papers. p. 16-30 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5335 LNCS).

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

MCUIUC - A new framework for metagenomic read compression

Ligo, J. G., Kim, M., Emad, A., Milenkovic, O. & Veeravalli, V. V., 2013, 2013 IEEE Information Theory Workshop, ITW 2013. 6691312. (2013 IEEE Information Theory Workshop, ITW 2013).

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

Meander cutoffs, floodplain lakes; geologic archives in the lower Wabash Valley

Phillips, A. C., Caron, O., Bryk, A. B., Prokocki, E. W. & Best, J. L., 2013, Abstracts with Programs - Geological Society of America. Boulder, CO: Geological Society of America, Vol. 45. p. 5

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