Research Output 1974 2020

Filter
Article
2019

A Binning Approach to Quickest Change Detection With Unknown Postchange Distribution

Lau, T. S., Tay, W. P. & Veeravalli, V. V., Feb 1 2019, In : IEEE Transactions on Signal Processing. 67, 3, p. 609-621 13 p., 8537967.

Research output: Contribution to journalArticle

Bins
Statistics
Testing

A comparison of glenohumeral joint kinematics and muscle activation during standard and geared manual wheelchair mobility

Slavens, B. A., Jahanian, O., Schnorenberg, A. J. & Hsiao-Wecksler, E. T., Aug 1 2019, In : Medical Engineering and Physics. 70, p. 1-8 8 p.

Research output: Contribution to journalArticle

Shoulder Joint
Wheelchairs
Biomechanical Phenomena
Muscle
Kinematics
Ministry of State Security (GDR)
experiment
Running
Walking
Vaccines

Adaptive covariance estimation of LiDAR-based positioning errors for UAVs

Shetty, A. & Gao, G. X., Jun 1 2019, In : Navigation, Journal of the Institute of Navigation. 66, 2, p. 463-476 14 p.

Research output: Contribution to journalArticle

Unmanned aerial vehicles (UAV)
Covariance matrix
Electric fuses
Sensors
Position measurement

Adaptive Sequential Stochastic Optimization

Wilson, C., Veeravalli, V. V. & Nedic, A., Feb 1 2019, In : IEEE Transactions on Automatic Control. 64, 2, p. 496-509 14 p., 8316928.

Research output: Contribution to journalArticle

Trajectories

Agile research

Twidale, M. B. & Hansen, P., Jan 1 2019, In : First Monday. 24, 1, 5.

Research output: Contribution to journalArticle

software development
Software engineering
research method
criticism
learning

A hardware-efficient block matching algorithm and its hardware design for variable block size motion estimation in ultra-high-definition video encoding

Zheng, J., Chao, L. U., Jiefeng, G. U. O., Chen, D. & Donghui, G. U. O., Jan 1 2019, In : ACM Transactions on Design Automation of Electronic Systems. 24, 2, a15.

Research output: Contribution to journalArticle

Motion estimation
Image coding
Hardware
Data storage equipment
Computational complexity

All-Path reachability logic

Ştefanescu, A., Ciobâcă, S., Mereuta, R., Moore, B. M., Rosu, G. & şerbănuţă, T. F., Jan 1 2019, In : Logical Methods in Computer Science. 15, 2, p. 5:1-5:23

Research output: Contribution to journalArticle

Reachability
Proof System
Semantics
Logic
Path

An Energy-Efficient Programmable Mixed-Signal Accelerator for Machine Learning Algorithms

Kang, M., Srivastava, P., Adve, V. S., Kim, N. S. & Shanbhag, N. R., Sep 1 2019, In : IEEE Micro. 39, 5, p. 64-72 9 p., 8768342.

Research output: Contribution to journalArticle

High level languages
Learning algorithms
Particle accelerators
Energy efficiency
Learning systems

Approximate Nash equilibria in partially observed stochastic games with mean-field interactions

Saldi, N., Basar, M. T. & Raginsky, M., Jan 1 2019, In : Mathematics of Operations Research. 44, 3, p. 1006-1033 28 p.

Research output: Contribution to journalArticle

Stochastic Games
Nash Equilibrium
Mean Field
Game
Interaction
Transfer functions
Feedback

A spatiotemporal assessment of field residues of rice, maize, and wheat at provincial and county levels in China

Lin, T., Xu, J., Shen, X., Jiang, H., Zhong, R., Wu, S., Du, Z., Rodriguez, L. F. & Ting, K. C., Jan 1 2019, In : GCB Bioenergy.

Research output: Contribution to journalArticle

Open Access
Crops
rice
wheat
maize
corn

Assertion Ranking using RTL Source Code Analysis

Pal, D., Offenberger, S. & Vasudevan, S., Jan 1 2019, In : IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Research output: Contribution to journalArticle

Directed graphs

Automated metrology and geometric analysis of additively manufactured lattice structures

McGregor, D. J., Tawfick, S. H. & King, W. P., Aug 1 2019, In : Additive Manufacturing. 28, p. 535-545 11 p.

Research output: Contribution to journalArticle

3D printers
Struts
Tomography
Quality control
Statistical methods

Automatic generation of benchmarks for I/O-intensive parallel applications

