Research Output 1974 2020

2018

A Multi-Functional In-Memory Inference Processor Using a Standard 6T SRAM Array

Kang, M., Gonugondla, S. K., Patil, A. & Shanbhag, N. R., Feb 2018, In : IEEE Journal of Solid-State Circuits. 53, 2, p. 642-655 14 p., 8246704.

Research output: Contribution to journalArticle

Memory architecture
Static random access storage
Learning algorithms
Integrated circuits
Energy efficiency

Analysis, Estimation, and Validation of Discrete-Time Epidemic Processes

Pare, P. E., Liu, J., Beck, C. L., Kirwan, B. E. & Basar, M. T., Jan 1 2018, (Accepted/In press) In : IEEE Transactions on Control Systems Technology.

Research output: Contribution to journalArticle

Snow
Asymptotic stability
Computer networks
Agriculture

Analysis of Stepping Stone Attacks in Dynamic Vulnerability Graphs

Gamarra, M., Shetty, S., Nicol, D. M., Gonazlez, O., Kamhoua, C. A. & Njilla, L., Jul 27 2018, 2018 IEEE International Conference on Communications, ICC 2018 - Proceedings. Institute of Electrical and Electronics Engineers Inc., Vol. 2018-May. 8422723

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

Topology
Algebra

An Analytical Method to Determine Minimum Per-Layer Precision of Deep Neural Networks

Sakr, C. & Shanbhag, N. R., Sep 10 2018, 2018 IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2018 - Proceedings. Institute of Electrical and Electronics Engineers Inc., Vol. 2018-April. p. 1090-1094 5 p. 8461702

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

Learning systems
Degradation
Costs
Deep neural networks
Deep learning

An approach to distributed parametric learning with streaming data

Liu, J., Liu, Y., Nedić, A. & Basar, M. T., Jan 18 2018, 2017 IEEE 56th Annual Conference on Decision and Control, CDC 2017. Institute of Electrical and Electronics Engineers Inc., p. 3206-3211 6 p. (2017 IEEE 56th Annual Conference on Decision and Control, CDC 2017; vol. 2018-January).

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

Streaming Data
Converge
Linear regression
Undirected Graph
Averaging

An average queue-length-difference–based congestion detection algorithm in TCP/AQM network

Zhu, J., Luo, T., Yang, L., Xie, W. & Dullerud, G. E., May 2018, In : International Journal of Adaptive Control and Signal Processing. 32, 5, p. 742-752 11 p.

Research output: Contribution to journalArticle

State estimation
Transmission control protocol
Network management
MATLAB
Signal to noise ratio

An Efficient Sampling Algorithm for Network Motif Detection

Chen, Y. & Chen, Y., Jul 3 2018, In : Journal of Computational and Graphical Statistics. 27, 3, p. 503-515 13 p.

Research output: Contribution to journalArticle

Subgraph
Vertex of a graph
Sequential Importance Sampling
Sampling Strategy
Recursive Formula

An Efficient Strategy for Model Composition in the Möbius Modeling Environment

Masetti, G., Chiaradonna, S., Di Giandomenico, F., Feddersen, B. & Sanders, W. H., Nov 9 2018, Proceedings - 2018 14th European Dependable Computing Conference, EDCC 2018. Institute of Electrical and Electronics Engineers Inc., p. 116-119 4 p. 8530770

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

Chemical analysis
Modeling
Dependability
Data Flow
Infrastructure

An empirical study of android test generation tools in industrial cases

Wang, W., Cao, Y., Li, D., Zhang, Z., Deng, Y., Yang, W. & Xie, T., Sep 3 2018, ASE 2018 - Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering. Kastner, C., Huchard, M. & Fraser, G. (eds.). Association for Computing Machinery, Inc, p. 738-748 11 p.

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

Application programs
User interfaces
Testing
Fault detection

A neuromechanical model of reduced dorsiflexor torque during the anticipatory postural adjustments of gait initiation

Petrucci, M. N., Diberardino, L. A., MacKinnon, C. D. & Hsiao-Wecksler, E. T., Nov 2018, In : IEEE Transactions on Neural Systems and Rehabilitation Engineering. 26, 11, p. 2210-2216 7 p., 8486966.

