Research Output

Filter
Article
2020

A Combinatorial Testing-Based Approach to Fault Localization

Sh. Ghandehari, L., Lei, Y., Kacker, R., Kuhn, R., Xie, T. & Kung, D., Jun 1 2020, In : IEEE Transactions on Software Engineering. 46, 6, p. 616-645 30 p., 8438933.

Research output: Contribution to journalArticle

A Constructor-Based Reachability Logic for Rewrite Theories

Skeirik, S., Stefanescu, A. & Meseguer, J., Jan 1 2020, In : Fundamenta Informaticae. 173, 4, p. 315-382 68 p.

Research output: Contribution to journalArticle

A CyberGIS Approach to Spatiotemporally Explicit Uncertainty and Global Sensitivity Analysis for Agent-Based Modeling of Vector-Borne Disease Transmission

Kang, J. Y., Aldstadt, J., Vandewalle, R., Yin, D. & Wang, S., Jan 1 2020, (Accepted/In press) In : Annals of the American Association of Geographers.

Research output: Contribution to journalArticle

A deep learning approach to conflating heterogeneous geospatial data for corn yield estimation: A case study of the US Corn Belt at the county level

Jiang, H., Hu, H., Zhong, R., Xu, J., Xu, J., Huang, J., Wang, S., Ying, Y. & Lin, T., Mar 1 2020, In : Global change biology. 26, 3, p. 1754-1766 13 p.

Research output: Contribution to journalArticle

A framework for supporting the development of verifiably safe medical best practice guideline systems

Guo, C., Fu, Z., Zhang, Z., Ren, S. & Sha, L., Mar 2020, In : Journal of Systems Architecture. 104, 101693.

Research output: Contribution to journalArticle

An incentive compatible, efficient market for air traffic flow management

Mehta, R. & Vazirani, V. V., May 24 2020, In : Theoretical Computer Science. 818, p. 41-50 10 p.

Research output: Contribution to journalArticle

A partial-dithering strategy for edge-illumination X-ray phase-contrast tomography enabled by a joint reconstruction method

Chen, Y., Hagen, C. K., Olivo, A. & Anastasio, M. A., May 21 2020, In : Physics in medicine and biology. 65, 10, 105007.

Research output: Contribution to journalArticle

A partial evaluation framework for order-sorted equational programs modulo axioms

Alpuente, M., Cuenca-Ortega, A., Escobar, S. & Meseguer, J., Jan 2020, In : Journal of Logical and Algebraic Methods in Programming. 110, 100501.

Research output: Contribution to journalArticle

Open Access

Approximation algorithms for scheduling C-benevolent jobs on weighted machines

Yu, G. & Jacobson, S. H., Apr 2 2020, In : IISE Transactions. 52, 4, p. 432-443 12 p.

Research output: Contribution to journalArticle

Asymptotic analysis for multi-objective sequential stochastic assignment problems

Yu, G., Jacobson, S. H. & Kiyavash, N., Feb 17 2020, In : Stochastics. 92, 2, p. 223-264 42 p.

Research output: Contribution to journalArticle

Challenges and Opportunities in the Detection of Safety-Critical Cyberphysical Attacks

Lin, H., Alemzadeh, H., Kalbarczyk, Z. & Iyer, R., Mar 2020, Computer, 53, 3, p. 26-37 12 p.

Research output: Contribution to specialist publicationArticle

CoMID: Context-Based Multiinvariant Detection for Monitoring Cyber-Physical Software

Qin, Y., Xie, T., Xu, C., Astorga, A. & Lu, J., Mar 1 2020, In : IEEE Transactions on Reliability. 69, 1, p. 106-123 18 p., 8809357.

Research output: Contribution to journalArticle

Comparison of data-acquisition designs for single-shot edge-illumination X-ray phase-contrast tomography

Chen, Y., Zhou, W., Hagen, C. K., Olivo, A. & Anastasio, M. A., Jan 1 2020, In : Optics Express. 28, 1, p. 1-19 19 p.

