Research Output 1972 2020

Article

A feedback information-theoretic approach to the design of brain-computer interfaces

Omar, C., Akce, A., Johnson, M., Bretl, T., Ma, R., Maclin, E., Mccormick, M. & Coleman, T. P., Jan 1 2011, In : International Journal of Human-Computer Interaction. 27, 1, p. 5-23 19 p.

Research output: Contribution to journalArticle

Brain computer interface
brain
Feedback
Sensory feedback
Network protocols

Affect in web interfaces: A study of the impacts of web page visual complexity and order

Deng, L. & Poole, M. S., Dec 1 2010, In : MIS Quarterly: Management Information Systems. 34, 4, p. 711-730 20 p.

Research output: Contribution to journalArticle

World Wide Web
Websites
Human computer interaction
Marketing
Experiments

AFFINE INCENTIVE SCHEMES FOR STOCHASTIC SYSTEMS WITH DYNAMIC INFORMATION.

Basar, M. T., Jan 1 1984, In : SIAM Journal on Control and Optimization. 22, 2, p. 199-210 12 p.

Research output: Contribution to journalArticle

Stochastic systems
Incentives
Stochastic Systems
Private Information
Hilbert spaces

A fixpoint calculus for local and global program flows

Alur, R., Chaudhuri, S. & Madhusudan, P., Jun 26 2006, In : ACM SIGPLAN Notices. 41, 1, p. 153-165 13 p.

Research output: Contribution to journalArticle

Data flow analysis
Temporal logic
Model checking
Specifications
Computability and decidability

A fluid power lab for undergraduate education

Alleyne, A., Dec 1 2000, In : Proceedings of the American Control Conference. 6, p. 4398-4402 5 p., 877053.

Research output: Contribution to journalArticle

Education
Fluids
Dynamical systems
Industrial engineering
Mechanical engineering
Maude
Network protocols
Algebraic Theory
Cryptographic Protocols
Modulo

A formal model for reasoning about adaptive qos-enabled middleware

Venkatasubramanian, N., Talcott, C. & Agha, G. A., Jan 1 2004, In : ACM Transactions on Software Engineering and Methodology. 13, 1, p. 86-147 62 p.

Research output: Contribution to journalArticle

Middleware
Quality of service
Multimedia services
Multimedia systems
Semantics
Software Development
Software engineering
Monitoring
Programming
Formal Specification

A formal-semantics-based calculus of trust

Huang, J. & Nicol, D., Sep 1 2010, In : IEEE Internet Computing. 14, 5, p. 38-46 9 p., 5477411.

Research output: Contribution to journalArticle

Semantics
Distributed computer systems
Decision making
Internet
Uncertainty

A foundation for actor computation

Agha, G. A., Mason, I. A., Smith, S. F. & Talcott, C. L., Jan 1997, In : Journal of Functional Programming. 7, 1, p. 1-72 72 p.

Research output: Contribution to journalArticle

Semantics
Specifications
Testing

A framework for evaluating intrusion detection architectures in advanced metering infrastructures

Cárdenas, A. A., Berthier, R., Bobba, R. B., Huh, J. H., Jetcheva, J. G., Grochocki, D. & Sanders, W. H., Mar 1 2014, In : IEEE Transactions on Smart Grid. 5, 2, p. 906-915 10 p., 6740891.

Research output: Contribution to journalArticle

Advanced metering infrastructures
Intrusion detection
Costs
Planning
Communication

A framework for evaluating the data-hiding capacity of image sources

Moulin, P. & Mihçak, M. K., Sep 1 2002, In : IEEE Transactions on Image Processing. 11, 9, p. 1029-1042 14 p.

Research output: Contribution to journalArticle

Image watermarking
Statistical Models

A framework for information quality assessment

Stvilia, B., Gasser, L., Twidale, M. B. & Smith, L. C., Oct 1 2007, In : Journal of the American Society for Information Science and Technology. 58, 12, p. 1720-1733 14 p.

Research output: Contribution to journalArticle

Taxonomies
Acoustic waves
Information quality
Quality assessment
taxonomy

A framework for measuring supercomputer productivity

Snir, M. & Bader, D. A., Dec 1 2004, In : International Journal of High Performance Computing Applications. 18, 4, p. 417-432 16 p.

Research output: Contribution to journalArticle

Supercomputers
Supercomputer
Productivity
High Performance
Computing
Maude
Mobile ad hoc networks
Mobile Ad Hoc Networks
Mobility Model
Real-time

A framework for reliability and performance assessment of wind energy conversion systems

Smater, S. S. & Dominguez-Garcia, A., Nov 1 2011, In : IEEE Transactions on Power Systems. 26, 4, p. 2235-2245 11 p., 5740394.

Research output: Contribution to journalArticle

Energy conversion
Wind power
Asynchronous generators
Systems analysis
Chemical analysis

A framework for specifying and monitoring user tasks

Bailey, B. P., Adamczyk, P. D., Chang, T. Y. & Chilson, N. A., Jul 1 2006, In : Computers in Human Behavior. 22, 4, p. 709-732 24 p.

