Information Trust Institute

Filter
Chapter

Search results

  • 2007

    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 proceeding › Chapter

  • Quality of Service Support in Multimedia Wireless Environments

    Nahrstedt, K., Yuan, W., Shah, S., Xue, Y. & Chen, K., Mar 16 2007, Multimedia over IP and Wireless Networks: Compression, Networking, and Systems. Elsevier, p. 409-450 42 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • 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 proceeding › Chapter

  • Reconfigurable antennas

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

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • 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 proceeding › Chapter

  • 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 proceeding › Chapter

  • 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 proceeding › Chapter

  • The social web: changing knowledge systems in higher education

    Cope, B. & Kalantzis, M., Dec 22 2007, Geographies of Knowledge, Geometries of Power: Framing the Future of Higher Education. Epstein, D., Boden, R., Deem, R., Rizvi, F. & Wright, S. (eds.). Routledge, 14 p. (World Yearbook of Education; vol. 2008).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • 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 proceeding › Chapter

  • 2006

    Algorithms for planning under uncertainty in prediction and sensing

    O'Kane, J. M., Tovar, B., Cheng, P. & LaValle, S. M., May 4 2006, Autonomous Mobile Robots: Sensing, Control, Decision Making and Applications. CRC Press, p. 501-547 47 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Discovery of Frequent Substructures

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

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Introduction

    Cope, B. & Phillips, A., 2006, The Future of the Book in the Digital Age. Cope, B. & Phillips, A. (eds.). Chandos Publishing, p. 1-18

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • 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 proceeding › Chapter

  • 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 proceeding › Chapter

  • New Text Technologies, Globalization and the Future of the Book

    Cope, B. & Kalantzis, M., 2006, The Future of the Book in the Digital Age. Cope, B. & Phillips, A. (eds.). Chandos Publishing, p. 191-210

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • 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 proceeding › Chapter

  • 2005

    Advanced image reconstruction methods in MRI

    Ying, L. & Liang, Z. P., Sep 13 2005, Advanced Image Processing in Magnetic Resonance Imaging. CRC Press, p. 39-56 18 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • 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 proceeding › Chapter

  • Energy conservation

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

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Functorial semantics of rewrite theories

    Meseguer, J., 2005, Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday. Springer, 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 proceeding › Chapter

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

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

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Incremental Grid Sampling Strategies in Robotics

    Lindemann, S. R., Yershova, A. & LaValle, S. M., 2005, Algorithmic Foundations of Robotics VI. Springer, p. 313-328 16 p. (Springer Tracts in Advanced Robotics; vol. 17).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • 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 proceeding › Chapter

  • Magic Johnson’s urban renewal: Empowerment zones and the national fantasy of Harlem USA

    Giardina, M. D. & Cole, C. L., Mar 2005, Race, Identity, and Representation in Education. McCarthy, C., Crichlow, W., Dimitriadis, G. & Dolby, N. (eds.). 2 ed. Routledge, p. 379-392 14 p. (Critical Social Thought).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Multiscale Image Decompositions and Wavelets

    Moulin, P., Jan 1 2005, Handbook of Image and Video Processing, Second Edition. Elsevier, p. 347-359 13 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Pareto optimal coordination on Roadmaps

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

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • 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. Birkhäuser, p. 3-19 17 p. (Systems and Control: Foundations and Applications; no. 9780817643850).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • 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, 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 proceeding › Chapter

  • A higher order modal fixed point logic

    Viswanathan, M. & Viswanathan, R., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Gardner, P. & Yoshida, N. (eds.). Springer, p. 512-528 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3170).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • 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 proceeding › Chapter

  • 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, 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 proceeding › Chapter

  • Formal JVM code analysis in javaFAN

    Farzan, A., Meseguer, J. & Roşu, G., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Rattray, C., Maharaj, S. & Shankland, C. (eds.). Springer, p. 132-147 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3116).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • High-Dimensional OLAP

    Li, X., Han, J. & Gonzalez, H., Jan 1 2004, Proceedings 2004 VLDB Conference: The 30th International Conference on Very Large Databases (VLDB). Elsevier, p. 528-539 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • 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, 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 proceeding › Chapter

  • Middlewhere: A middleware for location awareness in ubiquitous computing applications

    Ranganathan, A., Al-Muhtadi, J., Chetan, S., Campbell, R. & Dennis Mickunas, M., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Jacobsen, H.-A. (ed.). Springer, p. 397-416 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3231).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • 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, 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 proceeding › Chapter

    Open Access

  • On exploring performance optimizations in web service composition

    Jin, G. & Nahrstedt, K., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Jacobsen, H.-A. (ed.). Springer, p. 115-134 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3231).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • 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, 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 proceeding › Chapter

    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, 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 proceeding › Chapter

  • 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 Publishing, p. 177-194 (Digital Formations).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Real-time synchronization protocols

    Sha, L. & 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 proceeding › Chapter

  • 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, 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 proceeding › Chapter

    Open Access

  • Statistical model checking of black-box probabilistic systems

    Sen, K., Viswanathan, M. & Agha, 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, 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 proceeding › Chapter

  • 2003

    A Framework for Clustering Evolving Data Streams

    Aggarwal, C. C., Allen, G. D., Han, J. & Wang, J., Jan 1 2003, Proceedings 2003 VLDB Conference: 29th International Conference on Very Large Databases (VLDB). Elsevier, p. 81-92 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • 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 proceeding › Chapter

  • 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, 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 proceeding › Chapter

  • 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, 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 proceeding › Chapter

    Open Access

  • Conditional circular coinductive rewriting with case analysis

    Goguen, J. A., Lin, K. & Roşu, G., 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, 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 proceeding › Chapter

  • Definition of a user environment in a ubiquitous system

    Carvalho, D., Campbell, R., Belford, G. & Mickunas, D., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Meersman, R., Tari, Z. & Schmidt, D. C. (eds.). Springer, p. 1151-1169 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2888).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • 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, 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 proceeding › Chapter