Research output: Contribution to journalArticle

Torque
Gait
Parkinson Disease
Pressure
Leg

An extensible, regular-expression-based tool for multi-language mutant generation

Groce, A., Holmes, J., Marinov, D., Shi, A. & Zhang, L., May 27 2018, Proceedings - International Conference on Software Engineering. IEEE Computer Society, p. 25-28 4 p. (Proceedings - International Conference on Software Engineering).

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

Testing
Computer programming languages

An In-Memory VLSI Architecture for Convolutional Neural Networks

Kang, M., Lim, S., Gonugondla, S. & Shanbhag, N. R., Apr 21 2018, (Accepted/In press) In : IEEE Journal on Emerging and Selected Topics in Circuits and Systems.

Research output: Contribution to journalArticle

Static random access storage
Throughput
Neural networks
Data storage equipment
Memory architecture

Annotating gene sets by mining large literature collections with protein networks

Wang, S., Ma, J., Yu, M. K., Zheng, F., Huang, E. W., Han, J., Peng, J. & Ideker, T., Jan 1 2018, In : Pacific Symposium on Biocomputing. 0, 212669, p. 602-613 12 p.

Research output: Contribution to journalConference article

Genes
Proteins
Biological Ontologies
Natural Language Processing
Literature

An online risk index for the cross-sectional prediction of new HIV chlamydia, and gonorrhea diagnoses across U.S. counties and across years

Chan, M. P. S., Lohmann, S., Morales, A., Zhai, C., Ungar, L., Holtgrave, D. R. & Albarracin, D., Jul 2018, In : AIDS and Behavior. 22, 7, p. 2322-2333 12 p.

Research output: Contribution to journalArticle

Chlamydia
Gonorrhea
HIV
Social Media
Vocabulary

An Ontology Framework for Generating Discrete-Event Stochastic Models

Keefe, K., Feddersen, B., Rausch, M., Wright, R. & Sanders, W. H., Jan 1 2018, Computer Performance Engineering - 15th European Workshop, EPEW 2018, Proceedings. Remke, A., Ballarini, P., Barbot, B., Bakhshi, R. & Castel-Taleb, H. (eds.). Springer-Verlag, p. 173-189 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11178 LNCS).

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

Discrete Event
Stochastic models
Stochastic Model
Ontology
Model

ApDeepSense: Deep learning uncertainty estimation without the pain for IoT applications

Yao, S., Zhao, Y., Shao, H., Zhang, C., Zhang, A., Liu, D., Liu, S., Su, L. & Abdelzaher, T., Jul 19 2018, Proceedings - 2018 IEEE 38th International Conference on Distributed Computing Systems, ICDCS 2018. Institute of Electrical and Electronics Engineers Inc., p. 334-343 10 p. (Proceedings - International Conference on Distributed Computing Systems; vol. 2018-July).

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

Energy utilization
Neural networks
Deep learning
Uncertainty
Internet of things

A Platform Solution of Data-Quality Improvement for Internet-of-Vehicle Services

Zhang, M., Wo, T. & Xie, T., Aug 22 2018, 2018 IEEE International Conference on Pervasive Computing and Communications, PerCom 2018. Institute of Electrical and Electronics Engineers Inc., 8444581

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

Internet
Railroad cars

Application level hardware tracing for scaling post-silicon debug

Pal, D., Sharma, A., Ray, S., De Paula, F. M. & Vasudevan, S., Jun 24 2018, Proceedings of the 55th Annual Design Automation Conference, DAC 2018. Institute of Electrical and Electronics Engineers Inc., Vol. Part F137710. a92

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

Tracing
Silicon
Trace
Hardware
Debugging

Application of a Message-Passing Decomposition of Sparsely-Coupled Linear Programming Problems to the Uniform Stabilization of Positive Switched Linear Systems

Essick, R. & Dullerud, G. E., Aug 9 2018, 2018 Annual American Control Conference, ACC 2018. Institute of Electrical and Electronics Engineers Inc., Vol. 2018-June. p. 3780-3785 6 p. 8431432

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

