Research Output

2018

Early-life iron deficiency reduces brain iron content and alters brain tissue composition despite iron repletion: A neuroimaging assessment

Mudd, A. T., Fil, J. E., Knight, L. C., Lam, F., Liang, Z. P. & Dilger, R. N., Feb 2018, In : Nutrients. 10, 2, 135.

Research output: Contribution to journalArticle

Easing embedding learning by comprehensive transcription of heterogeneous information networks

Shi, Y., Zhu, Q., Guo, F., Zhang, C. & Han, J., Jul 19 2018, KDD 2018 - Proceedings of the 24th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining. Association for Computing Machinery, p. 2190-2199 10 p. (Proceedings of the ACM SIGKDD International Conference on Knowledge Discovery and Data Mining).

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

Editorial

Dankowicz, H., Kumar, V. & Krovi, V., Jan 2018, In : Applied Mechanics Reviews. 70, 1, 010201.

Research output: Contribution to journalEditorial

Editorial

Albarracín, D., Cuijpers, P., Eastwick, P. W., Johnson, B. T., Roisman, G. I., Sinatra, G. M. & Verhaeghen, P., Mar 2018, In : Psychological bulletin. 144, 3, p. 223-226 4 p.

Research output: Contribution to journalEditorial

EDMAND: Edge-Based Multi-Level Anomaly Detection for SCADA Networks

Ren, W., Yardley, T. & Nahrstedt, K., Dec 24 2018, 2018 IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids, SmartGridComm 2018. Institute of Electrical and Electronics Engineers Inc., 8587533. (2018 IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids, SmartGridComm 2018).

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

Effects of simulated firefighting and asymmetric load carriage on firefighter obstacle crossing performance

Angelini, M. J., Kesler, R. M., Petrucci, M. N., Rosengren, K. S., Horn, G. P. & Hsiao-Wecksler, E. T., Jul 2018, In : Applied Ergonomics. 70, p. 59-67 9 p.

Research output: Contribution to journalArticle

Effects of socially stigmatized crowdfunding campaigns in shaping opinions

Dey, S., Karahalios, K. & Fu, W. T., Apr 20 2018, CHI 2018 - Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems: Engage with CHI. Association for Computing Machinery, (Conference on Human Factors in Computing Systems - Proceedings; vol. 2018-April).

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

Effects of subjective biases on strategic information transmission

Nadendla, V. S. S., Langbort, C. & Basar, T., Dec 2018, In : IEEE Transactions on Communications. 66, 12, p. 6040-6049 10 p., 8444442.

Research output: Contribution to journalArticle

Effects of Visual Realism and Moving Detail on Cybersickness

Pouke, M., Tiiro, A., LaValle, S. M. & Ojala, T., Aug 24 2018, 25th IEEE Conference on Virtual Reality and 3D User Interfaces, VR 2018 - Proceedings. Steinicke, F., Thomas, B., Kiyokawa, K. & Welch, G. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 665-666 2 p. 8446078. (25th IEEE Conference on Virtual Reality and 3D User Interfaces, VR 2018 - Proceedings).

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

Efficient neighborhood selection for walk summable Gaussian graphical models

Yang, Y., Etesami, J. & Kiyavash, N., Apr 10 2018, Conference Record of 51st Asilomar Conference on Signals, Systems and Computers, ACSSC 2017. Matthews, M. B. (ed.). Institute of Electrical and Electronics Engineers Inc., p. 263-267 5 p. 8335180. (Conference Record of 51st Asilomar Conference on Signals, Systems and Computers, ACSSC 2017; vol. 2017-October).

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

Electro-Thermal Graph-Based Modeling for Hierarchical Control with Application to an Electric Vehicle

Docimo, D. J. & Alleyne, A. G., Oct 26 2018, 2018 IEEE Conference on Control Technology and Applications, CCTA 2018. Institute of Electrical and Electronics Engineers Inc., p. 812-819 8 p. 8511390. (2018 IEEE Conference on Control Technology and Applications, CCTA 2018).

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

Empower sequence labeling with task-aware neural language model

Liu, L., Shang, J., Ren, X., Xu, F. F., Gui, H., Peng, J. & Han, J., Jan 1 2018, 32nd AAAI Conference on Artificial Intelligence, AAAI 2018. AAAI Press, p. 5253-5260 8 p. (32nd AAAI Conference on Artificial Intelligence, AAAI 2018).

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

Enabling GPU support for the COMPSs-mobile framework

Lordan, F., Badia, R. M. & Hwu, W. M., Jan 1 2018, Accelerator Programming Using Directives - 4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Proceedings. Juckeland, G. & Chandrasekaran, S. (eds.). Springer-Verlag Berlin Heidelberg, p. 83-102 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10732 LNCS).

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