Research output: Contribution to journalArticle

Specifications
Empirical Research
Monitoring
Language
Databases

A framework for the optimization of integrated energy systems

Jain, N. & Alleyne, A. G., Dec 15 2012, In : Applied Thermal Engineering. 48, p. 495-505 11 p.

Research output: Contribution to journalArticle

Exergy
Feedforward control

A Framework for Time Indexing in Sensor Networks

He, G., Gupta, I., Sha, L. & Zheng, R., Aug 1 2005, In : ACM Transactions on Sensor Networks. 1, 1, p. 101-133 33 p.

Research output: Contribution to journalArticle

Sensor networks
Pavement overlays
Network protocols
Fault tolerance
Resource allocation

A framework of mining trajectories from untrustworthy data in cyber-physical system

Tang, L. A., Yu, X., Gu, Q., Han, J., Jiang, G., Leung, A. & La Porta, T., Feb 1 2015, In : ACM Transactions on Knowledge Discovery from Data. 9, 3, 1 p.

Research output: Contribution to journalArticle

Miners
Trajectories
Sensors
Sand
Traffic control

A framework of traveling companion discovery on trajectory data streams

Tang, L. A., Zheng, Y., Yuan, J., Han, J., Leung, A., Peng, W. C. & Porta, T. L., Dec 1 2013, In : ACM Transactions on Intelligent Systems and Technology. 5, 1, 2542185.

Research output: Contribution to journalArticle

Data Streams
Trajectories
Trajectory
Intersection
Clustering

A Fused Hidden Markov Model with Application to Bimodal Speech Processing

Pan, H., Levinson, S. E., Huang, T. S. & Liang, Z-P., Mar 1 2004, In : IEEE Transactions on Signal Processing. 52, 3, p. 573-581 9 p.

Research output: Contribution to journalArticle

Speech processing
Hidden Markov models
Time series
Entropy
Fusion reactions

A game-theoretic approach to energy trading in the smart grid

Wang, Y., Saad, W., Han, Z., Poor, H. V. & Başar, T., May 2014, In : IEEE Transactions on Smart Grid. 5, 3, p. 1439-1450 12 p., 6798766.

Research output: Contribution to journalArticle

Plug-in hybrid vehicles
Game theory
Costs

A gate-level simulation environment for alpha-particle-induced transient faults

Cha, H., Rudnick, E. M., Patel, J. H., Iyer, R. K. & Choi, G. S., Dec 1 1996, In : IEEE Transactions on Computers. 45, 11, p. 1248-1256 9 p.

Research output: Contribution to journalArticle

Transient Faults
Alpha particles
Simulation Environment
Fault
Simulator

Agave for tequila and biofuels: An economic assessment and potential opportunities

Núñez, H. M., Rodríguez, L. F. & Khanna, M., Feb 2011, In : GCB Bioenergy. 3, 1, p. 43-57 15 p.

Research output: Contribution to journalArticle

Agave
Biofuels
biofuels
biofuel
economics

A general formulation for LMP evaluation

Orfanogianni, T. & Gross, G., Aug 1 2007, In : IEEE Transactions on Power Systems. 22, 3, p. 1163-1173 11 p.

Research output: Contribution to journalArticle

Decomposition
Specifications
Power markets

A general framework for efficient clustering of large datasets based on activity detection

Jin, X., Kim, S., Han, J., Cao, L. & Yin, Z., Feb 1 2011, In : Statistical Analysis and Data Mining. 4, 1, p. 11-29 19 p.

Research output: Contribution to journalArticle

Large Data Sets
Clustering
K-means
High Efficiency
Data compression

A generalization of bergstrom's inequality and some applications

Fong Yau, S. & Bresler, Y., Jan 15 1992, In : Linear Algebra and Its Applications. 161, C, p. 135-151 17 p.

Research output: Contribution to journalArticle

Hadamard Product
Unitary matrix
Diagonal matrix
Generalization

A generalized fault coverage model for linear time-invariant systems

Dominguez-Garcia, A. D., Kassakian, J. G. & Schindall, J. E., Jun 4 2009, In : IEEE Transactions on Reliability. 58, 3, p. 553-567 15 p.

Research output: Contribution to journalArticle

Dynamical systems
Trajectories

A generalized PID error governing scheme for SMART/SBLI control

Tharayil, M. & Alleyne, A. G., 2002, In : Proceedings of the American Control Conference. 1, p. 346-351 6 p.

Research output: Contribution to journalArticle

Boundary layers
Controllers
Transpiration
Actuators
Hardware

A Generalized Series Approach to MR Spectroscopic Imaging

Liang, Z-P. & Lauterbur, P. C., Jun 1991, In : IEEE Transactions on Medical Imaging. 10, 2, p. 132-137 6 p.

Research output: Contribution to journalArticle

Magnetic resonance
Magnetic Resonance Imaging
Imaging techniques
Protons
Physics

A general method for analyzing resonant and soft-charging operation of switched-capacitor converters

Lei, Y. & Pilawa-Podgurski, R. C. N., Oct 1 2015, In : IEEE Transactions on Power Electronics. 30, 10, p. 5650-5664 15 p., 6977971.

