Research Output per year
Research Output 1974 2020
- 150 - 200 out of 555 results
- Publication Year, Title (descending)
2007
Locality sensitive discriminant analysis
Cai, D., He, X., Zhou, K., Han, J. & Bao, H., Dec 1 2007, In : IJCAI International Joint Conference on Artificial Intelligence. p. 708-713 6 p.Research output: Contribution to journal › Conference article
Discriminant analysis
Labels
Experiments
Modeling stochastic performance and random failure
Jiang, H., Bhalerao, K., Rodriguez, L. F., Bell, S., Kortenkamp, D. & Soboyejo, A., Jan 1 2007, In : SAE Technical Papers.Research output: Contribution to journal › Conference article
NASA
Testing
Hardware
Chemical reactions
Repair
Regular strategies as proof tactics for CIRC
Lucanu, D., Rosu, G. & Grigoraş, G., Dec 1 2007, In : Electronic Notes in Theoretical Computer Science. p. 69-83 15 p.Research output: Contribution to journal › Conference article
Rewriting
Engines
Coinduction
Maude
Regular Expressions
Reliable on-demand management operations for large-scale distributed applications
Liang, J., Gupta, I. & Nahrstedt, K., Oct 1 2007, In : Operating Systems Review (ACM). 41, 5, p. 82-88 7 p.Research output: Contribution to journal › Conference article
Overlay networks
Bandwidth
Data storage equipment
Monitoring
Testing heuristic tools for life support system analysis
Rodriguez, L. F., Jiang, H., Bell, S. & Kortenkamp, D., Jan 1 2007, In : SAE Technical Papers.Research output: Contribution to journal › Conference article
Systems analysis
Testing
Genetic algorithms
Experiments
2006
Automotive vapor compression cycles: Validation of control-oriented models
Eldredge, B., Rasmussen, B. & Alleyne, A. G., Jan 1 2006, In : SAE Technical Papers.Research output: Contribution to journal › Conference article
Vapors
Fluid dynamics
Air conditioning
Controllers
Improving energy efficiency in automotive vapor compression cycles through advanced control design
Keir, M., Rasmussen, B. & Alleyne, A. G., Jan 1 2006, In : SAE Technical Papers.Research output: Contribution to journal › Conference article
Energy efficiency
Vapors
Compressors
Evaporators
Air conditioning
Some observations on supervisory policies that enforce liveness in partially controlled Free-choice Petri nets
Sreenivas, R. S., Feb 24 2006, In : Mathematics and Computers in Simulation. 70, 5-6, p. 266-274 9 p.Research output: Contribution to journal › Conference article
Liveness
Petri nets
Petri Nets
Arc of a curve
Observation
Study of Error Vector Magnitude Patterns (EVRP) for a transmit/receive pair of microstrip patch antennas
Huff, G. H., Soldner, N., Palmer, W. D. & Bernhard, J. T., Dec 1 2006, In : IEEE Antennas and Propagation Society, AP-S International Symposium (Digest). p. 449-452 4 p., 1710555.Research output: Contribution to journal › Conference article
Microstrip antennas
Antennas
Availability
Bandwidth
Experiments
Supporting reconfigurable object distribution for customizable Web applications
Chang, P. H. & Agha, G., Jan 1 2006, In : Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4277 LNCS - I, p. 32-33 2 p.Research output: Contribution to journal › Conference article
Web Application
Object
2005
A deterministic annealing approach to combinatorial library design for drug discovery
Sharma, P., Salapaka, S. & Beck, C., Sep 1 2005, In : Proceedings of the American Control Conference. 2, p. 979-984 6 p., WeB13.4.Research output: Contribution to journal › Conference article
Annealing
Lead compounds
Lead
Drug Discovery
An architectural framework for detecting process hangs/crashes
Nakka, N., Saggese, G. P., Kalbarczyk, Z. T. & Iyer, R. K., Sep 26 2005, In : Lecture Notes in Computer Science. 3463, p. 103-121 19 p.Research output: Contribution to journal › Conference article
Crash
Hardware
Instrumentation
Detectors
Error detection
Application of Perceptual Difference Model (PDM) on regularization techniques of parallel MR imaging
Huo, D., Xu, D., Ying, L., Liang, Z-P. & Wilson, D., Sep 19 2005, In : Progress in Biomedical Optics and Imaging - Proceedings of SPIE. 5749, p. 476-483 8 p., 52.Research output: Contribution to journal › Conference article
Image quality
Imaging techniques
sensitivity
ratings
Magnetic resonance
A sufficient completeness reasoning tool for partial specifications
Hendrix, J., Clavel, M. & Meseguer, J., Sep 26 2005, In : Lecture Notes in Computer Science. 3467, p. 165-174 10 p.Research output: Contribution to journal › Conference article
Completeness
Reasoning
Specification
Sufficient
Specifications
A survey and comparison of peer-to-peer group communication systems suitable for network-centric warfare
Anwar, Z., Yurcik, W. & Campbell, R. H., Nov 15 2005, In : Proceedings of SPIE - The International Society for Optical Engineering. 5820, p. 33-44 12 p., 05.Research output: Contribution to journal › Conference article
warfare
Group Communication
Peer-to-peer Systems
Military operations
Peer to Peer
Automatic model-driven recovery in distributed systems
Joshi, K. R., Hiltunen, M. A., Sanders, W. H. & Schlichting, R. D., Dec 1 2005, In : Proceedings of the IEEE Symposium on Reliable Distributed Systems. p. 25-36 12 p., 1541182.Research output: Contribution to journal › Conference article
Distributed Systems
Recovery
Monitoring
Optimal Recovery
Fault Injection
AVPUC: Automatic video production with user customization
Yu, B. & Nahrstedt, K., Jul 21 2005, In : Proceedings of SPIE - The International Society for Optical Engineering. 5680, p. 203-215 13 p., 21.Research output: Contribution to journal › Conference article
Customization
evaluation
Video cameras
Camera
cameras
Behavioral extensions of institutions
Popescu, A. & Rosu, G., Oct 26 2005, In : Lecture Notes in Computer Science. 3629, p. 331-347 17 p.Research output: Contribution to journal › Conference article
Logic
Equivalence
Concretes
Reasoning
Partial
BIBO stability of an adaptive time-frequency Iterative Learning Control with application to microscale robotic deposition
Bristow, D. A. & Alleyne, A. G., Sep 1 2005, In : Proceedings of the American Control Conference. 7, p. 4518-4524 7 p., FrB17.3.Research output: Contribution to journal › Conference article
Ink
Robotics
Robots
Adaptive algorithms
Systems analysis
Centralized and decentralized powertrain controllers for an earthmoving vehicle
Gupta, P. & Alleyne, A., Sep 1 2005, In : Proceedings of the American Control Conference. 3, p. 1613-1618 6 p., WeC14.3.Research output: Contribution to journal › Conference article
Powertrains
Controllers
Scheduling
Complete symbolic reachability analysis using back-and-forth narrowing
Thati, P. & Meseguer, J., Oct 26 2005, In : Lecture Notes in Computer Science. 3629, p. 379-394 16 p.Research output: Contribution to journal › Conference article
Symbolic Analysis
Reachability Analysis
Concurrent Systems
Decision Procedures
Acoustic waves
Congruences for visibly pushdown languages
Alur, R., Kumar, V., Parthasarathy, M. & Viswanathan, M., Oct 19 2005, In : Lecture Notes in Computer Science. 3580, p. 1102-1114 13 p.Research output: Contribution to journal › Conference article
Context free languages
Formal languages
Syntactics
Congruence
Polynomials
Continuous optimization
Fahs, B., Rafacz, T., Patel, S. J. & Lumetta, S. S., Nov 10 2005, In : Proceedings - International Symposium on Computer Architecture. p. 86-97 12 p.Research output: Contribution to journal › Conference article
Hardware
Pipelines
Data storage equipment
Detecting errors in multithreaded programs by generalized predictive analysis of executions
Sen, K., Rosu, G. & Agha, G. A., Oct 17 2005, In : Lecture Notes in Computer Science. 3535, p. 211-226 16 p.Research output: Contribution to journal › Conference article
Concurrent Systems
Violate
Trace
Runtime Analysis
Specification
Distributed architectures and implementations of observer based controllers for performance optimization
Yadav, V., Voulgaris, P. G. & Salapaka, M. V., Sep 1 2005, In : Proceedings of the American Control Conference. 7, p. 4844-4849 6 p.Research output: Contribution to journal › Conference article
Controllers
Communication
Parameterization
Distributed control design with robustness to small time delays
Chandra, R. S., Langbort, C. & D'Andrea, R., Sep 1 2005, In : Proceedings of the American Control Conference. 7, p. 4850-4855 6 p., FrC09.4.Research output: Contribution to journal › Conference article
Large scale systems
Time delay
Linear matrix inequalities
Controllers
Closed loop systems
Distributed optimal contention window control for elastic traffic in wireless LANs
Yang, Y., Wang, J. & Kravets, R. H., Oct 10 2005, In : Proceedings - IEEE INFOCOM. 1, p. 35-46 12 p.Research output: Contribution to journal › Conference article
Local area networks
Telecommunication traffic
Frequency allocation
Efficient monitoring of ω-languages
D'Amorim, M. & Rosu, G., Oct 19 2005, In : Lecture Notes in Computer Science. 3576, p. 364-378 15 p.Research output: Contribution to journal › Conference article
Formal languages
Regular Languages
Finite automata
State Machine
Monitoring
Estimation of corrosion damage in steel reinforced mortar using waveguides
Reis, H. M., Ervin, B. L., Kuchma, D. A. & Bernhard, J. T., Oct 7 2005, In : Proceedings of SPIE - The International Society for Optical Engineering. 5767, p. 98-107 10 p., 13.Research output: Contribution to journal › Conference article
Mortar
Steel
Corrosion
Waveguide
corrosion
Experiences with starfield visualizations for analysis of library collections
Sánchez, J. A., Twidale, M. B., Nichols, D. M. & Silva, N. N., Jul 20 2005, In : Proceedings of SPIE - The International Society for Optical Engineering. 5669, p. 215-225 11 p., 22.Research output: Contribution to journal › Conference article
Visualization
Visual Data Mining
Learnability
data mining
Digital libraries
Formally defining and verifying Master/Slave Speculative Parallelization
Salverda, P., Rosu, G. & Zilles, C., Oct 19 2005, In : Lecture Notes in Computer Science. 3582, p. 123-138 16 p.Research output: Contribution to journal › Conference article
Parallelization
Sequential machines
Correctness
Refining
Microprocessor chips
Foundations for the run-time monitoring of reactive systems fundamentals of the MaC language
Viswanathan, M. & Kim, M., Sep 19 2005, In : Lecture Notes in Computer Science. 3407, p. 543-556 14 p.Research output: Contribution to journal › Conference article
Reactive Systems
Monitoring
Automata
Language
Class
From conditional to unconditional rewriting
Roşu, G., Sep 14 2005, In : Lecture Notes in Computer Science. 3423, p. 218-233 16 p.Research output: Contribution to journal › Conference article
Rewriting
Engines
Experiments
Engine
Optimise
GraphMiner: A structural pattern-mining system for large disk-based graph databases and its applications
Wang, W., Wang, C., Zhu, Y., Shi, B., Pei, J., Yan, X. & Han, J., Dec 1 2005, In : Proceedings of the ACM SIGMOD International Conference on Management of Data. p. 879-881 3 p.Research output: Contribution to journal › Conference article
Java-MOP: A monitoring oriented programming environment for java
Chen, F. & Rosu, G., Sep 20 2005, In : Lecture Notes in Computer Science. 3440, p. 546-550 5 p.Research output: Contribution to journal › Conference article
Programming Environments
Java
Software engineering
Monitoring
Specifications
Localized fairness: A rewriting semantics
Meseguer, J., Sep 26 2005, In : Lecture Notes in Computer Science. 3467, p. 250-263 14 p.Research output: Contribution to journal › Conference article
Rewriting
Fairness
Semantics
Thread
Standard Model
Monotonic convergence of iterative learning control for uncertain systems using a time-varying Q-filter
Bristow, D. A. & Alleyne, A. G., Sep 1 2005, In : Proceedings of the American Control Conference. 1, p. 171-177 7 p., WeA06.1.Research output: Contribution to journal › Conference article
Uncertain systems
Trajectories
Bandwidth
Natural narrowing for general term rewriting systems
Escobar, S., Meseguer, J. & Thati, P., Sep 26 2005, In : Lecture Notes in Computer Science. 3467, p. 279-293 15 p.Research output: Contribution to journal › Conference article
Term Rewriting Systems
Symbolic Model Checking
Functional programming
Theorem proving
Functional Programming
Natural rewriting for general term rewriting systems
Escobar, S., Meseguer, J. & Thati, P., Oct 18 2005, In : Lecture Notes in Computer Science. 3573, p. 101-116 16 p.Research output: Contribution to journal › Conference article
Term Rewriting Systems
Functional programming
Theorem proving
Logic programming
Rewriting
New sensitivity analysis attack
El Choubassi, M. & Moulin, P., Jul 21 2005, In : Proceedings of SPIE - The International Society for Optical Engineering. 5681, p. 734-745 12 p., 72.Research output: Contribution to journal › Conference article
sensitivity analysis
attack
Sensitivity analysis
Sensitivity Analysis
Attack
On achievable error exponents for watermarking
Moulin, P. & Wang, Y., Jul 21 2005, In : Proceedings of SPIE - The International Society for Optical Engineering. 5681, p. 308-317 10 p., 31.Research output: Contribution to journal › Conference article
Error Exponent
Watermarking
attack
Attack
exponents
On computational complexity of counting fixed points in symmetric boolean graph automata
Tošić, P. T. & Agha, G. A., Oct 31 2005, In : Lecture Notes in Computer Science. 3699, p. 191-205 15 p.Research output: Contribution to journal › Conference article
Automata
Counting
Computational complexity
Dynamical systems
Computational Complexity
On statistical model checking of stochastic systems
Sen, K., Viswanathan, M. & Agha, G. A., Oct 18 2005, In : Lecture Notes in Computer Science. 3576, p. 266-280 15 p.Research output: Contribution to journal › Conference article
Stochastic systems
Model checking
Stochastic Systems
Model Checking
Statistical Model
On the complexity of error explanation
Kumar, N., Kumar, V. & Viswanathan, M., Sep 9 2005, In : Lecture Notes in Computer Science. 3385, p. 448-464 17 p.Research output: Contribution to journal › Conference article
Finite automata
State Machine
Trace
Counterexample
Pushdown Automata
On-the-fly reachability and cycle detection for recursive state machines
Alur, R., Chaudhuri, S., Etessami, K. & Madhusudan, P., Sep 19 2005, In : Lecture Notes in Computer Science. 3440, p. 61-76 16 p.Research output: Contribution to journal › Conference article
State Machine
Reachability
Cycle
Liveness
Model checking
On the use of SoS methods for analysis of connection-level stability in the internet
Lakshmikantha, A., Beck, C. L. & Srikant, R., Sep 1 2005, In : Proceedings of the American Control Conference. 4, p. 2705-2708 4 p., ThB13.4.Research output: Contribution to journal › Conference article
Lyapunov functions
Internet
Optimizations for compiling declarative models into boolean formulas
Marinov, D., Khurshid, S., Bugrara, S., Zhang, L. & Rinard, M., Oct 17 2005, In : Lecture Notes in Computer Science. 3569, p. 187-202 16 p.Research output: Contribution to journal › Conference article
Optimization
Reasoning
Model
Optimizing Compilers
First-order Logic
Perturbed timed automata
Alur, R., La Torre, S. & Parthasarathy, M., Sep 14 2005, In : Lecture Notes in Computer Science. 3414, p. 70-85 16 p.Research output: Contribution to journal › Conference article
Timed Automata
Clocks
Imperfect
Automata
Inclusion
Process Resurrection: A fast recovery mechanism for real-time embedded systems
Lee, K. & Sha, L. R., Sep 26 2005, In : Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS. p. 292-301 10 p.Research output: Contribution to journal › Conference article
Real time systems
Embedded systems
Response time (computer systems)
Recovery
Pendulums
Searching for related objects in relational databases
Yin, X., Han, J. & Yang, J., Dec 1 2005, In : Proceedings of the International Conference on Scientific and Statistical Database Management, SSDBM. p. 227-236 10 p.Research output: Contribution to journal › Conference article
Scalability
Semantics
Experiments