Enabling Work-Conserving Bandwidth Guarantees for Multi-Tenant Datacenters via Dynamic Tenant-Queue Binding

Liu, Z., Chen, K., Wu, H., Hu, S., Hu, Y. C., Wang, Y. & Zhang, G., Oct 8 2018, INFOCOM 2018 - IEEE Conference on Computer Communications. Institute of Electrical and Electronics Engineers Inc., p. 1-9 9 p. 8486219. (Proceedings - IEEE INFOCOM; vol. 2018-April).

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

End-to-End Network Delay Guarantees for Real-Time Systems Using SDN

Kumar, R., Hasan, M., Padhy, S., Evchenko, K., Piramanayagam, L., Mohan, S. & Bobba, R. B., Jan 31 2018, Proceedings - 2017 IEEE Real-Time Systems Symposium, RTSS 2017. Institute of Electrical and Electronics Engineers Inc., p. 231-242 12 p. (Proceedings - Real-Time Systems Symposium; vol. 2018-January).

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

End-to-end reinforcement learning for automatic taxonomy induction

Mao, Y., Ren, X., Shen, J., Gu, X. & Han, J., Jan 1 2018, ACL 2018 - 56th Annual Meeting of the Association for Computational Linguistics, Proceedings of the Conference (Long Papers). Association for Computational Linguistics (ACL), p. 2462-2472 11 p. (ACL 2018 - 56th Annual Meeting of the Association for Computational Linguistics, Proceedings of the Conference (Long Papers); vol. 1).

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

Energy-Efficient Deep In-memory Architecture for NAND Flash Memories

Gonugondla, S. K., Kang, M., Kim, Y., Helm, M., Eilert, S. & Shanbhag, N., Apr 26 2018, 2018 IEEE International Symposium on Circuits and Systems, ISCAS 2018 - Proceedings. Institute of Electrical and Electronics Engineers Inc., 8351458. (Proceedings - IEEE International Symposium on Circuits and Systems; vol. 2018-May).

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

Entity set search of scientific literature: An unsupervised ranking approach

Shen, J., Xiao, J., He, X., Shang, J., Sinha, S. & Han, J., Jun 27 2018, 41st International ACM SIGIR Conference on Research and Development in Information Retrieval, SIGIR 2018. Association for Computing Machinery, Inc, p. 565-574 10 p. (41st International ACM SIGIR Conference on Research and Development in Information Retrieval, SIGIR 2018).

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

Entropy and minimal bit rates for state estimation and model detection

Liberzon, D. & Mitra, S., Oct 2018, In : IEEE Transactions on Automatic Control. 63, 10, p. 3330-3340 11 p., 8186184.

Research output: Contribution to journalArticle

Epidemic processes over time-varying networks

Pare, P. E., Beck, C. L. & Nedic, A., Sep 2018, In : IEEE Transactions on Control of Network Systems. 5, 3, p. 1322-1334 13 p., 7931651.

Research output: Contribution to journalArticle

Erays: Reverse engineering Ethereum's opaque smart contracts

Zhou, Y., Kumar, D., Bakshi, S., Mason, J., Miller, A. & Bailey, M., Jan 1 2018, Proceedings of the 27th USENIX Security Symposium. USENIX Association, p. 1371-1385 15 p. (Proceedings of the 27th USENIX Security Symposium).

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

Estimation of KL Divergence: Optimal Minimax Rate

Bu, Y., Zou, S., Liang, Y. & Veeravalli, V. V., Apr 2018, In : IEEE Transactions on Information Theory. 64, 4, p. 2648-2674 27 p.

Research output: Contribution to journalArticle

Evaluating Detectors on Optimal Attack Vectors That Enable Electricity Theft and der Fraud

Krishna, V. B., Gunter, C. A. & Sanders, W. H., Aug 2018, In : IEEE Journal on Selected Topics in Signal Processing. 12, 4, p. 790-805 16 p., 8355252.

Research output: Contribution to journalArticle

Evaluating Regression Test Selection Opportunities in a Very Large Open-Source Ecosystem

Gyori, A., Legunsen, O., Hariri, F. & Marinov, D., Nov 16 2018, Proceedings - 29th IEEE International Symposium on Software Reliability Engineering, ISSRE 2018. Ghosh, S., Cukic, B., Poston, R., Natella, R. & Laranjeiro, N. (eds.). IEEE Computer Society, p. 112-122 11 p. 8539074. (Proceedings - International Symposium on Software Reliability Engineering, ISSRE; vol. 2018-October).

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

Evaluating test-suite reduction in real software evolution

