Courant Institute

Research Output 1953 2020

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

Correctness
Physics
Software
Theorem
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

Positive Scalar Curvature
curvature
Guess
scalars
octopuses

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

Polymers
Solution Existence
Fluid
Fluids
Navier-Stokes System

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

Complex Fluids
Viscoelastic Fluid
Fluids
fluids
Variational Approach

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

Cytosine
DNA
Methylation
Research Design
Statistical Models

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

Low Mach number
Acoustic Waves
Mach number
Acoustic waves
compressible fluids

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

Oceans and Seas
Gulf Stream
oceans
shears
Budgets

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

Torsion Points
Elliptic Curves
Torsion
Intersection
Line
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

Ellipsoid
Convex Sets
Polynomials
Random Projection
Convex Geometry

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

Real Algebraic Geometry
Theorem proving
Computer aided design
Robotics
Geometric theorem

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

Analog to digital conversion
Quantization
Rate-distortion
Encoding
Analogue

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

Galton-Watson Tree
Poisson distribution
First-order
Quantifiers
First-order Logic

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

Random Perturbation
Small Perturbations
Dynamical system
Term
Markov Jump Systems

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

Peptidomimetics
Secondary Protein Structure
Tertiary Protein Structure
Software
Databases

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

Semidefinite Programming
Recovery
Model
Optimality
Partition

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

Local-global Principle
Divisibility
Function Fields
Galois field

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

Scaling Limit
Asymptotic Behavior
Trace Class Operators
Proposition
Determinant

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

Derived Equivalence
K3 Surfaces
Rational Points

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

Geometric Algorithms
Exact Computation
Numerical Computation
Robustness
Software

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

Isometry
Norm

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

Galois Cohomology
Universal Space
Algebraic Variety
Galois field
Closure

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

climate
modeling
science

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

Annotation
Encoder
Model
Integrate
Benchmark
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., 2016, Methods in Molecular Biology. Humana Press Inc., Vol. 1407. p. 251-272 22 p. (Methods in Molecular Biology; vol. 1407).

Research output: Chapter in Book/Report/Conference proceedingChapter

Cell Movement
Theoretical Models
Cell Separation
Zebrafish
Cues

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

social media
protest

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

Elastic Tissue
Microtechnology
Biopolymers
Microfluidics
Flagella

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

Named Entity Recognition
Active Learning
Labeling
Labels
Entropy
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

Fluids
Heart Valves
Blood

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

Spatio-temporal Patterns
Predictability
Data-driven
Ocean
dynamical systems

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

Robot
Real Line
Euclidean space
Ontology
Choose

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

History of Mathematics
Computer Science
Education
Philosophy
Psychology

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

formal logic
value judgement
artificial intelligence
logic
semantics

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

access control
Medium access control
Millimeter waves
millimeter waves
Wireless networks
2014

A brief overview of the NEBULA future internet architecture

Anderson, T., Birman, K., Broberg, R., Caesar, M., Comer, D., Cotton, C., Freedman, M. J., Haeberlen, A., Ives, Z. G., Krishnamurthy, A., Lehr, W., Loo, B. T., Mazières, D., Nicolosi, A., Smith, J. M., Stoica, I., Van Renesse, R., Walfish, M., Weatherspoon, H. & Yoo, C. S., 2014, Computer Communication Review. 3 ed. Association for Computing Machinery, Vol. 44. p. 81-86 6 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Cloud computing
Internet
Routers

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, p. 157-169 13 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Electric network analysis
Network Analysis
Rationalization

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

Bonneau, J., 2014, Security Protocols XXII - 22nd International Workshop, Revised Selected Papers. Springer Verlag, Vol. 8809. 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

Public key cryptography
Public Key Cryptography
Electronic money

Fawkescoin a cryptocurrency without public-key cryptography

Bonneau, J. & Miller, A., 2014, Security Protocols XXII - 22nd International Workshop, Revised Selected Papers. Springer Verlag, Vol. 8809. 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

Public key cryptography
Public Key Cryptography
Signature
Transactions
Demonstrate

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

Optimal Transportation
Partial Regularity
Optimal Transport
Singular Set
Regularity

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

Viscoelastic Fluid
Scaling Limit
Compressible Fluid
Global Solution
Dispersive Estimates

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

Trajectories
Fluxes

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

tropical meteorology
Madden-Julian Oscillation
musculoskeletal system
climate
fluid dynamics

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

Database Design
Tuning
High Performance
Register Allocation
Arbitrage
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

lattice energy
statistical mechanics
partitions
expansion
gases

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

Myosin Type II
Dyneins
Prophase
Kinesin
Actomyosin

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

Differential equations

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

statistics
gases
rigidity
eigenvalues
spacing

Canard theory and excitability

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

Research output: Chapter in Book/Report/Conference proceedingChapter

Canard
Excitability
Multiple Scales
Transient Dynamics
Singular Perturbation Problems

Cell division and hyperbolic geometry

Gromov, M., 2013, Springer Proceedings in Mathematics. 1 ed. Vol. 15. p. 225-231 7 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Lobachevskian geometry
Cell Division

Chapter 12: Geometry of large random trees: SPDE approximation

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

Research output: Chapter in Book/Report/Conference proceedingChapter

Random Trees
Approximation
Brownian Sheet
Stochastic PDEs
Superprocess