Message passing
Linear programming
Linear systems
Stabilization
Decomposition

Applications of group testing to security decision-making in networks

Bolouki, S., Dobakhshari, D. G., Basar, M. T., Gupta, V. & Nedic, A., Jan 18 2018, 2017 IEEE 56th Annual Conference on Decision and Control, CDC 2017. Institute of Electrical and Electronics Engineers Inc., p. 2929-2934 6 p. (2017 IEEE 56th Annual Conference on Decision and Control, CDC 2017; vol. 2018-January).

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

Group Testing
Decision making
Decision Making
Testing
Incomplete Information

Application-Transparent near-memory processing architecture with memory channel network

Alian, M., Min, S. W., Asgharimoghaddam, H., Dhar, A., Wang, D. K., Roewer, T., McPadden, A., O'Halloran, O., Chen, D., Xiong, J., Kim, D., Hwu, W. M. & Kim, N. S., Dec 12 2018, Proceedings - 51st Annual IEEE/ACM International Symposium on Microarchitecture, MICRO 2018. IEEE Computer Society, p. 802-814 13 p. 8574587. (Proceedings of the Annual International Symposium on Microarchitecture, MICRO; vol. 2018-October).

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

Computer networks
Data storage equipment
Processing
Servers
Distributed computer systems

Approximate partial order reduction

Fan, C., Huang, Z. & Mitra, S., Jan 1 2018, Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings. Havelund, K., Roscoe, B., de Vink, E. & Peleska, J. (eds.). Springer-Verlag, p. 588-607 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10951 LNCS).

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

Order Reduction
Partial Order
Experiments
Labeled Transition System
Reachability Analysis

Approximating probabilistic automata by regular languages

Chadha, R., Sistla, A. P. & Viswanathan, M., Aug 1 2018, Computer Science Logic 2018, CSL 2018. Ghica, D. R. & Jung, A. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 119. 14

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

Formal languages
Finite automata

A provenance model for the european union general data protection regulation

Ujcich, B. E., Bates, A. & Sanders, W. H., Jan 1 2018, Provenance and Annotation of Data and Processes - 7th International Provenance and Annotation Workshop, IPAW 2018, Proceedings. Belhajjame, K., Gehani, A. & Alper, P. (eds.). Springer-Verlag, p. 45-57 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11017 LNCS).

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

Data privacy
Provenance
Union
Model
Compliance
Error Compensation
Error compensation
Threshold voltage
Voltage
Neural Networks

Argobots: A Lightweight Low-Level Threading and Tasking Framework

Seo, S., Amer, A., Balaji, P., Bordage, C., Bosilca, G., Brooks, A., Carns, P., Castello, A., Genet, D., Herault, T., Iwasaki, S., Jindal, P., Kale, L. V., Krishnamoorthy, S., Lifflander, J., Lu, H., Meneses, E., Snir, M., Sun, Y., Taura, K. & 1 others, Beckman, P., Mar 1 2018, In : IEEE Transactions on Parallel and Distributed Systems. 29, 3, p. 512-526 15 p., 8082139.

Research output: Contribution to journalArticle

Interoperability
Costs
Synchronization
Substrates

ASketch: A sketching framework for alloy

Wang, K., Sullivan, A., Marinov, D. & Khurshid, S., 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. 916-919 4 p.

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

Testing
Modeling languages

ASPEM: Embedding learning by aspects in heterogeneous information networks

Shi, Y., Gui, H., Zhu, Q., Kaplan, L. & Han, J., Jan 1 2018, p. 144-152. 9 p.

Research output: Contribution to conferencePaper

Semantics
Experiments
Statistics

A spherical hidden Markov model for semantics-rich human mobility modeling

Zhu, W., Zhang, C., Yao, S., Gao, X. & Han, J., Jan 1 2018, 32nd AAAI Conference on Artificial Intelligence, AAAI 2018. AAAI Press, p. 4613-4620 8 p. (32nd AAAI Conference on Artificial Intelligence, AAAI 2018).

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

Hidden Markov models
Semantics
Bessel functions
Newton-Raphson method
Global positioning system

Assessing gait changes in firefighters after firefighting activities and while carrying asymmetric loads

