Courant Institute

Research Output

Filter
Chapter
1970

Debugging system AIDS

Grishman, R., 1970, Proceedings of the Spring Joint Computer Conference, 1970. Vol. 36. p. 59-64 6 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

1978

COPING WITH ERRORS IN BINARY SEARCH PROCEDURES.

Rivest, R. L., Meyer, A. R., Kleitman, D. J., Winklmann, K. & Spencer, J., 1978, Unknown Host Publication Title. ACM, p. 227-232 6 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

On formulating simultaneity for studying parallelism and synchronization

Miller, R. E. & Yap, C., 1978, Proceedings of the 10th Annual ACM Symposium on Theory of Computing (STOC) San Diego, California. 1978). ACM, p. 105-113 9 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

1979

Systematic design of program analysis frameworks

Cousot, P. & Cousot, R., 1979, Conference Record of the 6th Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL), San Antonio, Texas. ACM, p. 269-282 42 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

1985

A Lagrangian method based on the Voronoi diagram for the incompressible Navier Stokes equations on the periodic domain.

Borgers, C. & Peskin, C. S., Jan 1 1985, Unknown Host Publication Title. (eds.), Berlin, Fed. Rep. Germany, Springer-Verlag, 1985, p.8... ed. Springer Verlag

Research output: Chapter in Book/Report/Conference proceedingChapter

1986

Numerical solution of the three-dimensional Stokes' equations in the presence of suspended particles.

Fogelson, A. L. & Peskin, C. S., Jan 1 1986, Unknown Host Publication Title. Soc. Ind. & Appl. Math

Research output: Chapter in Book/Report/Conference proceedingChapter

Representing and acquiring geographic knowledge.

Davis, E., Jan 1 1986, Representing and acquiring geographic knowledge.. Pitman, London; Morgan Kaufmann, Los Altos, CA; Research Notes in Artificial Intelligence Series

Research output: Chapter in Book/Report/Conference proceedingChapter

1987

Compiling path expressions into VLSI circuits

Anantharaman, T. S., Clarke, E. M., Foster, M. J. & Mishra, B., Dec 1 1987, Unknown Host Publication Title. p. 305-355 51 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

1992

Architectures for parallel supercomputing

Gottlieb, A., Sep 1992, Parallel computing and transfer applications. Valero, M., Onate, E., Jane, M., Larriba, J. L. & Suarez, B. (eds.). CIMA, Barcelona and ISO Press, Amsterdam , p. 39-47

Research output: Chapter in Book/Report/Conference proceedingChapter

1994

Multi-purpose parallel computing: (after the killer micros take a breather)

Gottlieb, A., 1994, Developing a computer science agenda for high-performance computing. Vishkin, U. (ed.). ACM, p. 69-71

Research output: Chapter in Book/Report/Conference proceedingChapter

Simple examples with features of renormalization for turbulent transport

Avellaneda, M. & Majda, A. J., 1994, Philosophical Transactions - Royal Society of London, A. 1679 ed. Vol. 346. p. 205-233 29 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

1995

Theoretical and numerical structure of unstable detonations

Bourlioux, A. & Majda, A. J., 1995, Philosophical Transactions - Royal Society of London, A. 1692 ed. Vol. 350. p. 29-68 40 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

1996

Density functional theory in the classical domain

Percus, J. K., Jan 1 1996, Theoretical and Computational Chemistry. C ed. Elsevier, p. 151-203 53 p. (Theoretical and Computational Chemistry; vol. 4, no. C).

Research output: Chapter in Book/Report/Conference proceedingChapter

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 proceedingChapter

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 proceedingChapter

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 proceedingChapter

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 proceedingChapter

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 proceedingChapter

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 proceedingChapter

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 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., Jan 1 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

2003

Discrete quantum walks hit exponentially faster

Kempe, J., Jan 1 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

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

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

2004

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

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., Jan 1 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

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

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., Jan 1 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., Jan 1 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., Dec 1 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., Dec 1 2005, Domain Decomposition Methods in Scienceand Engineering. Kornhuber, R., Pironneau, O., Hoppe, R., P eriaux, J., Xu, J. & Widlund, O. (eds.). 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., Jan 1 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

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., Dec 1 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., Dec 1 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., Dec 1 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

2007

A BDDC Preconditioner for Saddle Point Problems

Li, J. & Widlund, O., Dec 1 2007, Domain Decomposition Methods in Science and Engineering XVI. Widlund, O. & Keyes, D. (eds.). 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., Jan 1 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., Apr 30 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