Courant Institute

Research Output

Filter
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 proceedingChapter

Characterization of the Radon-Nikodym property in terms of inverse limits

Cheeger, J. & Kleiner, B., Oct 2008, Differential Geometry, Mathematical Physics, Mathematics and Society Part 1. 321 ed. p. 129-138 10 p. (Asterisque; no. 321).

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

Kac functional and Schrödinger equation

Chung, K. L., Varadhan, S. R. S. & Chung, K. L., Jan 1 2008, Selected Works of Kai Lai Chung. World Scientific Publishing Co., p. 641-652 12 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

A BDDC Preconditioner for Saddle Point Problems

Li, J. & Widlund, O., 2007, Domain Decomposition Methods in Science and Engineering XVI. Springer Verlag, p. 413-420 8 p. (Lecture Notes in Computational Science and Engineering; vol. 55).

Research output: Chapter in Book/Report/Conference proceedingChapter

Chapter 3 Examples of singular limits in hydrodynamics

Masmoudi, N., 2007, Handbook of Differential Equations: Evolutionary Equations. Elsevier, p. 195-275 81 p. (Handbook of Differential Equations: Evolutionary Equations; vol. 3).

Research output: Chapter in Book/Report/Conference proceedingChapter

Chapter 5: The T1 and T2 representability conditions

Braams, B. J., Percus, J. K. & Zhao, Z., 2007, Reduced-Density-Matrix Mechanics With Application to Many-Electron Atoms and Molecules. Mazziotti, D. (ed.). p. 93-101 9 p. (Advances in Chemical Physics; vol. 134).

Research output: Chapter in Book/Report/Conference proceedingChapter

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

Local vs. global variables for spin glasses

Newman, C. M. & Stein, D. L., 2007, Spin Glasses. Springer Verlag, p. 145-158 14 p. (Lecture Notes in Mathematics; vol. 1900).

Research output: Chapter in Book/Report/Conference proceedingChapter

Neumann-Neumann Algorithms (Two and Three Levels) for Finite Element Elliptic Problems with Discontinuous Coefficients on Fine Triangulation

Dryja, M. & Widlund, O., 2007, Domain Decomposition Methods in Science and Engineering XVI. Widlund, O. & Keyes, D. (eds.). p. 357-364 8 p. (Lecture Notes in Computational Science and Engineering; vol. 55).

Research output: Chapter in Book/Report/Conference proceedingChapter

Short-range spin glasses: Results and speculations

Newman, C. M. & Stein, D. L., 2007, Spin Glasses. Springer Verlag, p. 159-175 17 p. (Lecture Notes in Mathematics; vol. 1900).

Research output: Chapter in Book/Report/Conference proceedingChapter

Vortices in the magnetic ginzburg-landau model

Sandier, E. & Serfaty, S., 2007, Progress in Nonlinear Differential Equations and Their Application. Springer US, p. 1-319 319 p. (Progress in Nonlinear Differential Equations and Their Application; vol. 70).

Research output: Chapter in Book/Report/Conference proceedingChapter

2006

Course 6 Short-range spin glasses: Selected open problems

Newman, C. M. & Stein, D. L., 2006, Les Houches Summer School Proceedings. C ed. Elsevier, p. 273-275 3 p. (Les Houches Summer School Proceedings; vol. 83, no. C).

Research output: Chapter in Book/Report/Conference proceedingChapter

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

Simpathica: A computational systems biology tool within the valis bioinformatics environment

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

Research output: Chapter in Book/Report/Conference proceedingChapter

Transition path theory

Vanden-Eijnden, E., 2006, Computer Simulations in Condensed Matter Systems: From Materials to Chemical Biology Volume 1. Ferrario, M., Ciccotti, G. & Binder, K. (eds.). p. 453-493 41 p. (Lecture Notes in Physics; vol. 703).

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

Bursting in excitatory neural networks

Tabak, J. & Rinzel, J., Jan 1 2005, Bursting: The Genesis of Rhythm in the Nervous System. World Scientific Publishing Co., p. 273-302 30 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Couniformization of curves over number fields

