Courant Institute

Research Output

Filter
Chapter
2019

Proof Verification Technology and Elementary Physics

Davis, E., Jan 1 2019, Fields Institute Communications. Springer New York LLC, p. 81-132 52 p. (Fields Institute Communications; vol. 82).

Research output: Chapter in Book/Report/Conference proceedingChapter

2018

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

Equations for polymeric materials

Masmoudi, N., Apr 19 2018, Handbook of Mathematical Analysis in Mechanics of Viscous Fluids. Springer International Publishing, p. 973-1005 33 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Equations for viscoelastic fluids

Hu, X., Lin, F-H. & Liu, C., Apr 19 2018, Handbook of Mathematical Analysis in Mechanics of Viscous Fluids. Springer International Publishing, p. 1045-1073 29 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Generative models for quantification of DNA modifications

Äijö, T., Bonneau, R. & Lähdesmäki, H., Jan 1 2018, Methods in Molecular Biology. Humana Press Inc., p. 37-50 14 p. (Methods in Molecular Biology; vol. 1807).

Research output: Chapter in Book/Report/Conference proceedingChapter

Low mach number limits and acoustic waves

Jiang, N. & Masmoudi, N., Apr 19 2018, Handbook of Mathematical Analysis in Mechanics of Viscous Fluids. Springer International Publishing, p. 2721-2770 50 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Modeling the inertial recirculation of a gyre

Greatbatch, R. J. & Holland, D., Jan 1 2018, Modeling Marine Systems: Volume II. CRC Press, p. 181-212 32 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Torsion of elliptic curves and unlikely intersections

Bogomolov, F., Fu, H. & Tschinkel, Y., Jan 1 2018, Geometry and Physics: A Festschrift in Honour of Nigel Hitchin. Oxford University Press, Vol. 1. p. 19-38 20 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

2017

Compressive classification and the rare eclipse problem

Bandeira, A., Mixon, D. G. & Recht, B., Jan 1 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

Distributed noise-shaping quantization: II. classical frames

Chou, E. & Gunturk, C. S., Jan 1 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

First order probabilities for Galton-Watson trees

Podder, M. & Spencer, J., Jan 1 2017, A Journey through Discrete Mathematics: A Tribute to Jiri Matousek. Springer International Publishing, p. 711-734 24 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Long term effects of small random perturbations on dynamical systems: Theoretical and computational tools

Grafke, T., Schäfer, T. & Vanden Eijnden, E., 2017, Fields Institute Communications. Springer New York LLC, Vol. 79. p. 17-55 39 p. (Fields Institute Communications; vol. 79).

Research output: Chapter in Book/Report/Conference proceedingChapter

Modeling and design of peptidomimetics to modulate protein–protein interactions

Watkins, A. M., Bonneau, R. & Arora, P., 2017, Methods in Molecular Biology. Humana Press Inc., Vol. 1561. p. 291-307 17 p. (Methods in Molecular Biology; vol. 1561).

Research output: Chapter in Book/Report/Conference proceedingChapter

Multisection in the stochastic block model using semidefinite programming

Agarwal, N., Bandeira, A., Koiliaris, K. & Kolla, A., Jan 1 2017, Applied and Numerical Harmonic Analysis. 9783319698014 ed. Springer International Publishing, p. 125-162 38 p. (Applied and Numerical Harmonic Analysis; no. 9783319698014).

Research output: Chapter in Book/Report/Conference proceedingChapter

On a local-global principle for H3of function fields of surfaces over a finite field

Pirutka, A., 2017, Progress in Mathematics. Springer Basel, Vol. 320. p. 219-230 12 p. (Progress in Mathematics; vol. 320).

Research output: Chapter in Book/Report/Conference proceedingChapter

On the asymptotic behavior of a log gas in the bulk scaling limit in the presence of a varying external potential II

Bothner, T., Deift, P., Its, A. & Krasovsky, I., 2017, Operator Theory: Advances and Applications. Springer International Publishing, Vol. 259. p. 213-234 22 p. (Operator Theory: Advances and Applications; vol. 259).

Research output: Chapter in Book/Report/Conference proceedingChapter

Rational points on K3 surfaces and derived equivalence

Hassett, B. & Tschinkel, Y., 2017, Progress in Mathematics. Springer Basel, Vol. 320. p. 87-113 27 p. (Progress in Mathematics; vol. 320).

Research output: Chapter in Book/Report/Conference proceedingChapter

Robust geometric computation

Sharma, V. & Yap, C., Jan 1 2017, Handbook of Discrete and Computational Geometry, Third Edition. CRC Press, p. 1189-1223 35 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

The restricted isometry property of subsampled fourier matrices

Haviv, I. & Regev, O., 2017, Lecture Notes in Mathematics. Springer Verlag, Vol. 2169. p. 163-179 17 p. (Lecture Notes in Mathematics; vol. 2169).

Research output: Chapter in Book/Report/Conference proceedingChapter

Universal spaces for unramified galois cohomology

Bogomolov, F. & Tschinkel, Y., 2017, Progress in Mathematics. Springer Basel, Vol. 320. p. 57-86 30 p. (Progress in Mathematics; vol. 320).

