Courant Institute

Research Output 1953 2017

Filter
Chapter
2017

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: ResearchChapter

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: ResearchChapter

Peptidomimetics
Proteins
Secondary Protein Structure
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: ResearchChapter

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: ResearchChapter

Scaling Limit
Asymptotic Behavior
Gas
Trace Class Operators
Proposition

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: ResearchChapter

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: ResearchChapter

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: ResearchChapter

Galois Cohomology
Universal Space
Algebraic Variety
Galois field
Closure

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: ResearchChapter

Annotation
Model
Human
Encoder
Concepts
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: ResearchChapter

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: ResearchChapter

Elastic Tissue
Fibers
Microtechnology
Biopolymers
Microfluidics

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: ResearchChapter

Named Entity Recognition
Active Learning
Labeling
Problem-Based Learning
Labels
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: ResearchChapter

Fluids
Blood
Heart Valves

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: ResearchChapter

Spatio-temporal Patterns
Predictability
Data-driven
Ocean
Dynamical system

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: ResearchChapter

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: ResearchChapter

History of Mathematics
Computer Science
Education
Philosophy
Psychology
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: ResearchChapter

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: ResearchChapter

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: ResearchChapter

Viscoelastic Fluid
Scaling Limit
Compressible Fluid
Global Solution
scaling

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: ResearchChapter

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: ResearchChapter

Trajectories
Fluxes
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: ResearchChapter

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: ResearchChapter

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: ResearchChapter

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: ResearchChapter

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: ResearchChapter

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: ResearchChapter

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: ResearchChapter

energy
replicas
broken symmetry
critical point
topology

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: ResearchChapter

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: ResearchChapter

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: ResearchChapter

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: ResearchChapter

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: ResearchChapter

Jacks
Computational geometry
Robotics

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: ResearchChapter

drilling
coasts
ice
water
land ice

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: ResearchChapter

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: ResearchChapter

Feedback Control
Optimization Problem
Polynomial
Optimization
Frequency Domain

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: ResearchChapter

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: ResearchChapter

Algebraic Variety
Model
Rational function
Automorphisms
Subgroup
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: ResearchChapter

Neural networks
Neural Nets
Back Propagation
Optimization Methods
Neural Networks

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: ResearchChapter

Sampling
Experiments

Information Extraction

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

Research output: ResearchChapter

Information Extraction
event
Names
Enhancement
Language

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: ResearchChapter

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: ResearchChapter

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: ResearchChapter

Tangent line
Pattern Recognition
Invariance
Propagation
Pattern recognition
2011

Dynamics of complex biofluids

Hohenegger, C. & Shelley, M. J. Sep 22 2011 New Trends in the Physics and Mechanics of Biological Systems: Lecture Notes of the Les Houches Summer School: July 2009. Oxford University Press, Vol. 92

Research output: ResearchChapter

rods
fluid mechanics
isotropy
pumping
derivation

Eighty years of Ramsey R(3, k) … and counting!

Spencer, J. 2011 Progress in Mathematics. Springer Basel, Vol. 285, p. 27-39 13 p. (Progress in Mathematics; vol. 285)

Research output: ResearchChapter

Counting

Ewens measures on compact groups and hypergeometric kernels

Bourgade, P., Nikeghbali, A. & Rouault, A. 2011 Seminaire de Probabilites XLIII. Vol. 2006, p. 351-377 27 p. (Lecture Notes in Mathematics; vol. 2006)

Research output: ResearchChapter

Unitary group
Compact Group
kernel
Decompose
Ewens Sampling Formula

Exploring the coming repositories of reproducible experiments: Challenges and opportunities

Freire, J., Bonnet, P. & Shasha, D. Aug 2011 Proceedings of the VLDB Endowment. 12 ed. Vol. 4, p. 1494-1497 4 p.

Research output: ResearchChapter

Experiments

Large-scale FPGA-based convolutional networks

Farabet, C., LeCun, Y., Kavukcuoglu, K., Martini, B., Akselrod, P., Talay, S. & Culurciello, E. Jan 1 2011 Scaling up Machine Learning: Parallel and Distributed Approaches. Cambridge University Press, p. 399-419 21 p.

Research output: ResearchChapter

Field programmable gate arrays (FPGA)
Filter banks
Supervised learning
Object recognition
Unmanned aerial vehicles (UAV)

Logical abstract domains and interpretations

Cousot, P., Cousot, R. & Mauborgne, L. 2011 The Future of Software Engineering. Springer Berlin Heidelberg, p. 48-71 24 p.

Research output: ResearchChapter

Semantics
Surface mount technology
Acoustic waves

Multiple testing of causal hypotheses

Kleinberg, S. & Mishra, B. Sep 22 2011 Causality in the Sciences. Oxford University Press

Research output: ResearchChapter

Multiple Testing
Relationships
Model Checking
Philosophy
Multiple Hypothesis Testing