Research Output

Filter
Conference article
2004

Optimal sparse-QIM codes for zero-rate blind watermarking

Moulin, P., Goteti, A. K. & Koetter, R., Sep 28 2004, In : ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings. 3, p. III73-III76

Research output: Contribution to journalConference article

Parallel generalized series MRI: Algorithm and application to cancer imaging

Xu, D., Ying, L. & Liang, Z-P., Dec 1 2004, In : Annual International Conference of the IEEE Engineering in Medicine and Biology - Proceedings. 26 II, p. 1052-1055 4 p.

Research output: Contribution to journalConference article

Performance analysis of the adaptive parity check matrix based soft-decision decoding algorithm

Ahmed, A., Koetter, R. & Shanbhag, N. R., Dec 1 2004, In : Conference Record - Asilomar Conference on Signals, Systems and Computers. 2, p. 1995-1999 5 p.

Research output: Contribution to journalConference article

Process group management in cross-layer adaptation

Yuan, W. & Nahrstedt, K., Dec 1 2004, In : Proceedings of SPIE - The International Society for Optical Engineering. 5305, p. 55-68 14 p.

Research output: Contribution to journalConference article

Reflection in membership equational logic, many-sorted equational logic, horn logic with equality, and rewriting logic

Clavel, M., Meseguer, J. & Palomino, M., Apr 2004, In : Electronic Notes in Theoretical Computer Science. 71, p. 110-126 17 p.

Research output: Contribution to journalConference article

Simulation analysis of virtual Geographic Routing

Nicol, D. M., Goldsby, M. E. & Johnson, M. M., Dec 1 2004, In : Proceedings - Winter Simulation Conference. 1, p. 857-864 8 p.

Research output: Contribution to journalConference article

Social welfare of selfish agents: Motivating efficiency for divisible resources

Maheswaran, R. T. & Başar, T., Dec 1 2004, In : Proceedings of the IEEE Conference on Decision and Control. 2, p. 1550-1555 6 p.

Research output: Contribution to journalConference article

SpiderNet: An integrated peer-to-peer service composition framework

Gu, X., Nahrstedt, K. & Yu, B., Oct 18 2004, In : IEEE International Symposium on High Performance Distributed Computing, Proceedings. p. 110-119 10 p.

Research output: Contribution to journalConference article

Switching LMS linear turbo equalization

Lee, S. J., Singer, A. C. & Shanbhag, N. R., Sep 27 2004, In : ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings. 4, p. IV-641-IV-644

Research output: Contribution to journalConference article

The case for lifetime reliability-aware microprocessors

Srinivasan, J., Adve, S. V., Bose, P. & Rivers, J. A., Oct 8 2004, In : Conference Proceedings - Annual International Symposium on Computer Architecture, ISCA. 31, p. 276-287 12 p.

Research output: Contribution to journalConference article

The impact of relaying on the capacity of broadcast channels

Liang, Y. & Veeravalli, V. V., Oct 20 2004, In : IEEE International Symposium on Information Theory - Proceedings. 1 p.

Research output: Contribution to journalConference article

The maude LTL model checker

Eker, S., Meseguer, J. & Sridharanarayanan, A., Apr 2004, In : Electronic Notes in Theoretical Computer Science. 71, p. 162-187 26 p.

Research output: Contribution to journalConference article

Truncation effects in sense reconstruction

Yuan, L., Ying, L. & Liang, Z. P., Dec 1 2004, In : Annual International Conference of the IEEE Engineering in Medicine and Biology - Proceedings. 26 II, p. 1136-1139 4 p.

Research output: Contribution to journalConference article

Two private, perceptual data-hiding games

Goteti, A. K. & Moulin, P., Sep 28 2004, In : ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings. 3, p. III373-III376

Research output: Contribution to journalConference article

Wideband periodic array of random subarrays

Kerby, K. C. & Bernhard, J. T., Sep 29 2004, In : IEEE Antennas and Propagation Society, AP-S International Symposium (Digest). 1, p. 555-558 4 p.

Research output: Contribution to journalConference article

X-tolerant signature analysis

Mitra, S., Lumetta, S. S. & Mitzenmacher, M., Dec 1 2004, In : Proceedings - International Test Conference. p. 432-441 10 p.

Research output: Contribution to journalConference article

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 journalConference article

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 journalConference article

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 journalConference article

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 journalConference article

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 journalConference article

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 journalConference article

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 journalConference article

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 journalConference article

Detecting errors in multithreaded programs by generalized predictive analysis of executions

Sen, K., Roşu, G. & Agha, G., Oct 17 2005, In : Lecture Notes in Computer Science. 3535, p. 211-226 16 p.

Research output: Contribution to journalConference article

Estimation of corrosion damage in steel reinforced mortar using waveguides

Reis, H., Ervin, B. L., Kuchma, D. A. & Bernhard, J., Oct 7 2005, In : Proceedings of SPIE - The International Society for Optical Engineering. 5767, p. 98-107 10 p., 13.

Research output: Contribution to journalConference article

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 journalConference article

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 journalConference article

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 journalConference article

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 journalConference article