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., 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., 1986, Unknown Host Publication Title. Soc. Ind. & Appl. Math

Research output: Chapter in Book/Report/Conference proceedingChapter

Representing and acquiring geographic knowledge.

Davis, E., 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., 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., 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., 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

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

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

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