Research Output 1966 2019

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

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

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

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

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

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

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

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

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

2006

Random lens imaging

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

Research output: Book/ReportOther 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: Book/ReportOther report

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

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

2001

Ph.D. dissertation: Scheduling and load balancing

Regev, O., 2001, Tel Aviv University.

Research output: Book/ReportOther report

2000

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

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

1998

Genomics via optical mapping I: Probabalistic analysis of optical mapping models

Mishra, B. & Anantharaman, T., Aug 1998, Courant Institute, NYU. (Courant Technical Report; vol. 1998-770)

Research output: Book/ReportOther report

Genomics via optical mapping II (A): Restriction maps form partial molecules and variations

Mishra, B. & Anantharaman, T., Mar 1998, Courant Institute, NYU. (Courant Technical Report; no. 1998-759)

Research output: Book/ReportOther report

1997

M.Sc. thesis: On-line bin-stretching

Regev, O., 1997, Tel Aviv University.

Research output: Book/ReportOther report

Miscellaneous topological algorithms

Dunlaing, C. O., Watt, C., Wilkins, D. & Yap, C., 1997, Dublin: Department of Math, Trinity College. (Technical Report TCDMATH; no. 97-01)(Also: ALCOM Project, Report ALCOM-II-430, 1995)

Research output: Book/ReportOther report

SDPpack user's guide, version 0.8

Overton, M., Alizadeh, F., Haeberly, J. P. & Nayakkankuppam, M. V., Mar 1997, NYU. (NYU CS Tech Report 734)

Research output: Book/ReportOther report

SDPpack user's guide, version 0.9 for Matlab 5.0

Overton, M., Alizadeh, F., Haeberly, J. P., Nayakkankuppam, M. V. & Schmieta, S., Jun 1997, NYU. (NYU CS Tech Report 737)

Research output: Book/ReportOther report

1996

NYU reactive gripper: An implementation

Mishra, B. & Teichmann, M., May 1996, Courant Institute, NYU. 8 p. (Courant Technical Report; no. 1996-719)

Research output: Book/ReportOther report

1994

Proceedings of Virginia Tech's Fourth Symposium on Wireless Personal Communications

Rappaport, T. S. (ed.), Mobile & Portable Radio Research Group, Virginia Polytechnic Institute and State University, IEEE Communications Society & Vehicular Technology Society, Jun 1994, Piscataway, NJ: IEEE. (IEEE educational activities)

Research output: Book/ReportOther report

1993

Proceedings of Virginia Tech's Third Symposium on Wireless Personal Communications

Rappaport, T. S. (ed.), Mobile & Portable Radio Research Group, Virginia Polytechnic Institute and State University, IEEE Communications Society & Vehicular Technology Society, Jun 1993, Piscataway, NJ: IEEE. (IEEE educational activities)

Research output: Book/ReportOther report

1992

Proceedings of Virginia Tech's Second Symposium on Wireless Personal Communications

Rappaport, T. S. (ed.), Mobile & Portable Radio Research Group, Virginia Polytechnic Institute and State University, IEEE Communications Society & Vehicular Technology Society, Jun 1992, Piscataway, NJ: IEEE. (IEEE educational activities)

Research output: Book/ReportOther report

1991

Proceedings of Virginia Tech's First Symposium on Wireless Personal Communications: June 3-5, 1991

Rappaport, T. S. (ed.), Mobile & Portable Radio Research Group, Virginia Polytechnic Institute and State University, IEEE Communications Society & Vehicular Technology Society, Jun 1991, Piscataway, NJ: IEEE. (IEEE educational activities)

Research output: Book/ReportOther report

Reference manual for the ATBE: A tool for approximate tree matching

Wang, T. L., Jeong, K., Zhang, K. & Shasha, D., 1991, Department of Computer Science, New York University. (Technical Report; no. 551)

Research output: Book/ReportOther report