Courant Institute

Research Output 1953 2017

Filter
Chapter
2017

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
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: Chapter in Book/Report/Conference proceedingChapter

Local-global principle
Function fields
Galois field
Divisibility

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

Trace class operators
Scaling limit
Proposition
Determinant
Continue

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

Universal space
Galois cohomology
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: Chapter in Book/Report/Conference proceedingChapter

Model
Encoder
Annotation
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
Cell Separation
Zebrafish
Cues
Fishes

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

Fibers
Flow control
Fluid structure interaction
Microfabrication
Biopolymers

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

Labeling
Named entity recognition
Active learning
Target
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: Chapter in Book/Report/Conference proceedingChapter

Anthralin
Amoxicillin
Fluids
Heart Valves
Carbamyl Phosphate

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

Predictability
Dynamical system
Cypriniformes
dynamical systems
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
Ontology
Computational
Real line
Euclidean space

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

Mathematics
Sociology
Computer science
History of mathematics
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

Internet
Cloud computing
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

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

Fluids
Wave equations
Navier Stokes equations
Mach number
Conservation

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

Anthralin
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

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

gases
energy
statistical mechanics
partitions
expansion

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
rigidity
eigenvalues
spacing
gases

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
Brownian sheet
Stochastic PDEs
Superprocess
Monotone map

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

landscape
energy
replicas
broken symmetry
critical point

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

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

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

fold

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

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

ice
drilling
coasts
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: 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
Eigenvalue

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

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
Model
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: Chapter in Book/Report/Conference proceedingChapter

Neural networks
Neural nets
Back propagation
Optimization methods
Backpropagation

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

name
Information extraction
Enhancement
information
linguistics

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
ocean
standing wave
troposphere
convection

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

Tangent line
Invariance
Pattern recognition
Propagation
Resources
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: Chapter in Book/Report/Conference proceedingChapter

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: Chapter in Book/Report/Conference proceedingChapter

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: Chapter in Book/Report/Conference proceedingChapter

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: Chapter in Book/Report/Conference proceedingChapter

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: Chapter in Book/Report/Conference proceedingChapter

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

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: Chapter in Book/Report/Conference proceedingChapter

Semantics
Surface mount technology

Multiple testing of causal hypotheses

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

Research output: Chapter in Book/Report/Conference proceedingChapter

Model checking
Multiple hypothesis testing
Causal inference
Multiple testing
Temporal logic

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. 2011 Antarctic Subglacial Aquatic Environments. American Geophysical Union, Vol. 192, p. 199-219 21 p. (Geophysical Monograph Series; vol. 192)

Research output: Chapter in Book/Report/Conference proceedingChapter

ice stream
ice
drilling
subglacial environment
ice sheet