Research Output 1966 2019

Filter
Chapter (peer-reviewed)
2015

Knowledge representation

Davis, E., 2015, The international encyclopedia of the social and behavioral sciences. 2 ed. Oxford: Elsevier Science Publishers, Vol. 13. p. 98-104

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Soft subdivision search and motion planning, II: Axiomatics (plenary talk)

Yap, C., 2015, 9th International Frontiers of Algorithmics Workshop (FAW). Guilin, China. August 3-5, 2015. Springer, (Lecture notes in computer science; vol. 9130).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

2013

Pi is in logspace

Yap, C., 2013, People, problems, proofs: Essays from Goedel's lost letter 2010. Lipton, RJ. & Reagan, KW. (eds.). Springer, Chapter 31

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

2012

Deep learning and Boltzmann machines

Cho, K., Raiko, T. & Ilin, A., 2012, The Biennial Report of our Adaptive Informatics Research Centre (2010–2011). Aalto University

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Expand minds, not the NYU campus

Davis, E., Deer, P. & Miller, MC., 2012, While we were sleeping: NYU and the destruction of New York. Miller, MC. (ed.). McNally-Jackson

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Focus on personalized molecular based medicine

Mishra, B., Van der Ploeg, L. H. T., Eitner, C., Burrows, J., Tombler, T., Poponin, V., Knauer, D., Ichetovkin, I., Pinnola, R., Endress, G. & Soon-Shiong, P., 2012, Biomakers in oncology. Lenz, MD, H-J. (ed.). New York: Springer Verlag

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Malaria: The painful faces ask, can we not cure?

Mishra, B., 2012, The rising indian.

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Qualitative reasoning and spatio-temporal continuity

Davis, E., 2012, Qualitative and spatio-temporal representation and reasoning: Trends and future directions. Hazarika, S. (ed.). IGI Global

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

unknown

Shasha, D., 2012, Graph data management: Techniques and applications. Sakr, S. & Pardede, E. (eds.). IGI Global

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

2011

Eighty years of(3, k)...and counting!

Spencer, J., 2011, Ramsey theory: Yesterday, today and tomorrow. Soifer, A. (ed.). Birkhauser, p. 27-38

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Introduction to dual composition for inference

Sontag, D., Globerson, A. & Jaakkola, T., 2011, Optimization for machine learning. Sra, S., Nowozin, S. & Wright, SJ. (eds.). MIT Press

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

L'analyseur statique ASTREE (in French)

Bertrane, J., Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Mine, A. & Rival, X., 2011, Utilisations industrielles des techniques formelles: Interpretation abstraite. Boulanger, J-L. (ed.). Lavoisier, p. 67-114 (Collection IC2, Editions Hermes).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Learning binary projections for large scale image search

Grauman, K. & Fergus, R., 2011, Computer vision. Cipolla, R., Battiato, S. & Farinella, G. (eds.). Springer

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Sarve santu niramaya: Computational biology's promises for India

Mishra, B., 2011, Homi bhabha and the computer revolution. Shyamasundar, R. K. & Pai, M. A. (eds.). Oxford: Oxford University Press, p. 295-315

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

2010

A scalable introduction to formal verification of computer systems by abstract interpretation

Cousot, P. & Cousot, R., 2010, Logics and languages for reliability and security. Esparza, J., Spanfelner, B. & Grumberg, O. (eds.). IOS Press, p. 1-29 (NATO Science for Peace and Security Series D: Information and Communication Security; vol. 25).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Concealment and its applications to authenticated encryption

Dodis, Y., 2010, Practical signcryption. Dent, A. & Zheng, Y. (eds.). Springer

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

On the complexity of lattice problems with polynominal approximation factors

Regev, O., 2010, The LLL algorithm. Nguyen, P. Q. & Vallee, B. (eds.). Springer

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

2009

Inapproximability results for computational problems on lattices

Khot, S., 2009, The LLL algorithm: Survey and applications. Springer

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Lattice-based cryptography

