Research Output 1974 2019

Filter
Paper
2019

Model-Based Reinforcement Learning for Atari

Campbell, R., Mar 2019.

Research output: Contribution to conferencePaper

Reinforcement learning
Learning algorithms
Experiments
2018

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

Design and evaluation of the postursense cushion

Garag, P., Chen, A., McDonagh, D. C. & Hsiao-Wecksler, E. T., Jan 1 2018.

Research output: Contribution to conferencePaper

Learning systems
Servers
Communication

Revised design of a passive hydraulic training simulator of biceps spasticity

Pei, Y., Ewoldt, R. H., Zallek, C. M. & Hsiao-Wecksler, E. T., Jan 1 2018.

Research output: Contribution to conferencePaper

Simulators
Hydraulics

Transforming Taxonomic Interfaces

Thomer, A. K., Twidale, M. B. & Yoder, M. J., 2018, p. 173:1-173:23.

Research output: Contribution to conferencePaper

Taxonomies
Semantic Web
Earth (planet)

Validation of a wearable position, velocity, and resistance meter for assessing spasticity and rigidity

Song, S. Y., Pei, Y., Tippett, S. R., Lamichhane, D., Zallek, C. M. & Hsiao-Wecksler, E. T., Jan 1 2018.

Research output: Contribution to conferencePaper

Rigidity
2017

EFFECTIVE CONTROL OF CONVERGENCE OF THE NEWTON LOAD FLOW.

Gross, G. & Luini, J. F., Jan 1 2017.

Research output: Contribution to conferencePaper

HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES, 6TH, PROCEEDINGS, 1973.

Wahba, G., Nashed, M. Z., Goh, B. S., Brusch, R. G., Schappelle, R. H., Bhatt, P. C. P., Bandler, J. W., Srinivasan, T. V., Chyung, D. H., Basar, M. T., Wilson, D. J., Wiberg, D. M. & Mintz, M., Jan 1 2017.

Research output: Contribution to conferencePaper

Systems science
Nonlinear dynamical systems
Constrained optimization
Cost functions
Automation

ON THE FORMULATION OF POWER DISTRIBUTION FACTORS FOR LINEAR LOAD FLOW METHODS.

Sauer, P. W., Jan 1 2017.

Research output: Contribution to conferencePaper

heuristic methods
contingency
Heuristic methods
Interchanges
formulations

TWO-STEP COMPENSATION METHOD FOR SOLVING SHORT CIRCUIT PROBLEMS.

Gross, G. & Hong, H. W., Jan 1 2017.

Research output: Contribution to conferencePaper

Short circuit currents
Electric network analysis
Outages
Software packages
Structural properties
2016

Hawk: The Blockchain Model of Cryptography and Privacy-Preserving Smart Contracts

Kosba, A., Miller, A., Shi, E., Wen, Z. & Papamanthou, C., May 2016, p. 839-858.

Research output: Contribution to conferencePaper

Cryptography
Compensation and Redress
Electronic money

Stubborn Mining: Generalizing Selfish Mining and Combining with an Eclipse Attack

Nayak, K., Kumar, S., Miller, A. E. & Shi, E., Mar 2016, p. 305-320.

Research output: Contribution to conferencePaper

Miners
2015

SoK: Research Perspectives and Challenges for Bitcoin and Cryptocurrencies

Bonneau, J., Miller, A., Clark, J., Narayanan, A., Kroll, J. A. & Felten, E. W., May 2015, p. 104-121.

Research output: Contribution to conferencePaper

Drawing (graphics)
Electronic money
History
Systems analysis
Economics
2014

An evaluation of ZooKeeper for high availability in system S

Pham, C. M., Kalbarczyk, Z. T., Iyer, R. K., Dogaru, V., Wagle, R. & Venkatramani, C., Jan 1 2014, p. 209-217. 9 p.

Research output: Contribution to conferencePaper

Availability

ClariSense: Clarifying sensor anomalies using social network feeds

Giridhar, P., Amin, M. T., Abdelzaher, T., Kaplan, L., George, J. & Ganti, R., Jan 1 2014, p. 395-400. 6 p.

Research output: Contribution to conferencePaper

Sensors
Sensor networks

Code hunt: Gamifying teaching and learning of computer science at scale

Tillmann, N., De Halleux, J., Xie, T. & Bishop, J., Jan 1 2014, p. 221-222. 2 p.

