Courant Institute

Research Output 1953 2018

Filter
Chapter
2017

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. S. 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
Proteins
Tertiary Protein Structure
Software

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

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

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

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

artificial intelligence
formal logic
value judgement
logic
semantics
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

Scaling limit for compressible viscoelastic fluids

Hu, X. & Lin, F. 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
Kelvin waves
musculoskeletal system
climate
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

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

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

replicas
broken symmetry
critical point
topology
energy

Domain decomposition methods in science and engineering XX

Bank, R., Holst, M., Widlund, O. & Xu, J. 2013 Domain Decomposition Methods in Science and Engineering XX. Vol. 91, (Lecture Notes in Computational Science and Engineering; vol. 91)

Research output: Chapter in Book/Report/Conference proceedingChapter

Domain decomposition methods
Domain Decomposition Method
Engineering

Erdős magic

Spencer, J. Jan 1 2013 The Mathematics of Paul Erdos I, Second Edition. Springer New York, p. 43-46 4 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Children

Isoclinism and stable cohomology of wreath products

Bogomolov, F. & Böhning, C. Jan 1 2013 Birational Geometry, Rational Curves, and Arithmetic. Springer New York, p. 57-76 20 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Wreath Product
Cohomology
Finite P-group
Subgroup
Finite Groups of Lie Type

Learning binary hash codes for large-scale image search

Grauman, K. & Fergus, R. 2013 Machine Learning for Computer Vision. Vol. 411, p. 49-87 39 p. (Studies in Computational Intelligence; vol. 411)

Research output: Chapter in Book/Report/Conference proceedingChapter

Binary codes
Content based retrieval
Object recognition
Spectrum analysis
Data structures

Mathematics' mortua manus: Discovering dexterity

Mishra, B. May 1 2013 From Linear Operators to Computational Biology: Essays in Memory of Jacob T. Schwartz. Springer-Verlag London Ltd, Vol. 9781447142829, p. 105-119 15 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Jacks
Computational geometry
Robotics

Order of Magnitude Reasoning in Qualitative Differential Equations

Davis, E. Sep 17 2013 Readings in Qualitative Reasoning About Physical Systems. Elsevier Inc., p. 422-434 13 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Dynamical systems
Differential equations

Siple Coast Subglacial Aquatic Environments: The Whillans Ice Stream Subglacial Access Research Drilling Project

Fricker, H. A., Powell, R., Priscu, J., Tulaczyk, S., Anandakrishnan, S., Christner, B., Fisher, A. T., Holland, D., Horgan, H., Jacobel, R., Mikucki, J., Mitchell, A., Scherer, R. & Severinghaus, J. Mar 26 2013 Antarctic Subglacial Aquatic Environments. Wiley Blackwell, p. 199-219 21 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

drilling
coasts
ice
land ice
mass balance

Some Recent Tools and a BDDC Algorithm for 3D Problems in H(curl)

Dohrmann, C. R. & Widlund, O. B. 2013 Domain Decomposition Methods in Science and Engineering XX. Vol. 91, p. 15-25 11 p. (Lecture Notes in Computational Science and Engineering; vol. 91)

Research output: Chapter in Book/Report/Conference proceedingChapter

Curl
Decomposition
H-space
Domain Decomposition
Lemma

Stability Optimization for Polynomials and Matrices

Overton, M. L. Dec 31 2013 Nonlinear Physical Systems: Spectral Analysis, Stability and Bifurcations. Wiley Blackwell, p. 351-375 25 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Feedback Control
Optimization Problem
Polynomial
Frequency Domain
Optimization

The erdős existence argument

Spencer, J. Jan 1 2013 The Mathematics of Paul Erdos I, Second Edition. Springer New York, p. 435-444 10 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Probabilistic Methods
Lower bound
Methodology
Graph in graph theory
Knowledge

Unirationality and existence of infinitely transitive models

Bogomolov, F., Karzhemanov, I. & Kuyumzhiyan, K. Jan 1 2013 Birational Geometry, Rational Curves, and Arithmetic. Springer New York, p. 77-91 15 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Algebraic Variety
Rational function
Automorphisms
Subgroup
Model
2012

Efficient backprop

LeCun, Y. A., Bottou, L., Orr, G. B. & Müller, K. R. 2012 Neural Networks: Tricks of the Trade. Vol. 7700 LECTURE NO, p. 9-48 40 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7700 LECTURE NO)

Research output: Chapter in Book/Report/Conference proceedingChapter

Neural networks
Neural Nets
Back Propagation
Backpropagation
Optimization Methods

Ensemble nyström

Kumar, S., Mohri, M. & Talwalkar, A. Jan 1 2012 Ensemble Machine Learning: Methods and Applications. Springer US, p. 203-223 21 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Sampling
Experiments

Information Extraction

Grishman, R. Sep 18 2012 The Oxford Handbook of Computational Linguistics. Oxford University Press

Research output: Chapter in Book/Report/Conference proceedingChapter

event
language analysis
linguistics
dictionary
Information Extraction

Multiscale theories for the MJO

Majda, A. J. & Stechmann, S. N. Jan 1 2012 Intraseasonal Variability in the Atmosphere-Ocean Climate System. Springer Berlin Heidelberg, p. 549-568 20 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Madden-Julian oscillation
standing wave
troposphere
convection
ocean

Super stable kählerian horseshoe?

Gromov, M. Jun 1 2012 Essays in Mathematics and its Applications: In Honor of Stephen Smale's 80th Birthday. Springer-Verlag Berlin Heidelberg, Vol. 9783642288210, p. 151-229 79 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Smale Horseshoe
Horseshoe
Jacobi
Trace

Transformation invariance in pattern recognition - Tangent distance and tangent propagation

Simard, P. Y., Lecun, Y. A., Denker, J. S. & Victorri, B. 2012 Neural Networks: Tricks of the Trade. Vol. 7700 LECTURE NO, p. 235-269 35 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7700 LECTURE NO)

Research output: Chapter in Book/Report/Conference proceedingChapter

Invariance
Tangent line
Pattern Recognition
Pattern recognition
Propagation