Courant Institute

Research Output

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

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

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

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

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

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

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

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

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

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

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

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