Research output: Chapter in Book/Report/Conference proceedingChapter

Using observational data and numerical modeling to make scientific discoveries in climate science

Holland, D. & Holland, D., Oct 17 2017, The Practice of Reproducible Research: Case Studies and Lessons from the Data-Intensive Sciences. University of California Press, p. 149-154 6 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Variational convolutional networks for human-centric annotations

Ke, T. W., Lin, C. W., Liu, T. L. & Geiger, D., 2017, Computer Vision - 13th Asian Conference on Computer Vision, ACCV 2016, Revised Selected Papers. Springer Verlag, Vol. 10114 LNCS. p. 120-135 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10114 LNCS).

Research output: Chapter in Book/Report/Conference proceedingChapter

2016

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

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

Tucker, J., 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

CHAPTER 5: Elastic fibers in flows

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

Research output: Chapter in Book/Report/Conference proceedingChapter

Domain adaptation with active learning for named entity recognition

Sun, H., Grishman, R. & Wang, Y., 2016, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, Vol. 10040. p. 611-622 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10040).

Research output: Chapter in Book/Report/Conference proceedingChapter

2015

Constructing a patient-specific model heart from ct data

McQueen, D. M., O’Donnell, T., Griffith, B. E. & Peskin, C., 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

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

How should robots think about space?

Davis, E., Jan 1 2015, Mathematics, Substance and Surmise: Views on the Meaning and Ontology of Mathematics. Springer International Publishing, p. 75-99 25 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Introduction

Davis, E., Jan 1 2015, Mathematics, Substance and Surmise: Views on the Meaning and Ontology of Mathematics. Springer International Publishing, p. 1-7 7 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Knowledge Representation

Davis, E., Mar 26 2015, International Encyclopedia of the Social & Behavioral Sciences: Second Edition. Elsevier Inc., p. 98-104 7 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Millimeter-wave wireless networks: A medium access control perspective

Mao, S. & Rappaport, T., Jan 1 2015, Wireless Network Performance Enhancement Via Directional Antennas: Models, Protocols, and Systems. CRC Press, p. 155-168 14 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

2014

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

Fawkescoin: A cryptocurrency without public-key cryptography (Transcript of Discussion)

Bonneau, J., Jan 1 2014, Security Protocols XXII - 22nd International Workshop, Revised Selected Papers. Stajano, F., Matyáš, V., Švenda, P., Anderson, J., Christianson, B. & Malcolm, J. (eds.). Springer Verlag, p. 359-370 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8809).

Research output: Chapter in Book/Report/Conference proceedingChapter

Fawkescoin a cryptocurrency without public-key cryptography

Bonneau, J. & Miller, A., Jan 1 2014, Security Protocols XXII - 22nd International Workshop, Revised Selected Papers. Stajano, F., Matyáš, V., Švenda, P., Anderson, J., Christianson, B. & Malcolm, J. (eds.). Springer Verlag, p. 350-358 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8809).

Research output: Chapter in Book/Report/Conference proceedingChapter

Partial regularity results in optimal transportation

De Philippis, G. & Figalli, A., Jan 1 2014, Springer INdAM Series. Springer International Publishing, p. 293-307 15 p. (Springer INdAM Series; vol. 8).

Research output: Chapter in Book/Report/Conference proceedingChapter

Scaling limit for compressible viscoelastic fluids

Hu, X. & Lin, F-H., Jan 1 2014, Frontiers in Differential Geometry, Partial Differential Equations, and Mathematical Physics: In Memory of Gu Chaohao. World Scientific Publishing Co., p. 243-269 27 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Transition path theory

Vanden Eijnden, E., 2014, An Introduction to Markov State Models and Their Application to Long Timescale Molecular Simulation. Springer New York LLC, Vol. 797. p. 91-100 10 p. (Advances in Experimental Medicine and Biology; vol. 797).

Research output: Chapter in Book/Report/Conference proceedingChapter

Transition path theory

Vanden Eijnden, E., 2014, An Introduction to Markov State Models and Their Application to Long Timescale Molecular Simulation. Springer New York LLC, Vol. 797. p. 91-100 10 p. (Advances in Experimental Medicine and Biology; vol. 797).

Research output: Chapter in Book/Report/Conference proceedingChapter

Tropical Meteorology and Climate: Madden-Julian Oscillation: Skeleton and Conceptual Models

Majda, A. J. & Stechmann, S. N., Jan 1 2014, Encyclopedia of Atmospheric Sciences: Second Edition. Elsevier Inc., p. 137-145 9 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Tuning database design for high performance

Bonnet, P. & Shasha, D., Jan 1 2014, Computing Handbook, Third Edition: Information Systems and Information Technology. CRC Press, p. 9-1-9-15

Research output: Chapter in Book/Report/Conference proceedingChapter

2013

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

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

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

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

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

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., p. 403 1 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Domain decomposition methods in science and engineering XX

Bank, R., Holst, M., Widlund, O. & Xu, J., Jul 25 2013, Domain Decomposition Methods in Science and Engineering XX. Randolph, B., Michael, H. & Jinchao, X. (eds.). (Lecture Notes in Computational Science and Engineering; vol. 91).

Research output: Chapter in Book/Report/Conference proceedingChapter