Park, K., Sy, J. F., Horn, G. P., Kesler, R. M., Petrucci, M. N., Rosengren, K. S. & Hsiao-Wecksler, E. T., Jul 2018, In : Applied Ergonomics. 70, p. 44-50 7 p.

Research output: Contribution to journalArticle

Firefighters
Environmental chambers
Gait
Fires
Fatigue of materials

Associations of Topics of Discussion on Twitter With Survey Measures of Attitudes, Knowledge, and Behaviors Related to Zika: Probabilistic Study in the United States

Farhadloo, M., Winneg, K., Chan, M. P. S., Jamieson, K. H. & Albarracin, D., Feb 9 2018, In : JMIR public health and surveillance. 4, 1, p. e16

Research output: Contribution to journalArticle

Social Media
Population
Insect Repellents
Communication
Microcephaly

Associative unification and symbolic reasoning modulo associativity in maude

Durán, F., Eker, S., Escobar, S., Martí-Oliet, N., Meseguer, J. & Talcott, C., 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, p. 98-114 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

Maude
Associativity
Unification
Modulo
Reasoning

A survey of statistical model checking

Agha, G. A. & Palmskog, K., Jan 2018, In : ACM Transactions on Modeling and Computer Simulation. 28, 1, 6.

Research output: Contribution to journalReview article

Model checking
Model Checking
Statistical Model
Stochastic systems
Stochastic Systems

Asymptotic behavior of a reduced conjunctive Boolean network

Chen, X., Gao, Z. & Basar, M. T., Jan 18 2018, 2017 IEEE 56th Annual Conference on Decision and Control, CDC 2017. Institute of Electrical and Electronics Engineers Inc., p. 4404-4409 6 p. (2017 IEEE 56th Annual Conference on Decision and Control, CDC 2017; vol. 2018-January).

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

Boolean Networks
Dynamical systems
Orbits
Asymptotic Behavior
Periodic Orbits

Athena: Towards decision-centric anticipatory sensor information delivery

Lee, J., Marcus, K., Abdelzaher, T., Amin, T. A., Bar-Noy, A., Dron, W., Govindan, R., Hobbs, R., Hu, S., Kim, J. E., Sha, L., Yao, S. & Zhao, Y., Jan 1 2018, In : Journal of Sensor and Actuator Networks. 7, 1, 5.

Research output: Contribution to journalArticle

delivery
Network protocols
Sensor
sensors
Sensors

Attitudes and Attitude Change

Albarracin, D. & Shavitt, S., Jan 4 2018, In : Annual review of psychology. 69, p. 299-327 29 p.

Research output: Contribution to journalReview article

Social Media
Language Development
Human Development
Research
Emotions

Audio Based Handwriting Input for Tiny Mobile Devices

Yu, T., Jin, H. & Nahrstedt, K., Jun 26 2018, Proceedings - IEEE 1st Conference on Multimedia Information Processing and Retrieval, MIPR 2018. Institute of Electrical and Electronics Engineers Inc., p. 130-135 6 p.

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

Mobile devices
Touch screens
Multipath propagation
Learning systems

Augmentation of physician assessments with multi-omics enhances predictability of drug response: A case study of major depressive disorder

Athreya, A., Iyer, R. K., Neavin, D., Wang, L., Weinshilboum, R., Kaddurah-Daouk, R., Rush, J., Frye, M. & Bobo, W., Aug 2018, In : IEEE Computational Intelligence Magazine. 13, 3, p. 20-31 12 p., 8416980.

Research output: Contribution to journalArticle

Predictability
Augmentation
Disorder
Drugs
Metabolites

Augmented Joint Stiffness and Actuation Using Architectures of Soft Pneumatic Actuators

Thompson, N., Zhang, X., Ayala, F., Hsiao-Wecksler, E. T. & Krishnan, G., Sep 10 2018, 2018 IEEE International Conference on Robotics and Automation, ICRA 2018. Institute of Electrical and Electronics Engineers Inc., p. 1533-1538 6 p. 8460746. (Proceedings - IEEE International Conference on Robotics and Automation).

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

