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: ResearchOther 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: ResearchOther report

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: ResearchOther 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: ResearchOther 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: ResearchOther report

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: ResearchOther report

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: ResearchOther report

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

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

Research output: ResearchOther 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: ResearchOther report

Polite theories revisited

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

Research output: ResearchOther report

The opportunities and challenges of exascale computing

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

Research output: ResearchOther report

Wave momentum

Peskin, C. 2010 NYU. (Silver Dialogues)

Research output: ResearchOther report

2009

Ph.D. thesis: Symbolic shape analysis

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

Research output: ResearchOther 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: ResearchOther report

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: ResearchOther report

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: ResearchOther report

2006

Random lens imaging

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

Research output: ResearchOther report

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: ResearchOther 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: ResearchOther report

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: ResearchOther report

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: ResearchOther 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: ResearchOther report

1999

Comic strips for algorithm visualization

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

Research output: ResearchOther report

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: ResearchOther report

PhD thesis: Asymptotic problems in fluid mechanics

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

Research output: ResearchOther report