Research output: Contribution to journalArticle

Control Systems for Computing Systems: Making computers efficient with modular, coordinated, and robust control

Pothukuchi, R. P., Pothukuchi, S. Y., Voulgaris, P. G. & Torrellas, J., Apr 2020, In : IEEE Control Systems. 40, 2, p. 30-55 26 p., 9036110.

Research output: Contribution to journalArticle

Creating Foundations for Secure Microarchitectures with Data-Oblivious ISA Extensions

Yu, J., Hsiung, L., Hajj, M. E. & Fletcher, C. W., May 1 2020, In : IEEE Micro. 40, 3, p. 99-107 9 p., 9057402.

Research output: Contribution to journalArticle

Decomposing Arrangements of Hyperplanes: VC-Dimension, Combinatorial Dimension, and Point Location

Ezra, E., Har-Peled, S., Kaplan, H. & Sharir, M., Jul 1 2020, In : Discrete and Computational Geometry. 64, 1, p. 109-173 65 p.

Research output: Contribution to journalArticle

Deep multiplex graph infomax: Attentive multiplex network embedding using global information

Park, C., Han, J. & Yu, H., Jan 1 2020, (Accepted/In press) In : Knowledge-Based Systems. 105861.

Research output: Contribution to journalArticle

Deriving high-spatiotemporal-resolution leaf area index for agroecosystems in the U.S. Corn Belt using Planet Labs CubeSat and STAIR fusion data

Kimm, H., Guan, K., Jiang, C., Peng, B., Gentry, L. F., Wilkin, S. C., Wang, S., Cai, Y., Bernacchi, C. J., Peng, J. & Luo, Y., Mar 15 2020, In : Remote Sensing of Environment. 239, 111615.

Research output: Contribution to journalArticle

Direct numerical simulation of rotating ellipsoidal particles using moving nonconforming Schwarz-spectral element method

Mittal, K., Dutta, S. & Fischer, P., Jun 15 2020, In : Computers and Fluids. 205, 104556.

Research output: Contribution to journalArticle

Duality in balance optimization subset selection

Kwon, H. Y., Sauppe, J. J. & Jacobson, S. H., Jun 1 2020, In : Annals of Operations Research. 289, 2, p. 277-289 13 p.

Research output: Contribution to journalArticle

Emphasizing Functional Relevance over State Restoration in Post-Silicon Signal Tracing

Pal, D., Ma, S. & Vasudevan, S., Feb 2020, In : IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 39, 2, p. 533-546 14 p., 8576589.

Research output: Contribution to journalArticle

Engineer the Channel and Adapt to it: Enabling Wireless Intra-Chip Communication

Timoneda, X., Abadal, S., Franques, A., Manessis, D., Zhou, J., Torrellas, J., Alarcón, E. & Cabellos-Aparicio, A., May 2020, In : IEEE Transactions on Communications. 68, 5, p. 3247-3258 12 p., 8999564.

Research output: Contribution to journalArticle

Enhancing supervised bug localization with metadata and stack-trace

Wang, Y., Yao, Y., Tong, H., Huo, X., Li, M., Xu, F. & Lu, J., Jan 1 2020, (Accepted/In press) In : Knowledge and Information Systems.

Research output: Contribution to journalArticle

Estimation of Backscatter Coefficients Using an in Situ Calibration Source

Nguyen, T. N., Tam, A. J., Do, M. N. & Oelze, M. L., Feb 2020, In : IEEE Transactions on Ultrasonics, Ferroelectrics, and Frequency Control. 67, 2, p. 308-317 10 p., 8851294.

Research output: Contribution to journalArticle

Exploring how online political quizzes boost interest in politics, political news, and political engagement

Masullo Chen, G., Ng, Y. M. M., Riedl, M. J. & Chen, V. Y., Jan 2 2020, In : Journal of Information Technology and Politics. 17, 1, p. 33-47 15 p.

