Courant Institute

Filter
Chapter

Search results

  • 2007

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

  • 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 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

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

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

  • 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

  • On the differentiability of lipschitz maps from metric measure spaces to banach spaces

    Cheeger, J. & Kleiner, B., Jan 1 2006, Inspired By S S Chern: A Memorial Volume In Honor Of A Great Mathematician. World Scientific Publishing Co., p. 129-152 24 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., 2006, Computational Systems Biology. Elsevier Inc., p. 79-102 24 p.

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

  • 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 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

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

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

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

  • 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 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

  • On the hydro-dynamic limit of ginzburg-landau wave vortices

    Lin, F. & Zhang, P., Jan 1 2005, Ginzburg-landau Vortices. World Scientific Publishing Co., p. 157-163 7 p.

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

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

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

  • 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 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

  • 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

  • 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 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

  • 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 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

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

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

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

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

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

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

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

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

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

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

  • 1999

    Core library for robust numeric and geometric computation

    Karamcheti, V., Li, C., Pechtchanski, I. & Yap, C., 1999, Proceedings of the Annual Symposium on Computational Geometry. ACM, p. 351-359 9 p.

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

  • New bounds on crossing numbers

    Pach, J., Spencer, J. & Toth, G., 1999, Proceedings of the Annual Symposium on Computational Geometry. ACM, p. 124-133 10 p.

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

  • Off-line temporary tasks assignment

    Azar, Y. & Regev, O., 1999, Algorithms - ESA 1999. p. 163-171 (Lecture Notes in Computer Science; vol. 1643).

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

  • 1998

    Auxiliary Field Representation of Fermion Kinetic Energy Density Functional *

    Percus, J. K., 1998, Advances in Quantum Chemistry. C ed. Academic Press Inc., p. 131-150 20 p. (Advances in Quantum Chemistry; vol. 33, no. C).

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

    Open Access

  • On-line bin-stretching

    Azar, Y. & Regev, O., 1998, Randomization and approximation techniques in computer science. p. 71-81 (Lecture Notes in Computer Science; vol. 1518).

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

  • Parallel interference cancellation (PIC) improvements for CDMA multiuser receivers using partial cancellation of MAI estimates

    Shan, P. & Rappaport, T. S., 1998, Conference Record / IEEE Global Telecommunications Conference. Vol. 6. p. 3282-3287 6 p.

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

  • Partition-based path loss analysis for in-home and residential areas at 5.85 GHz

    Durgin, G. D., Rappaport, T. S. & Xu, H., 1998, Conference Record / IEEE Global Telecommunications Conference. IEEE, Vol. 2. p. 904-909 6 p.

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