Micciancio, D. & Regev, O., 2009, Post-quantum cryptography. Bernstein, D. J. & Buchmann, J. (eds.). Springer

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

The Joint Conference of ASCM 2009 and MACIS 2009

Suzuki, M. (ed.), Hong, H. (ed.), Yap, C. (ed.) & al., (ed.), Dec 2009, COE Lecture Note: Proceedings, 9th Asian Symposium on Computer Mathematics and 3rd International Conference on Mathematical Aspects of Computer and Info. Japan: Faculty of Mathematics, Kyushu University, Vol. 22.

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

2008

Forward-secure hierarchical IBE with applications to broadcast encryption schemes

Dodis, Y., Yao, D., Fazio, N. & Lysyanskaya, A., 2008, Identity-based cryptography. Joye, M. & Neven, G. (eds.). IOS Press, (Cryptology and Information Security Series).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Genomics via optical mapping I: 0-1 laws for single molecules

Mishra, B. & Anantharaman, T. S., 2008, Advances in computational biology. Yancopoulous, S. (ed.).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Offshoring in the U.S. telecommunications industry

Rappaport, T., 2008, The offshoring of engineering: Facts, unknowns, and potential implications. Washington, D.C: The National Academies Press, p. 213-218

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Physical reasoning

Davis, E., 2008, The handbook of knowledge representation. van Harmelen, F., Lifschitz, V. & Porter, B. (eds.). Elsevier, Vol. Oxford. p. 597-620 Chapter 14

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Robust geometric computation

Yap, C. & Sharma, V., 2008, Encyclopedia of algorithms. Kao, M. (ed.). Springer, p. 788-790

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

The maturation of the probalistic method

Spencer, J., 2008, Building bridges. Grötschel, M. & Katona, G. (eds.). Springer, p. 515-524 (Bolyai Society Mathematical Studies 19).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

2007

Amortized bounds for root isolation via Sturm sequences

Du, Z., Sharma, V. & Yap, C., 2007, Symbolic-numeric computation, trends in mathematics: Proceedings of the International Workshop on Symbolic-Numeric Computation. Xi'an, China. July 19-21, 2005. Wang, D. & Zhi, L. (eds.). Basel: Birkhauser Verlag AG, p. 113-130

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Logic and random structures

Spencer, J., 2007, Finite model theory and its applications. Springer, p. 231-255

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Scaling learning algorithms towards AI

Bengio, Y. & Lecun, Y., 2007, Large-scale kernel machines. Bottou, L., Chapelle, O., DeCoste, D. & Weston, J. (eds.). MIT Press

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

2006

A sparse object category model for efficient learning and complete recognition

Fergus, R., Perona, P. & Zisserman, A., 2006, Toward category-level object recognition. Ponce, J., Herbert, M., Schmid, C. & Zisserman, A. (eds.). Springer, (1470).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

A tutorial on energy-based learning

Lecun, Y., Chopra, S., Hadsell, R., Ranzato, M. A. & Huang, F. J., 2006, Predicting structured data. Bakir, G., Hofman, T., Scholkopt, B., Smola, A. & Taskar, B. (eds.). MIT Press

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Decidability of collision between a helical motion and an algebraic motion

Choi, S., Pae, S., Park, H. & Yap, C., 2006, 7th Conference on Real Numbers and Computers (RNC 7) LORIA, Nancy, France. July 10-12, 2006. Hanrot, H. & Zimmerman, P. (eds.). p. 69-82

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Multiple biological model classification: From system biology to synthetic biology

Mishra, B. & Antoniotti, M., 2006, Transactions on computational systems biology. Springer Verlag

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Object class recognition by unsupervised scale-invariant learning

Fergus, R., Perona, P. & Zisserman, A., 2006, Cognitive vision systems. Nagel, H. H. (ed.). Springer LNCS, p. 3948

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Uniform complexity of approximating hypergeometric functions with absolute error