Research output: Contribution to journalArticle

Fast Bilinear Algorithms for Symmetric Tensor Contractions

Solomonik, E. & Demmel, J., Jan 1 2020, (Accepted/In press) In : Computational Methods in Applied Mathematics.

Research output: Contribution to journalArticle

FFT, FMM, and multigrid on the road to exascale: Performance challenges and opportunities

Ibeid, H., Olson, L. & Gropp, W., Feb 2020, In : Journal of Parallel and Distributed Computing. 136, p. 63-74 12 p.

Research output: Contribution to journalArticle

Five challenges in cloud-enabled intelligence and control

Abdelzaher, T., Hao, Y., Jayarajah, K., Misra, A., Skarin, P., Yao, S., Weerakoon, D. & Arzen, K. E., Feb 10 2020, In : ACM Transactions on Internet Technology. 20, 1, 3.

Research output: Contribution to journalArticle

Force calibration for an endovascular robotic system with proximal force measurement

Sankaran, N. K., Chembrammel, P. & Kesavadas, T., Apr 1 2020, In : International Journal of Medical Robotics and Computer Assisted Surgery. 16, 2, e2045.

Research output: Contribution to journalArticle

Frequent mastery testing with second-chance exams leads to enhanced student learning in undergraduate engineering

Morphew, J. W., Silva, M., Herman, G. & West, M., Jan 1 2020, In : Applied Cognitive Psychology. 34, 1, p. 168-181 14 p.

Research output: Contribution to journalArticle

GABAC: An arithmetic coding solution for genomic data

Voges, J., Paridaens, T., Müntefering, F., Mainzer, L. S., Bliss, B., Yang, M., Ochoa, I., Fostier, J., Ostermann, J., Hernaez, M. & Hancock, J., Apr 1 2020, In : Bioinformatics. 36, 7, p. 2275-2277 3 p.

Research output: Contribution to journalArticle

Open Access
Open Access

Genomic regions influencing aggressive behavior in honey bees are defined by colony allele frequencies

Avalos, A., Fang, M., Pan, H., Ramirez Lluch, A., Lipka, A. E., Zhao, S. D., Giray, T., Robinson, G. E., Zhang, G. & Hudson, M. E., Jul 6 2020, In : Proceedings of the National Academy of Sciences.

Research output: Contribution to journalArticle

Global shape of Toll activation is determined by wntD enhancer properties

Rahimi, N., Carmon, S., Averbukh, I., Khajouei, F., Sinha, S., Schejter, E. D., Barkai, N. & Shilo, B. Z., Jan 21 2020, In : Proceedings of the National Academy of Sciences of the United States of America. 117, 3, p. 1552-1558 7 p.

Research output: Contribution to journalArticle

Graph Lyapunov function for switching stabilization and distributed computation

Lee, D., Dullerud, G. E. & Hu, J., Jun 2020, In : Automatica. 116, 108923.

Research output: Contribution to journalArticle

Ground confluence of order-sorted conditional specifications modulo axioms

Durán, F., Meseguer, J. & Rocha, C., Feb 2020, In : Journal of Logical and Algebraic Methods in Programming. 111, 100513.

Research output: Contribution to journalArticle

Heterogeneous computing with OpenMP and Hydra

Diener, M., Kale, L. V. & Bodony, D. J., Jan 1 2020, (Accepted/In press) In : Concurrency Computation.

Research output: Contribution to journalArticle

Honey bee virus causes context-dependent changes in host social behavior

Geffre, A. C., Gernat, T., Harwood, G. P., Jones, B. M., Morselli Gysi, D., Hamilton, A. R., Bonning, B. C., Toth, A. L., Robinson, G. E. & Dolezal, A. G., May 12 2020, In : PNAS. 117, 19, p. 10406-10413 8 p.

Research output: Contribution to journalArticle