Research output: Contribution to conferencePaper

Computer science
Teaching
Engines
Computer programming
Software engineering

Educational programming systems for learning at scale

Wang, Q., Li, W. & Xie, T., Jan 1 2014, p. 177-178. 2 p.

Research output: Contribution to conferencePaper

Computer systems programming
Students
Computer programming
Online systems
Computer science

Explicit and symbolic techniques for fast and scalable points-to analysis

Pek, E. & Parthasarathy, M., Jun 12 2014.

Research output: Contribution to conferencePaper

Binary decision diagrams
Data storage equipment
Processing

Interactive Annotation for Event Modality in Modern Standard and Egyptian Arabic Tweets

Girju, C. R., Al-Sabbagh, R. & Diesner, J., 2014.

Research output: Contribution to conferencePaper

Model accuracy of variable fidelity vapor cycle system simulations

McCarthy, K., McCarthy, P., Wu, N., Alleyne, A. G., Koeln, J., Patnaik, S., Emo, S. & Cory, J., Sep 16 2014.

Research output: Contribution to conferencePaper

Vapors
Heat exchangers
Costs
Hardware
Refrigerants

Online learning versus blended learning: An exploratory study

Cross, A., Ashok, B., Bala, S., Cutrell, E., Datha, N., Kumar, R., Kumar, V., Parthasarathy, M., Prakash, S., Rajamani, S., Sangameswaran, S., Sharma, D. & Thies, W., Jan 1 2014, p. 179-180. 2 p.

Research output: Contribution to conferencePaper

Students
Personal computers

On the cost of differential privacy in distributed control systems

Huang, Z., Wang, Y., Mitra, S. & Dullerud, G. E., Jan 1 2014, p. 105-114. 10 p.

Research output: Contribution to conferencePaper

Distributed parameter control systems
Costs
Linear control systems
Cost functions
Communication

Permacoin: Repurposing Bitcoin Work for Data Preservation

Miller, A., Juels, A., Shi, E., Parno, B. & Katz, J., May 2014, p. 475-490.

Research output: Contribution to conferencePaper

Parameterization
Hardware
Economics

Privacy-preserving audit for broker-based health information exchange

Oh, S. E., Chun, J. Y., Jia, L., Garg, D., Gunter, C. & Datta, A., Jan 1 2014, p. 313-320. 8 p.

Research output: Contribution to conferencePaper

Health
Authentication
Cryptography
Information technology

Proofs from simulations and modular annotations

Huang, Z. & Mitra, S., Jan 1 2014, p. 183-192. 10 p.

Research output: Contribution to conferencePaper

Nonlinear dynamical systems
Trajectories
Dynamical systems
Acoustic waves
Experiments

Regularized ℓ1-Graph for data clustering

Yang, Y., Wang, Z., Yang, J., Han, J. & Huang, T. S., Jan 1 2014.

Research output: Contribution to conferencePaper

Relation extraction for inferring access control rules from natural language artifacts

Slankas, J., Xiao, X., Williams, L. & Xie, T., Dec 8 2014, p. 366-375. 10 p.

Research output: Contribution to conferencePaper

Access control
Security of data
Seed
Learning systems
Education

Reliable GPS-based timing for power systems: A multi-layered multi-receiver architecture

Heng, L., Makela, J. J., Dominguez-Garcia, A., Bobba, R. B., Sanders, W. H. & Gao, G. X., Jan 1 2014.

Research output: Contribution to conferencePaper

Phasor measurement units
Global positioning system
Jamming
Electric power system measurement
Electric current measurement

Solving quadratically constrained quadratic programs on acyclic graphs with application to optimal power flow

Bose, S., Gayme, D. F., Chandy, K. M. & Low, S. H., Jan 1 2014.

Research output: Contribution to conferencePaper

Polynomials

Stochastic processes in a grid-connected three-phase photovoltaic system

Ajala, O. & Sauer, P. W., Jan 1 2014.

Research output: Contribution to conferencePaper

Reactive power
Random processes
Stochastic models
Random variables
Differential equations
Mobile computing
Cloud computing
Industry
Security of data
Information technology

Unsupervised Learning of Arabic Modal Multiword Expressions

Girju, C. R., Diesner, J. & Al-Sabbagh, R., 2014.