Hao, M., Zhang, W., Zhang, Y., Snir, M. & Yang, L. T., Feb 1 2019, In : Journal of Parallel and Distributed Computing. 124, p. 1-13 13 p.

Research output: Contribution to journalArticle

Parallel Applications
Benchmark
Trace
Supercomputers
Communication

BGP with BGPsec: Attacks and Countermeasures

Li, Q., Liu, J., Hu, Y-C., Xu, M. & Wu, J., Jul 1 2019, In : IEEE Network. 33, 4, p. 194-200 7 p., 8594708.

Research output: Contribution to journalArticle

Network protocols
Internet

Binodal, wireless epidermal electronic systems with in-sensor analytics for neonatal intensive care

Chung, H. U., Kim, B. H., Lee, J. Y., Lee, J., Xie, Z., Ibler, E. M., Lee, K. H., Banks, A., Jeong, J. Y., Kim, J., Ogle, C., Grande, D., Yu, Y., Jang, H., Assem, P., Ryu, D., Kwak, J. W., Namkoong, M., Park, J. B., Lee, Y. & 25 others, Kim, D. H., Ryu, A., Jeong, J., You, K., Ji, B., Liu, Z., Huo, Q., Feng, X., Deng, Y., Xu, Y., Jang, K. I., Kim, J., Zhang, Y., Ghaffari, R., Rand, C. M., Schau, M., Hamvas, A., Weese-Mayer, D. E., Huang, Y., Lee, S. M., Lee, C. H., Shanbhag, N. R., Paller, A. S., Xu, S. & Rogers, J. A., Jan 1 2019, In : Science. 363, 6430

Research output: Contribution to journalArticle

Open Access
Neonatal Intensive Care
Neonatal Intensive Care Units
Skin
Vital Signs
Diagnostic Imaging

Blind Gain and Phase Calibration via Sparse Spectral Methods

Li, Y., Lee, K. & Bresler, Y., May 1 2019, In : IEEE Transactions on Information Theory. 65, 5, p. 3097-3123 27 p., 8550743.

Research output: Contribution to journalArticle

Calibration
regime
Sensor arrays
Synthetic aperture radar
Inverse problems

Boosted Spin Channel Networks for Energy-Efficient Inference

Patil, A. D., Manipatruni, S., Nikonov, D. E., Young, I. A. & Shanbhag, N. R., Jun 1 2019, In : IEEE Journal on Exploratory Solid-State Computational Devices and Circuits. 5, 1, p. 34-42 9 p., 8631185.

Research output: Contribution to journalArticle

Adaptive boosting
Silicon
Energy efficiency
Electronic equipment

Bounding multivariate trigonometric polynomials

Pfister, L. & Bresler, Y., Feb 1 2019, In : IEEE Transactions on Signal Processing. 67, 3, p. 700-707 8 p., 8552451.

Research output: Contribution to journalArticle

Polynomials
Control theory

Can Data Provenance Put an End to the Data Breach?

Bates, A. M. & Hassan, W. U., Jul 1 2019, In : IEEE Security and Privacy. 17, 4, p. 88-93 6 p., 8755956.

Research output: Contribution to journalArticle

Looms
Personnel
credit system
personnel management
resignation

Cloud-Based Phrase Mining and Analysis of User-Defined Phrase-Category Association in Biomedical Publications

Sigdel, D., Kyi, V., Zhang, A., Setty, S. P., Liem, D. A., Shi, Y., Wang, X., Shen, J., Wang, W., Han, J. & Ping, P., Feb 23 2019, In : Journal of visualized experiments : JoVE. 144

Research output: Contribution to journalArticle

Open Access
Semantics
Publications
Processing
Data Mining
Cloud computing

Collision avoidance in cooperative missions: Bézier surfaces for circumnavigating uncertain speed profiles

Mehdi, S. B., Choe, R. & Hovakimyan, N., Jan 1 2019, In : Journal of Guidance, Control, and Dynamics. 42, 8, p. 1779-1796 18 p.

Research output: Contribution to journalArticle

collision avoidance
Collision Avoidance
Collision avoidance
Collision
collision

Communication scheduling and remote estimation with adversarial intervention

Gao, X., Akyol, E. & Basar, M. T., Jan 1 2019, In : IEEE/CAA Journal of Automatica Sinica. 6, 1, p. 32-44 13 p., 8600788.

Research output: Contribution to journalArticle

Scheduling
Communication
Sensors
Random processes
Feedback

