Filter
Chapter

Search results

  • 2012

    Transformation invariance in pattern recognition - Tangent distance and tangent propagation

    Simard, P. Y., Lecun, Y. A., Denker, J. S. & Victorri, B., 2012, Neural Networks: Tricks of the Trade. Springer Verlag, p. 235-269 35 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7700 LECTURE NO).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Open Access
  • 2011

    Eighty years of Ramsey R(3, k) … and counting!

    Spencer, J., 2011, Progress in Mathematics. Springer Basel, p. 27-39 13 p. (Progress in Mathematics; vol. 285).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Exploring the coming repositories of reproducible experiments: Challenges and opportunities

    Freire, J., Bonnet, P. & Shasha, D., Aug 2011, Proceedings of the VLDB Endowment. 12 ed. Vol. 4. p. 1494-1497 4 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Large-scale FPGA-based convolutional networks

    Farabet, C., LeCun, Y., Kavukcuoglu, K., Martini, B., Akselrod, P., Talay, S. & Culurciello, E., Jan 1 2011, Scaling up Machine Learning: Parallel and Distributed Approaches. Cambridge University Press, Vol. 9780521192248. p. 399-419 21 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Logical abstract domains and interpretations

    Cousot, P., Cousot, R. & Mauborgne, L., 2011, The Future of Software Engineering. Springer Berlin Heidelberg, p. 48-71 24 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Open Access
  • Multiple testing of causal hypotheses

    Kleinberg, S. & Mishra, B., Sep 22 2011, Causality in the Sciences. Oxford University Press

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Storing clocked programs inside DNA: A simplifying framework for nanocomputing

    Chang, J. P. & Shasha, D. E., Apr 21 2011, Storing Clocked Programs Inside DNA: A Simplifying Framework for Nanocomputing. p. 1-73 73 p. (Synthesis Lectures on Computer Science; vol. 4).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • The degree sequence of a scale-free random graph process

    Bollobás, B., Riordan, O., Spencer, J. & Tusnády, G., Oct 23 2011, The Structure and Dynamics of Networks. Princeton University Press, Vol. 9781400841356. p. 385-395 11 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • 2010

    Inapproximability results for computational problems on lattices

    Khot, S., 2010, Information Security and Cryptography. Springer International Publishing, p. 453-473 21 p. (Information Security and Cryptography; vol. 10).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Information Extraction

    Grishman, R., Jun 29 2010, The Handbook of Computational Linguistics and Natural Language Processing. Wiley-Blackwell, p. 515-530 16 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • On the complexity of lattice problems with polynomial approximation factors

    Regev, O., 2010, Information Security and Cryptography. Springer International Publishing, p. 475-496 22 p. (Information Security and Cryptography; vol. 10).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Quantum algorithms

    Kempe, J. & Vidick, T., 2010, Quantum Information, Computation and Cryptography: An Introductory Survey of Theory, Technology and Experiments. Benatti, F. (ed.). p. 309-342 34 p. (Lecture Notes in Physics; vol. 808).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • 2009

    Adaptive Cartesian Methods for Modeling Airborne Dispersion

    Wissink, A., Kosovic, B., Berger, M., Chand, K. & Chow, F. K., Dec 9 2009, Advanced Computational Infrastructures for Parallel and Distributed Adaptive Applications. John Wiley & Sons, Inc., p. 79-104 26 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Analytical results for capacity improvements in CDMA

    Liberti, J. C. & Rappaport, T. S., Jan 1 2009, Adaptive Antennas for Wireless Communications. Wiley-IEEE Press, p. 452-462 11 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Forward-secure hierarchical IBE with applications to broadcast encryption

    Yao, D., Fazio, N., Dodis, Y. & Lysyanskaya, A., 2009, Identity-Based Cryptography. IOS Press, p. 100-118 19 p. (Cryptology and Information Security Series; vol. 2).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Overview of spatial channel models for antenna array communication systems

    Ertel, R. B., Caroieri, P., Sowerby, K. W., Rappaport, T. S. & Reed, J. H., Jan 1 2009, Adaptive Antennas for Wireless Communications. Wiley-IEEE Press, p. 20-32 13 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Prokaryotic Systems Biology

    Kacmarczyk, T., Waltman, P. & Bonneau, R., Aug 18 2009, Plant Systems Biology. Blackwell Publishing Ltd, Vol. 35. p. 67-136 70 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Satisfiability modulo theories

    Barrett, C., Sebastiani, R., Seshia, S. A. & Tinelli, C., 2009, Handbook of Satisfiability. 1 ed. IOS Press, p. 825-885 61 p. (Frontiers in Artificial Intelligence and Applications; vol. 185, no. 1).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Software Tools for Systems Biology: Visualizing the Outcomes of N Experiments on M Entities

    Poultney, C. & Shasha, D., Aug 18 2009, Plant Systems Biology. Blackwell Publishing Ltd, Vol. 35. p. 167-195 29 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • 2008

    A Machine Learning Framework for Spoken-Dialog Classification

    Cortes, C., Haffner, P. & Mohri, M., 2008, Springer Handbooks. Springer, p. 585-596 12 p. (Springer Handbooks).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • De Novo Structure Prediction: Methods and Applications

    Bonneau, R., Feb 5 2008, Bioinformatics-From Genomes to Therapies. Wiley-VCH Verlag GmbH, Vol. 1. p. 389-418 30 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Quantum Algorithms

    Kempe, J., Feb 5 2008, Lectures on Quantum Information. Wiley-VCH Verlag GmbH, p. 87-104 18 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Speech Recognition with Weighted Finite-State Transducers

    Mohri, M., Pereira, F. & Riley, M., 2008, Springer Handbooks. Springer, p. 559-584 26 p. (Springer Handbooks).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • 2007

    Cryptography and game theory

    Dodis, Y. & Rabin, T., Jan 1 2007, Algorithmic Game Theory. Cambridge University Press, Vol. 9780521872829. p. 181-206 26 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Fuzzy extractors

    Dodis, Y., Reyzin, L. & Smith, A., 2007, Security with Noisy Data: On Private Biometrics, Secure Key Storage and Anti-Counterfeiting. Springer London, p. 79-99 21 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Subdivision on arbitrary meshes: Algorithms and theory

    Zorin, D., Jan 1 2007, Mathematics And Computation In Imaging Science And Information Processing. World Scientific Publishing Co., p. 1-46 46 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • 2006

    Methods for Detecting Spatial and Spatio-Temporal Clusters

    Neill, D. B. & Moore, A. W., 2006, Handbook of Biosurveillance. Elsevier Inc., p. 243-254 12 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • 2005

    Ab Initio Methods

    Chivian, D., Robertson, T., Bonneau, R. & Baker, D., Jan 28 2005, Structural Bioinformatics. John Wiley and Sons Inc., p. 547-557 11 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Efficient Scan Statistic Computations

    Neill, D. B. & Moore, A. W., Oct 3 2005, Spatial and Syndromic Surveillance for Public Health. John Wiley & Sons, Ltd., p. 189-202 14 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Simpathica: A Computational Systems Biology Tool Within the Valis Bioinformatics Environment

    Mishra, B., Antoniotti, M., Paxia, S. & Ugel, N., Jan 1 2005, Computational Systems Biology. Elsevier, p. 79-102 24 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • 2004

    Anonymous identification in ad hoc groups

    Dodis, Y., Kiayias, A., Nicolosi, A. & Shoup, V., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Cachin, C. & Camenisch, J. (eds.). Springer Verlag, p. 609-626 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3027).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Open Access
  • Approximation algorithms for minimizing average distortion

    Dhamdhere, K., Gupta, A. & Ravi, R., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Diekert, V. & Habib, M. (eds.). Springer Verlag, p. 234-245 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2996).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Open Access
  • Cost-sharing mechanisms for network design

    Gupta, A., Srinivasan, A. & Tardos, É., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Jansen, K., Khanna, S., Rolim, J. D. P. & Ron, D. (eds.). Springer Verlag, p. 139-150 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3122).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Open Access
  • CVC lite: A new implementation of the cooperating validity checker. Category B

    Barrett, C. & Berezin, S., 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, p. 515-518 4 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

  • Functional programming languages

    Goldberg, B., Jan 1 2004, Computer Science Handbook, Second Edition. CRC Press, p. 92-1-92-28

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Fuzzy extractors: How to generate strong keys from biometrics and other noisy data

    Dodis, Y., Reyzin, L. & Smith, A., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Cachin, C. & Camenisch, J. (eds.). Springer Verlag, p. 523-540 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3027).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Open Access
  • Mobile and portable radio communications

    Muhamed, R., Buehrer, M., Doradla, A. & Rappaport, T. S., Jan 1 2004, The Engineering Handbook, Second Edition. CRC Press, p. 139-1-139-19

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Randomness extraction and key derivation using the CBC, Cascade and HMAC Modes

    Dodis, Y., Gennaro, R., Håstad, J., Krawczyk, H. & Rabin, T., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Franklin, M. (ed.). Springer Verlag, p. 494-510 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3152).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Open Access
  • Scheduling overloaded real-time systems with competitive/worst-case guarantees

    Koren, G. & Shasha, D., Jan 1 2004, Handbook of Scheduling: Algorithms, Models, and Performance Analysis. CRC Press, p. 33-1-33-24

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Tuning database design for high performance

    Shasha, D. & Bonnet, P., Jan 1 2004, Computer Science Handbook, Second Edition. CRC Press, p. 53-1-53-21

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • 2003

    An efficient pre-determinization algorithm

    Allauzen, C. & Mohri, M., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Ibarra, O. H. & Dang, Z. (eds.). Springer Verlag, p. 83-95 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2759).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • AQuery: Query Language for Ordered Data, Optimization Techniques, and Experiments

    Lerner, A. & Shasha, D., Jan 1 2003, Proceedings 2003 VLDB Conference: 29th International Conference on Very Large Databases (VLDB). Elsevier, p. 345-356 12 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • A secure signature scheme from bilinear maps

    Boneh, D., Mironov, I. & Shoup, V., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Joye, M. (ed.). Springer Verlag, p. 98-110 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2612).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Automatic verification by abstract interpretation (invited tutorial)

    Cousot, P., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Zuck, L. D., Attie, P. C., Cortesi, A. & Mukhopadhyay, S. (eds.). Springer Verlag, p. 20-24 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2575).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Building virtual actors who can really act

    Perlin, K., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Balet, O., Subsol, G. & Torguet, P. (eds.). Springer Verlag, p. 127-134 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2897).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Discrete quantum walks hit exponentially faster

    Kempe, J., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Asora, S., Sahai, A., Jansen, K. & Rolim, J. D. P. (eds.). Springer Verlag, p. 354-369 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2764).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Function matching: Algorithms, applications, and a lower bound

    Amir, A., Aumann, Y., Cole, R., Lewenstein, M. & Porat, E., 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, p. 929-942 14 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

  • On the Covering Steiner problem

    Gupta, A. & Srinivasan, A., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Pandya, P. K. & Radhakrishnan, J. (eds.). Springer Verlag, p. 244-251 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2914).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • On the feasibility of peer-to-peer web indexing and search

    Li, J., Loo, B. T., Hellerstein, J. M., Kaashoek, M. F., Karger, D. R. & Morris, R., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Kaashoek, F. & Stoica, I. (eds.). Springer Verlag, p. 207-215 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2735).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Practical verifiable encryption and decryption of discrete logarithms

    Camenisch, J. & Shoup, V., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Boneh, D. (ed.). Springer Verlag, p. 126-144 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2729).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Open Access