Computer Science

Filter
Chapter

Search results

  • 2013

    Stability Optimization for Polynomials and Matrices

    Overton, M. L., Dec 31 2013, Nonlinear Physical Systems: Spectral Analysis, Stability and Bifurcations. Wiley-Blackwell, Vol. 9781848214200. p. 351-375 25 p.

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

  • The erdős existence argument

    Spencer, J., Jan 1 2013, The Mathematics of Paul Erdos I, Second Edition. Springer New York, p. 435-444 10 p.

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

  • 2012

    Efficient backprop

    LeCun, Y. A., Bottou, L., Orr, G. B. & Müller, K. R., 2012, Neural Networks: Tricks of the Trade. Springer Verlag, p. 9-48 40 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 proceeding › Chapter

  • Ensemble nyström

    Kumar, S., Mohri, M. & Talwalkar, A., Jan 1 2012, Ensemble Machine Learning: Methods and Applications. Springer US, p. 203-223 21 p.

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

  • Information Extraction

    Grishman, R., Sep 18 2012, The Oxford Handbook of Computational Linguistics. Oxford University Press, Vol. 9780199276349.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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