Controlling and stabilizing a rigid formation using a few agents

Chen, X., Belabbas, M. A. & Basar, M. T., Jan 1 2019, In : SIAM Journal on Control and Optimization. 57, 1, p. 104-128 25 p.

Research output: Contribution to journalArticle

Position control
Controllability
Entire
Perturbation
Subset

Convergence of the Iterates in Mirror Descent Methods

Doan, T. T., Bose, S., Nguyen, D. H. & Beck, C. L., Jan 1 2019, In : IEEE Control Systems Letters. 3, 1, p. 114-119 6 p.

Research output: Contribution to journalArticle

Descent Method
Iterate
Mirror
Mirrors
Distributed Optimization

Convolution Attack on Frequency Hopping by Full-Duplex Radios

Jagadeesh, H. & Hu, Y-C., Jun 1 2019, In : IEEE Transactions on Vehicular Technology. 68, 6, p. 5642-5656 15 p., 8676089.

Research output: Contribution to journalArticle

Frequency Hopping
Frequency hopping
Radio receivers
Convolution
Frequency shift keying

Cost-Effective Error Detection Through Mersenne Modulo Shadow Datapaths

Campbell, K., Lin, C. H. & Chen, D., Jun 1 2019, In : IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 38, 6, p. 1056-1069 14 p., 8356040.

Research output: Contribution to journalArticle

Error detection
Costs
Particle accelerators
Cost effectiveness
Hardware

Cross-type biomedical named entity recognition with deep multi-task learning

Wang, X., Zhang, Y., Ren, X., Zhang, Y., Zitnik, M., Shang, J., Langlotz, C. & Han, J., May 15 2019, In : Bioinformatics. 35, 10, p. 1745-1752 8 p.

Research output: Contribution to journalArticle

Multi-task Learning
Named Entity Recognition
Learning
Labeling
Benchmarking

Data-Driven Coordination of Distributed Energy Resources for Active Power Provision

Xu, H., Dominguez-Garcia, A. & Sauer, P. W., Jul 1 2019, In : IEEE Transactions on Power Systems. 34, 4, p. 3047-3058 12 p., 8642451.

Research output: Contribution to journalArticle

Energy resources
Controllers
Convex optimization
Computer simulation
Costs

Dealing with C's Original Sin

Hathhorn, C. & Rosu, G., Sep 1 2019, In : IEEE Software. 36, 5, p. 24-28 5 p., 8802866.

Research output: Contribution to journalArticle

UNIX
Computer operating systems

Decidable and expressive classes of probabilistic automata

Ben, Y., Chadha, R., Sistla, A. P. & Viswanathan, M., Mar 1 2019, In : Journal of Computer and System Sciences. 100, p. 70-95 26 p.

Research output: Contribution to journalArticle

Probabilistic Automata
Formal languages
Infinite Words
Regular Languages
Class

Design of a Compact Hemispiral GPS Antenna with Direction Finding Capabilities

Kataria, C. Y., Gao, G. X. & Bernhard, J. T., May 1 2019, In : IEEE Transactions on Antennas and Propagation. 67, 5, p. 2878-2885 8 p., 8640821.

Research output: Contribution to journalArticle

Global positioning system
Antennas
Costs

Detection and mitigation of biasing attacks on distributed estimation networks

Deghat, M., Ugrinovskii, V., Shames, I. & Langbort, C., Jan 1 2019, In : Automatica. 99, p. 369-381 13 p.

Research output: Contribution to journalArticle

State estimation
Detectors

Distributed Discrete-Time Optimization in Multiagent Networks Using only Sign of Relative State

Zhang, J., You, K. & Basar, M. T., Jun 1 2019, In : IEEE Transactions on Automatic Control. 64, 6, p. 2352-2367 16 p., 8558107.

Research output: Contribution to journalArticle

Parallel algorithms
Costs

Does Interest in Smoking Affect Youth Selection of Pro-smoking Videos? A selective exposure experiment

Bae, R. E., Maloney, E. K., Albarracin, D. & Cappella, J. N., Jan 1 2019, In : Nicotine and Tobacco Research. 21, 4, p. 539-546 8 p.

Research output: Contribution to journalArticle

Smoking

Dynamic Games in Cyber-Physical Security: An Overview

Etesami, S. R. & Basar, M. T., Jan 1 2019, In : Dynamic Games and Applications.

Research output: Contribution to journalArticle

