Courant Institute

Research Output

Filter
Chapter
Chapter

2D coulomb gas, abrikosov lattice and renormalized energy

Serfaty, S., Jan 1 2013, XVIIth International Congress on Mathematical Physics: Aalborg, Denmark, 6-11 August 2012. World Scientific Publishing Co., p. 584-599 16 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

Actomyosin-dependent cortical dynamics

Sommi, P., Cheerambathur, D., Brust-Mascher, I. & Mogilner, A., Jan 1 2013, Trends in Biophysics: From Cell Dynamics Toward Multicellular Growth Phenomena. Apple Academic Press, p. 49-69 21 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Adaptive Cartesian Methods for Modeling Airborne Dispersion

Wissink, A., Kosovic, B., Berger, M., Chand, K. & Chow, F. K., Dec 9 2009, Advanced Computational Infrastructures for Parallel and Distributed Adaptive Applications. John Wiley & Sons, Inc., p. 79-104 26 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

A dozen problems, questions and conjectures about positive scalar curvature

Gromov, M., May 26 2018, Foundations of Mathematics and Physics One Century After Hilbert: New Perspectives. Springer International Publishing, p. 135-158 24 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

A Framework for Qualitative Reasoning About Solid Objects

Davis, E., Sep 17 2013, Readings in Qualitative Reasoning About Physical Systems. Elsevier Inc., p. 603-609 7 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

Analytical results for capacity improvements in CDMA

Liberti, J. C. & Rappaport, T. S., Jan 1 2009, Adaptive Antennas for Wireless Communications. Wiley-IEEE Press, p. 452-462 11 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

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

An experimental model for simultaneous study of migration of cell fragments, single cells, and cell sheets

Sun, Y. H., Sun, Y., Zhu, K., Draper, B. W., Zeng, Q., Mogilner, A. & Zhao, M., 2016, Methods in Molecular Biology. Humana Press Inc., p. 251-272 22 p. (Methods in Molecular Biology; vol. 1407).

Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

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

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

Best–fit thrust network analysis: Rationalization of freeform meshes

Mele, T. V., Panozzo, D., Sorkine-Hornung, O. & Block, P., Jan 1 2014, Shell Structures for Architecture: Form Finding and Optimization. Taylor and Francis, Vol. 9781315849270. p. 157-169 13 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Big data, social media, and protest: Foundations for a research agenda

Tucker, J. A., Nagler, J., MacDuffee, M. M., Barberá, P., Penfold-Brown, D. & Bonneau, R., Mar 7 2016, Computational Social Science: Discovery and Prediction. Cambridge University Press, p. 199-224 26 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Bounds on Dimension Reduction in the Nuclear Norm

Regev, O. & Vidick, T., 2020, Lecture Notes in Mathematics. Springer, p. 279-299 21 p. (Lecture Notes in Mathematics; vol. 2266).

Research output: Chapter in Book/Report/Conference proceedingChapter

Bulk universality for one-dimensional log-gases

Bourgade, P., Jan 1 2013, XVIIth International Congress on Mathematical Physics: Aalborg, Denmark, 6-11 August 2012. World Scientific Publishing Co., p. 404-416 13 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

Canard theory and excitability

Wechselberger, M., Mitry, J. & Rinzel, J., 2013, Nonautonomous Dynamical Systems in the Life Sciences. Springer Verlag, p. 89-132 44 p. (Lecture Notes in Mathematics; vol. 2102).

Research output: Chapter in Book/Report/Conference proceedingChapter

Chapter 12: Geometry of large random trees: SPDE approximation

Bakhtin, Y., 2013, Stochastic Geometry, Spatial Statistics and Random Fields: Asymptotic Methods. Springer Verlag, p. 399-440 42 p. (Lecture Notes in Mathematics; vol. 2068).

Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

CHAPTER 5: Elastic fibers in flows

Lindner, A. & Shelley, M., 2016, Fluid�Structure Interactions in Low-Reynolds-Number Flows. Duprat, C. & Stone, H. A. (eds.). 4 ed. Royal Society of Chemistry, p. 168-192 25 p. (RSC Soft Matter; vol. 2016-January, no. 4).

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

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

Complexity of random energy landscapes

Ben Arous, G., Jan 1 2013, XVIIth International Congress on Mathematical Physics: Aalborg, Denmark, 6-11 August 2012. World Scientific Publishing Co., 1 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Compressive classification and the rare eclipse problem

Bandeira, A. S., Mixon, D. G. & Recht, B., 2017, Applied and Numerical Harmonic Analysis. 9783319698014 ed. Springer International Publishing, p. 197-220 24 p. (Applied and Numerical Harmonic Analysis; no. 9783319698014).

Research output: Chapter in Book/Report/Conference proceedingChapter

Computational and quantitative real algebraic geometry

Basu, S. & Mishra, B., Jan 1 2017, Handbook of Discrete and Computational Geometry, Third Edition. CRC Press, p. 969-1002 34 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Constructing a patient-specific model heart from ct data

McQueen, D. M., O’Donnell, T., Griffith, B. E. & Peskin, C. S., Jan 1 2015, Handbook of Biomedical Imaging: Methodologies and Clinical Research. Springer US, p. 183-197 15 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

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

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

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

Cut Cells: Meshes and Solvers

Berger, M., 2017, Handbook of Numerical Analysis. Elsevier B.V., p. 1-22 22 p. (Handbook of Numerical Analysis; vol. 18).

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

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

Data-Driven Methods for Dynamical Systems: Quantifying Predictability and Extracting Spatiotemporal Patterns

Glannakis, D. & Majda, A. J., May 8 2015, Mathematical and Computational Modeling: With Applications in Natural and Social Sciences, Engineering, and the Arts. Wiley, p. 137-191 55 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

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

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

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

Distributed noise-shaping quantization: II. classical frames

Chou, E. & Güntürk, C. S., 2017, Applied and Numerical Harmonic Analysis. 9783319547107 ed. Springer International Publishing, p. 179-198 20 p. (Applied and Numerical Harmonic Analysis; no. 9783319547107).

Research output: Chapter in Book/Report/Conference proceedingChapter