Filter
Chapter

Search results

  • 2007

    Incentive-based pricing for network games with complete and incomplete information

    Shen, H. & Başar, T., Jan 1 2007, Annals of the International Society of Dynamic Games. Birkhauser, p. 431-458 28 p. (Annals of the International Society of Dynamic Games; vol. 9).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Modeling and control of anesthetic pharmacodynamics

    Beck, C. L., Lin, H. H. & Bloom, M., Aug 17 2007, Biology and Control Theory: Challenges. Queinnec, I., Tarbouriech, S., Garcia, G. & Niculescu, S-I. (eds.). p. 263-289 27 p. (Lecture Notes in Control and Information Sciences; vol. 357).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Optimal resource allocation for wireless mesh networks

    Xue, Y., Cui, Y. & Nahrstedt, K., 2007, Wireless Mesh Networks: Architectures and Protocols. Springer US, p. 143-166 24 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Patchwork prototyping with open source software

    Jones, M. C., Floyd, I. R. & Twidale, M. B., 2007, Handbook of Research on Open Source Software: Technological, Economic, and Social Perspectives. St. Amant, K. & Still, B. (eds.). IGI Global, p. 126-140 15 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Printed Antennas in Packages

    Bernhard, J. T., Nov 5 2007, Printed Antennas for Wireless Communications. Wiley, p. 281-296 16 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Quality of Service Support in Multimedia Wireless Environments

    Nahrstedt, K., Yuan, W., Shah, S., Xue, Y. & Chen, K., Dec 1 2007, Multimedia over IP and Wireless Networks. Elsevier Inc., p. 409-450 42 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Real-time communication for embedded wireless networks

    Caccamo, M. & Abdelzaher, T., Jan 1 2007, Handbook of Real-Time and Embedded Systems. CRC Press, p. 22-1-22-16

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Reconfigurable antennas

    Bernhard, J. T., Oct 15 2007, Synthesis Lectures on Antennas. p. 1-66 66 p. (Synthesis Lectures on Antennas; vol. 4).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Reconfigurable Antennas

    Huff, G. H. & Bernhard, J. T., Nov 26 2007, Modern Antenna Handbook. Wiley, p. 369-398 30 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Taking Stock of the U.S. Patent System

    Kesan, J. P., 2007, Intellectual property and information wealth: issues and practices in the digital age. Yu, P. K. (ed.). Westport, Conn: Praeger Publishers, Vol. 2. p. 227-248 (Praeger perspectives).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • The Architecture of Efficient Multi-Core Processors: A Holistic Approach

    Kumar, R. & Tullsen, D. M., 2007, Architectural Issues. Zelkowitz, M. (ed.). p. 1-87 87 p. (Advances in Computers; vol. 69).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • The Statutory Toolbox: Plants

    Kesan, J. P., 2007, Intellectual property management in health and agricultural innovation: a handbook of best practices. Oxford: MIHR

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Wireless sensing with power constraints

    Imer, O. C. & Başar, T., Jun 14 2007, Advances in Control Theory and Applications. Bonivento, C., Rossi, C. & Marconi, L. (eds.). p. 129-160 32 p. (Lecture Notes in Control and Information Sciences; vol. 353).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • 2006

    Discovery of Frequent Substructures

    Yan, X. & Han, J., Apr 10 2006, Mining Graph Data. John Wiley & Sons, Inc., p. 97-115 19 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Fluid Power Systems

    Alleyne, A. G., Feb 16 2006, Mechanical Engineers' Handbook: Energy and Power: Third Edition. John Wiley & Sons, Inc., Vol. 4. p. 958-992 35 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Metadata quality problems in federated collections

    Stvilia, B., Gasser, L. & Twidale, M. B., 2006, Challenges of Managing Information Quality in Service Organizations. Al-Hakim, L. (ed.). IGI Global, p. 154-185 32 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Model reduction of strongly stable nonstationary LPV systems

    Farhood, M. & Dullerud, G. E., Mar 16 2006, Control of Uncertain Systems: Modelling, Approximation, and Design: A Workshop on the Occasion of Keith Glovera Ts 60th Birthday. Francis, B., Willems, J. & Smith, M. (eds.). p. 99-118 20 p. (Lecture Notes in Control and Information Sciences; vol. 329).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • The usability of open source software: analysis and prospects

    Nichols, D. M. & Twidale, M. B., 2006, Open Source Software in Business: Issues and Perspectives. Kumar Jain, B. R. (ed.). Hyderabad: The ICFAI University Press, p. 167-188 22 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • 2005

    Combined competitive flow control and routing in networks with hard side constraints

    El Azouzi, R., El Kamili, M., Altman, E., Abbad, M. & Baśar, T., Dec 1 2005, Analysis, Control and Optimization of Complex Dynamic Systems. Springer US, p. 169-192 24 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Cybercrimes and Cyber-Attack: Technological, Economic and Law-Based Solutions

    Kesan, J. P., 2005, Cybercrime & security. Reich, P. C. (ed.). Dobbs Ferry, NY: Oceana

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Distributed algorithms for nash equilibria of flow control games

    Alpcan, T. & Başar, T., 2005, Annals of the International Society of Dynamic Games. Birkhauser, p. 473-498 26 p. (Annals of the International Society of Dynamic Games; vol. 7).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Energy conservation

    Kravets, R. & Sengul, C., 2005, Ad Hoc Networks: Technologies and Protocols. Springer US, p. 153-195 43 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Functorial semantics of rewrite theories

    Meseguer, J., Jan 1 2005, Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday. Springer-Verlag Berlin Heidelberg, p. 220-235 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3393 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Gap navigation trees: Minimal representation for visibility-based tasks

    Tovar, B., Guilamo, L. & LaValle, S. M., 2005, Algorithmic Foundations of Robotics VI. Springer-Verlag Berlin Heidelberg, p. 425-440 16 p. (Springer Tracts in Advanced Robotics; vol. 17).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Incremental Grid Sampling Strategies in Robotics

    Lindemann, S. R., Yershova, A. & LaValle, S. M., Dec 1 2005, Algorithmic Foundations of Robotics VI. Erdmann, M., Overmars, M., van der Stappen, A. F. & Hsu, H. (eds.). p. 313-328 16 p. (Springer Tracts in Advanced Robotics; vol. 17).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Interdisciplinary perspectives on small groups

    Poole, M. S., Hollingshead, A. B., McGrath, J. E., Moreland, R. & Rohrbaugh, J., Jan 1 2005, Theories of Small Groups: Interdisciplinary Perspectives. SAGE Publications Inc., p. 1-20 20 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Interpolation techniques in multimodality image registration and their application

    Tsao, J., Ji, J. X. & Liang, Z. P., Jan 1 2005, Medical Imaging Systems Technology: Analysis and Computational Methods. World Scientific Publishing Co., p. 255-295 41 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Multiscale Image Decompositions and Wavelets

    Moulin, P., Dec 1 2005, Handbook of Image and Video Processing. Elsevier Inc., p. 347-359 13 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Pareto optimal coordination on Roadmaps

    Ghrist, R., O'Kane, J. M. & LaValle, S. M., Jan 1 2005, Algorithmic Foundations of Robotics VI. Springer-Verlag Berlin Heidelberg, p. 171-186 16 p. (Springer Tracts in Advanced Robotics; vol. 17).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Polytopic approximations of reachable sets applied to linear dynamic games and a class of nonlinear systems

    Hwang, I., Stipanović, D. M. & Tomlin, C. J., 2005, Systems and Control: Foundations and Applications. 9780817643850 ed. Birkhauser, p. 3-19 17 p. (Systems and Control: Foundations and Applications; no. 9780817643850).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • 2004

    A formal monitoring-based framework for software development and analysis

    Chen, F., D'Amorim, M. & Roşu, G., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Davies, J., Schulte, W. & Barnett, M. (eds.). Springer-Verlag Berlin Heidelberg, p. 357-372 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3308).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • A Tiger By the Tail: The Law Contends with Science and Technology in America

    Kesan, J. P., 2004, Science & Law from a Comparative Perspective. Comandé, G. & Ponzanelli, G. (eds.). Torino

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Everywhere ramified towers of global function fields

    Duursma, I., Poonen, B. & Zieve, M., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Mullen, G. L., Poli, A. & Stichtenoth, H. (eds.). Springer-Verlag Berlin Heidelberg, p. 148-153 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2948).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Formal analysis of Java programs in JavaFAN

    Farzan, A., Chen, F., Meseguer, J. & Roşu, G., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Alur, R. & Peled, D. A. (eds.). Springer-Verlag Berlin Heidelberg, p. 501-505 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3114).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Open Access
  • Learning to verify safety properties

    Vardhan, A., Sen, K., Viswanathan, M. & Agha, G., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Davies, J., Schulte, W. & Barnett, M. (eds.). Springer-Verlag Berlin Heidelberg, p. 274-289 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3308).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Mining thick skylines over large databases

    Jin, W., Han, J. & Ester, M., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Boulicaut, J-F., Esposito, F., Giannotti, F. & Pedreschi, D. (eds.). Springer-Verlag Berlin Heidelberg, p. 255-266 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3202).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Open Access
  • Online efficient predictive safety analysis of multithreaded programs

    Sen, K., Roşu, G. & Agha, G., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Jensen, K. & Podelski, A. (eds.). Springer-Verlag Berlin Heidelberg, p. 123-138 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2988).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Open Access
  • Overhaul extending HTTP to combat flash crowds

    Patel, J. A. & Gupta, I., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Chi, C-H., van Steen, M. & Wills, C. (eds.). Springer-Verlag Berlin Heidelberg, p. 34-43 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3293).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Over-the-Shoulder Learning in a Distance Education Environment

    Twidale, M. & Ruhleder, K., 2004, Learning, Culture and Community in Online Education: Research and Practice. Haythornthwaite, C. & Kazmer, M. M. (eds.). New York: Peter Lang, p. 177-194 (Digital Formations).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Real-time synchronization protocols

    Sha, L. R. & Caccamo, M., Jan 1 2004, Handbook of Scheduling: Algorithms, Models, and Performance Analysis. CRC Press, p. 29-1-29-26

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Specification and Analysis of Real-Time Systems Using Real-Time Maude

    Ölveczky, P. C. & Meseguer, J., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Wermelinger, M. & Margaria-Steffen, T. (eds.). Springer-Verlag Berlin Heidelberg, p. 354-358 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2984).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Open Access
  • Statistical model checking of black-box probabilistic systems

    Sen, K., Viswanathan, M. & Agha, G., Jan 1 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Alur, R. & Peled, D. A. (eds.). Springer-Verlag Berlin Heidelberg, p. 202-215 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3114).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Stochastic methods for dependability, performability, and security evaluation

    Sanders, W. H., Jan 1 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Cortadella, J. & Reisig, W. (eds.). Springer-Verlag Berlin Heidelberg, 1 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3099).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Worldwide computing middleware

    Agha, G. A. & Varela, C. A., Jan 1 2004, The Practical Handbook of Internet Computing. CRC Press, p. 38-1-38-21

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • 2003

    Architecture

    Connors, D. A. & Hwu, W-M. W., Jan 1 2003, Memory, Microprocessor, and ASIC. CRC Press, p. 11-1-11-22

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • A rewriting based model for probabilistic distributed object systems

    Kumar, N., Sen, K., Meseguer, J. & Agha, G., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Najm, E., Nestmann, U. & Stevens, P. (eds.). Springer-Verlag Berlin Heidelberg, p. 32-46 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2884).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Open Access
  • Certifying optimality of state estimation programs

    Roşu, G., Venkatesan, R. P., Whittle, J. & Leuştean, L., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Hunt, W. A. & Somenzi, F. (eds.). Springer-Verlag Berlin Heidelberg, p. 301-314 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2725).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Conditional circular coinductive rewriting with case analysis

    Goguen, J. A., Lin, K. & Roşu, G., Jan 1 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Wirsing, M., Pattinson, D. & Hennicker, R. (eds.). Springer-Verlag Berlin Heidelberg, p. 216-232 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2755).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Experiments with test case generation and runtime analysis

    Artho, C., Drusinksy, D., Goldberg, A., Havelund, K., Lowry, M., Pasareanu, C., Roşu, G. & Visser, W., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Borger, E., Gargantini, A. & Riccobene, E. (eds.). Springer-Verlag Berlin Heidelberg, p. 87-107 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2589).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Generalized rewrite theories

    Bruni, R. & Meseguer, J., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Baeten, J. C. M., Lenstra, J. K., Parrow, J. & Woeginger, G. J. (eds.). Springer-Verlag Berlin Heidelberg, p. 252-266 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2719).

    Research output: Chapter in Book/Report/Conference proceedingChapter