Pneumatic actuators
Linear actuators
Actuators
Stiffness
Robotics

A Unified Framework for Decentralized Control Synthesis

Naghnaeian, M., Voulgaris, P. G. & Elia, N., Nov 27 2018, 2018 European Control Conference, ECC 2018. Institute of Electrical and Electronics Engineers Inc., p. 2482-2487 6 p. 8550564. (2018 European Control Conference, ECC 2018).

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

Decentralized control
Decentralized Control
Linear systems
Synthesis
Controller

A unified input-output approach for networked control problems with decentralized and selfish optimality

Voulgaris, P. G. & Elia, N., Aug 9 2018, 2018 Annual American Control Conference, ACC 2018. Institute of Electrical and Electronics Engineers Inc., p. 5976-5981 6 p. 8430932. (Proceedings of the American Control Conference; vol. 2018-June).

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

Costs
Telecommunication networks

Authenticated Data Structures for Privacy-Preserving Monero Light Clients

Lee, K. & Miller, A. E., Jul 6 2018, Proceedings - 3rd IEEE European Symposium on Security and Privacy Workshops, EURO S and PW 2018. Institute of Electrical and Electronics Engineers Inc., p. 20-28 9 p. (Proceedings - 3rd IEEE European Symposium on Security and Privacy Workshops, EURO S and PW 2018).

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

Data structures
Servers
Electronic money
Social Support
Communication
Interpersonal Relations
Cell Phones
Bees

Automated Phrase Mining from Massive Text Corpora

Shang, J., Liu, J., Jiang, M., Ren, X., Voss, C. R. & Han, J., Oct 1 2018, In : IEEE Transactions on Knowledge and Data Engineering. 30, 10, p. 1825-1837 13 p., 8306825.

Research output: Contribution to journalArticle

Taxonomies
Linguistics
Labeling

Automatically generating security models from system models to aid in the evaluation of AMI deployment options

Rausch, M., Keefe, K., Feddersen, B. & Sanders, W. H., Jan 1 2018, Critical Information Infrastructures Security - 12th International Conference, CRITIS 2017, Revised Selected Papers. D’Agostino, G. & Scala, A. (eds.). Springer-Verlag, p. 156-167 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10707 LNCS).

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

Advanced metering infrastructures
Security Model
Infrastructure
Evaluation
Ontology

Automation and Adaptive Behavior

Kirlik, A., Mar 1 2018, In : Journal of Cognitive Engineering and Decision Making. 12, 1, p. 70-73 4 p.

Research output: Contribution to journalArticle

system of action
Automation
Psychological Adaptation
automation
Cognition

A variation-tolerant in-memory machine learning classifier via on-chip training

Gonugondla, S. K., Kang, M. & Shanbhag, N. R., Nov 2018, In : IEEE Journal of Solid-State Circuits. 53, 11, p. 3163-3173 11 p., 8463601.

Research output: Contribution to journalArticle

Learning systems
Classifiers
Memory architecture
Data storage equipment
Energy efficiency

AVFI: Fault Injection for Autonomous Vehicles

Jha, S., Banerjee, S. S., Cyriac, J., Kalbarczyk, Z. T. & Iyer, R. K., Jul 19 2018, Proceedings - 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, DSN-W 2018. Institute of Electrical and Electronics Engineers Inc., p. 55-56 2 p. 8416212. (Proceedings - 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, DSN-W 2018).

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

Automation
Neural networks
Testing

Bayesian Estimation of the DINA Q matrix

Chen, Y., Culpepper, S. A., Chen, Y. & Douglas, J. A., Mar 1 2018, In : Psychometrika. 83, 1, p. 89-108 20 p.

Research output: Contribution to journalArticle

Q-matrix
Bayesian Estimation
Psychometrics
Students
Latent Class Model

Benchmarking microservice systems for software engineering research

Zhou, X., Peng, X., Xie, T., Sun, J., Xu, C., Ji, C. & Zhao, W., May 27 2018, Proceedings - International Conference on Software Engineering. IEEE Computer Society, p. 323-324 2 p. (Proceedings - International Conference on Software Engineering).

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

Engineering research
Benchmarking
Software engineering
Industry