Dynamic Games
Game theory
Game
Game Theory
Vulnerability

Efficient Local Secret Sharing for Distributed Blockchain Systems

Kim, Y., Raman, R. K., Kim, Y. S., Varshney, L. R. & Shanbhag, N. R., Feb 1 2019, In : IEEE Communications Letters. 23, 2, p. 282-285 4 p., 8571305.

Research output: Contribution to journalArticle

Secret Sharing
Distributed Systems
Costs
Communication
Communication Cost

Emerging threats in internet of things voice services

Kumar, D., Paccagnella, R., Murley, P., Hennenfent, E., Mason, J., Bates, A. M. & Bailey, M. D., Jul 1 2019, In : IEEE Security and Privacy. 17, 4, p. 18-24 7 p., 8718807.

Research output: Contribution to journalArticle

Speech recognition
threat
Engines
Internet
interpretation

Error-Resilient Spintronics via the Shannon- Inspired Model of Computation

Patil, A. D., Manipatruni, S., Nikonov, D. E., Young, I. A. & Shanbhag, N. R., Jun 1 2019, In : IEEE Journal on Exploratory Solid-State Computational Devices and Circuits. 5, 1, p. 10-18 9 p., 8689353.

Research output: Contribution to journalArticle

Magnetoelectronics
Error statistics
Error compensation
Support vector machines
Classifiers

Exact Variance-Reduced Simulation of Lattice Continuous-Time Markov Chains with Applications in Reaction Networks

Maginnis, P. A., West, M. & Dullerud, G. E., Aug 15 2019, In : Bulletin of Mathematical Biology. 81, 8, p. 3159-3184 26 p.

Research output: Contribution to journalArticle

Reaction Network
Markov Chains
Continuous-time Markov Chain
Markov chain
Poisson process

Exploring the feasibility of lossy compression for PDE simulations

Calhoun, J., Cappello, F., Olson, L., Snir, M. & Gropp, W. D., Mar 1 2019, In : International Journal of High Performance Computing Applications. 33, 2, p. 397-410 14 p.

Research output: Contribution to journalArticle

Lossy Compression
Checkpoint
Partial differential equations
Restart
Partial differential equation

Faster subgradient methods for functions with Hölderian growth

Johnstone, P. R. & Moulin, P., Jan 1 2019, (Accepted/In press) In : Mathematical Programming.

Research output: Contribution to journalArticle

Subgradient Method
Convergence Rate
Linear Convergence
Stairs
Nonsmooth Function
fault detection
management systems
Fault detection
Temperature control
isolation

First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014

Bartocci, E., Falcone, Y., Bonakdarpour, B., Colombo, C., Decker, N., Havelund, K., Joshi, Y., Klaedtke, F., Milewicz, R., Reger, G., Rosu, G., Signoles, J., Thoma, D., Zalinescu, E. & Zhang, Y., Feb 6 2019, In : International Journal on Software Tools for Technology Transfer. 21, 1, p. 31-70 40 p.

Research output: Contribution to journalArticle

Monitoring
Satellites

Formational bounds of link prediction in collaboration networks

Kim, J. & Diesner, J., Jan 1 2019, In : Scientometrics.

Research output: Contribution to journalArticle

Structural properties
time

Generalized Sarymsakov Matrices

Xia, W., Liu, J., Cao, M., Johansson, K. H. & Basar, M. T., Aug 1 2019, In : IEEE Transactions on Automatic Control. 64, 8, p. 3085-3100 16 p., 8513840.

Research output: Contribution to journalArticle

Shoulder Joint
Wheelchairs
Spinal Cord Injuries
Muscles
Hand

Global Asymptotic Stability and Stabilization of Long Short-Term Memory Neural Networks with Constant Weights and Biases

Deka, S. A., Stipanovic, D. M., Murmann, B. & Tomlin, C. J., Apr 15 2019, In : Journal of Optimization Theory and Applications. 181, 1, p. 231-243 13 p.

Research output: Contribution to journalArticle

Memory Term
Global Asymptotic Stability
Asymptotic stability
Stabilization
Neural Networks

Heat transfer enhancement of internal laminar flows using additively manufactured static mixers

Kwon, B., Liebenberg, L., Jacobi, A. M. & King, W. P., Jul 1 2019, In : International Journal of Heat and Mass Transfer. 137, p. 292-300 9 p.

Research output: Contribution to journalArticle

3D printers
laminar flow
Laminar flow
heat transfer
Heat transfer