Research output: Contribution to journalArticle

Capacitors
Topology
Ladders
Genetic algorithms
Scheduling
Simulated annealing
Traveling salesman problem
Tabu search

Agent-Based Analysis of Biomass Feedstock Production Dynamics

Shastri, Y., Rodríguez, L., Hansen, A. & Ting, K. C., Dec 1 2011, In : Bioenergy Research. 4, 4, p. 258-275 18 p.

Research output: Contribution to journalArticle

energy crops
feedstocks
Feedstocks
Crops
Biomass

Agent framework services to reduce agent communication overhead in large-scale agent-based simulations

Jang, M. W. & Agha, G., Aug 1 2006, In : Simulation Modelling Practice and Theory. 14, 6, p. 679-694 16 p.

Research output: Contribution to journalArticle

Agent-based Simulation
Communication
Simulation
Message Passing
Message passing

Aggregation of graph models and markov chains by deterministic annealing

Xu, Y., Salapaka, S. M. & Beck, C. L., Oct 1 2014, In : IEEE Transactions on Automatic Control. 59, 10, p. 2807-2812 6 p., 6804680.

Research output: Contribution to journalArticle

Markov processes
Agglomeration
Directed graphs
Annealing
Resource allocation

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 globallly stable adaptive congestion control scheme for internet-style networks with delay

Alpcan, T. & Basar, M. T., Dec 1 2005, In : IEEE/ACM Transactions on Networking. 13, 6, p. 1261-1274 14 p.

Research output: Contribution to journalArticle

Congestion control (communication)
Topology
Internet
Asymptotic stability
Hybrid systems

A global lower bound on parameter estimation error with periodic distortion functions

Basu, S. & Bresler, Y., Dec 1 2000, In : IEEE Transactions on Information Theory. 46, 3, p. 1145-1150 6 p.

Research output: Contribution to journalArticle

Parameter estimation
Direction of arrival
Image registration
Mean square error
Maximum likelihood

A global-state-triggered fault injector for distributed system evaluation

Chandra, R., Lefever, R. M., Joshi, K. R., Cukier, M. & Sanders, W. H., Jul 1 2004, In : IEEE Transactions on Parallel and Distributed Systems. 15, 7, p. 593-605 13 p.

Research output: Contribution to journalArticle

Synchronization
Experiments
Specifications

A graph-based consensus maximization approach for combining multiple supervised and unsupervised models

Gao, J., Liang, F., Fan, W., Sun, Y. & Han, J., Jan 1 2013, In : IEEE Transactions on Knowledge and Data Engineering. 25, 1, p. 15-28 14 p., 6035707.

Research output: Contribution to journalArticle

Labeling
Labels
Costs

A Graphical User Interface for Maude-NPA

Santiago, S., Talcott, C., Escobar, S., Meadows, C. & Meseguer, J., Dec 25 2009, In : Electronic Notes in Theoretical Computer Science. 258, 1, p. 3-20 18 p.

Research output: Contribution to journalArticle

Maude
Graphical User Interface
Graphical user interfaces
Cryptography
Search Trees

A group key agreement protocol from pairings

Duursma, I. & Lee, H. S., Aug 15 2005, In : Applied Mathematics and Computation. 167, 2, p. 1451-1456 6 p.

Research output: Contribution to journalArticle

Group Key Agreement
Key Agreement Protocol
Diffie-Hellman
Pairing
Hardness

A group theory rule for predicting eigenvalue crossings in characteristic mode analyses

Schab, K. R. & Bernhard, J. T., Jan 1 2017, In : IEEE Antennas and Wireless Propagation Letters. 16, p. 944-947 4 p., 7582479.

Research output: Contribution to journalArticle

Group theory
Motion estimation
Image coding
Hardware
Data storage equipment
Computational complexity

A hierarchical quality of service control architecture for configurable multimedia applications

Li, B., Kalter, W. & Nahrstedt, K., Dec 1 2000, In : Journal of High Speed Networks. 9, 3-4, p. 153-174 22 p.

Research output: Contribution to journalArticle

Quality of service
Knobs
Tuning
Middleware
Resource allocation
Transition Systems
Fixed point
Logic
Higher Order
Model checking

A High Power Density Series-Stacked Energy Buffer for Power Pulsation Decoupling in Single-Phase Converters

Qin, S., Lei, Y., Barth, C., Liu, W. C. & Pilawa-Podgurski, R. C. N., Jun 2017, In : IEEE Transactions on Power Electronics. 32, 6, p. 4905-4924 20 p.

Research output: Contribution to journalArticle

Electric potential
Capacitors
Networks (circuits)
Energy storage
Transistors

A high precision motion control system with application to microscale robotic deposition

Bristow, D. A. & Alleyne, A. G., Nov 1 2006, In : IEEE Transactions on Control Systems Technology. 14, 6, p. 1008-1020 13 p.

Research output: Contribution to journalArticle

Motion control
Robotics
Control systems
Ink
Layered manufacturing
Equalizers
Throughput
Bit error rate
Decoding
Processing