Shi, A., Gyori, A., Mahmood, S., Zhao, P. & Marinov, D., Jul 12 2018, ISSTA 2018 - Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis. Bodden, E. & Tip, F. (eds.). Association for Computing Machinery, Inc, p. 84-94 11 p. (ISSTA 2018 - Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis).

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

Evaluation of demand response resource aggregation system capacity under uncertainty

Zhang, J. & Dominguez-Garcia, A. D., Sep 2018, In : IEEE Transactions on Smart Grid. 9, 5, p. 4577-4586 10 p., 7839997.

Research output: Contribution to journalArticle

Evolution of Social Power in Social Networks with Dynamic Topology

Ye, M., Liu, J., Anderson, B. D. O., Yu, C. & Başar, T., Nov 2018, In : IEEE Transactions on Automatic Control. 63, 11, p. 3793-3808 16 p., 8289383.

Research output: Contribution to journalArticle

Evolution of temporal multimedia synchronization principles

Huang, Z., Nahrstedt, K. & Steinmetz, R., Mar 26 2018, MediaSync: Handbook on Multimedia Synchronization. Springer International Publishing, p. 33-71 39 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Experience trailers

Twidale, M. & Rennick-Egglestone, S., Jul 1 2018, Interactions, 25, 4, p. 58-62 5 p.

Research output: Contribution to specialist publicationArticle

Experimental Evaluation of the Planar Assumption in Magnetic Positioning

Hanley, D., Zhang, X., Dantas De Oliveira, A. S., Steinberg, D. & Bretl, T., Nov 13 2018, IPIN 2018 - 9th International Conference on Indoor Positioning and Indoor Navigation. Institute of Electrical and Electronics Engineers Inc., 8533828. (IPIN 2018 - 9th International Conference on Indoor Positioning and Indoor Navigation).

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

Experimental validation of graph-based hierarchical control for thermal management

Pangborn, H. C., Koeln, J. P., Williams, M. A. & Alleyne, A. G., Oct 1 2018, In : Journal of Dynamic Systems, Measurement and Control, Transactions of the ASME. 140, 10, 101016.

Research output: Contribution to journalArticle

Face recognition with hybrid efficient convolution algorithms on FPGAs

Zhuge, C., Liu, X., Zhang, X., Gummadi, S., Xiong, J. & Chen, D., May 30 2018, GLSVLSI 2018 - Proceedings of the 2018 Great Lakes Symposium on VLSI. Association for Computing Machinery, p. 123-128 6 p. (Proceedings of the ACM Great Lakes Symposium on VLSI, GLSVLSI).

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

FACTS: Automated black-box testing of fintech systems

Wang, Q., Gu, L., Xue, M., Xu, L., Niu, W., Dou, L., He, L. & Xie, T., Oct 26 2018, ESEC/FSE 2018 - Proceedings of the 2018 26th ACM Joint Meeting on European So ftware Engineering Conference and Symposium on the Foundations of So ftware Engineering. Garci, A., Pasareanu, C. S. & Leavens, G. T. (eds.). Association for Computing Machinery, Inc, p. 839-844 6 p. (ESEC/FSE 2018 - Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering).

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

Fairness in Supervised Learning: An Information Theoretic Approach

Ghassami, A., Khodadadian, S. & Kiyavash, N., Aug 15 2018, 2018 IEEE International Symposium on Information Theory, ISIT 2018. Institute of Electrical and Electronics Engineers Inc., p. 176-180 5 p. 8437807. (IEEE International Symposium on Information Theory - Proceedings; vol. 2018-June).

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

FastDeepIoT: Towards understanding and optimizing neural network execution time on mobile and embedded devices

Yao, S., Zhao, Y., Shao, H., Liu, S. Z., Liu, D., Su, L. & Abdelzaher, T., Nov 4 2018, SenSys 2018 - Proceedings of the 16th Conference on Embedded Networked Sensor Systems. Association for Computing Machinery, Inc, p. 278-291 14 p. (SenSys 2018 - Proceedings of the 16th Conference on Embedded Networked Sensor Systems).

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

Fault Analysis and Debugging of Microservice Systems: Industrial Survey, Benchmark System, and Empirical Study

Zhou, X., Peng, X., Xie, T., Sun, J., Ji, C., Li, W. & Ding, D., Jan 1 2018, (Accepted/In press) In : IEEE Transactions on Software Engineering.

Research output: Contribution to journalArticle

Fault detection and isolation for complex thermal management systems