Research output: Contribution to conferencePaper

2013

A new metaconverse and outer region for finite-blocklength MACs

Moulin, P., May 16 2013, p. 568-575. 8 p.

Research output: Contribution to conferencePaper

Error probability

A simulation framework to evaluate virtual CPU scheduling algorithms

Pham, C., Li, Q., Estrada, Z., Kalbarczyk, Z. T. & Iyer, R. K., Dec 1 2013, p. 138-143. 6 p.

Research output: Contribution to conferencePaper

Scheduling algorithms
Program processors
Consolidation
Processing
Virtualization

Development of the UIUC aero testbed: A large-scale unmanned electric aerobatic aircraft for aerodynamics research

Dantsker, O. D., Johnson, M. J., Selig, M. S. & Bretl, T. W., Sep 16 2013.

Research output: Contribution to conferencePaper

Testbeds
Aerodynamics
Aircraft
Aircraft models
Flight paths

Invariant synthesis for verification of parameterized cyber-physical systems with applications to aerospace systems

Johnson, T. T. & Mitra, S., Sep 16 2013.

Research output: Contribution to conferencePaper

Aircraft
Network protocols
Collision avoidance
Landing
Cyber Physical System

Networked GPS approach to tracking marine animal schools

Heng, L. & Gao, G. X., Jan 1 2013, p. 612-619. 8 p.

Research output: Contribution to conferencePaper

Global positioning system
Animals
animal
school
recipient

NUMA-aware shared-memory collective communication for MPI

Li, S., Hoefler, T. & Snir, M., Jul 17 2013, p. 85-96. 12 p.

Research output: Contribution to conferencePaper

Data storage equipment
Communication
Experiments

Oral discussions on session: 'Advanced Operations' - Part II

Gross, G., Jan 1 2013.

Research output: Contribution to conferencePaper

Dynamical systems
Control systems

Oral discussions on session: 'Dynamics and Control' - Part II

Sauer, P. W., Jan 1 2013.

Research output: Contribution to conferencePaper

Dynamical systems
Control systems

Pluggable watchdog: Transparent failure detection for MPI programs

Yim, K. S., Kalbarczyk, Z. T. & Iyer, R. K., Oct 7 2013, p. 489-500. 12 p.

Research output: Contribution to conferencePaper

Detectors
Monitoring
Field programmable gate arrays (FPGA)
Computer systems
Semantics

SCDA: SLA-aware cloud datacenter architecture for efficient content storage and retrieval

Kassa, D. F. & Nahrstedt, K., Jul 17 2013, p. 121-122. 2 p.

Research output: Contribution to conferencePaper

Servers
Throughput
Data transfer rates
Data communication systems
Resource allocation

Universal outlier detection

Li, Y., Nitinawarat, S. & Veeravalli, V. V., May 16 2013, p. 528-532. 5 p.

Research output: Contribution to conferencePaper

Detectors

Using the Semantics-Syntax Interface for Reliable Arabic Modality Annotation

Al-Sabbagh, R., Diesner, J. & Girju, C. R., 2013.

Research output: Contribution to conferencePaper

2012

A dynamic modeling toolbox for air vehicle vapor cycle systems

Kania, M., Koeln, J., Alleyne, A. G., McCarthy, K., Wu, N. & Patnaik, S., Dec 1 2012.

Research output: Contribution to conferencePaper

Vapors
Research laboratories
Air
Evaporators
Thermal load

Development of a fixed wing multi-role unmanned aircraft vehicle research testbed

Dantsker, O. D., Johnson, M. J., Akce, A. & Bretl, T. W., Dec 1 2012.

Research output: Contribution to conferencePaper

Fixed wings
Testbeds
Aircraft
Unmanned aerial vehicles (UAV)
Remote control

Joint optimization of computing and cooling energy: Analytic model and a machine room case study

Li, S., Le, H., Pham, N., Jin, H. & Abdelzaher, T., Oct 5 2012, p. 396-405. 10 p.

Research output: Contribution to conferencePaper

Cooling
Knobs
Testbeds
Program processors
Energy utilization

Octopus: A secure and anonymous DHT lookup

Wang, Q. & Borisov, N., Oct 5 2012, p. 325-334. 10 p.

Research output: Contribution to conferencePaper

Table lookup
Peer to peer networks
Simulators
Bandwidth