Bogomolov, F. & Tschinkel, Y., 2005, Progress in Mathematics. Springer Basel, p. 43-57 15 p. (Progress in Mathematics; vol. 235).

Research output: Chapter in Book/Report/Conference proceedingChapter

Course 5 Some useful numerical techniques for simulating integrate-and-fire networks

Shelley, M., 2005, Les Houches Summer School Proceedings. C ed. Elsevier, p. 179-181 3 p. (Les Houches Summer School Proceedings; vol. 80, no. C).

Research output: Chapter in Book/Report/Conference proceedingChapter

Cuts in Kähler groups

Delzant, T. & Gromov, M., 2005, Progress in Mathematics. Springer Basel, p. 31-55 25 p. (Progress in Mathematics; vol. 248).

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

Selecting constraints in dual-primal FETI methods for elasticity in three dimensions

Klawonn, A. & Widlund, O. B., 2005, Domain Decomposition Methods in Scienceand Engineering. Kornhuber, R., Pironneau, O., Hoppe, R., P eriaux, J., Xu, J. & Widlund, O. (eds.). p. 67-81 15 p. (Lecture Notes in Computational Science and Engineering; vol. 40).

Research output: Chapter in Book/Report/Conference proceedingChapter

Some computational results for dual-primal FETI methods for elliptic problems in 3D

Klawonn, A., Rheinbach, O. & Widlund, O. B., 2005, Domain Decomposition Methods in Scienceand Engineering. Springer Verlag, p. 361-368 8 p. (Lecture Notes in Computational Science and Engineering; vol. 40).

Research output: Chapter in Book/Report/Conference proceedingChapter

Wave-mean interaction theory

Bühler, O., 2005, CISM International Centre for Mechanical Sciences, Courses and Lectures. Springer International Publishing, p. 95-133 39 p. (CISM International Centre for Mechanical Sciences, Courses and Lectures; vol. 483).

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

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

Short-Range Spin Glasses: The Metastate Approach

Newman, C. M. & Stein, D. L., Jan 1 2004, Encyclopedia of Mathematical Physics: Five-Volume Set. Elsevier Inc., p. 570-576 7 p.

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

Variational Techniques for Ginzburg-Landau Energies

Serfaty, S., Jan 1 2004, Encyclopedia of Mathematical Physics: Five-Volume Set. Elsevier Inc., p. 355-362 8 p.

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

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

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

Incorporating thermal fluctuations into the immersed boundary method

Kramer, P. R. & Peskin, C. S., Jun 2 2003, Computational Fluid and Solid Mechanics 2003. Elsevier Inc., p. 1755-1758 4 p.

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

On various techniques for computer simulation of boundaries with mass

Kim, Y., Zhu, L., Wang, X. & Peskin, C., Jun 2 2003, Computational Fluid and Solid Mechanics 2003. Elsevier Inc., p. 1746-1750 5 p.

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

Semantic-free referencing in linked distributed systems

Balakrishnan, H., Shenker, S. & Walfish, M., 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. 197-206 10 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

Subcritical bifurcation of a rotating elastic filament in a viscous fluid by the immersed boundary method

Lim, S. & Peskin, C. S., Jun 2 2003, Computational Fluid and Solid Mechanics 2003. Elsevier Inc., p. 1409-1412 4 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

2002

Chapter 12 The nonlinear Schrödinger equation as both a PDE and a dynamical system

Cai, D., McLaughlin, D. W. & McLaughlin, K. T. R., 2002, Handbook of Dynamical Systems. Elsevier, p. 599-675 77 p. (Handbook of Dynamical Systems; vol. 2).

Research output: Chapter in Book/Report/Conference proceedingChapter

Design and implementation of a special-purpose static program analyzer for safety-critical real-time embedded software

Blanchet, B., Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Miné, A., Monniaux, D. & Rival, X., 2002, The Essence of Computation: Complexity, Analysis, Transformation. Springer Verlag, p. 85-108 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2566 LNCS).

Research output: Chapter in Book/Report/Conference proceedingChapter