Tannous, P. J. & Alleyne, A. G., Jan 1 2018, Control and Optimization of Connected and Automated Ground Vehicles; Dynamic Systems and Control Education; Dynamics and Control of Renewable Energy Systems; Energy Harvesting; Energy Systems; Estimation and Identification; Intelligent Transportation and Vehicles; Manufacturing; Mechatronics; Modeling and Control of IC Engines and Aftertreatment Systems; Modeling and Control of IC Engines and Powertrain Systems; Modeling and Management of Power Systems. American Society of Mechanical Engineers (ASME), (ASME 2018 Dynamic Systems and Control Conference, DSCC 2018; vol. 2).

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

FEATS: Synthetic feature tracks for structure from motion evaluation

Degol, J., Lee, J. Y., Kataria, R., Yuan, D., Bretl, T. & Hoiem, D., Oct 12 2018, Proceedings - 2018 International Conference on 3D Vision, 3DV 2018. Institute of Electrical and Electronics Engineers Inc., p. 352-361 10 p. 8490986. (Proceedings - 2018 International Conference on 3D Vision, 3DV 2018).

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

Feature-constrained Active Visual SLAM for Mobile Robot Navigation

Deng, X., Zhang, Z., Sintov, A., Huang, J. & Bretl, T. W., Sep 10 2018, 2018 IEEE International Conference on Robotics and Automation, ICRA 2018. Institute of Electrical and Electronics Engineers Inc., p. 7233-7238 6 p. 8460721. (Proceedings - IEEE International Conference on Robotics and Automation).

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

Finite-trace linear temporal logic: coinductive completeness

Roşu, G., Aug 1 2018, In : Formal Methods in System Design. 53, 1, p. 138-163 26 p.

Research output: Contribution to journalArticle

Foreword

Hovakimyan, N. & Kiyavash, N., Jan 17 2018, In : 55th Annual Allerton Conference on Communication, Control, and Computing, Allerton 2017. 2018-January, 1 p.

Research output: Contribution to journalEditorial

Formal design, implementation and verification of blockchain languages

Rosu, G., Jul 1 2018, 3rd International Conference on Formal Structures for Computation and Deduction, FSCD 2018. Kirchner, H. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 108).

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

Formal design of cloud computing systems in maude

Meseguer, J., Jan 1 2018, Formal Methods: Foundations and Applications - 21st Brazilian Symposium, SBMF 2018, Proceedings. Massoni, T. & Mousavi, M. R. (eds.). Springer-Verlag Berlin Heidelberg, p. 5-19 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11254 LNCS).

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

Formal modeling and analysis of the walter transactional data store

Liu, S., Ölveczky, P. C., Wang, Q. & Meseguer, J., Jan 1 2018, Rewriting Logic and Its Applications - 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, 2018, Proceedings. Rusu, V. (ed.). Springer-Verlag Berlin Heidelberg, p. 136-152 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11152 LNCS).

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

Frames and slants in titles of visualizations on controversial topics

Kong, H. K., Liu, Z. & Karahalios, K., Apr 20 2018, CHI 2018 - Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems: Engage with CHI. Association for Computing Machinery, (Conference on Human Factors in Computing Systems - Proceedings; vol. 2018-April).

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

Fully decentralized multi-agent reinforcement learning with networked agents

Zhang, K., Yang, Z., Liu, H., Zhang, T. & Başar, T., Jan 1 2018, 35th International Conference on Machine Learning, ICML 2018. Krause, A. & Dy, J. (eds.). International Machine Learning Society (IMLS), p. 9340-9371 32 p. (35th International Conference on Machine Learning, ICML 2018; vol. 13).

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

Fundamental Limits of Database Alignment

Cullina, D., Mittal, P. & Kiyavash, N., Aug 15 2018, 2018 IEEE International Symposium on Information Theory, ISIT 2018. Institute of Electrical and Electronics Engineers Inc., p. 651-655 5 p. 8437908. (IEEE International Symposium on Information Theory - Proceedings; vol. 2018-June).

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

Generalized Colonel Blotto Game

Ferdowsi, A., Sanjab, A., Saad, W. & Basar, T., Aug 9 2018, 2018 Annual American Control Conference, ACC 2018. Institute of Electrical and Electronics Engineers Inc., p. 5744-5749 6 p. 8431701. (Proceedings of the American Control Conference; vol. 2018-June).

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

Generalized rewrite theories and coherence completion

Meseguer, J., Jan 1 2018, Rewriting Logic and Its Applications - 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, 2018, Proceedings. Rusu, V. (ed.). Springer-Verlag Berlin Heidelberg, p. 164-183 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11152 LNCS).

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

Generalized water-filling for source-aware energy-efficient SRAMs

Kim, Y., Kang, M., Varshney, L. R. & Shanbhag, N. R., Oct 2018, In : IEEE Transactions on Communications. 66, 10, p. 4826-4841 16 p., 8368137.

Research output: Contribution to journalArticle