Courant Institute

Research Output 1953 2017

Filter
Other report
2015

Elites tweet to get feet off streets: Measuring elite reaction to protest using social media

Munger, K., Bonneau, R., Jost, J., Nagler, J. & Tucker, J. 2015 NYU Social Media and Political Participation (SMaPP) Lab. (http://kevinmunger.com/pdfs/Munger_post_APSR.pdf)

Research output: Book/ReportOther report

Protest in the age of social media

Tucker, J., Metzger, M., Penfold-Brown, D., Bonneau, R., Jost, J. & Nagler, J. 2015 Medium.com. (https://medium.com/@carnegiecorp/protest-in-the-age-of-social-media-7ae9fd940b06)

Research output: Book/ReportOther report

2014
C++
Data structures
Mesh

Mathematical Proof and Proving (MPP) - Design and Implementation of a Special Undergraduate Course [final report]

Zaslavsky, O. & Shatah, J. 2014 National Science Foundation. 260 p. (Grant 1044809)

Research output: Book/ReportOther report

PhD thesis: Foundations and advances in deep learning

Cho, K. 2014 Aalto University.

Research output: Book/ReportOther report

Problem solving for the 21st century: Efficient solver for satisfiability modulo theories

Barrett, C., Kroening, D. & Melham, T. Jun 2014 London Mathematical Society and Smith Institute for Industrial Mathematics and System Engineering. (Knowledge Transfer Report, Technical Report 3)

Research output: Book/ReportOther report

Verifiable auction: An auction system for a suspicious world

Rosenberg, M. & Shasha, D. Oct 2014 New York University. (Technical Report; no. TR2014-971)

Research output: Book/ReportOther report

Auctions
2013

Online machine learning algorithms for currency exchange prediction

Soulas, E. & Shasha, D. Apr 2013 New York University. (Technical Report; no. TR2013-953)

Research output: Book/ReportOther report

Learning algorithms
Learning systems

Sharing is caring: Combination of theories

Jovanovic, D. & Barrett, C. Oct 2011 Department of Computer Science, New York University. (Technical Report TR2011-940)

Research output: Book/ReportOther report

Sharing

Technical report: Derivations of the enhanced gradient for the Boltzmann machine

Raiko, T., Cho, K. & Ilin, A. 2011 Aalto University.

Research output: Book/ReportOther report

2010

Design and results of the 4th annual satisfiability modulo theories competition (SMT-COMP 2008)

Barrett, C., Deters, M., Oliveras, A. & Stump, A. Jul 2010 Department of Computer Science, New York University. (Technical Report TR2010-931)

Research output: Book/ReportOther report

Annual
Modulo

Polite theories revisited

Jovanović, D. & Barrett, C. 2010 Department of Computer Science, New York University. (Technical Report TR2010-922)

Research output: Book/ReportOther report

The opportunities and challenges of exascale computing

Wright, M. & al. 2010 U.S. Department of Energy. (http://science.energy.gov/)

Research output: Book/ReportOther report

Computing

Wave momentum

Peskin, C. 2010 NYU. (Silver Dialogues)

Research output: Book/ReportOther report

momentum
2009

Ph.D. thesis: Symbolic shape analysis

Wies, T. Jan 2009 Freiburg, Germany: Freiburg University.

Research output: Book/ReportOther report

2008

Applied mathematics at the U.S. Department of Energy: Past, present, and a view to the future

Brown, D. L., Bell, J., Estep, D., Gropp, W., Hendrickson, B., Keller-McNulty, S., Keyes, D., Oden, J., Petzold, L. & Wright, M. 2008 U.S. Department of Energy. (http://www.brownreport.siam.org/)

Research output: Book/ReportOther report

Applied mathematics
Energy

Machine learning and the spatial structure of house prices and housing returns

Caplin, A., Chopra, S., Leahy, J., Lecun, Y. & Thampy, T. Dec 2008 Social Science Research Network. (Technical Report, SSRN ID: 1316046, http://ssrn.com/abstract=1316046)

Research output: Book/ReportOther report

Spatial structure
Machine learning

Points-to analysis, conditional soundness, and proving the absence of errors

Conway, C. L., Dams, D., Namjoshi, K. S. & Barrett, C. 2008 Department of Computer Science, New York University. (Technical Report TR2008-910)

Research output: Book/ReportOther report

2007
Mathematical operators
Interpolation
circumpolar current
modeling
2006

Random lens imaging

Fergus, R., Torralba, A. & Freeman, W. T. 2006 MIT CSAIL Technical Report 2006-058.

Research output: Book/ReportOther report

Lenses
Imaging techniques

Splitting on demand in SAT modulo theories

Barrett, C., Nieuwenhuis, R., Oliveras, A. & Tinelli, C. Aug 2006 Department of Computer Science, University of Iowa. (Technical Report 06-05)

Research output: Book/ReportOther report

Modulo

Subdivision on arbitrary meshes: Algorithms and theory

Zorin, D. 2006 Institute of Mathematical Sciences (Singapore). (Lecture Notes Series)

Research output: Book/ReportOther report

2005

An abstract decision procedure for satisfiability in the theory of recursive data types

Barrett, C., Shikanian, I. & Tinelli, C. Nov 2005 Department of Computer Science, New York University. (Technical Report TR2005-878)

Research output: Book/ReportOther report

Decision procedures

SCORCh.R: Clustering and visualization of sequencing derived multiple transcription factor loci

Mace, K., Madar, A., Ciofani, M., Agarwal, A., Greenfield, A., Littman, D. & Bonneau, R. 2005 New York University. (Authors representative of NYU departments: Computational Biology and Molecular Pathogenesis, The Kimmel Center for Biology and Medicine of the Skirball Institute, School of Medicine, Department of Biology and Courant Institute, Department of Computer Science)

Research output: Book/ReportOther report

visualization
2003

Mean and uncertainty of Arctic sea-ice change and their connection with Arctic climate change in CIMIP2 simulations

Hu, Z. Z., Kuzmina, S. I., Bengtsson, L. & Holland, D. 2003 Maryland, USA: Center for Ocean-Land-Atmosphere Studies. 33 p. (COLA Technical Report; no. 152)

Research output: Book/ReportOther report

sea ice
climate change
simulation
2001
Boundary integral
Incompressible Navier-Stokes equations

Ph.D. dissertation: Scheduling and load balancing

Regev, O. 2001 Tel Aviv University.

Research output: Book/ReportOther report

Verifying a design pattern for the fault-tolerant execution of parallel programs

Kindler, E. & Shasha, D. 2000 New York University. (Technical Report; no. TR2000-803)

Research output: Book/ReportOther report

1999

Comic strips for algorithm visualization

Cole, R. & Biermann, H. 1999 Courant Institute, NYU. (Technical Report No. 778)

Research output: Book/ReportOther report

Visualization

Mathematics and science

Chorin, A. & Wright, M. 1999 Division of Mathematical Sciences: National Science Foundation. (http://www.nsf.gov/cgi-bin/getpub?mps0001)

Research output: Book/ReportOther report

Mathematics

PhD thesis: Asymptotic problems in fluid mechanics

Masmoudi, N. 1999 CEREMADE Université Paris-Dauphine. (advisor Prof. Pierre-Louis Lions)

Research output: Book/ReportOther report