IART: Learning from Demonstration for Assisted Robotic Therapy Using LSTM

Pareek, S. & Kesavadas, T., Apr 2020, In : IEEE Robotics and Automation Letters. 5, 2, p. 477-484 8 p., 8939469.

Research output: Contribution to journalArticle

Improving the Generalization Ability of Deep Neural Networks for Cross-Domain Visual Recognition

Zheng, J., Lu, C., Hao, C., Chen, D. & Guo, D., Jan 1 2020, (Accepted/In press) In : IEEE Transactions on Cognitive and Developmental Systems.

Research output: Contribution to journalArticle

Improving the integrality gap for multiway cut

Bérczi, K., Chandrasekaran, K., Király, T. & Madan, V., Jan 1 2020, (Accepted/In press) In : Mathematical Programming.

Research output: Contribution to journalArticle

Inferring Full Diffusion History from Partial Timestamps

Chen, Z., Tong, H. & Ying, L., Jul 1 2020, In : IEEE Transactions on Knowledge and Data Engineering. 32, 7, p. 1378-1392 15 p., 8667709.

Research output: Contribution to journalArticle

Iterative image reconstruction in transcranial photoacoustic tomography based on the elastic wave equation

Poudel, J., Na, S., Wang, L. V. & Anastasio, M. A., Jan 1 2020, In : Physics in medicine and biology. 65, 5, 055009.

Research output: Contribution to journalArticle

Open Access

Knowledge-guided analysis of "omics" data using the KnowEnG cloud platform

Blatti, C., Emad, A., Berry, M. J., Gatzke, L., Epstein, M., Lanier, D., Rizal, P., Ge, J., Liao, X., Sobh, O., Lambert, M., Post, C. S., Xiao, J., Groves, P., Epstein, A. T., Chen, X., Srinivasan, S., Lehnert, E., Kalari, K. R., Wang, L. & 8 others, Weinshilboum, R. M., Song, J. S., Jongeneel, C. V., Han, J., Ravaioli, U., Sobh, N., Bushell, C. B. & Sinha, S., Jan 1 2020, In : PLoS biology. 18, 1, e3000583.

Research output: Contribution to journalArticle

Open Access

Learning salient seeds refer to the manifold ranking and background-prior strategy

Chou, Y. C., Nien, Y. W., Chen, Y. C., Li, B. & Lee, J. S., Mar 1 2020, In : Multimedia Tools and Applications. 79, 9-10, p. 5859-5879 21 p.

Research output: Contribution to journalArticle

LES of the Gas-Exchange Process Inside an Internal Combustion Engine Using a High-Order Method

Giannakopoulos, G. K., Frouzakis, C. E., Fischer, P. F., Tomboulides, A. G. & Boulouchos, K., Mar 1 2020, In : Flow, Turbulence and Combustion. 104, 2-3, p. 673-692 20 p.

Research output: Contribution to journalArticle

Meta-analysis of honey bee neurogenomic response links Deformed wing virus type A to precocious behavioral maturation

Traniello, I. M., Bukhari, S. A., Kevill, J., Ahmed, A. C., Hamilton, A. R., Naeger, N. L., Schroeder, D. C. & Robinson, G. E., Dec 1 2020, In : Scientific reports. 10, 1, 3101.

Research output: Contribution to journalArticle

Open Access

MicroScope: Enabling Microarchitectural Replay Attacks

Skarlatos, D., Yan, M., Gopireddy, B., Sprabery, R., Torrellas, J. & Fletcher, C. W., May 1 2020, In : IEEE Micro. 40, 3, p. 91-98 8 p., 9069250.

Research output: Contribution to journalArticle

Missing information imputation for disease-dedicated social networks with heterogeneous auxiliary data

Liu, X., He, J., Min, W. & Yang, H., Apr 2 2020, In : IISE Transactions on Healthcare Systems Engineering. 10, 2, p. 87-98 12 p.

Research output: Contribution to journalArticle