Du, Z. & Yap, C., 2006, Proceedings of the 7th Asian Symposium on Computer Math (ASCM 2005) Korea Institute for Advanced Study, Seoul. Dec. 8 - 10, 2005. Pae, S. & Park, H. (eds.). p. 246-249

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

2005

AnticlustAl: Multiple sequence alignment by antipole clustering data mining

Di Pietro, C., Ferro, A., Pigola, G., Pulvirenti, A., Purrello, M. & Shasha, D., 2005, Data mining in bioinformatics. p. 43-57

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

A survey of subdivision-based tools for surface modeling

Boier-Martin, I., Zorin, D. & Bernardini, F., 2005, AMS/DIMACS volume on computer-aided design and manufacturing. Vol. 67. p. 1-28

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Stability of hybrid systems and related questions from systems biology

Mishra, B. & Piazza, C., 2005, Advances in control, communications networks, and tranportation systems. Abed, E. H. (ed.). Birkhauser Boston, (In honor of Professor Pravin Varaiya on his 65th birthday)(Systems and control: foundations and applications series).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

2004

Computational real algebraic geometry

Mishra, B., 2004, CRC handbook of discrete and computational geometry. Goodman, J. E. & O'Rourke, J. (eds.). 2 ed. Boca Raton, Florida: CRC Press, p. 740-764 (CRC Series, Discrete and Combinatoral Mathematics).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Models of genome evolution

Mishra, B. & Zhou, Y., 2004, Modeling in molecular biology. Ciobanu, G. & Rozenberg, G. (eds.). Springer Verlag, p. 287-304 (Natural Computing Series, Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

On guaranteed accuracy computation

Yap, C., 2004, Geometric computation. Chen, F. & Wang, D. (eds.). Singapore: World Scientific Publishing, p. 322-373 Chapter 12

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Robust geometric computation

Yap, C., 2004, Handbook of discrete and computational geometry. 2 ed. Boca Raton, FL: Chapman & Hall/CRC, p. 927-952 Chapter 41

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Scheduling overloaded real-time systems with comparative/worst case guarantees

Koren, G. & Shasha, D., 2004, Handbook of scheduling: Algorithms, models, and performance analysis. Leung, J. Y. T. (ed.). Chapman Hall/CRC Publishers

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

The biplanar crossing number of the random graph

Spencer, J., 2004, Towards a theory of geometric graphs. Pach, J. (ed.). AMS, p. 269-272 (Contemporary Mathematics 342).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Towards robust geometric computation (invited white paper)

Yap, C. & Melhorn, K., 2004, Computer science: Reflections on/from the field: CSTB-NSF Conference on Fundamentals of Computer Science. Washington, DC. July 25-26, 2001. Washington, DC: The National Academies Press, Appendix

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Tuning database design for high performance

Shasha, D. & Bonnet, P., 2004, CRC handbook of computer science and engineering. Tucker, A. (ed.).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

2003

Information extraction

Grishman, R., 2003, The Oxford handbook of computational linguistics. Mitkov, R. (ed.). Oxford University Press, Chapter 30

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

2002

New results on the distribution of distances determined by a point set

Spencer, J., Makai, E. & Pach, J., 2002, Paul Erdős and his mathematics : II. J. Bolyai Mathematical Society. Budapest, 2002. Halasz, G., Lovasz, L., Simonovits, M. & Sos, VT. (eds.). Berlin: Springer, p. 499-511 (Bolyai Society Mathematical Studies; vol. XI).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Random graphs, sets and tournaments

Spencer, J., 2002, Paul Erdős and his mathematics. Halasz, G., Lovasz, L., Simonovits, M. & Sos, VT. (eds.). Berlin: Springer, Vol. 2. p. 637-648 (Bolyai Society Mathematical Studies; vol. XI).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Two numerical methods for optimizing matrix stability

Overton, M., Burke, J. V. & Lewis, A. S., 2002, Linear algebra and its applications. Vol. 351-352. p. 117-145

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)