Research Output

Filter
Other report

A course in computational geometry: Lecture notes.

Yap, C., Jul 1988, Research Institute for Symbolic Computation: Johannes Kepler Universitaet Linz. (RISC Linz Technical Report ; no. 88-28.0)

Research output: Book/ReportOther report

Admissible orderings and bounds for Grobner bases normal form algorithm: Report 88

Dube, T., Mishra, B. & Yap, C., 1986, Courant Institute of Mathematical Sciences, Robotics Lab, New York University. (http://cs.nyu.edu/yap/papers/SYNOP.htm#admissible)

Research output: Book/ReportOther report

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

An analytical model for the performance of concurrent B tree algorithms

Lanin, V., Schmidt, J. & Shasha, D., 1987, Department of Computer Science, New York University. (Ultracomputer Note; no. 124)(Computer Science Technical Report; no. 311)

Research output: Book/ReportOther report

A pebble game in a line segment: Generalized Fibonacci search

Yap, C., Feb 1981, Dept. of Computer Science, University of Southern California. (Technical Report TR-81-04)

Research output: Book/ReportOther report

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

A semantical analysis of intensional logic

Yap, C., Dec 13 1977, Yorktown Research Center: IBM. 47 p. (IBM Research Report RC-6893; no. 29538)

Research output: Book/ReportOther report

A survey of syntactic analysis procedures for natural language

Grishman, R., Aug 1975, Courant Institute, NYU. (Courant Computer Science Report No. 8)

Research output: Book/ReportOther report

Comic strips for algorithm visualization

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

Research output: Book/ReportOther report

Coordinating the motion of several discs

Yap, C., Feb 1984, Department of Computer Science, New York University. (Robotics Report; no. 16)

Research output: Book/ReportOther report

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

Directions in artificial intelligence: Natural language processing

Grishman, R. (ed.), Aug 1975, Courant Institute, NYU. (Courant Computer Science Report No. 7)

Research output: Book/ReportOther report

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

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

Graph rigidity

Cole, R., 1982, Cornell University. (Technical Report No 82-417)

Research output: Book/ReportOther report

Isomorphism of strongly regular graphs

Cole, R., 1983, Courant Institute, NYU. (Technical Report No. 63)

Research output: Book/ReportOther report

Lectures on groups of homotopy spheres: (Lectures by Jerome Levine)

Gottlieb, A. & McCrory, C., 1970, Brandeis University.

Research output: Book/ReportOther report

Lower bounds for medians

Yap, C., Jul 1981, Dept. of Computer Science, University of Southern California. 54 p. (Technical Report TR-81-05)

Research output: Book/ReportOther report

Lower bounds on communication complexity in VLSI

Cole, R. & Siegel, A., 1985, Courant Institute, NYU. (Technical Report No. 192)

Research output: Book/ReportOther report

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

Regev, O., 1997, Tel Aviv University.

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

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

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

Moving many pebbles in a graph is polynomial time

Spirakis, P. G. & Yap, C., 1983, Department of Computer Science, New York University. (Computer Science Report; no. 93)

Research output: Book/ReportOther report

New lower bounds for medians and related problems

Yap, C., 1976, Yale University. 50 p. (Computer Science Technical Report; no. 79)

Research output: Book/ReportOther report

Notes on the AKS sorting network, as improved by Paterson

Cole, R. & Ó'Dúnlaing, C., 1986, Courant Institute, NYU. (Technical Report No. 243)

Research output: Book/ReportOther report

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

On almost satisfiability

Hull, R., Kosaraju, S. R. & Yap, C., Feb 1981, Dept. of Computer Science, University of Southern California. (Technical Report)

Research output: Book/ReportOther report

On converting aspect ratios of VLSI layouts

Yap, C., Jul 1981, Dept. of Computer Science, University of Southern California. 21 p. (Technical Report TR-81-06)

Research output: Book/ReportOther report

On lifted problems

Yap, C., Mar 16 1979, Yorktown Research Center: IBM. 33 p. (IBM Research Report RC-7566; no. 32730)

Research output: Book/ReportOther report

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

Ph.D. dissertation: Scheduling and load balancing

Regev, O., 2001, Tel Aviv University.

Research output: Book/ReportOther report